X-Git-Url: https://gapil.gnulinux.it/gitweb/?p=gapil.git;a=blobdiff_plain;f=socket.tex;h=82826224f27a79c33ff241d26fa787df4222c284;hp=619c1dd15ad0f29ef7684673bbcd254af4068ca0;hb=81ff87c3e2a6ecd3e33867798cba0d27576f44d0;hpb=7090500d79c488db306ed0c065b90bb0c0505430

diff --git a/socket.tex b/socket.tex
index 619c1dd..8282622 100644
--- a/socket.tex
+++ b/socket.tex
@@ -203,7 +203,7 @@ comunicazione, questo infatti viene a dipendere dal protocollo che si andr
 utilizzare fra quelli disponibili nella famiglia scelta. Le API permettono di
 scegliere lo stile di comunicazione indicando il tipo di socket; Linux e le
 glibc mettono a disposizione i seguenti tipi di socket (che il manuale della
-glibc chiama \textit{styles}) definiti come \type{int} in \file{socket.h}:
+glibc chiama \textit{styles}) definiti come \ctyp{int} in \file{socket.h}:
 
 \begin{list}{}{}
 \item \macro{SOCK\_STREAM} Provvede un canale di trasmissione dati
@@ -300,7 +300,7 @@ attraverso puntatori (cio
 maneggiare puntatori a strutture relative a tutti gli indirizzi possibili
 nelle varie famiglie di protocolli; questo pone il problema di come passare
 questi puntatori, il C ANSI risolve questo problema coi i puntatori generici
-(i \type{void *}), ma l'interfaccia dei socket è antecedente alla
+(i \ctyp{void *}), ma l'interfaccia dei socket è antecedente alla
 definizione dello standard ANSI, e per questo nel 1982 fu scelto di definire
 una struttura generica \type{sockaddr} per gli indirizzi dei socket mostrata
 in \nfig:
@@ -345,12 +345,12 @@ definiti; la struttura 
     \hline
     \type{sa\_family\_t} & famiglia degli indirizzi& \file{sys/socket.h}\\
     \type{socklen\_t} & lunghezza (\type{uint32\_t}) dell'indirizzo di
-    un socket& \type{sys/socket.h}\\
+    un socket& \file{sys/socket.h}\\
     \hline
-    \type{in\_addr\_t} & indirizzo IPv4 (\file{uint32\_t}) & 
-    \type{netinet/in.h}\\
-    \type{in\_port\_t} & porta TCP o UDP (\file{uint16\_t})& 
-    \type{netinet/in.h}\\
+    \type{in\_addr\_t} & indirizzo IPv4 (\type{uint32\_t}) & 
+    \file{netinet/in.h}\\
+    \type{in\_port\_t} & porta TCP o UDP (\type{uint16\_t})& 
+    \file{netinet/in.h}\\
     \hline
   \end{tabular}
   \caption{Tipi di dati usati nelle strutture degli indirizzi, secondo quanto 
@@ -362,13 +362,13 @@ In alcuni sistemi la struttura 
 aggiuntivo \var{uint8\_t sin\_len} (come riportato da R. Stevens nei suoi
 libri). Questo campo non verrebbe usato direttamente dal programmatore e non è
 richiesto dallo standard POSIX.1g, in Linux pertanto non esiste. Il campo
-\type{sa\_family\_t} era storicamente un \type{unsigned short}.
+\type{sa\_family\_t} era storicamente un \ctyp{unsigned short}.
 
 Dal punto di vista del programmatore l'unico uso di questa struttura è quello
 di fare da riferimento per il casting, per il kernel le cose sono un po'
 diverse, in quanto esso usa il puntatore per recuperare il campo
 \var{sa\_family} con cui determinare il tipo di indirizzo; per questo
-motivo, anche se l'uso di un puntatore \type{void *} sarebbe più immediato
+motivo, anche se l'uso di un puntatore \ctyp{void *} sarebbe più immediato
 per l'utente (che non dovrebbe più eseguire il casting), è stato mantenuto
 l'uso di questa struttura.
 
@@ -606,7 +606,7 @@ I nomi sono assegnati usando la lettera \texttt{n} come mnemonico per indicare
 l'ordinamento usato sulla rete (da \textit{network order}) e la lettera
 \texttt{h} come mnemonico per l'ordinamento usato sulla macchina locale (da
 \textit{host order}), mentre le lettere \texttt{s} e \texttt{l} stanno ad
-indicare i tipi di dato (\type{long} o \type{short}, riportati anche dai
+indicare i tipi di dato (\ctyp{long} o \ctyp{short}, riportati anche dai
 prototipi).
 
 Usando queste funzioni si ha la conversione automatica: nel caso in cui la