#include <sys/sem.h>
int semop(int semid, struct sembuf *sops, size_t nsops);
int semtimedop(int semid, struct sembuf *sops, size_t nsops,
const struct timespec *_Nullable timeout);
Exigences de macros de test de fonctionnalités pour la glibc (consulter feature_test_macros(7)) :
semtimedop():
_GNU_SOURCE
unsigned short semval; /* Valeur du sémaphore */
unsigned short semzcnt; /* # Attente pour zéro */
unsigned short semncnt; /* # Attente d'incrément */
pid_t sempid; /* PID du dernier processus modifiant
la valeur du sémaphore */
La fonction semop() effectue des opérations sur les membres de l'ensemble de sémaphores identifié par semid. Chacun des nsops éléments dans le tableau pointé par sops indique une opération à effectuer sur un sémaphore en utilisant une structure struct sembuf contenant les membres suivants :
unsigned short sem_num; /* Numéro du sémaphore */ short sem_op; /* Opération sur le sémaphore */ short sem_flg; /* Options pour l'opération */
Les options possibles pour sem_flg sont IPC_NOWAIT et SEM_UNDO. Si une opération indique l'option SEM_UNDO, elle sera annulée lorsque le processus se terminera.
L'ensemble des opérations contenues dans sops est effectué dans l'ordre et atomiquement. Les opérations sont toutes réalisées en même temps, et seulement si elles peuvent toutes être effectuées. Le comportement de l'appel système, si toutes les opérations ne sont pas réalisables, dépend de la présence de l'attribut IPC_NOWAIT dans les champs sem_flg décrits plus bas.
Chaque opération est effectuée sur le sem_num-ième sémaphore de l'ensemble. Le premier sémaphore est le numéro 0. Pour chaque sémaphore, l'opération est l'une des trois décrites ci-dessous.
Si l'argument sem_op est un entier positif, la fonction ajoute cette valeur à semval. De plus si SEM_UNDO est demandé, le système soustrait la valeur sem_op à la valeur de mise à jour du sémaphore (semadj). Cette opération n'est jamais bloquante. Le processus appelant doit avoir l'autorisation de modification sur le jeu de sémaphores.
Si sem_op vaut zéro le processus doit avoir l'autorisation de lecture sur l'ensemble de sémaphores. Le processus attend que semval soit nul : si semval vaut zéro, l'appel système continue immédiatement. Sinon, si l'on a réclamé IPC_NOWAIT dans sem_flg, l'appel système semop() échoue et errno contient le code d'erreur EAGAIN (et aucune des opérations de sops n'est réalisée). Sinon, semzcnt (le décompte de threads en attente jusqu'à ce que cette valeur de sémaphore devienne zéro) est incrémenté d'un et le thread s'endort jusqu'à ce que l'un des événements suivants se produise :
Si sem_op est inférieur à zéro, le processus appelant doit avoir l'autorisation de modification sur le jeu de sémaphores. Si semval est supérieur ou égal à la valeur absolue de sem_op, la valeur absolue de sem_op est soustraite de semval, et si SEM_UNDO est indiqué, le système ajoute la valeur absolue de sem_op à la valeur de mise à jour de sémaphore (semadj) pour ce sémaphore. Si la valeur absolue de sem_op est plus grande que semval et si l'on a réclamé IPC_NOWAIT dans sem_flg, l'appel système échoue et errno contient le code d'erreur EAGAIN (et aucune des opérations de sops n'est réalisée). Sinon, semncnt (le décompte de threads en attente jusqu'à ce que cette valeur de sémaphore soit incrémenté) est incrémenté de un et le thread s'endort jusqu'à ce que l'un des événements suivants se produise :
En cas de succès, le membre sempid de chacun des sémaphores indiqués dans le tableau pointé par sops est rempli avec le PID de l'appelant. Enfin sem_otime est défini à l'heure actuelle.
Si semtimedop() est interrompu par un signal, causant l'échec de l'appel avec l'erreur EINTR, les valeurs contenues dans timeout restent inchangées.
semop() n'est jamais relancé automatiquement après avoir été interrompu par un gestionnaire de signal quelque soit l'attribut SA_RESTART durant l'installation du gestionnaire.
Une valeur de mise à jour de sémaphore (semadj) est un entier propre à un processus et sémaphore, qui représente le compte négatif des opérations utilisant l'attribut SEM_UNDO. Chaque processus dispose d'une liste de valeurs semadj --- une valeur pour chaque sémaphore où SEM_UNDO a été utilisé. Quand un processus se termine, chacune des valeurs semadj de ses sémaphores est ajoutée au sémaphore correspondant, annulant ainsi l'effet des opérations du processus sur le sémaphore (voir la section BOGUES ci-dessous). Quand la valeur d'un sémaphore est définie directement par une requête SETVAL ou SETALL de semctl(2), la valeur semadj correspondante est effacée dans tous les processus. L'option CLONE_SYSVSEM de clone(2) permet à plusieurs processus de partager une liste de semadj. Consultez clone(2) pour plus d'informations.
Les valeurs semval, sempid, semzcnt et semnct pour un sémaphore peuvent être retrouvées avec des appels semctl(2) spécifiques.
L'implémentation n'a pas de limites intrinsèques pour la valeur maximale d'effacement en sortie (SEMAEM), le nombre de structures d'annulation sur le système (SEMMNU) et le nombre maximal de structures d'annulation pour un processus.
Dans Linux 2.6.x (x <= 10) un bogue peut, dans certaines circonstances, empêcher un thread, attendant que la valeur d'un sémaphore s'annule, d'être réveillé quand cette valeur atteint 0. Ce bogue est corrigé dans le Linux 2.6.11.
struct sembuf sops[2];
int semid;
/* Le code pour configurer semid est omis */
sops[0].sem_num = 0; /* Agir sur le sémaphore 0 */
sops[0].sem_op = 0; /* Attendre que la valeur soit égale à 0 */
sops[0].sem_flg = 0;
sops[1].sem_num = 0; /* Agir sur le sémaphore 0 */
sops[1].sem_op = 1; /* Incrémenter la valeur de un */
sops[1].sem_flg = 0;
if (semop(semid, sops, 2) == -1) {
perror("semop");
exit(EXIT_FAILURE);
}
Un autre exemple de l'usage de semop() peut être trouvé dans shmop(2).
Cette traduction est une documentation libre ; veuillez vous reporter à la GNU General Public License version 3 concernant les conditions de copie et de distribution. Il n'y a aucune RESPONSABILITÉ LÉGALE.
Si vous découvrez un bogue dans la traduction de cette page de manuel, veuillez envoyer un message à