X-Git-Url: https://gapil.gnulinux.it/gitweb/?p=gapil.git;a=blobdiff_plain;f=prochand.tex;h=f310cfadf431201c6c2b148362068f4af31242bf;hp=341547aa1b4f4b13a23dacceb1acc18c51d614ed;hb=6c2be511ebf59148d64ae0da7f44e21b2bd92e73;hpb=e83ab9ffbab3005ecd606c20691e594cb9a8d025

diff --git a/prochand.tex b/prochand.tex
index 341547a..f310cfa 100644
--- a/prochand.tex
+++ b/prochand.tex
@@ -3773,10 +3773,10 @@ Introdotta a partire dal kernel 2.4.21, solo su PowerPC.
     vendere la capacità di calcolo della proprio macchina ad un qualche
     servizio di calcolo distribuito senza comprometterne la sicurezza
     eseguendo codice non sotto il proprio controllo.} in genere i dati vengono
-  letti o scritti grazie ad un socket o una pipe, e per evitare problemi di
-  sicurezza non sono possibili altre operazioni se non quelle citate.
-  Introdotta a partire dal kernel 2.6.23, disponibile solo se si è abilitato
-  il supporto nel kernel con \texttt{CONFIG\_SECCOMP}.
+  letti o scritti grazie ad un socket o una \textit{pipe}, e per evitare
+  problemi di sicurezza non sono possibili altre operazioni se non quelle
+  citate.  Introdotta a partire dal kernel 2.6.23, disponibile solo se si è
+  abilitato il supporto nel kernel con \texttt{CONFIG\_SECCOMP}.
 
 % TODO a partire dal kernel 3.5 è stato introdotto la possibilità di usare un
 % terzo argomento se il secondo è SECCOMP_MODE_FILTER, vedi
@@ -4183,7 +4183,11 @@ Da fare
 %TODO trattare init_module e finit_module (quest'ultima introdotta con il
 %kernel 3.8)
 
+%%%% Altre cose di cui non è chiara la collocazione:
 
+%TODO trattare membarrier, introdotta con il kernel 4.3
+% vedi http://lwn.net/Articles/369567/ http://lwn.net/Articles/369640/
+% http://git.kernel.org/cgit/linux/kernel/git/torvalds/linux.git/commit/?id=5b25b13ab08f616efd566347d809b4ece54570d1 
 
 \section{Problematiche di programmazione multitasking}
 \label{sec:proc_multi_prog}