Ripulitura dell'HTML, tanto per vedere se ci capisco qualcosa di XHTML & C.

[gapil.git] / system.tex

diff --git a/system.tex b/system.tex
index 2427feeb025ab0cccce6365e17ae4600aedc606e..60ca1e9bae873a10d505afdcd965e1ab3f638b37 100644 (file)
--- a/system.tex
+++ b/system.tex
@@ -1643,9 +1643,9 @@ dei tempi di esecuzione dei processi. Per ciascun processo il kernel calcola
 tre tempi diversi:
 \begin{description}
 \item[\textit{clock time}]: il tempo \textsl{reale} (viene chiamato anche
-  \textit{wall clock time}) passato dall'avvio del processo. Chiaramente tale
-  tempo dipende anche dal carico del sistema e da quanti altri processi
-  stavano girando nello stesso periodo.
+  \textit{wall clock time} o \textit{elapsed time}) passato dall'avvio del
+  processo. Chiaramente tale tempo dipende anche dal carico del sistema e da
+  quanti altri processi stavano girando nello stesso periodo.
 \item[\textit{user time}]: il tempo che la CPU ha impiegato nell'esecuzione
   delle istruzioni del processo in user space.
 \item[\textit{system time}]: il tempo che la CPU ha impiegato nel kernel per