Qualche correzione sparsa, indicizzazioni, ed aggiunto qualcosa sulle

[gapil.git] / process.tex

diff --git a/process.tex b/process.tex
index a0024f55fa18224f479a2a2a1aeecd69e3c3d8f3..29ca369c201f0b8576df7336b1ed5c7dcb590ab2 100644 (file)
--- a/process.tex
+++ b/process.tex
@@ -899,15 +899,15 @@ L'uso dei flag permette di selezionare con maggior finezza le pagine da
 bloccare, ad esempio limitandosi a tutte le pagine allocate a partire da un
 certo momento.
 
-In ogni caso un processo real-time che deve entrare in una sezione critica
-deve provvedere a riservare memoria sufficiente prima dell'ingresso, per
-scongiurare l'occorrenza di un eventuale \textit{page
-  fault}\itindex{page~fault} causato dal meccanismo di \textit{copy on
-  write}\itindex{copy~on~write}.  Infatti se nella sezione critica si va ad
-utilizzare memoria che non è ancora stata riportata in RAM si potrebbe avere
-un \itindex{page~fault}\textit{page fault} durante l'esecuzione della stessa,
-con conseguente rallentamento (probabilmente inaccettabile) dei tempi di
-esecuzione.
+In ogni caso un processo real-time che deve entrare in una
+\index{sezione~critica} sezione critica deve provvedere a riservare memoria
+sufficiente prima dell'ingresso, per scongiurare l'occorrenza di un eventuale
+\textit{page fault}\itindex{page~fault} causato dal meccanismo di \textit{copy
+  on write}\itindex{copy~on~write}.  Infatti se nella \index{sezione~critica}
+sezione critica si va ad utilizzare memoria che non è ancora stata riportata
+in RAM si potrebbe avere un \itindex{page~fault}\textit{page fault} durante
+l'esecuzione della stessa, con conseguente rallentamento (probabilmente
+inaccettabile) dei tempi di esecuzione.
 
 In genere si ovvia a questa problematica chiamando una funzione che ha
 allocato una quantità sufficientemente ampia di variabili automatiche, in modo