Correzioni varie in aereo

[gapil.git] / prochand.tex

diff --git a/prochand.tex b/prochand.tex
index c5e1c0f22feb6453d37b74ad5c7896070f094d63..0c4015dc6167e4205d70af094077031aef51393d 100644 (file)
--- 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
@@ -4136,8 +4136,8 @@ Da fare
 % http://lwn.net/Articles/529060/) 
 % TODO: trattare PTRACE_GETSIGMASK e PTRACE_SETSIGMASK introdotte con il
 % kernel 3.11
-
-
+% TODO: trattare PTRACE_O_SUSPEND_SECCOMP, aggiunta con il kernel 4.3, vedi
+% http://lwn.net/Articles/656675/ 
 
 \subsection{La gestione delle operazioni in virgola mobile}
 \label{sec:process_fenv}