futex(7)               Miscellaneous Information Manual               futex(7)

NUME
       futex - futex - blocare rapida in spa<?>iul utilizatorului

REZUMAT
       #include <linux/futex.h>

DESCRIERE
       Nucleul Linux ofera futexes (,,Fast user-space mutexes", mutex-uri
       rapide in spa<?>iul utilizatorului) ca element de baza pentru blocarea
       rapida in spa<?>iul utilizatorului <?>i pentru semafoare.  Futex-urile
       sunt foarte simple <?>i se preteaza foarte bine la construirea unor
       abstrac<?>iuni de blocare de nivel superior, cum ar fi mutex-urile,
       variabilele de condi<?>ie, blocarile de citire-scriere, barierele <?>i
       semafoarele.

       De fapt, majoritatea programatorilor nu vor utiliza direct futexurile,
       ci se vor baza pe bibliotecile de sistem construite pe acestea, cum ar
       fi biblioteca nativa POSIX pentru fire de execu<?>ie (,,Native POSIX
       Thread Library": NPTL) (a se vedea pthreads(7)).

       Un futex este identificat de o bucata de memorie care poate fi
       partajata intre procese sau fire de execu<?>ie.  In aceste procese
       diferite, nu este necesar ca futex-ul sa aiba adrese identice.  In
       forma sa simpla, un futex are o semantica de semaforizare; este un
       contor care poate fi incrementat <?>i decrementat atomic; procesele pot
       a<?>tepta ca valoarea sa devina pozitiva.

       Opera<?>ia futex are loc in intregime in spa<?>iul utilizatorului in
       cazul in care nu apare nicio disputa.  Nucleul este implicat doar
       pentru a arbitra cazul disputat.  Deoarece orice proiectare sanatoasa
       va urmari sa nu existe o disputa, futex-urile sunt, de asemenea,
       optimizate pentru aceasta situa<?>ie.

       In forma sa simpla, un futex este un numar intreg aliniat care este
       atins doar de instruc<?>iunile de asamblare atomica.  Acest numar
       intreg are o lungime de patru octe<?>i pe toate platformele.  Procesele
       pot partaja acest numar intreg folosind mmap(2), prin intermediul
       segmentelor de memorie partajata sau pentru ca impart spa<?>iul de
       memorie, caz in care aplica<?>ia se nume<?>te in mod obi<?>nuit
       multifir ,,multithreaded".

   Semantica
       Orice opera<?>ie futex incepe in spa<?>iul utilizatorului, dar poate fi
       necesar sa se comunice cu nucleul folosind apelul de sistem futex(2).

       Pentru a ,,urca" (up) un futex, executa<?>i instruc<?>iunile de
       asamblare corespunzatoare care vor determina CPU-ul gazda sa
       incrementeze atomic numarul intreg.  Ulterior, verifica<?>i daca acesta
       s-a schimbat de fapt de la 0 la 1, caz in care nu au existat
       a<?>teptari <?>i opera<?>iunea este gata.  Acesta este cazul fara
       disputa, care este rapid <?>i ar trebui sa fie obi<?>nuit.

       In cazul in care exista disputa, cre<?>terea atomica a schimbat
       contorul de la -1 (sau un alt numar negativ).  Daca acest lucru este
       detectat, exista a<?>teptari.  Spa<?>iul utilizatorului ar trebui acum
       sa fixeze contorul la 1 <?>i sa ceara nucleului sa trezeasca orice
       a<?>teptari folosind opera<?>ia FUTEX_WAKE.

       A<?>teptarea unui futex, pentru a-l ,,cobori" (down), este opera<?>ia
       inversa.  Se descre<?>te atomic contorul <?>i se verifica daca acesta
       s-a schimbat la 0, caz in care opera<?>ia este efectuata, iar futex-ul
       nu a fost disputat.  In toate celelalte circumstan<?>e, procesul ar
       trebui sa fixeze contorul la -1 <?>i sa ceara nucleului sa a<?>tepte ca
       un alt proces sa urce futex-ul.  Acest lucru se face folosind
       opera<?>ia FUTEX_WAIT.

       Apelului de sistem futex(2) i se poate transmite op<?>ional un
       temporizator care sa specifice cat timp trebuie sa a<?>tepte nucleul
       pentru ca futex-ul sa fie ridicat.  In acest caz, semantica este mai
       complexa, iar programatorul este trimis la futex(2) pentru mai multe
       detalii.  Acela<?>i lucru este valabil <?>i pentru a<?>teptarea
       asincrona a futex-ului.

VERSIUNI
       Suportul ini<?>ial pentru futex a fost integrat in Linux 2.5.7, dar cu
       o semantica diferita de cea descrisa mai sus.  Semantica actuala este
       disponibila de la Linux 2.5.40 incoace.

NOTE
       Pentru a reitera, futex-urile goale nu sunt concepute ca o abstrac<?>ie
       u<?>or de utilizat pentru utilizatorii finali.  Se a<?>teapta ca cei
       care implementeaza sa aiba cuno<?>tin<?>e de asamblare <?>i sa fi citit
       sursele bibliotecii futex din spa<?>iul utilizatorului la care se face
       referire mai jos.

       Aceasta pagina de manual ilustreaza cea mai frecventa utilizare a
       primitivelor futex(2); nu este in niciun caz singura.

CONSULTA<?>I <?>I
       clone(2), futex(2), get_robust_list(2), set_robust_list(2),
       set_tid_address(2), pthreads(7)

       Fuss, Futexes and Furwocks: Fast Userlevel Locking in Linux (lucrarile
       de la Ottawa Linux Symposium 2002), biblioteca de exemple futex,
       futex-*.tar.bz2 <https://mirrors.kernel.org/pub/linux/kernel/people
       /rusty/>.

TRADUCERE
       Traducerea in limba romana a acestui manual a fost facuta de Remus-
       Gabriel Chelu <remusgabriel.chelu@disroot.org>

       Aceasta traducere este documenta<?>ie gratuita; citi<?>i Licen<?>a
       publica generala GNU Versiunea 3
       <https://www.gnu.org/licenses/gpl-3.0.html> sau o versiune ulterioara
       cu privire la condi<?>ii privind drepturile de autor.  NU se asuma
       NICIO RESPONSABILITATE.

       Daca gasi<?>i erori in traducerea acestui manual, va rugam sa
       trimite<?>i un e-mail la <translation-team-ro@lists.sourceforge.net>.

Pagini de manual de Linux 6.06 31 octombrie 2023                      futex(7)