Editer un article - Informaticien.be

Editer un article

Titre
Mots Clés
Texte	[size=18] [b]Nom[/b] [/size] futex - Mécanisme de verrouillage rapide en mode utilisateur. [size=18] [b]Résumé[/b] [/size] [b]#include <linux/futex.h>[/b] [b]#include <sys/time.h>[/b] [b][i]int sys_futex (void * futex , int op , int val , const struct timespec * timeout );[/i][/b] [size=18] [b]Description[/b] [/size] L'appel-système [b]sys_futex[/b] donne à un programme la possibilité d'attendre qu'une valeur à une adresse donnée change, ou de réveiller tous ceux qui sont en attente sur cette adresse. Bien que les adresses soient différentes dans des processus séparés, le noyau fera la correspondant lors de l'appel-système. Ceci est typiquement employé pour implémenter les verrous en mémoire partagéé, tels qu'ils sont décrits dans [b]futex (4).[/b] Quant une opération [b]futex (4)[/b] ne se termine pas de manière satisfaisante dans l'espace utilisateur, un appel au noyau est nécessaire pour l'arbitrage. Ceci signifie soit endormir le processus appelant, soit réveiller le processus en attente. Les appelants de cette fonction doivent accepter les sémantiques décrites dans [b]futex (4).[/b] Comme celles-ci impliquent l'écriture d'instructions non-portables en assembleur, leurs utilisateurs sont des auteurs de bibliothèques plus que des développeurs applicatifs. L'argument [i]futex[/i] doit pointer sur un entier aligné qui stocke le compteur. L'opération à exécuter est transmise dans le paramètre [b]op ,[/b] avec la valeur [b]val .[/b] Trois opérations sont définies pour le moment : [b]FUTEX_WAIT[/b] [table][row][col]    [/col][col]Cette opération vérifie que l'adresse du futex contient toujours la valeur indiquée et s'endort en attendant un [i]FUTEX_WAKE[/i] à cette adresse. Les deux étapes sont liées atomiquement. Si l'argument [i]timeout[/i] est non-NULL, il contient la durée maximale de sommeil. Sinon elle est infinie. D'après [b]futex (4),[/b] cet appel est exécuté si la décrémentation du compteur donne une valeur négative (indiquant un conflit) et le sommeil durera jusqu'à ce qu'un autre processus relâche le futex et exécute [b]FUTEX_WAKE .[/b][/col][/row][/table] [b]FUTEX_WAKE[/b] [table][row][col]    [/col][col]Cette opération réveille au plus [i]val[/i] processus en attente sur l'adresse du futex (endormis dans [b]FUTEX_WAIT ).[/b] D'après [b]futex (4),[/b] ceci est exécuté si l'incrémentation du compteur montre qu'il y a des processus en attente, une fois que la valeur du futex a été mise à 1 (indiquant qu'il est disponible).[/col][/row][/table] [b]FUTEX_FD[/b] [table][row][col]    [/col][col]Pour permettre des réveils asynchrones, cette opération associe un descripteur de fichier avec un futex. Si un autre processus exécute un [b]FUTEX_WAIT ,[/b] l'appelant recevra le signal dont le numéro a été indiqué dans [b]val .[/b] L'appelant doit refermer le descripteur de fichier après utilisation. Pour éviter les situations de concurrence, l'appelant doit tester si le futex a été libéré après le retour de [b]FUTEX_FD .[/b][/col][/row][/table] [size=18] [b]Valeur renvoyée[/b] [/size] Suivant l'opération exécutée, la valeur renvoyée peut avoir différentes significations. [b]FUTEX_WAIT[/b] [table][row][col]    [/col][col]Renvoie 0 si le processus a été réveillé par un [b]FUTEX_WAKE .[/b] Renvoie ETIMEDOUT en cas de dépasse de délai. Renvoie EWOULDBLOCK si le futex n'avait pas la valeur attendue. L'arrivée d'un signal peut faire renvoyer EINTR.[/col][/row][/table] [b]FUTEX_WAKE[/b] [table][row][col]    [/col][col]Renvoie le nombre de processus réveillés.[/col][/row][/table] [b]FUTEX_FD[/b] [table][row][col]    [/col][col]Renvoie le nouveau descripteur associé au futex.[/col][/row][/table] [size=18] [b]Notes[/b] [/size] Répétons-le, les futex de base ne sont pas conçus comme une abstraction facile à employer pour les utilisateurs. Les implémenteurs doivent maitriser l'assembleur et avoir lu les sources de la bibliothèque en espace utilisateur décrite plus bas. [size=18] [b]Auteurs[/b] [/size] Les futex ont été conçus et créés par Hubertus Franke (IBM Thomas J. Watson Research Center), Matthew Kirkwood, Ingo Molnar (Red Hat) et Rusty Russell (IBM Linux Technology Center). Cette page a été écrite par Bert Hubert. [size=18] [b]Versions[/b] [/size] Le support initial des futex a été ajouté dans Linux 2.5.7 mais avec une sémantique différent de celle décrite ci-dessus, qui est disponible depuis Linux 2.5.40. [size=18] [b]Voir aussi[/b] [/size] [b]futex (4),[/b] `Fuss, Futexes and Furwocks: Fast Userlevel Locking in Linux' (proceedings of the Ottawa Linux Symposium 2002), Bibliothèque futex-*.tar.bz2 <URL:ftp://ftp.nl.kernel.org:/pub/linux/kernel/people/rusty/>. [size=18] [b]Traduction[/b] [/size] Christophe Blaess, 1996-2003.
Fichier