Varie correzioni, completata revisione capitolo sull'I/O su file

[gapil.git] / intro.tex

diff --git a/intro.tex b/intro.tex
index 86a959722a356504c1990a71ddced01f7a945bd3..4059f5ea05c8fadaad46b3b9dc00b00a83e001ef 100644 (file)
--- a/intro.tex
+++ b/intro.tex
@@ -1,6 +1,6 @@
 %% intro.tex
 %%
-%% Copyright (C) 2000-2018 Simone Piccardi.  Permission is granted to
+%% Copyright (C) 2000-2019 Simone Piccardi.  Permission is granted to
 %% copy, distribute and/or modify this document under the terms of the GNU Free
 %% Documentation License, Version 1.1 or any later version published by the
 %% Free Software Foundation; with the Invariant Sections being "Un preambolo",
@@ -293,10 +293,10 @@ riportate nella terza sezione del \textsl{Manuale di Programmazione di Unix}
 (cioè accessibili con il comando \cmd{man 3 <nome>}) e come accennato non sono
 direttamente associate ad una \textit{system call} anche se, ad esempio per la
 gestione dei file o della allocazione dinamica della memoria, possono farne
-uso nella loro implementazione.  Nonostante questa questa distinzione,
-fondamentale per capire il funzionamento del sistema, l'uso da parte dei
-programmi di una di queste funzioni resta lo stesso, sia che si tratti di una
-funzione interna della libreria che di una \textit{system call}.
+uso nella loro implementazione.  Nonostante questa distinzione, fondamentale
+per capire il funzionamento del sistema, l'uso da parte dei programmi di una
+di queste funzioni resta lo stesso, sia che si tratti di una funzione interna
+della libreria che di una \textit{system call}.
 
 
 \subsection{Un sistema multiutente}
@@ -702,7 +702,7 @@ file) da parte del kernel,\footnote{non è così ad esempio nel filesystem HFS
   file con gli \textit{extended attributes} (vedi sez.~\ref{sec:file_xattr}),
   ma è una caratteristica tutt'ora poco utilizzata, dato che non corrisponde
   al modello classico dei file in un sistema Unix.} ogni classificazione di
-questo tipo avviene sempre in \textit{user-space}. Gli unici file di cui il
+questo tipo avviene sempre in \textit{user space}. Gli unici file di cui il
 kernel deve essere in grado di capire il contenuto sono i binari dei
 programmi, per i quali sono supportati solo alcuni formati, anche se oggi
 viene usato quasi esclusivamente