X-Git-Url: https://gapil.gnulinux.it/gitweb/?a=blobdiff_plain;f=prochand.tex;h=8cd56341e7c809de2a846d9622c3d0e26af40811;hb=2949b52da443a72eba0463bb01f5552adc31e937;hp=fe46b23f824f15b06d1443ee6b47ea4bba08c2b7;hpb=9949b501aea36905b12f069e11743b70b3e2df57;p=gapil.git

diff --git a/prochand.tex b/prochand.tex
index fe46b23..8cd5634 100644
--- a/prochand.tex
+++ b/prochand.tex
@@ -602,7 +602,7 @@ comune dopo l'esecuzione di una \func{fork} è la seguente:
   sez.~\ref{sec:file_fcntl_ioctl});
 \item gli identificatori per il controllo di accesso: l'\textsl{user-ID
     reale}, il \textsl{group-ID reale}, l'\textsl{user-ID effettivo}, il
-  \textsl{group-ID effettivo} ed i \textit{group-ID supplementari} (vedi
+  \textsl{group-ID effettivo} ed i \textsl{group-ID supplementari} (vedi
   sez.~\ref{sec:proc_access_id});
 \item gli identificatori per il controllo di sessione: il
   \itindex{process~group} \textit{process group-ID} e il \textit{session id}
@@ -1537,7 +1537,7 @@ seguente:
 \begin{itemize*}
 \item il \textit{process id} (\ids{PID}) ed il \textit{parent process id}
   (\ids{PPID});
-\item l'\textsl{user-ID reale}, il \textit{group-ID reale} ed i
+\item l'\textsl{user-ID reale}, il \textsl{group-ID reale} ed i
   \textsl{group-ID supplementari} (vedi sez.~\ref{sec:proc_access_id});
 \item la directory radice e la \index{directory~di~lavoro} directory di lavoro
   corrente (vedi sez.~\ref{sec:file_work_dir});
@@ -2788,6 +2788,10 @@ corrente.
   \label{tab:proc_sched_policy}
 \end{table}
 
+% TODO Aggiungere SCHED_DEADLINE, sulla nuova politica di scheduling aggiunta
+% con il kernel 3.13, vedi anche Documentation/scheduler/sched-deadline.txt e
+% http://lwn.net/Articles/575497/
+
 Con le versioni più recenti del kernel sono state introdotte anche delle
 varianti sulla politica di \textit{scheduling} tradizionale per alcuni carichi
 di lavoro specifici, queste due nuove politiche sono specifiche di Linux e non