Editer un article - Informaticien.be

Editer un article

Titre
Mots Clés
Texte	[size=18] [b]Nom[/b] [/size] pthread_mutex_init, pthread_mutex_lock, pthread_mutex_trylock, pthread_mutex_unlock, pthread_mutex_destroy - opérations sur les mutex [size=18] [b]Résumé[/b] [/size] [b]#include <pthread.h>[/b] [b][i]pthread_mutex_t fastmutex = PTHREAD_MUTEX_INITIALIZER;[/i][/b] [b][i]pthread_mutex_t recmutex = PTHREAD_RECURSIVE_MUTEX_INITIALIZER_NP;[/i][/b] [b][i]pthread_mutex_t errchkmutex = PTHREAD_ERRORCHECK_MUTEX_INITIALIZER_NP;[/i][/b] [b][i]int pthread_mutex_init(pthread_mutex_t * mutex , const pthread_mutexattr_t * mutexattr );[/i][/b] [b][i]int pthread_mutex_lock(pthread_mutex_t * mutex ));[/i][/b] [b][i]int pthread_mutex_trylock(pthread_mutex_t * mutex );[/i][/b] [b][i]int pthread_mutex_unlock(pthread_mutex_t * mutex );[/i][/b] [b][i]int pthread_mutex_destroy(pthread_mutex_t * mutex );[/i][/b] [size=18] [b]Description[/b] [/size] Un mutex est un objet d'exclusion mutuelle (MUTual EXclusion), et est très pratique pour protéger des données partagées de modifications concurrentes et pour implémenter des sections critiques. Un mutex peut ête dans deux états : déverrouillé (pris par aucun thread) ou verrouillé (appartenant à un thread). Un mutex ne peut être pris que par un seul thread à la fois. Un thread qui tente de verrouiller un mutex déjà verrouillé est suspendu jusqu'à ce que le mutex soit déverrouillé. [b]pthread_mutex_init[/b] initialise le mutex pointé par [i]mutex[/i] selon les attributs de mutex spécifié par [b]mutexattr .[/b] Si [i]mutexattr[/i] vaut [b]NULL ,[/b] les paramètres par défaut sont utilisés. L'implémentation LinuxThreads ne supporte qu'un seul attribut, le [b]type de mutex ,[/b] qui peut être soit ``rapide'', ``récursif'' ou à ``vérification d'erreur''. Le type de mutex détermine s'il peut être verrouillé plusieurs fois par le même thread. Le type par défaut est ``rapide''. Voir [b]pthread_mutexattr_init (3)[/b] pour plus d'informations sur les attributs de mutex. Les variables de type [b]pthread_mutex_t[/b] peuvent aussi être initialisées de manière statique, en utilisant les constantes [b]PTHREAD_MUTEX_INITIALIZER[/b] (pour les mutex rapides), [b]PTHREAD_RECURSIVE_MUTEX_INITIALIZER_NP[/b] (pour les mutex récursifs), et [b]PTHREAD_ERRORCHECK_MUTEX_INITIALIZER_NP[/b] (pour les mutex à vérification d'erreur). [b]pthread_mutex_lock[/b] verrouille le mutex. Si le mutex est déverrouillé, il devient verrouillé et est possédé par le thread appelant ; et [b]pthread_mutex_lock[/b] rend la main immédiatement. Si le mutex est déjà verrouillé par un autre thread, [b]pthread_mutex_lock[/b] suspend le thread appelant jusqu'à ce que le mutex soit déverrouillé. Si le mutex est déjà verrouillé par le thread appelant, le comportement de [b]pthread_mutex_lock[/b] dépend du type de mutex. Si ce dernier est de type ``rapide'', le thread appelant est suspendu jusqu'à ce que le mutex soit déverrouillé, donc plaçant le thread appelant en situation de blocage définitif. Si le mutex est de type ``à vérification d'erreur'', [b]pthread_mutex_lock[/b] rend la main immédiatement avec le code d'erreur [b]EDEADLK .[/b] Si le mutex est de type ``récursif'', [b]pthread_mutex_lock[/b] rend la main immédiatement avec un code de retour indiquant le succès, enregistrant le nombre de fois où le thread appelant a verrouillé le mutex. Un nombre égal d'appel à [b]pthread_mutex_unlock[/b] doit être réalisé avant que le mutex retourne à l'état déverrouillé. [b]pthread_mutex_trylock[/b] se comporte de la même manière que [b]pthread_mutex_lock ,[/b] excepté qu'elle ne bloque pas le thread appelant si le mutex est déjà verrouillé par un autre thread (ou par le thread appelant dans le cas d'un mutex ``rapide''). Au contraire, [b]pthread_mutex_trylock[/b] rend la main immédiatement avec le code d'erreur [b]EBUSY .[/b] [b]pthread_mutex_unlock[/b] déverrouille le mutex. Celui-ci est supposé verrouillé, et ce par le thread courant en entrant dans [b]pthread_mutex_unlock .[/b] Si le mutex est de type ``rapide'', [b]pthread_mutex_unlock[/b] le réinitialise toujours à l'état déverrouillé. S'il est de type ``récursif'', son compteur de verrouillage est décrémenté (nombre d'opérations [b]pthread_mutex_lock[/b] réalisées sur le mutex par le thread appelant), et déverrouillé seulement quand ce compteur atteint 0. Sur les mutex ``vérification d'erreur'', [b]pthread_mutex_unlock[/b] vérifie lors de l'exécution que le mutex est verrouillé en entrant, et qu'il est verrouillé par le même thread que celui appelant [b]pthread_mutex_unlock .[/b] Si ces conditions ne sont pas réunies, un code d'erreur est renvoyé et le mutex n'est pas modifié. Les mutex ``rapide'' et ``récursif'' ne réalisent pas de tels tests, permettant à un mutex verrouillé d'être déverrouillé par un thread autre que celui l'ayant verrouillé. Ce comportement n'est pas portable et l'on ne doit pas compter dessus. [b]pthread_mutex_destroy[/b] détruit un mutex, libérant les ressources qu'il détient. Le mutex doit être déverrouillé. Dans l'implémentation LinuxThreads des threads POSIX, aucune ressource ne peut être associé à un mutex, aussi [b]pthread_mutex_destroy[/b] ne fait en fait rien si ce n'est vérifier que le mutex n'est pas verrouillé. [size=18] [b]Annulation[/b] [/size] Aucune des primitives relatives aux mutex n'est un point d'annulation, ni même [b]pthread_mutex_lock ,[/b] malgré le fait qu'il peut suspendre l'exécution du thread pour une longue durée. De cette manière, le statut des mutex aux points d'annulation est prévisible, permettant aux gestionnaires d'annulation de déverrouiller précisément ces mutex qui nécessitent d'être déverrouillés avant que l'exécution du thread ne s'arrête définitivement. Aussi, les threads travaillant en mode d'annulation retardée ne doivent-t'ils jamais verrouiller un mutex pour de longues périodes de temps. [size=18] [b]Fiabilite par rapport aux signaux asynchrones[/b] [/size] Les fonctions relatives aux mutex ne sont pas fiables par rapport aux signaux asynchrones et ne doivent donc pas être utilisées dans des gestionnaires de signaux. En particulier, appeler [b]pthread_mutex_lock[/b] ou [b]pthread_mutex_unlock[/b] dans un gestionnaire de signal peut placer le thread appelant dans une situation de blocage définitif. [size=18] [b]Valeur renvoyée[/b] [/size] [b]pthread_mutex_init[/b] retourne toujours 0. Les autres fonctions renvoient 0 en cas succès et un code d'erreur non nul en cas de problème. [size=18] [b]Erreurs[/b] [/size] La fonction [b]pthread_mutex_lock[/b] renvoie l'un des codes d'erreur suivants en cas de problème:[table][row][col]    [/col][col] [b]EINVAL[/b] [table][row][col]    [/col][col]le mutex n'a pas été initialisé. [/col][/row][/table] [b]EDEADLK[/b] [table][row][col]    [/col][col]le mutex est déjà verrouillé par un thread autre que l'appellant (mutex à vérification d'erreur seulement).[/col][/row][/table] La fonction [b]pthread_mutex_trylock[/b] renvoie l'un des codes d'erreur suivants en cas de problème :[table][row][col]    [/col][col][/col][/row][/table] [b]EBUSY[/b] [table][row][col]    [/col][col]le mutex ne peut être verrouillé car il l'est déjà. [/col][/row][/table] [b]EINVAL[/b] [table][row][col]    [/col][col]le mutex n'a pas été initialisé.[/col][/row][/table] La fonction [b]pthread_mutex_unlock[/b] renvoie le code d'erreur suivant en cas de problème :[table][row][col]    [/col][col][/col][/row][/table] [b]EINVAL[/b] [table][row][col]    [/col][col]le mutex n'a pas été initialisé. [/col][/row][/table] [b]EPERM[/b] [table][row][col]    [/col][col]le thread appelant ne possède pas le mutex (mutex à vérification d'erreur seulement).[/col][/row][/table] La fonction [b]pthread_mutex_destroy[/b] renvoie le code d'erreur suivant en cas de problème :[table][row][col]    [/col][col][/col][/row][/table] [b]EBUSY[/b] [table][row][col]    [/col][col]le mutex est déjà verrouillé.[/col][/row][/table] [/col][/row][/table] [size=18] [b]Auteur[/b] [/size] Xavier Leroy <Xavier.Leroy@inria.fr> [size=18] [b]Voir aussi[/b] [/size] [b]pthread_mutexattr_init (3),[/b] [b]pthread_mutexattr_setkind_np (3),[/b] [b]pthread_cancel (3).[/b] [size=18] [b]Exemple[/b] [/size] Une variable globale partagée [i]x[/i] peut être protégée par un mutex comme suit : [table][row][col]    [/col][col] .ft 3 .nf int x; pthread_mutex_t mut = PTHREAD_MUTEX_INITIALIZER; .ft    [/col][/row][/table] .fi Tous les accès et modifications de [i]x[/i] doivent être entourés de paires d'appels à [b]pthread_mutex_lock[/b] et [b]pthread_mutex_unlock[/b] comme suit : [table][row][col]    [/col][col] .ft 3 .nf pthread_mutex_lock(&mut); /* agir sur x */ pthread_mutex_unlock(&mut); .ft    [/col][/row][/table] .fi [size=18] [b]Traduction[/b] [/size] [i]Thierry Vignaud < tvignaud@mandrakesoft.com >, 2000[/i] [b][/b] Christophe Blaess, 2003.
Fichier