X-Git-Url: https://gapil.gnulinux.it/gitweb/?a=blobdiff_plain;f=ipc.tex;h=c86697143c8eef82abe367598b2a509e31e0e0bf;hb=da88189d1ab4d9220496cadb1274a70f6fb96fa0;hp=c241c773faf2d22ea1db29c02f1cecdd23371aeb;hpb=b93afedb7d7b01ba1f0b5ea4caaa281f38cb8e6d;p=gapil.git

diff --git a/ipc.tex b/ipc.tex
index c241c77..c866971 100644
--- a/ipc.tex
+++ b/ipc.tex
@@ -3762,7 +3762,7 @@ mascherati.
 
 In realtà a partire dal kernel 2.5.7 è stato introdotto un meccanismo di
 sincronizzazione completamente nuovo, basato sui cosiddetti
-\textit{futex}\footnote{la sigla sta per \textit{faxt user mode mutex}.}, con
+\textit{futex}\footnote{la sigla sta per \textit{fast user mode mutex}.}, con
 il quale dovrebbe essere possibile implementare una versione nativa dei
 semafori; esso è già stato usato con successo per reimplementare in maniera
 più efficiente tutte le direttive di sincronizzazione previste per i thread