Futex

Un article de Wikipédia, l'encyclopédie libre.

Cet article est une ébauche concernant l’informatique.

Vous pouvez partager vos connaissances en l’améliorant. (Comment ?).

Un Futex (anglais : Fast Userspace Mutex) est un outil permettant de bloquer une station de travail et de gérer des systèmes de gestion tels que les sémaphores ou les mutex POSIX sous Linux.

Les Futex sont apparus sous Linux à partir de la version 2.5.7, et en série dans les versions 2.6.x du noyau. Ils ont été créés par Hubertus Franke (ingénieur chez IBM), Matthew Kirkwood, Ingo Molnar (Red Hat) et Rusty Russell (IBM Linux Technology Center).

Un Futex comporte un bout de mémoire (un entier), qui est partagé entre les processus actifs. Ce nombre est incrémenté ou décrémenté par des instructions atomiques (indivisibles). Les processus doivent attendre que ce nombre redevienne positif pour se lancer.

Sommaire

1 Voir aussi

[modifier] Voir aussi

[modifier] Articles connexes

Problèmes classiques des
méthodes de synchronisation

Couplage fort - Famine

Interblocage - Inversion de priorité

Les méthodes de synchronisation

Barrière de synchronisation - Futex - Moniteur

Mutex - Sémaphore - Spinlock

Mutex
Linux
Synchronisation
Fetch-and-add

[modifier] Références

Rusty Russell, fuss, futexes and furwocks: Fast Userlevel Locking in Linux, Ottawa Linux Symposium 2002

[modifier] Liens externes

(en) Futex manpages ;
(en) "Futexes Are Tricky", un texte expliquant ce que sont les Futex et comment les utiliser, par Ulrich Drepper ;
(en) Le texte de Russel (format PDF).