Roba scritta nell'attesa
[gapil.git] / tcpsock.tex
1 %% tcpsock.tex
2 %%
3 %% Copyright (C) 2000-2016 Simone Piccardi.  Permission is granted to
4 %% copy, distribute and/or modify this document under the terms of the GNU Free
5 %% Documentation License, Version 1.1 or any later version published by the
6 %% Free Software Foundation; with the Invariant Sections being "Un preambolo",
7 %% with no Front-Cover Texts, and with no Back-Cover Texts.  A copy of the
8 %% license is included in the section entitled "GNU Free Documentation
9 %% License".
10 %%
11
12 \chapter{I socket TCP}
13 \label{cha:TCP_socket}
14
15 In questo capitolo tratteremo le basi dei socket TCP, iniziando con una
16 descrizione delle principali caratteristiche del funzionamento di una
17 connessione TCP; vedremo poi le varie funzioni che servono alla creazione di
18 una connessione fra client e server, fornendo alcuni esempi elementari, e
19 finiremo prendendo in esame l'uso dell'\textit{I/O multiplexing}.
20
21
22 \section{Il funzionamento di una connessione TCP}
23 \label{sec:TCP_connession}
24
25 Prima di entrare nei dettagli delle singole funzioni usate nelle applicazioni
26 che utilizzano i socket TCP, è fondamentale spiegare alcune delle basi del
27 funzionamento del protocollo, poiché questa conoscenza è essenziale per
28 comprendere il comportamento di dette funzioni per questo tipo di socket, ed
29 il relativo modello di programmazione.
30
31 Si ricordi che il protocollo TCP serve a creare degli \textit{stream socket},
32 cioè una forma di canale di comunicazione che stabilisce una connessione
33 stabile fra due macchine in rete, in modo che queste possano scambiarsi dei
34 dati. In questa sezione ci concentreremo sulle modalità con le quali il
35 protocollo dà inizio e conclude una connessione e faremo inoltre un breve
36 accenno al significato di alcuni dei vari \textsl{stati} ad essa associati.
37
38
39 \subsection{La creazione della connessione: il \textit{three way handshake}}
40 \label{sec:TCP_conn_cre}
41
42 \itindbeg{three~way~handshake} 
43
44 Il processo che porta a creare una connessione TCP viene chiamato
45 \textit{three way handshake}; la successione tipica degli eventi (e dei
46 \textsl{segmenti}\footnote{si ricordi che il \textsl{segmento} è l'unità
47   elementare di dati trasmessa dal protocollo TCP al livello successivo; tutti
48   i segmenti hanno un'intestazione che contiene le informazioni che servono
49   allo \textit{stack TCP} (così viene di solito chiamata la parte del kernel
50   che realizza il protocollo) per effettuare la comunicazione, fra questi dati
51   ci sono una serie di flag usati per gestire la connessione, come SYN, ACK,
52   URG, FIN, alcuni di essi, come SYN (che sta per \textit{syncronize})
53   corrispondono a funzioni particolari del protocollo e danno il nome al
54   segmento, (per maggiori dettagli vedere sez.~\ref{sec:tcp_protocol}).}  di
55 dati che vengono scambiati) che porta alla creazione di una connessione è la
56 seguente:
57  
58 \begin{enumerate}
59 \item Il server deve essere preparato per accettare le connessioni in arrivo;
60   il procedimento si chiama \textsl{apertura passiva} del socket (in inglese
61   \textit{passive open}). Questo viene fatto chiamando la sequenza di funzioni
62   \func{socket}, \func{bind} e \func{listen}. Completata l'apertura passiva il
63   server chiama la funzione \func{accept} e il processo si blocca in attesa di
64   connessioni.
65   
66 \item Il client richiede l'inizio della connessione usando la funzione
67   \func{connect}, attraverso un procedimento che viene chiamato
68   \textsl{apertura attiva}, dall'inglese \textit{active open}. La chiamata di
69   \func{connect} blocca il processo e causa l'invio da parte del client di un
70   segmento SYN, in sostanza viene inviato al server un pacchetto IP che
71   contiene solo le intestazioni di IP e TCP (con il numero di sequenza
72   iniziale e il flag SYN) e le opzioni di TCP.
73   
74 \item Il server deve dare ricevuto (l'\textit{acknowledge}) del SYN del
75   client, inoltre anche il server deve inviare il suo SYN al client (e
76   trasmettere il suo numero di sequenza iniziale) questo viene fatto
77   ritrasmettendo un singolo segmento in cui sono impostati entrambi i flag SYN
78   e ACK.
79   
80 \item Una volta che il client ha ricevuto l'\textit{acknowledge} dal server la
81   funzione \func{connect} ritorna, l'ultimo passo è dare il ricevuto del SYN
82   del server inviando un ACK. Alla ricezione di quest'ultimo la funzione
83   \func{accept} del server ritorna e la connessione è stabilita.
84 \end{enumerate} 
85
86 Il procedimento viene chiamato \textit{three way handshake} dato che per
87 realizzarlo devono essere scambiati tre segmenti. In fig.~\ref{fig:TCP_TWH}
88 si è rappresentata graficamente la sequenza di scambio dei segmenti che
89 stabilisce la connessione.
90
91 % Una analogia citata da R. Stevens per la connessione TCP è quella con il
92 % sistema del telefono. La funzione \func{socket} può essere considerata
93 % l'equivalente di avere un telefono. La funzione \func{bind} è analoga al
94 % dire alle altre persone qual è il proprio numero di telefono perché possano
95 % chiamare. La funzione \func{listen} è accendere il campanello del telefono
96 % per sentire le chiamate in arrivo.  La funzione \func{connect} richiede di
97 % conoscere il numero di chi si vuole chiamare. La funzione \func{accept} è
98 % quando si risponde al telefono.
99
100 \begin{figure}[!htb]
101   \centering \includegraphics[width=10cm]{img/three_way_handshake}  
102   \caption{Il \textit{three way handshake} del TCP.}
103   \label{fig:TCP_TWH}
104 \end{figure}
105
106 \index{numeri~di~sequenza|(}
107
108 Si è accennato in precedenza ai \textsl{numeri di sequenza}, che sono anche
109 riportati in fig.~\ref{fig:TCP_TWH}: per gestire una connessione affidabile
110 infatti il protocollo TCP prevede nell'header la presenza di un numero a 32
111 bit (chiamato appunto \textit{sequence number}) che identifica a quale byte
112 nella sequenza del flusso corrisponde il primo byte della sezione dati
113 contenuta nel segmento.
114
115 Il numero di sequenza di ciascun segmento viene calcolato a partire da un
116 \textsl{numero di sequenza iniziale} generato in maniera casuale del kernel
117 all'inizio della connessione e trasmesso con il SYN;
118 l'\textit{acknowledgement} di ciascun segmento viene effettuato dall'altro
119 capo della connessione impostando il flag ACK e restituendo nell'apposito
120 campo dell'header un \textit{acknowledge number}) pari al numero di sequenza
121 che il ricevente si aspetta di ricevere con il pacchetto successivo; dato che
122 il primo pacchetto SYN consuma un byte, nel \textit{three way handshake} il
123 numero di \textit{acknowledge} è sempre pari al numero di sequenza iniziale
124 incrementato di uno; lo stesso varrà anche (vedi fig.~\ref{fig:TCP_close}) per
125 l'\textit{acknowledgement} di un segmento FIN.
126
127 \index{numeri~di~sequenza|)}
128 \itindend{three~way~handshake}
129
130
131 \subsection{Le opzioni TCP.}
132 \label{sec:TCP_TCP_opt}
133
134 Ciascun segmento SYN contiene in genere delle opzioni per il protocollo TCP,
135 le cosiddette \textit{TCP options}, da non confondere con le opzioni dei
136 socket TCP che tratteremo in sez.~\ref{sec:sock_tcp_udp_options}; in questo
137 caso infatti si tratta delle opzioni che vengono trasmesse come parte di un
138 pacchetto TCP, e non delle funzioni che consentono di impostare i relativi
139 valori. Queste opzioni vengono inserite fra l'intestazione ed i dati, e
140 servono a comunicare all'altro capo una serie di parametri utili a regolare la
141 connessione.  Normalmente vengono usate le seguenti opzioni:
142
143 \begin{itemize}
144 \item \textit{MSS option}, con questa opzione ciascun capo della connessione
145   annuncia all'altro il massimo ammontare di dati (MMS sta appunto per
146   \textit{Maximum Segment Size}, vedi sez.~\ref{sec:tcp_protocol}) che
147   vorrebbe accettare per ciascun segmento nella connessione corrente. È
148   possibile leggere e scrivere questo valore attraverso l'opzione del socket
149   \const{TCP\_MAXSEG} (vedi sez.~\ref{sec:sock_tcp_udp_options}).
150   
151 \item \textit{window scale option}, il protocollo TCP realizza il controllo di
152   flusso attraverso una \textit{advertised window} (la ``\textsl{finestra
153     annunciata}'', vedi sez.~\ref{sec:tcp_protocol}) con la quale ciascun capo
154   della comunicazione dichiara quanto spazio disponibile ha in memoria per i
155   dati. Questo è un numero a 16 bit dell'header, che così può indicare un
156   massimo di 65535 byte\footnote{in Linux il massimo è 32767 per evitare
157     problemi con alcune realizzazione dello \textit{stack TCP} che usano
158     l'aritmetica con segno.} ma alcuni tipi di connessione come quelle ad alta
159   velocità (sopra i 45Mbit/sec) e quelle che hanno grandi ritardi nel cammino
160   dei pacchetti (come i satelliti) richiedono una finestra più grande per
161   poter ottenere il massimo dalla trasmissione.
162
163   Per questo esiste un'altra opzione che indica un fattore di scala da
164   applicare al valore della finestra annunciata per la connessione corrente
165   (espresso come numero di bit cui spostare a sinistra il valore della
166   finestra annunciata inserito nel pacchetto). Essendo una nuova opzione per
167   garantire la compatibilità con delle vecchie realizzazione del protocollo la
168   procedura che la attiva prevede come negoziazione che l'altro capo della
169   connessione riconosca esplicitamente l'opzione inserendola anche lui nel suo
170   SYN di risposta dell'apertura della connessione.
171
172   Con Linux è possibile indicare al kernel di far negoziare il fattore di
173   scala in fase di creazione di una connessione tramite la \textit{sysctl}
174   \texttt{tcp\_window\_scaling} (vedi sez.~\ref{sec:sock_ipv4_sysctl}). Per
175   poter usare questa funzionalità è comunque necessario ampliare le dimensioni
176   dei buffer di ricezione e spedizione, cosa che può essere fatta sia a
177   livello di sistema con le opportune \textit{sysctl} (vedi
178   sez.~\ref{sec:sock_ipv4_sysctl}) che a livello di singoli socket con le
179   relative opzioni (vedi sez.~\ref{sec:sock_tcp_udp_options}).
180
181 \item \textit{timestamp option}, è anche questa una nuova opzione necessaria
182   per le connessioni ad alta velocità per evitare possibili corruzioni di dati
183   dovute a pacchetti perduti che riappaiono; anche questa viene negoziata
184   all'inizio della connessione come la precedente.
185
186 \end{itemize}
187
188 La \textit{MSS option} è generalmente supportata da quasi tutte le
189 realizzazioni del protocollo, le ultime due opzioni (trattate
190 nell'\href{http://www.ietf.org/rfc/rfc1323.txt}{RFC~1323}) sono meno comuni;
191 vengono anche dette \textit{long fat pipe options} dato che questo è il nome
192 che viene dato alle connessioni caratterizzate da alta velocità o da ritardi
193 elevati. In ogni caso Linux supporta pienamente entrambe queste opzioni
194 aggiuntive.
195
196
197 \subsection{La terminazione della connessione}
198 \label{sec:TCP_conn_term}
199
200 Mentre per la creazione di una connessione occorre un interscambio di tre
201 segmenti, la procedura di chiusura ne richiede normalmente quattro. In questo
202 caso la successione degli eventi è la seguente:
203
204 \begin{enumerate}
205 \item Un processo ad uno dei due capi chiama la funzione \func{close}, dando
206   l'avvio a quella che viene chiamata \textsl{chiusura attiva} (o
207   \textit{active close}). Questo comporta l'emissione di un segmento FIN, che
208   serve ad indicare che si è finito con l'invio dei dati sulla connessione.
209   
210 \item L'altro capo della connessione riceve il segmento FIN e dovrà eseguire
211   la \textsl{chiusura passiva} (o \textit{passive close}). Al FIN, come ad
212   ogni altro pacchetto, viene risposto con un ACK, inoltre il ricevimento del
213   FIN viene segnalato al processo che ha aperto il socket (dopo che ogni altro
214   eventuale dato rimasto in coda è stato ricevuto) come un
215   \textit{end-of-file} sulla lettura: questo perché il ricevimento di un
216   segmento FIN significa che non si riceveranno altri dati sulla connessione.
217   
218 \item Una volta rilevata l'\textit{end-of-file} anche il secondo processo
219   chiamerà la funzione \func{close} sul proprio socket, causando l'emissione
220   di un altro segmento FIN.
221
222 \item L'altro capo della connessione riceverà il segmento FIN conclusivo e
223   risponderà con un ACK.
224 \end{enumerate}
225
226 Dato che in questo caso sono richiesti un FIN ed un ACK per ciascuna direzione
227 normalmente i segmenti scambiati sono quattro.  Questo non è vero sempre
228 giacché in alcune situazioni il FIN del passo 1 è inviato insieme a dei dati.
229 Inoltre è possibile che i segmenti inviati nei passi 2 e 3 dal capo che
230 effettua la chiusura passiva, siano accorpati in un singolo segmento. Come per
231 il SYN anche il FIN occupa un byte nel numero di sequenza, per cui l'ACK
232 riporterà un \textit{acknowledge number} incrementato di uno. In
233 fig.~\ref{fig:TCP_close} si è rappresentata graficamente la sequenza di
234 scambio dei segmenti che conclude la connessione.
235
236 \begin{figure}[!htb]
237   \centering \includegraphics[width=10cm]{img/tcp_close}  
238   \caption{La chiusura di una connessione TCP.}
239   \label{fig:TCP_close}
240 \end{figure}
241
242 Si noti che, nella sequenza di chiusura, fra i passi 2 e 3, è in teoria
243 possibile che si mantenga un flusso di dati dal capo della connessione che
244 deve ancora eseguire la chiusura passiva a quello che sta eseguendo la
245 chiusura attiva.  Nella sequenza indicata i dati verrebbero persi, dato che si
246 è chiuso il socket dal lato che esegue la chiusura attiva; esistono tuttavia
247 situazioni in cui si vuole poter sfruttare questa possibilità, usando una
248 procedura che è chiamata \textit{half-close}; torneremo su questo aspetto e su
249 come utilizzarlo in sez.~\ref{sec:TCP_shutdown}, quando parleremo della
250 funzione \func{shutdown}.
251
252 La emissione del segmento FIN avviene quando il socket viene chiuso, questo
253 però non avviene solo per la chiamata esplicita della funzione \func{close},
254 ma anche alla terminazione di un processo, quando tutti i file vengono chiusi.
255 Questo comporta ad esempio che se un processo viene terminato da un segnale
256 tutte le connessioni aperte verranno chiuse.
257
258 Infine occorre sottolineare che, benché nella figura (e nell'esempio che
259 vedremo più avanti in sez.~\ref{sec:TCP_echo}) sia stato il client ad eseguire
260 la chiusura attiva, nella realtà questa può essere eseguita da uno qualunque
261 dei due capi della comunicazione (come nell'esempio di
262 fig.~\ref{fig:TCP_daytime_iter_server_code}), e che anche se il caso più
263 comune resta quello del client, ci sono alcuni servizi, il più noto dei quali
264 è l'HTTP 1.0 (con le versioni successive il default è cambiato) per i quali è
265 il server ad effettuare la chiusura attiva.
266
267
268 \subsection{Un esempio di connessione}
269 \label{sec:TCP_conn_dia}
270
271 Come abbiamo visto le operazioni del TCP nella creazione e conclusione di una
272 connessione sono piuttosto complesse, ed abbiamo esaminato soltanto quelle
273 relative ad un andamento normale.  In sez.~\ref{sec:TCP_states} vedremo con
274 maggiori dettagli che una connessione può assumere vari stati, che ne
275 caratterizzano il funzionamento, e che sono quelli che vengono riportati dal
276 comando \cmd{netstat}, per ciascun socket TCP aperto, nel campo
277 \textit{State}.
278
279 Non possiamo affrontare qui una descrizione completa del funzionamento del
280 protocollo; un approfondimento sugli aspetti principali si trova in
281 sez.~\ref{sec:tcp_protocol}, ma per una trattazione completa il miglior
282 riferimento resta \cite{TCPIll1}. Qui ci limiteremo a descrivere brevemente un
283 semplice esempio di connessione e le transizioni che avvengono nei due casi
284 appena citati (creazione e terminazione della connessione).
285
286 In assenza di connessione lo stato del TCP è \texttt{CLOSED}; quando una
287 applicazione esegue una apertura attiva il TCP emette un SYN e lo stato
288 diventa \texttt{SYN\_SENT}; quando il TCP riceve la risposta del SYN$+$ACK
289 emette un ACK e passa allo stato \texttt{ESTABLISHED}; questo è lo stato
290 finale in cui avviene la gran parte del trasferimento dei dati.
291
292 Dal lato server in genere invece il passaggio che si opera con l'apertura
293 passiva è quello di portare il socket dallo stato \texttt{CLOSED} allo
294 stato \texttt{LISTEN} in cui vengono accettate le connessioni.
295
296 Dallo stato \texttt{ESTABLISHED} si può uscire in due modi; se un'applicazione
297 chiama la funzione \func{close} prima di aver ricevuto un
298 \textit{end-of-file} (chiusura attiva) la transizione è verso lo stato
299 \texttt{FIN\_WAIT\_1}; se invece l'applicazione riceve un FIN nello stato
300 \texttt{ESTABLISHED} (chiusura passiva) la transizione è verso lo stato
301 \texttt{CLOSE\_WAIT}.
302
303 In fig.~\ref{fig:TCP_conn_example} è riportato lo schema dello scambio dei
304 pacchetti che avviene per una un esempio di connessione, insieme ai vari stati
305 che il protocollo viene ad assumere per i due lati, server e client.
306
307 \begin{figure}[!htb]
308   \centering \includegraphics[width=9cm]{img/tcp_connection}  
309   \caption{Schema dello scambio di pacchetti per un esempio di connessione.}
310   \label{fig:TCP_conn_example}
311 \end{figure}
312
313 La connessione viene iniziata dal client che annuncia una \textit{Maximum
314   Segment Size} di 1460, un valore tipico con Linux per IPv4 su Ethernet, il
315 server risponde con lo stesso valore (ma potrebbe essere anche un valore
316 diverso).
317
318 Una volta che la connessione è stabilita il client scrive al server una
319 richiesta (che assumiamo stare in un singolo segmento, cioè essere minore dei
320 1460 byte annunciati dal server), quest'ultimo riceve la richiesta e
321 restituisce una risposta (che di nuovo supponiamo stare in un singolo
322 segmento). Si noti che l'\textit{acknowledge} della richiesta è mandato
323 insieme alla risposta: questo viene chiamato \textit{piggybacking} ed avviene
324 tutte le volte che il server è sufficientemente veloce a costruire la
325 risposta; in caso contrario si avrebbe prima l'emissione di un ACK e poi
326 l'invio della risposta.
327
328 Infine si ha lo scambio dei quattro segmenti che terminano la connessione
329 secondo quanto visto in sez.~\ref{sec:TCP_conn_term}; si noti che il capo della
330 connessione che esegue la chiusura attiva entra nello stato
331 \texttt{TIME\_WAIT}, sul cui significato torneremo fra poco.
332
333 È da notare come per effettuare uno scambio di due pacchetti (uno di richiesta
334 e uno di risposta) TCP necessiti di ulteriori otto segmenti, se invece si
335 fosse usato UDP sarebbero stati sufficienti due soli pacchetti. Questo è il
336 costo che occorre pagare per avere l'affidabilità garantita da TCP, se si
337 fosse usato UDP si sarebbe dovuto trasferire la gestione di tutta una serie di
338 dettagli (come la verifica della ricezione dei pacchetti) dal livello del
339 trasporto all'interno dell'applicazione.
340
341 Quello che è bene sempre tenere presente è allora quali sono le esigenze che
342 si hanno in una applicazione di rete, perché non è detto che TCP sia la
343 miglior scelta in tutti i casi (ad esempio se si devono solo scambiare dati
344 già organizzati in piccoli pacchetti l'overhead aggiunto può essere eccessivo)
345 per questo esistono applicazioni che usano UDP e lo fanno perché nel caso
346 specifico le sue caratteristiche di velocità e compattezza nello scambio dei
347 dati rispondono meglio alle esigenze che devono essere affrontate.
348
349
350 \subsection{Lo stato \texttt{TIME\_WAIT}}
351 \label{sec:TCP_time_wait}
352
353 Come riportato da Stevens in \cite{UNP1} lo stato \texttt{TIME\_WAIT} è
354 probabilmente uno degli aspetti meno compresi del protocollo TCP, è infatti
355 comune trovare domande su come sia possibile evitare che un'applicazione resti
356 in questo stato lasciando attiva una connessione ormai conclusa; la risposta è
357 che non deve essere fatto, ed il motivo cercheremo di spiegarlo adesso.
358
359 \itindex{Maximum~Segment~Lifetime}
360 Come si è visto nell'esempio precedente (vedi fig.~\ref{fig:TCP_conn_example})
361 \texttt{TIME\_WAIT} è lo stato finale in cui il capo di una connessione che
362 esegue la chiusura attiva resta prima di passare alla chiusura definitiva
363 della connessione. Il tempo in cui l'applicazione resta in questo stato deve
364 essere due volte la \textit{Maximum Segment Lifetime} (da qui in avanti
365 abbreviata in MSL).
366
367 La MSL è la stima del massimo periodo di tempo in secondi che un pacchetto IP
368 può vivere sulla rete. Questo tempo è limitato perché ogni pacchetto IP può
369 essere ritrasmesso dai router un numero massimo di volte (detto \textit{hop
370   limit}).  Il numero di ritrasmissioni consentito è indicato dal campo TTL
371 dell'intestazione di IP (per maggiori dettagli vedi
372 sez.~\ref{sec:ip_protocol}), e viene decrementato ad ogni passaggio da un
373 router; quando si annulla il pacchetto viene scartato.  Siccome il numero è ad
374 8 bit il numero massimo di ``\textsl{salti}'' è di 255, pertanto anche se il
375 TTL (da \textit{time to live}) non è propriamente un limite sul tempo, sulla
376 sua base si può stimare che un pacchetto IP non possa restare nella rete per
377 più un certo numero di secondi, che costituisce la \textit{Maximum Segment
378   Lifetime}.
379
380 Ogni realizzazione del TCP deve scegliere un valore per la MSL;
381 l'\href{http://www.ietf.org/rfc/rfc1122.txt}{RFC~1122} raccomanda 2 minuti,
382 mentre Linux usa 30 secondi, questo comporta una durata dello stato
383 \texttt{TIME\_WAIT} che a seconda delle realizzazioni può variare fra 1 a 4
384 minuti.  Lo stato \texttt{TIME\_WAIT} viene utilizzato dal protocollo per due
385 motivi principali:
386 \begin{enumerate*}
387 \item effettuare in maniera affidabile la terminazione della connessione
388   in entrambe le direzioni.
389 \item consentire l'eliminazione dei segmenti duplicati dalla rete. 
390 \end{enumerate*}
391
392 Il punto è che entrambe le ragioni sono importanti, anche se spesso si fa
393 riferimento solo alla prima; ma è solo se si tiene conto della seconda che si
394 capisce il perché della scelta di un tempo pari al doppio della MSL come
395 durata di questo stato.
396
397 Il primo dei due motivi precedenti si può capire tornando a
398 fig.~\ref{fig:TCP_conn_example}: assumendo che l'ultimo ACK della sequenza
399 (quello del capo che ha eseguito la chiusura attiva) venga perso, chi esegue
400 la chiusura passiva non ricevendo risposta rimanderà un ulteriore FIN, per
401 questo motivo chi esegue la chiusura attiva deve mantenere lo stato della
402 connessione per essere in grado di reinviare l'ACK e chiuderla correttamente.
403 Se non fosse così la risposta sarebbe un RST (un altro tipo si segmento) che
404 verrebbe interpretato come un errore.
405
406 Se il TCP deve poter chiudere in maniera pulita entrambe le direzioni della
407 connessione allora deve essere in grado di affrontare la perdita di uno
408 qualunque dei quattro segmenti che costituiscono la chiusura. Per questo
409 motivo un socket deve rimanere attivo nello stato \texttt{TIME\_WAIT} anche
410 dopo l'invio dell'ultimo ACK, per potere essere in grado di gestirne
411 l'eventuale ritrasmissione, in caso esso venga perduto.
412
413 Il secondo motivo è più complesso da capire, e necessita di una spiegazione
414 degli scenari in cui può accadere che i pacchetti TCP si possano perdere nella
415 rete o restare intrappolati, per poi riemergere in un secondo tempo. 
416
417 Il caso più comune in cui questo avviene è quello di anomalie
418 nell'instradamento; può accadere cioè che un router smetta di funzionare o che
419 una connessione fra due router si interrompa. In questo caso i protocolli di
420 instradamento dei pacchetti possono impiegare diverso tempo (anche dell'ordine
421 dei minuti) prima di trovare e stabilire un percorso alternativo per i
422 pacchetti. Nel frattempo possono accadere casi in cui un router manda i
423 pacchetti verso un altro e quest'ultimo li rispedisce indietro, o li manda ad
424 un terzo router che li rispedisce al primo, si creano cioè dei circoli (i
425 cosiddetti \textit{routing loop}) in cui restano intrappolati i pacchetti.
426
427 Se uno di questi pacchetti intrappolati è un segmento TCP, chi l'ha inviato,
428 non ricevendo un ACK in risposta, provvederà alla ritrasmissione e se nel
429 frattempo sarà stata stabilita una strada alternativa il pacchetto ritrasmesso
430 giungerà a destinazione.
431
432 Ma se dopo un po' di tempo (che non supera il limite dell'MSL, dato che
433 altrimenti verrebbe ecceduto il TTL) l'anomalia viene a cessare, il circolo di
434 instradamento viene spezzato i pacchetti intrappolati potranno essere inviati
435 alla destinazione finale, con la conseguenza di avere dei pacchetti duplicati;
436 questo è un caso che il TCP deve essere in grado di gestire.
437
438 Allora per capire la seconda ragione per l'esistenza dello stato
439 \texttt{TIME\_WAIT} si consideri il caso seguente: si supponga di avere una
440 connessione fra l'IP \texttt{195.110.112.236} porta 1550 e l'IP
441 \texttt{192.84.145.100} porta 22 (affronteremo il significato delle porte
442 nella prossima sezione), che questa venga chiusa e che poco dopo si
443 ristabilisca la stessa connessione fra gli stessi IP sulle stesse porte
444 (quella che viene detta, essendo gli stessi porte e numeri IP, una nuova
445 \textsl{incarnazione} della connessione precedente); in questo caso ci si
446 potrebbe trovare con dei pacchetti duplicati relativi alla precedente
447 connessione che riappaiono nella nuova.
448
449 Ma fintanto che il socket non è chiuso una nuova incarnazione non può essere
450 creata: per questo un socket TCP resta sempre nello stato \texttt{TIME\_WAIT}
451 per un periodo di 2MSL, in modo da attendere MSL secondi per essere sicuri che
452 tutti i pacchetti duplicati in arrivo siano stati ricevuti (e scartati) o che
453 nel frattempo siano stati eliminati dalla rete, e altri MSL secondi per essere
454 sicuri che lo stesso avvenga per le risposte nella direzione opposta.
455
456 In questo modo, prima che venga creata una nuova connessione, il protocollo
457 TCP si assicura che tutti gli eventuali segmenti residui di una precedente
458 connessione, che potrebbero causare disturbi, siano stati eliminati dalla
459 rete.
460
461
462 \subsection{I numeri di porta}
463 \label{sec:TCP_port_num}
464
465 In un ambiente multitasking in un dato momento più processi devono poter usare
466 sia UDP che TCP, e ci devono poter essere più connessioni in contemporanea.
467 Per poter tenere distinte le diverse connessioni entrambi i protocolli usano i
468 \textsl{numeri di porta}, che fanno parte, come si può vedere in
469 sez.~\ref{sec:sock_sa_ipv4} e sez.~\ref{sec:sock_sa_ipv6} pure delle strutture
470 degli indirizzi del socket.
471
472 Quando un client contatta una macchina server deve poter identificare con
473 quale dei vari possibili programmi server attivi intende parlare. Sia TCP che
474 UDP definiscono un gruppo di \textsl{porte conosciute} (le cosiddette
475 \textit{well-known port}) che identificano una serie di servizi noti (ad
476 esempio la porta 22 identifica il servizio SSH) effettuati da appositi
477 programmi server che rispondono alle connessioni verso tali porte.
478
479 D'altra parte un client non ha necessità di usare dalla sua parte un numero di
480 porta specifico, per cui in genere vengono usate le cosiddette \textsl{porte
481   effimere} (o \textit{ephemeral ports}) cioè porte a cui non è assegnato
482 nessun servizio noto e che vengono assegnate automaticamente dal kernel alla
483 creazione della connessione. Queste sono dette effimere in quanto vengono
484 usate solo per la durata della connessione, e l'unico requisito che deve
485 essere soddisfatto è che ognuna di esse sia assegnata in maniera univoca.
486
487 La lista delle porte conosciute è definita
488 dall'\href{http://www.ietf.org/rfc/rfc1700.txt}{RFC~1700} che contiene
489 l'elenco delle porte assegnate dalla IANA (la \textit{Internet Assigned Number
490   Authority}) ma l'elenco viene costantemente aggiornato e pubblicato su
491 Internet (una versione aggiornata si può trovare all'indirizzo
492 \url{http://www.iana.org/assignments/port-numbers}); inoltre in un sistema
493 unix-like un analogo elenco viene mantenuto nel file \conffile{/etc/services},
494 con la corrispondenza fra i vari numeri di porta ed il nome simbolico del
495 servizio.  I numeri sono divisi in tre intervalli:
496
497 \begin{enumerate*}
498 \item \textsl{le porte note}. I numeri da 0 a 1023. Queste sono controllate e
499   assegnate dalla IANA. Se è possibile la stessa porta è assegnata allo stesso
500   servizio sia su UDP che su TCP (ad esempio la porta 22 è assegnata a SSH su
501   entrambi i protocolli, anche se viene usata solo dal TCP).
502   
503 \item \textsl{le porte registrate}. I numeri da 1024 a 49151. Queste porte non
504   sono controllate dalla IANA, che però registra ed elenca chi usa queste
505   porte come servizio agli utenti. Come per le precedenti si assegna una porta
506   ad un servizio sia per TCP che UDP anche se poi il servizio è effettuato
507   solo su TCP. Ad esempio \textit{X Window} usa le porte TCP e UDP dal 6000 al
508   6063 anche se il protocollo viene usato solo con TCP.
509   
510 \item \textsl{le porte private} o \textsl{dinamiche}. I numeri da 49152 a
511   65535. La IANA non dice nulla riguardo a queste porte che pertanto
512   sono i candidati naturali ad essere usate come porte effimere.
513 \end{enumerate*}
514
515 In realtà rispetto a quanto indicato
516 nell'\href{http://www.ietf.org/rfc/rfc1700.txt}{RFC~1700} i vari sistemi hanno
517 fatto scelte diverse per le porte effimere, in particolare in
518 fig.~\ref{fig:TCP_port_alloc} sono riportate quelle di BSD e Linux.
519
520 \begin{figure}[!htb]
521   \centering \includegraphics[width=13cm]{img/port_alloc}  
522   \caption{Allocazione dei numeri di porta.}
523   \label{fig:TCP_port_alloc}
524 \end{figure}
525
526 I sistemi Unix hanno inoltre il concetto di \textsl{porte riservate}, che
527 corrispondono alle porte con numero minore di 1024 e coincidono quindi con le
528 \textsl{porte note}. La loro caratteristica è che possono essere assegnate a
529 un socket solo da un processo con i privilegi di amministratore, per far sì
530 che solo l'amministratore possa allocare queste porte per far partire i
531 relativi servizi.
532
533 Le \textsl{glibc} definiscono in \headfile{netinet/in.h} le costanti
534 \constd{IPPORT\_RESERVED} e \constd{IPPORT\_USERRESERVED}, in cui la prima
535 (che vale 1024) indica il limite superiore delle porte riservate, e la seconda
536 (che vale 5000) il limite inferiore delle porte a disposizione degli utenti.
537 La convenzione vorrebbe che le porte \textsl{effimere} siano allocate fra
538 questi due valori. Nel caso di Linux questo è vero solo in uno dei due casi di
539 fig.~\ref{fig:TCP_port_alloc}, e la scelta fra i due possibili intervalli
540 viene fatta dinamicamente dal kernel a seconda della memoria disponibile per
541 la gestione delle relative tabelle.
542
543 Si tenga conto poi che ci sono alcuni client, in particolare \cmd{rsh} e
544 \cmd{rlogin}, che richiedono una connessione su una porta riservata anche dal
545 lato client come parte dell'autenticazione, contando appunto sul fatto che
546 solo l'amministratore può usare queste porte. Data l'assoluta inconsistenza in
547 termini di sicurezza di un tale metodo, al giorno d'oggi esso è in completo
548 disuso.
549
550 Data una connessione TCP si suole chiamare \textit{socket pair} (da non
551 confondere con la coppia di socket della omonima funzione \func{socketpair} di
552 sez.~\ref{sec:ipc_socketpair} che fanno riferimento ad una coppia di socket
553 sulla stessa macchina, non ai capi di una connessione TCP) la combinazione dei
554 quattro numeri che definiscono i due capi della connessione e cioè l'indirizzo
555 IP locale e la porta TCP locale, e l'indirizzo IP remoto e la porta TCP
556 remota.  Questa combinazione, che scriveremo usando una notazione del tipo
557 (\texttt{195.110.112.152:22}, \texttt{192.84.146.100:20100}), identifica
558 univocamente una connessione su Internet.  Questo concetto viene di solito
559 esteso anche a UDP, benché in questo caso non abbia senso parlare di
560 connessione. L'utilizzo del programma \cmd{netstat} permette di visualizzare
561 queste informazioni nei campi \textit{Local Address} e \textit{Foreing
562   Address}.
563
564
565 \subsection{Le porte ed il modello client/server}
566 \label{sec:TCP_port_cliserv}
567
568 Per capire meglio l'uso delle porte e come vengono utilizzate quando si ha a
569 che fare con un'applicazione client/server (come quelle che descriveremo in
570 sez.~\ref{sec:TCP_daytime_application} e sez.~\ref{sec:TCP_echo_application})
571 esamineremo cosa accade con le connessioni nel caso di un server TCP che deve
572 gestire connessioni multiple.
573
574 Se eseguiamo un \cmd{netstat} su una macchina di prova (il cui indirizzo sia
575 \texttt{195.110.112.152}) potremo avere un risultato del tipo:
576 \begin{verbatim}
577 Active Internet connections (servers and established)
578 Proto Recv-Q Send-Q Local Address           Foreign Address         State      
579 tcp        0      0 0.0.0.0:22              0.0.0.0:*               LISTEN
580 tcp        0      0 0.0.0.0:25              0.0.0.0:*               LISTEN
581 tcp        0      0 127.0.0.1:53            0.0.0.0:*               LISTEN
582 \end{verbatim}
583 essendo presenti e attivi un server SSH, un server di posta e un DNS per il
584 caching locale.
585
586 Questo ci mostra ad esempio che il server SSH ha compiuto un'apertura passiva,
587 mettendosi in ascolto sulla porta 22 riservata a questo servizio, e che si è
588 posto in ascolto per connessioni provenienti da uno qualunque degli indirizzi
589 associati alle interfacce locali. La notazione \texttt{0.0.0.0} usata da
590 \cmd{netstat} è equivalente all'asterisco utilizzato per il numero di porta,
591 indica il valore generico, e corrisponde al valore \const{INADDR\_ANY}
592 definito in \headfiled{arpa/inet.h} (vedi \ref{tab:TCP_ipv4_addr}).
593
594 Inoltre si noti come la porta e l'indirizzo di ogni eventuale connessione
595 esterna non sono specificati; in questo caso la \textit{socket pair} associata
596 al socket potrebbe essere indicata come (\texttt{*:22}, \texttt{*:*}), usando
597 anche per gli indirizzi l'asterisco come carattere che indica il valore
598 generico.
599
600 Dato che in genere una macchina è associata ad un solo indirizzo IP, ci si può
601 chiedere che senso abbia l'utilizzo dell'indirizzo generico per specificare
602 l'indirizzo locale; ma a parte il caso di macchine che hanno più di un
603 indirizzo IP (il cosiddetto \textit{multihoming}) esiste sempre anche
604 l'indirizzo di loopback, per cui con l'uso dell'indirizzo generico si possono
605 accettare connessioni indirizzate verso uno qualunque degli indirizzi IP
606 presenti. Ma, come si può vedere nell'esempio con il DNS che è in ascolto
607 sulla porta 53, è possibile anche restringere l'accesso ad uno specifico
608 indirizzo, cosa che nel caso è fatta accettando solo connessioni che arrivino
609 sull'interfaccia di loopback.
610
611 Una volta che ci si vorrà collegare a questa macchina da un'altra, per esempio
612 quella con l'indirizzo \texttt{192.84.146.100}, si dovrà lanciare su
613 quest'ultima un client \cmd{ssh} per creare una connessione, e il kernel gli
614 assocerà una porta effimera (ad esempio la 21100), per cui la connessione sarà
615 espressa dalla socket pair (\texttt{192.84.146.100:21100},
616 \texttt{195.110.112.152:22}).
617
618 Alla ricezione della richiesta dal client il server creerà un processo figlio
619 per gestire la connessione, se a questo punto eseguiamo nuovamente il
620 programma \cmd{netstat} otteniamo come risultato:
621 \begin{verbatim}
622 Active Internet connections (servers and established)
623 Proto Recv-Q Send-Q Local Address           Foreign Address         State      
624 tcp        0      0 0.0.0.0:22              0.0.0.0:*               LISTEN
625 tcp        0      0 0.0.0.0:25              0.0.0.0:*               LISTEN
626 tcp        0      0 127.0.0.1:53            0.0.0.0:*               LISTEN
627 tcp        0      0 195.110.112.152:22      192.84.146.100:21100    ESTABLISHED
628 \end{verbatim}
629
630 Come si può notare il server è ancora in ascolto sulla porta 22, però adesso
631 c'è un nuovo socket (con lo stato \texttt{ESTABLISHED}) che utilizza anch'esso
632 la porta 22, ed ha specificato l'indirizzo locale, questo è il socket con cui
633 il processo figlio gestisce la connessione mentre il padre resta in ascolto
634 sul socket originale.
635
636 Se a questo punto lanciamo un'altra volta il client \cmd{ssh} per una seconda
637 connessione quello che otterremo usando \cmd{netstat} sarà qualcosa del
638 genere:
639 \begin{verbatim}
640 Active Internet connections (servers and established)
641 Proto Recv-Q Send-Q Local Address           Foreign Address         State      
642 tcp        0      0 0.0.0.0:22              0.0.0.0:*               LISTEN
643 tcp        0      0 0.0.0.0:25              0.0.0.0:*               LISTEN
644 tcp        0      0 127.0.0.1:53            0.0.0.0:*               LISTEN
645 tcp        0      0 195.110.112.152:22      192.84.146.100:21100    ESTABLISHED
646 tcp        0      0 195.110.112.152:22      192.84.146.100:21101    ESTABLISHED
647 \end{verbatim}
648 cioè il client effettuerà la connessione usando un'altra porta effimera: con
649 questa sarà aperta la connessione, ed il server creerà un altro processo
650 figlio per gestirla.
651
652 Tutto ciò mostra come il TCP, per poter gestire le connessioni con un server
653 concorrente, non può suddividere i pacchetti solo sulla base della porta di
654 destinazione, ma deve usare tutta l'informazione contenuta nella socket pair,
655 compresa la porta dell'indirizzo remoto.  E se andassimo a vedere quali sono i
656 processi\footnote{ad esempio con il comando \cmd{fuser}, o con \cmd{lsof}, o
657   usando l'opzione \texttt{-p}.} a cui fanno riferimento i vari socket
658 vedremmo che i pacchetti che arrivano dalla porta remota 21100 vanno al primo
659 figlio e quelli che arrivano alla porta 21101 al secondo.
660
661
662 \section{Le funzioni di base per la gestione dei socket}
663 \label{sec:TCP_functions}
664
665 In questa sezione descriveremo in maggior dettaglio le varie funzioni che
666 vengono usate per la gestione di base dei socket TCP, non torneremo però sulla
667 funzione \func{socket}, che è già stata esaminata accuratamente nel capitolo
668 precedente in sez.~\ref{sec:sock_creation}.
669
670
671 \subsection{La funzione \func{bind}}
672 \label{sec:TCP_func_bind}
673
674 La funzione \funcd{bind} assegna un indirizzo locale ad un
675 socket.\footnote{nel nostro caso la utilizzeremo per socket TCP, ma la
676   funzione è generica e deve essere usata per qualunque tipo di socket
677   \const{SOCK\_STREAM} prima che questo possa accettare connessioni.} È usata
678 cioè per specificare la prima parte dalla socket pair.  Viene usata sul lato
679 server per specificare la porta (e gli eventuali indirizzi locali) su cui poi
680 ci si porrà in ascolto. Il prototipo della funzione è il seguente:
681 \begin{prototype}{sys/socket.h}
682 {int bind(int sockfd, const struct sockaddr *serv\_addr, socklen\_t addrlen)}
683   
684   Assegna un indirizzo ad un socket.
685   
686   \bodydesc{La funzione restituisce 0 in caso di successo e -1 per un errore;
687     in caso di errore la variabile \var{errno} viene impostata secondo i
688     seguenti codici di errore:
689   \begin{errlist}
690   \item[\errcode{EBADF}] il file descriptor non è valido.
691   \item[\errcode{EINVAL}] il socket ha già un indirizzo assegnato.
692   \item[\errcode{ENOTSOCK}] il file descriptor non è associato ad un socket.
693   \item[\errcode{EACCES}] si è cercato di usare una porta riservata senza
694     sufficienti privilegi.
695   \item[\errcode{EADDRNOTAVAIL}] il tipo di indirizzo specificato non è
696     disponibile.
697   \item[\errcode{EADDRINUSE}] qualche altro socket sta già usando l'indirizzo.
698   \end{errlist}
699   ed anche \errval{EFAULT} e per i socket di tipo \const{AF\_UNIX},
700   \errval{ENOTDIR}, \errval{ENOENT}, \errval{ENOMEM}, \errval{ELOOP},
701   \errval{ENOSR} e \errval{EROFS}.}
702 \end{prototype}
703
704 Il primo argomento è un file descriptor ottenuto da una precedente chiamata a
705 \func{socket}, mentre il secondo e terzo argomento sono rispettivamente
706 l'indirizzo (locale) del socket e la dimensione della struttura che lo
707 contiene, secondo quanto già trattato in sez.~\ref{sec:sock_sockaddr}. 
708
709 Con i socket TCP la chiamata \func{bind} permette di specificare l'indirizzo,
710 la porta, entrambi o nessuno dei due. In genere i server utilizzano una porta
711 nota che assegnano all'avvio, se questo non viene fatto è il kernel a
712 scegliere una porta effimera quando vengono eseguite la funzioni
713 \func{connect} o \func{listen}, ma se questo è normale per il client non lo è
714 per il server\footnote{un'eccezione a tutto ciò sono i server che usano RPC.
715   In questo caso viene fatta assegnare dal kernel una porta effimera che poi
716   viene registrata presso il \textit{portmapper}; quest'ultimo è un altro
717   demone che deve essere contattato dai client per ottenere la porta effimera
718   su cui si trova il server.} che in genere viene identificato dalla porta su
719 cui risponde (l'elenco di queste porte, e dei relativi servizi, è in
720 \conffile{/etc/services}).
721
722 Con \func{bind} si può assegnare un indirizzo IP specifico ad un socket,
723 purché questo appartenga ad una interfaccia della macchina.  Per un client TCP
724 questo diventerà l'indirizzo sorgente usato per i tutti i pacchetti inviati
725 sul socket, mentre per un server TCP questo restringerà l'accesso al socket
726 solo alle connessioni che arrivano verso tale indirizzo.
727
728 Normalmente un client non specifica mai l'indirizzo di un socket, ed il kernel
729 sceglie l'indirizzo di origine quando viene effettuata la connessione, sulla
730 base dell'interfaccia usata per trasmettere i pacchetti, (che dipenderà dalle
731 regole di instradamento usate per raggiungere il server).  Se un server non
732 specifica il suo indirizzo locale il kernel userà come indirizzo di origine
733 l'indirizzo di destinazione specificato dal SYN del client.
734
735 Per specificare un indirizzo generico, con IPv4 si usa il valore
736 \const{INADDR\_ANY}, il cui valore, come accennato in
737 sez.~\ref{sec:sock_sa_ipv4}, è pari a zero; nell'esempio
738 fig.~\ref{fig:TCP_daytime_iter_server_code} si è usata un'assegnazione
739 immediata del tipo: \includecodesnip{listati/serv_addr_sin_addr.c}
740
741 Si noti che si è usato \func{htonl} per assegnare il valore
742 \const{INADDR\_ANY}, anche se, essendo questo nullo, il riordinamento è
743 inutile.  Si tenga presente comunque che tutte le costanti \val{INADDR\_}
744 (riportate in tab.~\ref{tab:TCP_ipv4_addr}) sono definite secondo
745 l'\textit{endianness} della macchina, ed anche se esse possono essere
746 invarianti rispetto all'ordinamento dei bit, è comunque buona norma usare
747 sempre la funzione \func{htonl}.
748
749 \begin{table}[htb]
750   \centering
751   \footnotesize
752   \begin{tabular}[c]{|l|l|}
753     \hline
754     \textbf{Costante} & \textbf{Significato} \\
755     \hline
756     \hline
757     \constd{INADDR\_ANY}      & Indirizzo generico (\texttt{0.0.0.0})\\
758     \constd{INADDR\_BROADCAST}& Indirizzo di \textit{broadcast}.\\ 
759     \constd{INADDR\_LOOPBACK} & Indirizzo di \textit{loopback}
760                                 (\texttt{127.0.0.1}).\\ 
761     \constd{INADDR\_NONE}     & Indirizzo errato.\\
762     \hline    
763   \end{tabular}
764   \caption{Costanti di definizione di alcuni indirizzi generici per IPv4.}
765   \label{tab:TCP_ipv4_addr}
766 \end{table}
767
768 L'esempio precedente funziona correttamente con IPv4 poiché che l'indirizzo è
769 rappresentabile anche con un intero a 32 bit; non si può usare lo stesso
770 metodo con IPv6, in cui l'indirizzo deve necessariamente essere specificato
771 con una struttura, perché il linguaggio C non consente l'uso di una struttura
772 costante come operando a destra in una assegnazione.
773
774 Per questo motivo nell'header \headfile{netinet/in.h} è definita una variabile
775 \var{in6addr\_any} (dichiarata come \dirct{extern}, ed inizializzata dal
776 sistema al valore \constd{IN6ADRR\_ANY\_INIT}) che permette di effettuare una
777 assegnazione del tipo: \includecodesnip{listati/serv_addr_sin6_addr.c} in
778 maniera analoga si può utilizzare la variabile \var{in6addr\_loopback} per
779 indicare l'indirizzo di \textit{loopback}, che a sua volta viene inizializzata
780 staticamente a \constd{IN6ADRR\_LOOPBACK\_INIT}.
781
782
783 \subsection{La funzione \func{connect}}
784 \label{sec:TCP_func_connect}
785
786 La funzione \funcd{connect} è usata da un client TCP per stabilire la
787 connessione con un server TCP,\footnote{di nuovo la funzione è generica e
788   supporta vari tipi di socket, la differenza è che per socket senza
789   connessione come quelli di tipo \const{SOCK\_DGRAM} la sua chiamata si
790   limiterà ad impostare l'indirizzo dal quale e verso il quale saranno inviati
791   e ricevuti i pacchetti, mentre per socket di tipo \const{SOCK\_STREAM} o
792   \const{SOCK\_SEQPACKET}, essa attiverà la procedura di avvio (nel caso del
793   TCP il \textit{three way handshake}) della connessione.}  il prototipo della
794 funzione è il seguente:
795 \begin{prototype}{sys/socket.h}
796   {int connect(int sockfd, const struct sockaddr *servaddr, socklen\_t
797     addrlen)}
798   
799   Stabilisce una connessione fra due socket.
800   
801   \bodydesc{La funzione restituisce zero in caso di successo e -1 per un
802     errore, nel qual caso \var{errno} assumerà i valori:
803   \begin{errlist}
804   \item[\errcode{ECONNREFUSED}] non c'è nessuno in ascolto sull'indirizzo
805     remoto.
806   \item[\errcode{ETIMEDOUT}] si è avuto timeout durante il tentativo di
807     connessione.
808   \item[\errcode{ENETUNREACH}] la rete non è raggiungibile.
809   \item[\errcode{EINPROGRESS}] il socket è non bloccante (vedi
810     sez.~\ref{sec:file_noblocking}) e la connessione non può essere conclusa
811     immediatamente.
812   \item[\errcode{EALREADY}] il socket è non bloccante (vedi
813     sez.~\ref{sec:file_noblocking}) e un tentativo precedente di connessione
814     non si è ancora concluso.
815   \item[\errcode{EAGAIN}] non ci sono più porte locali libere. 
816   \item[\errcode{EAFNOSUPPORT}] l'indirizzo non ha una famiglia di indirizzi
817     corretta nel relativo campo.
818   \item[\errcode{EACCES}, \errcode{EPERM}] si è tentato di eseguire una
819     connessione ad un indirizzo \textit{broadcast} senza che il socket fosse
820     stato abilitato per il \textit{broadcast}.
821   \end{errlist}
822   altri errori possibili sono: \errval{EFAULT}, \errval{EBADF},
823   \errval{ENOTSOCK}, \errval{EISCONN} e \errval{EADDRINUSE}.}
824 \end{prototype}
825
826 Il primo argomento è un file descriptor ottenuto da una precedente chiamata a
827 \func{socket}, mentre il secondo e terzo argomento sono rispettivamente
828 l'indirizzo e la dimensione della struttura che contiene l'indirizzo del
829 socket, già descritta in sez.~\ref{sec:sock_sockaddr}.
830
831 La struttura dell'indirizzo deve essere inizializzata con l'indirizzo IP e il
832 numero di porta del server a cui ci si vuole connettere, come mostrato
833 nell'esempio sez.~\ref{sec:TCP_daytime_client}, usando le funzioni illustrate
834 in sez.~\ref{sec:sock_addr_func}.
835
836 Nel caso di socket TCP la funzione \func{connect} avvia il \textit{three way
837   handshake}, e ritorna solo quando la connessione è stabilita o si è
838 verificato un errore. Le possibili cause di errore sono molteplici (ed i
839 relativi codici riportati sopra), quelle che però dipendono dalla situazione
840 della rete e non da errori o problemi nella chiamata della funzione sono le
841 seguenti:
842 \begin{enumerate}
843 \item Il client non riceve risposta al SYN: l'errore restituito è
844   \errcode{ETIMEDOUT}. Stevens riporta che BSD invia un primo SYN alla
845   chiamata di \func{connect}, un altro dopo 6 secondi, un terzo dopo 24
846   secondi, se dopo 75 secondi non ha ricevuto risposta viene ritornato
847   l'errore. Linux invece ripete l'emissione del SYN ad intervalli di 30
848   secondi per un numero di volte che può essere stabilito dall'utente. Questo
849   può essere fatto a livello globale con una opportuna
850   \func{sysctl},\footnote{o più semplicemente scrivendo il valore voluto in
851     \sysctlfile{net/ipv4/tcp\_syn\_retries}, vedi
852     sez.~\ref{sec:sock_ipv4_sysctl}.} e a livello di singolo socket con
853   l'opzione \const{TCP\_SYNCNT} (vedi sez.~\ref{sec:sock_tcp_udp_options}). Il
854   valore predefinito per la ripetizione dell'invio è di 5 volte, che comporta
855   un timeout dopo circa 180 secondi.
856
857 \item Il client riceve come risposta al SYN un RST significa che non c'è
858   nessun programma in ascolto per la connessione sulla porta specificata (il
859   che vuol dire probabilmente che o si è sbagliato il numero della porta o che
860   non è stato avviato il server), questo è un errore fatale e la funzione
861   ritorna non appena il RST viene ricevuto riportando un errore
862   \errcode{ECONNREFUSED}.
863   
864   Il flag RST sta per \textit{reset} ed è un segmento inviato direttamente
865   dal TCP quando qualcosa non va. Tre condizioni che generano un RST sono:
866   quando arriva un SYN per una porta che non ha nessun server in ascolto,
867   quando il TCP abortisce una connessione in corso, quando TCP riceve un
868   segmento per una connessione che non esiste.
869   
870 \item Il SYN del client provoca l'emissione di un messaggio ICMP di
871   destinazione non raggiungibile. In questo caso dato che il messaggio può
872   essere dovuto ad una condizione transitoria si ripete l'emissione dei SYN
873   come nel caso precedente, fino al timeout, e solo allora si restituisce il
874   codice di errore dovuto al messaggio ICMP, che da luogo ad un
875   \errcode{ENETUNREACH}.
876    
877 \end{enumerate}
878
879 Se si fa riferimento al diagramma degli stati del TCP riportato in
880 fig.~\ref{fig:TCP_state_diag} la funzione \func{connect} porta un socket
881 dallo stato \texttt{CLOSED} (lo stato iniziale in cui si trova un socket
882 appena creato) prima allo stato \texttt{SYN\_SENT} e poi, al ricevimento del
883 ACK, nello stato \texttt{ESTABLISHED}. Se invece la connessione fallisce il
884 socket non è più utilizzabile e deve essere chiuso.
885
886 Si noti infine che con la funzione \func{connect} si è specificato solo
887 indirizzo e porta del server, quindi solo una metà della socket pair; essendo
888 questa funzione usata nei client l'altra metà contenente indirizzo e porta
889 locale viene lasciata all'assegnazione automatica del kernel, e non è
890 necessario effettuare una \func{bind}.
891
892
893 \subsection{La funzione \func{listen}}
894 \label{sec:TCP_func_listen}
895
896 La funzione \funcd{listen} serve ad usare un socket in modalità passiva, cioè,
897 come dice il nome, per metterlo in ascolto di eventuali
898 connessioni;\footnote{questa funzione può essere usata con socket che
899   supportino le connessioni, cioè di tipo \const{SOCK\_STREAM} o
900   \const{SOCK\_SEQPACKET}.} in sostanza l'effetto della funzione è di portare
901 il socket dallo stato \texttt{CLOSED} a quello \texttt{LISTEN}. In genere si
902 chiama la funzione in un server dopo le chiamate a \func{socket} e \func{bind}
903 e prima della chiamata ad \func{accept}. Il prototipo della funzione, come
904 definito dalla pagina di manuale, è:
905 \begin{prototype}{sys/socket.h}{int listen(int sockfd, int backlog)}
906   Pone un socket in attesa di una connessione.
907   
908   \bodydesc{La funzione restituisce 0 in caso di successo e -1 in caso di
909     errore. I codici di errore restituiti in \var{errno} sono i seguenti:
910   \begin{errlist}
911   \item[\errcode{EBADF}] l'argomento \param{sockfd} non è un file descriptor
912     valido.
913   \item[\errcode{ENOTSOCK}] l'argomento \param{sockfd} non è un socket.
914   \item[\errcode{EOPNOTSUPP}] il socket è di un tipo che non supporta questa
915     operazione.
916   \end{errlist}}
917 \end{prototype}
918
919 La funzione pone il socket specificato da \param{sockfd} in modalità passiva e
920 predispone una coda per le connessioni in arrivo di lunghezza pari a
921 \param{backlog}. La funzione si può applicare solo a socket di tipo
922 \const{SOCK\_STREAM} o \const{SOCK\_SEQPACKET}.
923
924 L'argomento \param{backlog} indica il numero massimo di connessioni pendenti
925 accettate; se esso viene ecceduto il client al momento della richiesta della
926 connessione riceverà un errore di tipo \errcode{ECONNREFUSED}, o se il
927 protocollo, come accade nel caso del TCP, supporta la ritrasmissione, la
928 richiesta sarà ignorata in modo che la connessione possa venire ritentata.
929
930 Per capire meglio il significato di tutto ciò occorre approfondire la modalità
931 con cui il kernel tratta le connessioni in arrivo. Per ogni socket in ascolto
932 infatti vengono mantenute due code:
933 \begin{enumerate}
934 \item La coda delle connessioni incomplete (\textit{incomplete connection
935     queue}) che contiene un riferimento per ciascun socket per il quale è
936   arrivato un SYN ma il \textit{three way handshake} non si è ancora concluso.
937   Questi socket sono tutti nello stato \texttt{SYN\_RECV}.
938 \item La coda delle connessioni complete (\textit{complete connection queue})
939   che contiene un ingresso per ciascun socket per il quale il \textit{three
940     way handshake} è stato completato ma ancora \func{accept} non è ritornata.
941   Questi socket sono tutti nello stato \texttt{ESTABLISHED}.
942 \end{enumerate}
943
944 Lo schema di funzionamento è descritto in fig.~\ref{fig:TCP_listen_backlog}:
945 quando arriva un SYN da un client il server crea una nuova voce nella coda
946 delle connessioni incomplete, e poi risponde con il SYN$+$ACK. La voce resterà
947 nella coda delle connessioni incomplete fino al ricevimento dell'ACK dal
948 client o fino ad un timeout. Nel caso di completamento del \textit{three way
949   handshake} la voce viene spostata nella coda delle connessioni complete.
950 Quando il processo chiama la funzione \func{accept} (vedi
951 sez.~\ref{sec:TCP_func_accept}) la prima voce nella coda delle connessioni
952 complete è passata al programma, o, se la coda è vuota, il processo viene
953 posto in attesa e risvegliato all'arrivo della prima connessione completa.
954
955 \begin{figure}[!htb]
956   \centering \includegraphics[width=11cm]{img/tcp_listen_backlog}  
957   \caption{Schema di funzionamento delle code delle connessioni complete ed
958     incomplete.}
959   \label{fig:TCP_listen_backlog}
960 \end{figure}
961
962 Storicamente il valore dell'argomento \param{backlog} era corrispondente al
963 massimo valore della somma del numero di voci possibili per ciascuna delle due
964 code. Stevens in \cite{UNP1} riporta che BSD ha sempre applicato un fattore di
965 1.5 a detto valore, e fornisce una tabella con i risultati ottenuti con vari
966 kernel, compreso Linux 2.0, che mostrano le differenze fra diverse
967 realizzazioni.
968
969 In Linux il significato di questo valore è cambiato a partire dal kernel 2.2
970 per prevenire l'attacco chiamato \itindex{SYN~flood} \textit{SYN
971   flood}. Questo si basa sull'emissione da parte dell'attaccante di un grande
972 numero di pacchetti SYN indirizzati verso una porta, forgiati con indirizzo IP
973 fasullo\footnote{con la tecnica che viene detta \textit{ip spoofing}.} così
974 che i SYN$+$ACK vanno perduti e la coda delle connessioni incomplete viene
975 saturata, impedendo di fatto ulteriori connessioni.
976
977 Per ovviare a questo il significato del \param{backlog} è stato cambiato a
978 indicare la lunghezza della coda delle connessioni complete. La lunghezza
979 della coda delle connessioni incomplete può essere ancora controllata usando
980 la funzione \func{sysctl} con il parametro
981 \constd{NET\_TCP\_MAX\_SYN\_BACKLOG} o scrivendola direttamente in
982 \sysctlfile{net/ipv4/tcp\_max\_syn\_backlog}.  Quando si attiva la protezione
983 dei syncookies però (con l'opzione da compilare nel kernel e da attivare
984 usando \sysctlfile{net/ipv4/tcp\_syncookies}) questo valore viene ignorato e
985 non esiste più un valore massimo.  In ogni caso in Linux il valore
986 di \param{backlog} viene troncato ad un massimo di \const{SOMAXCONN} se è
987 superiore a detta costante (che di default vale 128).\footnote{il valore di
988   questa costante può essere controllato con un altro parametro di
989   \func{sysctl}, vedi sez.~\ref{sec:sock_ioctl_IP}.}
990
991 La scelta storica per il valore di questo parametro era di 5, e alcuni vecchi
992 kernel non supportavano neanche valori superiori, ma la situazione corrente è
993 molto cambiata per via della presenza di server web che devono gestire un gran
994 numero di connessioni per cui un tale valore non è più adeguato. Non esiste
995 comunque una risposta univoca per la scelta del valore, per questo non
996 conviene specificarlo con una costante (il cui cambiamento richiederebbe la
997 ricompilazione del server) ma usare piuttosto una variabile di ambiente (vedi
998 sez.~\ref{sec:proc_environ}).
999
1000 Stevens tratta accuratamente questo argomento in \cite{UNP1}, con esempi presi
1001 da casi reali su web server, ed in particolare evidenzia come non sia più vero
1002 che il compito principale della coda sia quello di gestire il caso in cui il
1003 server è occupato fra chiamate successive alla \func{accept} (per cui la coda
1004 più occupata sarebbe quella delle connessioni completate), ma piuttosto quello
1005 di gestire la presenza di un gran numero di SYN in attesa di concludere il
1006 \textit{three way handshake}.
1007
1008 Infine va messo in evidenza che, nel caso di socket TCP, quando un SYN arriva
1009 con tutte le code piene, il pacchetto deve essere ignorato. Questo perché la
1010 condizione in cui le code sono piene è ovviamente transitoria, per cui se il
1011 client ritrasmette il SYN è probabile che passato un po' di tempo possa
1012 trovare nella coda lo spazio per una nuova connessione. Se invece si
1013 rispondesse con un RST, per indicare l'impossibilità di effettuare la
1014 connessione, la chiamata a \func{connect} nel client ritornerebbe con una
1015 condizione di errore, costringendo a inserire nell'applicazione la gestione
1016 dei tentativi di riconnessione, che invece può essere effettuata in maniera
1017 trasparente dal protocollo TCP.
1018
1019
1020 \subsection{La funzione \func{accept}}
1021 \label{sec:TCP_func_accept}
1022
1023 La funzione \funcd{accept} è chiamata da un server per gestire la connessione
1024 una volta che sia stato completato il \textit{three way
1025   handshake},\footnote{la funzione è comunque generica ed è utilizzabile su
1026   socket di tipo \const{SOCK\_STREAM}, \const{SOCK\_SEQPACKET} e
1027   \const{SOCK\_RDM}.} la funzione restituisce un nuovo socket descriptor su
1028 cui si potrà operare per effettuare la comunicazione. Se non ci sono
1029 connessioni completate il processo viene messo in attesa. Il prototipo della
1030 funzione è il seguente:
1031 \begin{prototype}{sys/socket.h}
1032 {int accept(int sockfd, struct sockaddr *addr, socklen\_t *addrlen)} 
1033  
1034   Accetta una connessione sul socket specificato.
1035   
1036   \bodydesc{La funzione restituisce un numero di socket descriptor positivo in
1037     caso di successo e -1 in caso di errore, nel qual caso \var{errno} viene
1038     impostata ai seguenti valori:
1039
1040   \begin{errlist}
1041   \item[\errcode{EBADF}] l'argomento \param{sockfd} non è un file descriptor
1042     valido.
1043   \item[\errcode{ENOTSOCK}] l'argomento \param{sockfd} non è un socket.
1044   \item[\errcode{EOPNOTSUPP}] il socket è di un tipo che non supporta questa
1045     operazione.
1046   \item[\errcode{EAGAIN} o \errcode{EWOULDBLOCK}] il socket è stato impostato
1047     come non bloccante (vedi sez.~\ref{sec:file_noblocking}), e non ci sono
1048     connessioni in attesa di essere accettate.
1049   \item[\errcode{EPERM}] le regole del firewall non consentono la connessione.
1050   \item[\errcode{ENOBUFS}, \errcode{ENOMEM}] questo spesso significa che
1051     l'allocazione della memoria è limitata dai limiti sui buffer dei socket,
1052     non dalla memoria di sistema.
1053   \item[\errcode{EINTR}] la funzione è stata interrotta da un segnale.
1054   \end{errlist}
1055   Inoltre possono essere restituiti gli errori di rete relativi al nuovo
1056   socket, diversi a secondo del protocollo, come: \errval{EMFILE},
1057   \errval{EINVAL}, \errval{ENOSR}, \errval{ENOBUFS}, \errval{EFAULT},
1058   \errval{EPERM}, \errval{ECONNABORTED}, \errval{ESOCKTNOSUPPORT},
1059   \errval{EPROTONOSUPPORT}, \errval{ETIMEDOUT}, \errval{ERESTARTSYS}.}
1060 \end{prototype}
1061
1062 La funzione estrae la prima connessione relativa al socket \param{sockfd} in
1063 attesa sulla coda delle connessioni complete, che associa ad nuovo socket con
1064 le stesse caratteristiche di \param{sockfd}.  Il socket originale non viene
1065 toccato e resta nello stato di \texttt{LISTEN}, mentre il nuovo socket viene
1066 posto nello stato \texttt{ESTABLISHED}. Nella struttura \param{addr} e nella
1067 variabile \param{addrlen} vengono restituiti indirizzo e relativa lunghezza
1068 del client che si è connesso.
1069
1070 I due argomenti \param{addr} e \param{addrlen} (si noti che quest'ultimo è
1071 passato per indirizzo per avere indietro il valore) sono usati per ottenere
1072 l'indirizzo del client da cui proviene la connessione. Prima della chiamata
1073 \param{addrlen} deve essere inizializzato alle dimensioni della struttura il
1074 cui indirizzo è passato come argomento in \param{addr}; al ritorno della
1075 funzione \param{addrlen} conterrà il numero di byte scritti dentro
1076 \param{addr}. Se questa informazione non interessa basterà inizializzare a
1077 \val{NULL} detti puntatori.
1078
1079 Se la funzione ha successo restituisce il descrittore di un nuovo socket
1080 creato dal kernel (detto \textit{connected socket}) a cui viene associata la
1081 prima connessione completa (estratta dalla relativa coda, vedi
1082 sez.~\ref{sec:TCP_func_listen}) che il client ha effettuato verso il socket
1083 \param{sockfd}. Quest'ultimo (detto \textit{listening socket}) è quello creato
1084 all'inizio e messo in ascolto con \func{listen}, e non viene toccato dalla
1085 funzione.  Se non ci sono connessioni pendenti da accettare la funzione mette
1086 in attesa il processo\footnote{a meno che non si sia impostato il socket per
1087   essere non bloccante (vedi sez.~\ref{sec:file_noblocking}), nel qual caso
1088   ritorna con l'errore \errcode{EAGAIN}.  Torneremo su questa modalità di
1089   operazione in sez.~\ref{sec:TCP_sock_multiplexing}.}  fintanto che non ne
1090 arriva una.
1091
1092 La funzione può essere usata solo con socket che supportino la connessione
1093 (cioè di tipo \const{SOCK\_STREAM}, \const{SOCK\_SEQPACKET} o
1094 \const{SOCK\_RDM}). Per alcuni protocolli che richiedono una conferma
1095 esplicita della connessione,\footnote{attualmente in Linux solo DECnet ha
1096   questo comportamento.} la funzione opera solo l'estrazione dalla coda delle
1097 connessioni, la conferma della connessione viene eseguita implicitamente dalla
1098 prima chiamata ad una \func{read} o una \func{write}, mentre il rifiuto della
1099 connessione viene eseguito con la funzione \func{close}.
1100
1101 È da chiarire che Linux presenta un comportamento diverso nella gestione degli
1102 errori rispetto ad altre realizzazioni dei socket BSD, infatti la funzione
1103 \func{accept} passa gli errori di rete pendenti sul nuovo socket come codici
1104 di errore per \func{accept}, per cui l'applicazione deve tenerne conto ed
1105 eventualmente ripetere la chiamata alla funzione come per l'errore di
1106 \errcode{EAGAIN} (torneremo su questo in sez.~\ref{sec:TCP_echo_critical}).
1107 Un'altra differenza con BSD è che la funzione non fa ereditare al nuovo socket
1108 i flag del socket originale, come \const{O\_NONBLOCK},\footnote{ed in generale
1109   tutti quelli che si possono impostare con \func{fcntl}, vedi
1110   sez.~\ref{sec:file_fcntl_ioctl}.} che devono essere rispecificati ogni
1111 volta. Tutto questo deve essere tenuto in conto se si devono scrivere
1112 programmi portabili.
1113
1114 Il meccanismo di funzionamento di \func{accept} è essenziale per capire il
1115 funzionamento di un server: in generale infatti c'è sempre un solo socket in
1116 ascolto, detto per questo \textit{listening socket}, che resta per tutto il
1117 tempo nello stato \texttt{LISTEN}, mentre le connessioni vengono gestite dai
1118 nuovi socket, detti \textit{connected socket}, ritornati da \func{accept}, che
1119 si trovano automaticamente nello stato \texttt{ESTABLISHED}, e vengono
1120 utilizzati per lo scambio dei dati, che avviene su di essi, fino alla chiusura
1121 della connessione.  Si può riconoscere questo schema anche nell'esempio
1122 elementare di fig.~\ref{fig:TCP_daytime_iter_server_code}, dove per ogni
1123 connessione il socket creato da \func{accept} viene chiuso dopo l'invio dei
1124 dati.
1125
1126
1127 \subsection{Le funzioni \func{getsockname} e \func{getpeername}}
1128 \label{sec:TCP_get_names}
1129
1130 Oltre a tutte quelle viste finora, dedicate all'utilizzo dei socket, esistono
1131 alcune funzioni ausiliarie che possono essere usate per recuperare alcune
1132 informazioni relative ai socket ed alle connessioni ad essi associate. Le due
1133 funzioni più elementari sono queste, che vengono usate per ottenere i dati
1134 relativi alla socket pair associata ad un certo socket.
1135
1136 La prima funzione è \funcd{getsockname} e serve ad ottenere l'indirizzo locale
1137 associato ad un socket; il suo prototipo è:
1138 \begin{prototype}{sys/socket.h}
1139   {int getsockname(int sockfd, struct sockaddr *name, socklen\_t *namelen)}
1140   Legge l'indirizzo locale di un socket.
1141
1142 \bodydesc{La funzione restituisce 0 in caso di successo e -1 in caso di
1143   errore. I codici di errore restituiti in \var{errno} sono i seguenti:
1144   \begin{errlist}
1145   \item[\errcode{EBADF}] l'argomento \param{sockfd} non è un file descriptor
1146     valido.
1147   \item[\errcode{ENOTSOCK}] l'argomento \param{sockfd} non è un socket.
1148   \item[\errcode{ENOBUFS}] non ci sono risorse sufficienti nel sistema per
1149     eseguire l'operazione.
1150   \item[\errcode{EFAULT}] l'indirizzo \param{name} non è valido.
1151   \end{errlist}}
1152 \end{prototype}
1153
1154 La funzione restituisce la struttura degli indirizzi del socket \param{sockfd}
1155 nella struttura indicata dal puntatore \param{name} la cui lunghezza è
1156 specificata tramite l'argomento \param{namlen}. Quest'ultimo viene passato
1157 come indirizzo per avere indietro anche il numero di byte effettivamente
1158 scritti nella struttura puntata da \param{name}. Si tenga presente che se si è
1159 utilizzato un buffer troppo piccolo per \param{name} l'indirizzo risulterà
1160 troncato.
1161
1162 La funzione si usa tutte le volte che si vuole avere l'indirizzo locale di un
1163 socket; ad esempio può essere usata da un client (che usualmente non chiama
1164 \func{bind}) per ottenere numero IP e porta locale associati al socket
1165 restituito da una \func{connect}, o da un server che ha chiamato \func{bind}
1166 su un socket usando 0 come porta locale per ottenere il numero di porta
1167 effimera assegnato dal kernel.
1168
1169 Inoltre quando un server esegue una \func{bind} su un indirizzo generico, se
1170 chiamata dopo il completamento di una connessione sul socket restituito da
1171 \func{accept}, restituisce l'indirizzo locale che il kernel ha assegnato a
1172 quella connessione.
1173
1174 Tutte le volte che si vuole avere l'indirizzo remoto di un socket si usa la
1175 funzione \funcd{getpeername}, il cui prototipo è:
1176 \begin{prototype}{sys/socket.h}
1177   {int getpeername(int sockfd, struct sockaddr * name, socklen\_t * namelen)}
1178   Legge l'indirizzo remoto di un socket.
1179   
1180   \bodydesc{La funzione restituisce 0 in caso di successo e -1 in caso di
1181     errore. I codici di errore restituiti in \var{errno} sono i seguenti:
1182   \begin{errlist}
1183   \item[\errcode{EBADF}] l'argomento \param{sockfd} non è un file descriptor
1184     valido.
1185   \item[\errcode{ENOTSOCK}] l'argomento \param{sockfd} non è un socket.
1186   \item[\errcode{ENOTCONN}] il socket non è connesso.
1187   \item[\errcode{ENOBUFS}] non ci sono risorse sufficienti nel sistema per
1188     eseguire l'operazione.
1189   \item[\errcode{EFAULT}] l'argomento \param{name} punta al di fuori dello
1190     spazio di indirizzi del processo.
1191   \end{errlist}}
1192 \end{prototype}
1193
1194 La funzione è identica a \func{getsockname}, ed usa la stessa sintassi, ma
1195 restituisce l'indirizzo remoto del socket, cioè quello associato all'altro
1196 capo della connessione.  Ci si può chiedere a cosa serva questa funzione dato
1197 che dal lato client l'indirizzo remoto è sempre noto quando si esegue la
1198 \func{connect} mentre dal lato server si possono usare, come vedremo in
1199 fig.~\ref{fig:TCP_daytime_cunc_server_code}, i valori di ritorno di
1200 \func{accept}.
1201
1202 Il fatto è che in generale quest'ultimo caso non è sempre possibile.  In
1203 particolare questo avviene quando il server, invece di gestire la connessione
1204 direttamente in un processo figlio, come vedremo nell'esempio di server
1205 concorrente di sez.~\ref{sec:TCP_daytime_cunc_server}, lancia per ciascuna
1206 connessione un altro programma, usando \func{exec}.\footnote{questa ad esempio
1207   è la modalità con cui opera il \textsl{super-server} \cmd{inetd}, che può
1208   gestire tutta una serie di servizi diversi, eseguendo su ogni connessione
1209   ricevuta sulle porte tenute sotto controllo, il relativo server.}
1210
1211 In questo caso benché il processo figlio abbia una immagine della memoria che
1212 è copia di quella del processo padre (e contiene quindi anche la struttura
1213 ritornata da \func{accept}), all'esecuzione di \func{exec} verrà caricata in
1214 memoria l'immagine del programma eseguito, che a questo punto perde ogni
1215 riferimento ai valori tornati da \func{accept}.  Il socket descriptor però
1216 resta aperto, e se si è seguita una opportuna convenzione per rendere noto al
1217 programma eseguito qual è il socket connesso, \footnote{ad esempio il solito
1218   \cmd{inetd} fa sempre in modo che i file descriptor 0, 1 e 2 corrispondano
1219   al socket connesso.} quest'ultimo potrà usare la funzione \func{getpeername}
1220 per determinare l'indirizzo remoto del client.
1221
1222 Infine è da chiarire (si legga la pagina di manuale) che, come per
1223 \func{accept}, il terzo argomento, che è specificato dallo standard POSIX.1g
1224 come di tipo \code{socklen\_t *} in realtà deve sempre corrispondere ad un
1225 \ctyp{int *} come prima dello standard perché tutte le realizzazioni dei
1226 socket BSD fanno questa assunzione.
1227
1228
1229 \subsection{La funzione \func{close}}
1230 \label{sec:TCP_func_close}
1231
1232 La funzione standard Unix \func{close} (vedi sez.~\ref{sec:file_open_close})
1233 che si usa sui file può essere usata con lo stesso effetto anche sui file
1234 descriptor associati ad un socket.
1235
1236 L'azione di questa funzione quando applicata a socket è di marcarlo come
1237 chiuso e ritornare immediatamente al processo. Una volta chiamata il socket
1238 descriptor non è più utilizzabile dal processo e non può essere usato come
1239 argomento per una \func{write} o una \func{read} (anche se l'altro capo della
1240 connessione non avesse chiuso la sua parte).  Il kernel invierà comunque tutti
1241 i dati che ha in coda prima di iniziare la sequenza di chiusura.
1242
1243 Vedremo più avanti in sez.~\ref{sec:sock_generic_options} come sia possibile
1244 cambiare questo comportamento, e cosa può essere fatto perché il processo
1245 possa assicurarsi che l'altro capo abbia ricevuto tutti i dati.
1246
1247 Come per tutti i file descriptor anche per i socket viene mantenuto un numero
1248 di riferimenti, per cui se più di un processo ha lo stesso socket aperto
1249 l'emissione del FIN e la sequenza di chiusura di TCP non viene innescata
1250 fintanto che il numero di riferimenti non si annulla, questo si applica, come
1251 visto in sez.~\ref{sec:file_shared_access}, sia ai file descriptor duplicati
1252 che a quelli ereditati dagli eventuali processi figli, ed è il comportamento
1253 che ci si aspetta in una qualunque applicazione client/server.
1254
1255 Per attivare immediatamente l'emissione del FIN e la sequenza di chiusura
1256 descritta in sez.~\ref{sec:TCP_conn_term}, si può invece usare la funzione
1257 \func{shutdown} su cui torneremo in seguito (vedi
1258 sez.~\ref{sec:TCP_shutdown}).
1259
1260
1261
1262 \section{Un esempio elementare: il servizio \textit{daytime}}
1263 \label{sec:TCP_daytime_application}
1264
1265 Avendo introdotto le funzioni di base per la gestione dei socket, potremo
1266 vedere in questa sezione un primo esempio di applicazione elementare che
1267 realizza il servizio \textit{daytime} su TCP, secondo quanto specificato
1268 dall'\href{http://www.ietf.org/rfc/rfc867.txt}{RFC~867}.  Prima di passare
1269 agli esempi del client e del server, inizieremo riesaminando con maggiori
1270 dettagli una peculiarità delle funzioni di I/O, già accennata in
1271 sez.~\ref{sec:file_read} e sez.~\ref{sec:file_write}, che nel caso dei socket
1272 è particolarmente rilevante.  Passeremo poi ad illustrare gli esempi della
1273 realizzazione, sia dal lato client, che dal lato server, che si è effettuata
1274 sia in forma iterativa che concorrente.
1275
1276
1277 \subsection{Il comportamento delle funzioni di I/O}
1278 \label{sec:sock_io_behav}
1279
1280 Una cosa che si tende a dimenticare quando si ha a che fare con i socket è che
1281 le funzioni di input/output non sempre hanno lo stesso comportamento che
1282 avrebbero con i normali file di dati (in particolare questo accade per i
1283 socket di tipo stream).
1284
1285 Infatti con i socket è comune che funzioni come \func{read} o \func{write}
1286 possano restituire in input o scrivere in output un numero di byte minore di
1287 quello richiesto. Come già accennato in sez.~\ref{sec:file_read} questo è un
1288 comportamento normale per le funzioni di I/O, ma con i normali file di dati il
1289 problema si avverte solo in lettura, quando si incontra la fine del file. In
1290 generale non è così, e con i socket questo è particolarmente evidente.
1291
1292
1293 \begin{figure}[!htbp]
1294   \footnotesize \centering
1295   \begin{minipage}[c]{\codesamplewidth}
1296     \includecodesample{listati/FullRead.c}
1297   \end{minipage} 
1298   \normalsize
1299   \caption{La funzione \func{FullRead}, che legge esattamente \var{count} byte
1300     da un file descriptor, iterando opportunamente le letture.}
1301   \label{fig:sock_FullRead_code}
1302 \end{figure}
1303
1304 Quando ci si trova ad affrontare questo comportamento tutto quello che si deve
1305 fare è semplicemente ripetere la lettura (o la scrittura) per la quantità di
1306 byte restanti, tenendo conto che le funzioni si possono bloccare se i dati non
1307 sono disponibili: è lo stesso comportamento che si può avere scrivendo più di
1308 \const{PIPE\_BUF} byte in una \textit{pipe} (si riveda quanto detto in
1309 sez.~\ref{sec:ipc_pipes}).
1310
1311 Per questo motivo, seguendo l'esempio di R. W. Stevens in \cite{UNP1}, si sono
1312 definite due funzioni, \func{FullRead} e \func{FullWrite}, che eseguono
1313 lettura e scrittura tenendo conto di questa caratteristica, ed in grado di
1314 ritornare solo dopo avere letto o scritto esattamente il numero di byte
1315 specificato; il sorgente è riportato rispettivamente in
1316 fig.~\ref{fig:sock_FullRead_code} e fig.~\ref{fig:sock_FullWrite_code} ed è
1317 disponibile fra i sorgenti allegati alla guida nei file \file{FullRead.c} e
1318 \file{FullWrite.c}.
1319
1320 \begin{figure}[!htbp]
1321   \centering
1322   \footnotesize \centering
1323   \begin{minipage}[c]{\codesamplewidth}
1324     \includecodesample{listati/FullWrite.c}
1325   \end{minipage} 
1326   \normalsize
1327   \caption{La funzione \func{FullWrite}, che scrive esattamente \var{count}
1328     byte su un file descriptor, iterando opportunamente le scritture.}
1329   \label{fig:sock_FullWrite_code}
1330 \end{figure}
1331
1332 Come si può notare le due funzioni ripetono la lettura/scrittura in un ciclo
1333 fino all'esaurimento del numero di byte richiesti, in caso di errore viene
1334 controllato se questo è \errcode{EINTR} (cioè un'interruzione della
1335 \textit{system call} dovuta ad un segnale), nel qual caso l'accesso viene
1336 ripetuto, altrimenti l'errore viene ritornato al programma chiamante,
1337 interrompendo il ciclo.
1338
1339 Nel caso della lettura, se il numero di byte letti è zero, significa che si è
1340 arrivati alla fine del file (per i socket questo significa in genere che
1341 l'altro capo è stato chiuso, e quindi non sarà più possibile leggere niente) e
1342 pertanto si ritorna senza aver concluso la lettura di tutti i byte
1343 richiesti. Entrambe le funzioni restituiscono 0 in caso di successo, ed un
1344 valore negativo in caso di errore, \func{FullRead} restituisce il numero di
1345 byte non letti in caso di end-of-file prematuro.
1346
1347
1348 \subsection{Il client \textit{daytime}}
1349 \label{sec:TCP_daytime_client}
1350
1351 Il primo esempio di applicazione delle funzioni di base illustrate in
1352 sez.~\ref{sec:TCP_functions} è relativo alla creazione di un client elementare
1353 per il servizio \textit{daytime}, un servizio elementare, definito
1354 nell'\href{http://www.ietf.org/rfc/rfc867.txt}{RFC~867}, che restituisce
1355 l'ora locale della macchina a cui si effettua la richiesta, e che è assegnato
1356 alla porta 13.
1357
1358 In fig.~\ref{fig:TCP_daytime_client_code} è riportata la sezione principale
1359 del codice del nostro client. Il sorgente completo del programma
1360 (\texttt{TCP\_daytime.c}, che comprende il trattamento delle opzioni ed una
1361 funzione per stampare un messaggio di aiuto) è allegato alla guida nella
1362 sezione dei codici sorgente e può essere compilato su una qualunque macchina
1363 GNU/Linux.
1364
1365 \begin{figure}[!htbp]
1366   \footnotesize \centering
1367   \begin{minipage}[c]{\codesamplewidth}
1368     \includecodesample{listati/TCP_daytime.c}
1369   \end{minipage} 
1370   \normalsize
1371   \caption{Esempio di codice di un client elementare per il servizio
1372     \textit{daytime}.} 
1373   \label{fig:TCP_daytime_client_code}
1374 \end{figure}
1375
1376 Il programma anzitutto (\texttt{\small 1--5}) include gli header necessari;
1377 dopo la dichiarazione delle variabili (\texttt{\small 9--12}) si è omessa
1378 tutta la parte relativa al trattamento degli argomenti passati dalla linea di
1379 comando (effettuata con le apposite funzioni illustrate in
1380 sez.~\ref{sec:proc_opt_handling}).
1381
1382 Il primo passo (\texttt{\small 14--18}) è creare un socket TCP (quindi di tipo
1383 \const{SOCK\_STREAM} e di famiglia \const{AF\_INET}). La funzione
1384 \func{socket} ritorna il descrittore che viene usato per identificare il
1385 socket in tutte le chiamate successive. Nel caso la chiamata fallisca si
1386 stampa un errore (\texttt{\small 16}) con la funzione \func{perror} e si esce
1387 (\texttt{\small 17}) con un codice di errore.
1388
1389 Il passo seguente (\texttt{\small 19--27}) è quello di costruire un'apposita
1390 struttura \struct{sockaddr\_in} in cui sarà inserito l'indirizzo del server ed
1391 il numero della porta del servizio. Il primo passo (\texttt{\small 20}) è
1392 inizializzare tutto a zero, per poi inserire il tipo di indirizzo
1393 (\texttt{\small 21}) e la porta (\texttt{\small 22}), usando per quest'ultima
1394 la funzione \func{htons} per convertire il formato dell'intero usato dal
1395 computer a quello usato nella rete, infine (\texttt{\small 23--27}) si può
1396 utilizzare la funzione \func{inet\_pton} per convertire l'indirizzo numerico
1397 passato dalla linea di comando.
1398
1399 A questo punto (\texttt{\small 28--32}) usando la funzione \func{connect} sul
1400 socket creato in precedenza (\texttt{\small 29}) si può stabilire la
1401 connessione con il server. Per questo si deve utilizzare come secondo
1402 argomento la struttura preparata in precedenza con il relativo indirizzo; si
1403 noti come, esistendo diversi tipi di socket, si sia dovuto effettuare un cast.
1404 Un valore di ritorno della funzione negativo implica il fallimento della
1405 connessione, nel qual caso si stampa un errore (\texttt{\small 30}) e si
1406 ritorna (\texttt{\small 31}).
1407
1408 Completata con successo la connessione il passo successivo (\texttt{\small
1409   34--40}) è leggere la data dal socket; il protocollo prevede che il server
1410 invii sempre una stringa alfanumerica, il formato della stringa non è
1411 specificato dallo standard, per cui noi useremo il formato usato dalla
1412 funzione \func{ctime}, seguito dai caratteri di terminazione \verb|\r\n|, cioè
1413 qualcosa del tipo:
1414 \begin{verbatim}
1415 Wed Apr 4 00:53:00 2001\r\n
1416 \end{verbatim}
1417 questa viene letta dal socket (\texttt{\small 34}) con la funzione \func{read}
1418 in un buffer temporaneo; la stringa poi deve essere terminata (\texttt{\small
1419   35}) con il solito carattere nullo per poter essere stampata (\texttt{\small
1420   36}) sullo standard output con l'uso di \func{fputs}.
1421
1422 Come si è già spiegato in sez.~\ref{sec:sock_io_behav} la risposta dal socket
1423 potrà arrivare in un unico pacchetto di 26 byte (come avverrà senz'altro nel
1424 caso in questione) ma potrebbe anche arrivare in 26 pacchetti di un byte.  Per
1425 questo nel caso generale non si può mai assumere che tutti i dati arrivino con
1426 una singola lettura, pertanto quest'ultima deve essere effettuata in un ciclo
1427 in cui si continui a leggere fintanto che la funzione \func{read} non ritorni
1428 uno zero (che significa che l'altro capo ha chiuso la connessione) o un numero
1429 minore di zero (che significa un errore nella connessione).
1430
1431 Si noti come in questo caso la fine dei dati sia specificata dal server che
1432 chiude la connessione (anche questo è quanto richiesto dal protocollo); questa
1433 è una delle tecniche possibili (è quella usata pure dal protocollo HTTP), ma
1434 ce ne possono essere altre, ad esempio FTP marca la conclusione di un blocco
1435 di dati con la sequenza ASCII \verb|\r\n| (carriage return e line feed),
1436 mentre il DNS mette la lunghezza in testa ad ogni blocco che trasmette. Il
1437 punto essenziale è che TCP non provvede nessuna indicazione che permetta di
1438 marcare dei blocchi di dati, per cui se questo è necessario deve provvedere il
1439 programma stesso.
1440
1441 Se abilitiamo il servizio \textit{daytime}\footnote{in genere questo viene
1442   fornito direttamente dal \textsl{superdemone} \cmd{inetd}, pertanto basta
1443   assicurarsi che esso sia abilitato nel relativo file di configurazione.}
1444 possiamo verificare il funzionamento del nostro client, avremo allora:
1445 \begin{verbatim}
1446 [piccardi@gont sources]$ ./daytime 127.0.0.1
1447 Mon Apr 21 20:46:11 2003
1448 \end{verbatim}%$
1449 e come si vede tutto funziona regolarmente.
1450
1451
1452 \subsection{Un server \textit{daytime} iterativo}
1453 \label{sec:TCP_daytime_iter_server}
1454
1455 Dopo aver illustrato il client daremo anche un esempio di un server
1456 elementare, che sia anche in grado di rispondere al precedente client. Come
1457 primo esempio realizzeremo un server iterativo, in grado di fornire una sola
1458 risposta alla volta. Il codice del programma è nuovamente mostrato in
1459 fig.~\ref{fig:TCP_daytime_iter_server_code}, il sorgente completo
1460 (\texttt{TCP\_iter\_daytimed.c}) è allegato insieme agli altri file degli
1461 esempi.
1462
1463 \begin{figure}[!htbp]
1464   \footnotesize \centering
1465   \begin{minipage}[c]{\codesamplewidth}
1466     \includecodesample{listati/TCP_iter_daytimed.c}
1467   \end{minipage} 
1468   \normalsize
1469   \caption{Esempio di codice di un semplice server per il servizio daytime.}
1470   \label{fig:TCP_daytime_iter_server_code}
1471 \end{figure}
1472
1473 Come per il client si includono (\texttt{\small 1--9}) gli header necessari a
1474 cui è aggiunto quello per trattare i tempi, e si definiscono (\texttt{\small
1475   14--18}) alcune costanti e le variabili necessarie in seguito. Come nel caso
1476 precedente si sono omesse le parti relative al trattamento delle opzioni da
1477 riga di comando.
1478
1479 La creazione del socket (\texttt{\small 20--24}) è analoga al caso precedente,
1480 come pure l'inizializzazione (\texttt{\small 25--29}) della struttura
1481 \struct{sockaddr\_in}.  Anche in questo caso (\texttt{\small 28}) si usa la
1482 porta standard del servizio daytime, ma come indirizzo IP si usa
1483 (\texttt{\small 27}) il valore predefinito \const{INET\_ANY}, che corrisponde
1484 all'indirizzo generico.
1485
1486 Si effettua poi (\texttt{\small 30--34}) la chiamata alla funzione \func{bind}
1487 che permette di associare la precedente struttura al socket, in modo che
1488 quest'ultimo possa essere usato per accettare connessioni su una qualunque
1489 delle interfacce di rete locali. In caso di errore si stampa (\texttt{\small
1490   31}) un messaggio, e si termina (\texttt{\small 32}) immediatamente il
1491 programma.
1492
1493 Il passo successivo (\texttt{\small 35--39}) è quello di mettere ``\textsl{in
1494   ascolto}'' il socket; questo viene fatto (\texttt{\small 36}) con la
1495 funzione \func{listen} che dice al kernel di accettare connessioni per il
1496 socket che abbiamo creato; la funzione indica inoltre, con il secondo
1497 argomento, il numero massimo di connessioni che il kernel accetterà di mettere
1498 in coda per il suddetto socket. Di nuovo in caso di errore si stampa
1499 (\texttt{\small 37}) un messaggio, e si esce (\texttt{\small 38})
1500 immediatamente.
1501
1502 La chiamata a \func{listen} completa la preparazione del socket per l'ascolto
1503 (che viene chiamato anche \textit{listening descriptor}) a questo punto si può
1504 procedere con il ciclo principale (\texttt{\small 40--53}) che viene eseguito
1505 indefinitamente. Il primo passo (\texttt{\small 42}) è porsi in attesa di
1506 connessioni con la chiamata alla funzione \func{accept}, come in precedenza in
1507 caso di errore si stampa (\texttt{\small 43}) un messaggio, e si esce
1508 (\texttt{\small 44}).
1509
1510 Il processo resterà in stato di \textit{sleep} fin quando non arriva e viene
1511 accettata una connessione da un client; quando questo avviene \func{accept}
1512 ritorna, restituendo un secondo descrittore, che viene chiamato
1513 \textit{connected descriptor}, e che è quello che verrà usato dalla successiva
1514 chiamata alla \func{write} per scrivere la risposta al client.
1515
1516 Il ciclo quindi proseguirà determinando (\texttt{\small 46}) il tempo corrente
1517 con una chiamata a \texttt{time}, con il quale si potrà opportunamente
1518 costruire (\texttt{\small 47}) la stringa con la data da trasmettere
1519 (\texttt{\small 48}) con la chiamata a \func{write}. Completata la
1520 trasmissione il nuovo socket viene chiuso (\texttt{\small 52}).  A questo
1521 punto il ciclo si chiude ricominciando da capo in modo da poter ripetere
1522 l'invio della data in risposta ad una successiva connessione.
1523
1524 È importante notare che questo server è estremamente elementare, infatti, a
1525 parte il fatto di poter essere usato solo con indirizzi IPv4, esso è in grado
1526 di rispondere ad un solo un client alla volta: è cioè, come dicevamo, un
1527 \textsl{server iterativo}. Inoltre è scritto per essere lanciato da linea di
1528 comando, se lo si volesse utilizzare come demone occorrerebbero le opportune
1529 modifiche\footnote{come una chiamata a \func{daemon} prima dell'inizio del
1530   ciclo principale.} per tener conto di quanto illustrato in
1531 sez.~\ref{sec:sess_daemon}. Si noti anche che non si è inserita nessuna forma
1532 di gestione della terminazione del processo, dato che tutti i file descriptor
1533 vengono chiusi automaticamente alla sua uscita, e che, non generando figli,
1534 non è necessario preoccuparsi di gestire la loro terminazione.
1535
1536
1537 \subsection{Un server \textit{daytime} concorrente}
1538 \label{sec:TCP_daytime_cunc_server}
1539
1540 Il server \texttt{daytime} dell'esempio in
1541 sez.~\ref{sec:TCP_daytime_iter_server} è un tipico esempio di server iterativo,
1542 in cui viene servita una richiesta alla volta; in generale però, specie se il
1543 servizio è più complesso e comporta uno scambio di dati più sostanzioso di
1544 quello in questione, non è opportuno bloccare un server nel servizio di un
1545 client per volta; per questo si ricorre alle capacità di multitasking del
1546 sistema.
1547
1548 Come spiegato in sez.~\ref{sec:proc_fork} una delle modalità più comuni di
1549 funzionamento da parte dei server è quella di usare la funzione \func{fork}
1550 per creare, ad ogni richiesta da parte di un client, un processo figlio che si
1551 incarichi della gestione della comunicazione.  Si è allora riscritto il server
1552 \textit{daytime} dell'esempio precedente in forma concorrente, inserendo anche
1553 una opzione per la stampa degli indirizzi delle connessioni ricevute.
1554
1555 In fig.~\ref{fig:TCP_daytime_cunc_server_code} è mostrato un estratto del
1556 codice, in cui si sono tralasciati il trattamento delle opzioni e le parti
1557 rimaste invariate rispetto al precedente esempio (cioè tutta la parte
1558 riguardante l'apertura passiva del socket). Al solito il sorgente completo del
1559 server, nel file \texttt{TCP\_cunc\_daytimed.c}, è allegato insieme ai
1560 sorgenti degli altri esempi.
1561
1562 \begin{figure}[!htbp]
1563   \footnotesize \centering
1564   \begin{minipage}[c]{\codesamplewidth}
1565     \includecodesample{listati/TCP_cunc_daytimed.c}
1566   \end{minipage} 
1567   \normalsize
1568   \caption{Esempio di codice di un server concorrente elementare per il 
1569     servizio daytime.}
1570   \label{fig:TCP_daytime_cunc_server_code}
1571 \end{figure}
1572
1573 Stavolta (\texttt{\small 21--26}) la funzione \func{accept} è chiamata
1574 fornendo una struttura di indirizzi in cui saranno ritornati l'indirizzo IP e
1575 la porta da cui il client effettua la connessione, che in un secondo tempo,
1576 (\texttt{\small 40--44}), se il logging è abilitato, stamperemo sullo standard
1577 output.
1578
1579 Quando \func{accept} ritorna il server chiama la funzione \func{fork}
1580 (\texttt{\small 27--31}) per creare il processo figlio che effettuerà
1581 (\texttt{\small 32--46}) tutte le operazioni relative a quella connessione,
1582 mentre il padre proseguirà l'esecuzione del ciclo principale in attesa di
1583 ulteriori connessioni.
1584
1585 Si noti come il figlio operi solo sul socket connesso, chiudendo
1586 immediatamente (\texttt{\small 33}) il socket \var{list\_fd}; mentre il padre
1587 continua ad operare solo sul socket in ascolto chiudendo (\texttt{\small 48})
1588 \var{conn\_fd} al ritorno dalla \func{fork}. Per quanto abbiamo detto in
1589 sez.~\ref{sec:TCP_func_close} nessuna delle due chiamate a \func{close} causa
1590 l'innesco della sequenza di chiusura perché il numero di riferimenti al file
1591 descriptor non si è annullato.
1592
1593 Infatti subito dopo la creazione del socket \var{list\_fd} ha una referenza, e
1594 lo stesso vale per \var{conn\_fd} dopo il ritorno di \func{accept}, ma dopo la
1595 \func{fork} i descrittori vengono duplicati nel padre e nel figlio per cui
1596 entrambi i socket si trovano con due referenze. Questo fa si che quando il
1597 padre chiude \var{sock\_fd} esso resta con una referenza da parte del figlio,
1598 e sarà definitivamente chiuso solo quando quest'ultimo, dopo aver completato
1599 le sue operazioni, chiamerà (\texttt{\small 45}) la funzione \func{close}.
1600
1601 In realtà per il figlio non sarebbe necessaria nessuna chiamata a
1602 \func{close}, in quanto con la \func{exit} finale (\texttt{\small 45}) tutti i
1603 file descriptor, quindi anche quelli associati ai socket, vengono
1604 automaticamente chiusi.  Tuttavia si è preferito effettuare esplicitamente le
1605 chiusure per avere una maggiore chiarezza del codice, e per evitare eventuali
1606 errori, prevenendo ad esempio un uso involontario del \textit{listening
1607   descriptor}.
1608
1609 Si noti invece come sia essenziale che il padre chiuda ogni volta il socket
1610 connesso dopo la \func{fork}; se così non fosse nessuno di questi socket
1611 sarebbe effettivamente chiuso dato che alla chiusura da parte del figlio
1612 resterebbe ancora un riferimento nel padre. Si avrebbero così due effetti: il
1613 padre potrebbe esaurire i descrittori disponibili (che sono un numero limitato
1614 per ogni processo) e soprattutto nessuna delle connessioni con i client
1615 verrebbe chiusa.
1616
1617 Come per ogni server iterativo il lavoro di risposta viene eseguito
1618 interamente dal processo figlio. Questo si incarica (\texttt{\small 34}) di
1619 chiamare \func{time} per leggere il tempo corrente, e di stamparlo
1620 (\texttt{\small 35}) sulla stringa contenuta in \var{buffer} con l'uso di
1621 \func{snprintf} e \func{ctime}. Poi la stringa viene scritta (\texttt{\small
1622   36--39}) sul socket, controllando che non ci siano errori. Anche in questo
1623 caso si è evitato il ricorso a \func{FullWrite} in quanto la stringa è
1624 estremamente breve e verrà senz'altro scritta in un singolo segmento.
1625
1626 Inoltre nel caso sia stato abilitato il \textit{logging} delle connessioni, si
1627 provvede anche (\texttt{\small 40--43}) a stampare sullo standard output
1628 l'indirizzo e la porta da cui il client ha effettuato la connessione, usando i
1629 valori contenuti nelle strutture restituite da \func{accept}, eseguendo le
1630 opportune conversioni con \func{inet\_ntop} e \func{ntohs}.
1631
1632 Ancora una volta l'esempio è estremamente semplificato, si noti come di nuovo
1633 non si sia gestita né la terminazione del processo né il suo uso come demone,
1634 che tra l'altro sarebbe stato incompatibile con l'uso della opzione di logging
1635 che stampa gli indirizzi delle connessioni sullo standard output. Un altro
1636 aspetto tralasciato è la gestione della terminazione dei processi figli,
1637 torneremo su questo più avanti quando tratteremo alcuni esempi di server più
1638 complessi.
1639
1640
1641
1642 \section{Un esempio più completo: il servizio \textit{echo}}
1643 \label{sec:TCP_echo_application}
1644
1645 L'esempio precedente, basato sul servizio \textit{daytime}, è un esempio molto
1646 elementare, in cui il flusso dei dati va solo nella direzione dal server al
1647 client. In questa sezione esamineremo un esempio di applicazione client/server
1648 un po' più complessa, che usi i socket TCP per una comunicazione in entrambe
1649 le direzioni.
1650
1651 Ci limiteremo a fornire una realizzazione elementare, che usi solo le funzioni
1652 di base viste finora, ma prenderemo in esame, oltre al comportamento in
1653 condizioni normali, anche tutti i possibili scenari particolari (errori,
1654 sconnessione della rete, crash del client o del server durante la connessione)
1655 che possono avere luogo durante l'impiego di un'applicazione di rete, partendo
1656 da una versione primitiva che dovrà essere rimaneggiata di volta in volta per
1657 poter tenere conto di tutte le evenienze che si possono manifestare nella vita
1658 reale di un'applicazione di rete, fino ad arrivare ad una realizzazione
1659 completa.
1660
1661
1662 \subsection{Il servizio \textit{echo}}
1663 \label{sec:TCP_echo}
1664
1665
1666 Nella ricerca di un servizio che potesse fare da esempio per una comunicazione
1667 bidirezionale, si è deciso, seguendo la scelta di Stevens in \cite{UNP1}, di
1668 usare il servizio \textit{echo}, che si limita a restituire in uscita quanto
1669 immesso in ingresso. Infatti, nonostante la sua estrema semplicità, questo
1670 servizio costituisce il prototipo ideale per una generica applicazione di rete
1671 in cui un server risponde alle richieste di un client.  Nel caso di una
1672 applicazione più complessa quello che si potrà avere in più è una elaborazione
1673 dell'input del client, che in molti casi viene interpretato come un comando,
1674 da parte di un server che risponde fornendo altri dati in uscita.
1675
1676 Il servizio \textit{echo} è uno dei servizi standard solitamente provvisti
1677 direttamente dal superserver \cmd{inetd}, ed è definito
1678 dall'\href{http://www.ietf.org/rfc/rfc862.txt}{RFC~862}. Come dice il nome il
1679 servizio deve riscrivere indietro sul socket i dati che gli vengono inviati in
1680 ingresso. L'RFC descrive le specifiche del servizio sia per TCP che UDP, e per
1681 il primo stabilisce che una volta stabilita la connessione ogni dato in
1682 ingresso deve essere rimandato in uscita fintanto che il chiamante non ha
1683 chiude la connessione. Al servizio è assegnata la porta riservata 7.
1684
1685 Nel nostro caso l'esempio sarà costituito da un client che legge una linea di
1686 caratteri dallo standard input e la scrive sul server. A sua volta il server
1687 leggerà la linea dalla connessione e la riscriverà immutata all'indietro. Sarà
1688 compito del client leggere la risposta del server e stamparla sullo standard
1689 output.
1690
1691
1692 \subsection{Il client \textit{echo}: prima versione}
1693 \label{sec:TCP_echo_client}
1694
1695 Il codice della prima versione del client per il servizio \textit{echo},
1696 disponibile nel file \texttt{TCP\_echo\_first.c}, è riportato in
1697 fig.~\ref{fig:TCP_echo_client_1}. Esso ricalca la struttura del precedente
1698 client per il servizio \textit{daytime} (vedi
1699 sez.~\ref{sec:TCP_daytime_client}), e la prima parte (\texttt{\small 10--27})
1700 è sostanzialmente identica, a parte l'uso di una porta diversa.
1701
1702 \begin{figure}[!htbp]
1703   \footnotesize \centering
1704   \begin{minipage}[c]{\codesamplewidth}
1705     \includecodesample{listati/TCP_echo_first.c}
1706   \end{minipage} 
1707   \normalsize
1708   \caption{Codice della prima versione del client \textit{echo}.}
1709   \label{fig:TCP_echo_client_1}
1710 \end{figure}
1711
1712 Al solito si è tralasciata la sezione relativa alla gestione delle opzioni a
1713 riga di comando.  Una volta dichiarate le variabili, si prosegue
1714 (\texttt{\small 10--13}) con della creazione del socket con l'usuale controllo
1715 degli errori, alla preparazione (\texttt{\small 14--17}) della struttura
1716 dell'indirizzo, che stavolta usa la porta 7 riservata al servizio
1717 \textit{echo}, infine si converte (\texttt{\small 18--22}) l'indirizzo
1718 specificato a riga di comando.  A questo punto (\texttt{\small 23--27}) si può
1719 eseguire la connessione al server secondo la stessa modalità usata in
1720 sez.~\ref{sec:TCP_daytime_client}.
1721
1722 Completata la connessione, per gestire il funzionamento del protocollo si usa
1723 la funzione \code{ClientEcho}, il cui codice si è riportato a parte in
1724 fig.~\ref{fig:TCP_client_echo_sub}. Questa si preoccupa di gestire tutta la
1725 comunicazione, leggendo una riga alla volta dallo standard input \file{stdin},
1726 scrivendola sul socket e ristampando su \file{stdout} quanto ricevuto in
1727 risposta dal server. Al ritorno dalla funzione (\texttt{\small 30--31}) anche
1728 il programma termina.
1729
1730 La funzione \code{ClientEcho} utilizza due buffer (\texttt{\small 3}) per
1731 gestire i dati inviati e letti sul socket.  La comunicazione viene gestita
1732 all'interno di un ciclo (\texttt{\small 5--10}), i dati da inviare sulla
1733 connessione vengono presi dallo \file{stdin} usando la funzione \func{fgets},
1734 che legge una linea di testo (terminata da un \texttt{CR} e fino al massimo di
1735 \const{MAXLINE} caratteri) e la salva sul buffer di invio.
1736
1737 Si usa poi (\texttt{\small 6}) la funzione \func{FullWrite}, vista in
1738 sez.~\ref{sec:sock_io_behav}, per scrivere i dati sul socket, gestendo
1739 automaticamente l'invio multiplo qualora una singola \func{write} non sia
1740 sufficiente.  I dati vengono riletti indietro (\texttt{\small 7}) con una
1741 \func{read}\footnote{si è fatta l'assunzione implicita che i dati siano
1742   contenuti tutti in un solo segmento, così che la chiamata a \func{read} li
1743   restituisca sempre tutti; avendo scelto una dimensione ridotta per il buffer
1744   questo sarà sempre vero, vedremo più avanti come superare il problema di
1745   rileggere indietro tutti e soli i dati disponibili, senza bloccarsi.} sul
1746 buffer di ricezione e viene inserita (\texttt{\small 8}) la terminazione della
1747 stringa e per poter usare (\texttt{\small 9}) la funzione \func{fputs} per
1748 scriverli su \file{stdout}.
1749
1750 \begin{figure}[!htbp]
1751   \footnotesize \centering
1752   \begin{minipage}[c]{\codesamplewidth}
1753     \includecodesample{listati/ClientEcho_first.c}
1754   \end{minipage} 
1755   \normalsize
1756   \caption{Codice della prima versione della funzione \texttt{ClientEcho} per 
1757     la gestione del servizio \textit{echo}.}
1758   \label{fig:TCP_client_echo_sub}
1759 \end{figure}
1760
1761 Quando si concluderà l'invio di dati mandando un end-of-file sullo standard
1762 input si avrà il ritorno di \func{fgets} con un puntatore nullo (si riveda
1763 quanto spiegato in sez.~\ref{sec:file_line_io}) e la conseguente uscita dal
1764 ciclo; al che la subroutine ritorna ed il nostro programma client termina.
1765
1766 Si può effettuare una verifica del funzionamento del client abilitando il
1767 servizio \textit{echo} nella configurazione di \cmd{initd} sulla propria
1768 macchina ed usandolo direttamente verso di esso in locale, vedremo in
1769 dettaglio più avanti (in sez.~\ref{sec:TCP_echo_startup}) il funzionamento del
1770 programma, usato però con la nostra versione del server \textit{echo}, che
1771 illustriamo immediatamente.
1772
1773
1774 \subsection{Il server \textit{echo}: prima versione}
1775 \label{sec:TCPsimp_server_main}
1776
1777 La prima versione del server, contenuta nel file \texttt{TCP\_echod\_first.c},
1778 è riportata in fig.~\ref{fig:TCP_echo_server_first_code}. Come abbiamo fatto
1779 per il client anche il server è stato diviso in un corpo principale,
1780 costituito dalla funzione \code{main}, che è molto simile a quello visto nel
1781 precedente esempio per il server del servizio \textit{daytime} di
1782 sez.~\ref{sec:TCP_daytime_cunc_server}, e da una funzione ausiliaria
1783 \code{ServEcho} che si cura della gestione del servizio.
1784
1785 \begin{figure}[!htbp]
1786   \footnotesize \centering
1787   \begin{minipage}[c]{\codesamplewidth}
1788     \includecodesample{listati/TCP_echod_first.c}
1789   \end{minipage} 
1790   \normalsize
1791   \caption{Codice del corpo principale della prima versione del server
1792     per il servizio \textit{echo}.}
1793   \label{fig:TCP_echo_server_first_code}
1794 \end{figure}
1795
1796 In questo caso però, rispetto a quanto visto nell'esempio di
1797 fig.~\ref{fig:TCP_daytime_cunc_server_code} si è preferito scrivere il server
1798 curando maggiormente alcuni dettagli, per tenere conto anche di alcune
1799 esigenze generali (che non riguardano direttamente la rete), come la
1800 possibilità di lanciare il server anche in modalità interattiva e la cessione
1801 dei privilegi di amministratore non appena questi non sono più necessari.
1802
1803 La sezione iniziale del programma (\texttt{\small 8--21}) è la stessa del
1804 server di sez.~\ref{sec:TCP_daytime_cunc_server}, ed ivi descritta in
1805 dettaglio: crea il socket, inizializza l'indirizzo e esegue \func{bind}; dato
1806 che quest'ultima funzione viene usata su una porta riservata, il server dovrà
1807 essere eseguito da un processo con i privilegi di amministratore, pena il
1808 fallimento della chiamata.
1809
1810 Una volta eseguita la funzione \func{bind} però i privilegi di amministratore
1811 non sono più necessari, per questo è sempre opportuno rilasciarli, in modo da
1812 evitare problemi in caso di eventuali vulnerabilità del server.  Per questo
1813 prima (\texttt{\small 22--26}) si esegue \func{setgid} per assegnare il
1814 processo ad un gruppo senza privilegi,\footnote{si è usato il valore 65534,
1815   ovvero -1 per il formato \ctyp{short}, che di norma in tutte le
1816   distribuzioni viene usato per identificare il gruppo \texttt{nogroup} e
1817   l'utente \texttt{nobody}, usati appunto per eseguire programmi che non
1818   richiedono nessun privilegio particolare.} e poi si ripete (\texttt{\small
1819   27--30}) l'operazione usando \func{setuid} per cambiare anche
1820 l'utente.\footnote{si tenga presente che l'ordine in cui si eseguono queste
1821   due operazioni è importante, infatti solo avendo i privilegi di
1822   amministratore si può cambiare il gruppo di un processo ad un altro di cui
1823   non si fa parte, per cui chiamare prima \func{setuid} farebbe fallire una
1824   successiva chiamata a \func{setgid}.  Inoltre si ricordi (si riveda quanto
1825   esposto in sez.~\ref{sec:proc_perms}) che usando queste due funzioni il
1826   rilascio dei privilegi è irreversibile.}  Infine (\texttt{\small 30--36}),
1827 qualora sia impostata la variabile \var{demonize}, prima (\texttt{\small 31})
1828 si apre il sistema di logging per la stampa degli errori, e poi
1829 (\texttt{\small 32--35}) si invoca \func{daemon} per eseguire in background il
1830 processo come demone.
1831
1832 A questo punto il programma riprende di nuovo lo schema già visto usato dal
1833 server per il servizio \textit{daytime}, con l'unica differenza della chiamata
1834 alla funzione \code{PrintErr}, riportata in fig.~\ref{fig:TCP_PrintErr}, al
1835 posto di \func{perror} per la stampa degli errori. 
1836
1837 Si inizia con il porre (\texttt{\small 37--41}) in ascolto il socket, e poi si
1838 esegue indefinitamente il ciclo principale (\texttt{\small 42--59}).
1839 All'interno di questo si ricevono (\texttt{\small 43--47}) le connessioni,
1840 creando (\texttt{\small 48--51}) un processo figlio per ciascuna di esse.
1841 Quest'ultimo (\texttt{\small 52--56}), chiuso (\texttt{\small 53}) il
1842 \textit{listening socket}, esegue (\texttt{\small 54}) la funzione di gestione
1843 del servizio \code{ServEcho}, ed al ritorno di questa esce (\texttt{\small
1844   55}).
1845
1846 Il padre invece si limita (\texttt{\small 57}) a chiudere il \textit{connected
1847   socket} per ricominciare da capo il ciclo in attesa di nuove connessioni. In
1848 questo modo si ha un server concorrente. La terminazione del padre non è
1849 gestita esplicitamente, e deve essere effettuata inviando un segnale al
1850 processo.
1851
1852 Avendo trattato direttamente la gestione del programma come demone, si è
1853 dovuto anche provvedere alla necessità di poter stampare eventuali messaggi di
1854 errore attraverso il sistema del \textit{syslog} trattato in
1855 sez.~\ref{sec:sess_daemon}. Come accennato questo è stato fatto utilizzando
1856 come \textit{wrapper} la funzione \code{PrintErr}, il cui codice è riportato
1857 in fig.~\ref{fig:TCP_PrintErr}.
1858
1859 In essa ci si limita a controllare (\texttt{\small 2}) se è stato impostato
1860 (valore attivo per default) l'uso come demone, nel qual caso (\texttt{\small
1861   3}) si usa \func{syslog} (vedi sez.~\ref{sec:sess_daemon}) per stampare il
1862 messaggio di errore fornito come argomento sui log di sistema. Se invece si è
1863 in modalità interattiva (attivabile con l'opzione \texttt{-i}) si usa
1864 (\texttt{\small 5}) semplicemente la funzione \func{perror} per stampare sullo
1865 standard error.
1866
1867 \begin{figure}[!htbp]
1868   \footnotesize \centering
1869   \begin{minipage}[c]{\codesamplewidth}
1870     \includecodesample{listati/PrintErr.c}
1871   \end{minipage} 
1872   \normalsize
1873   \caption{Codice della funzione \code{PrintErr} per la
1874     generalizzazione della stampa degli errori sullo standard input o
1875     attraverso il \texttt{syslog}.}
1876   \label{fig:TCP_PrintErr}
1877 \end{figure}
1878
1879 La gestione del servizio \textit{echo} viene effettuata interamente nella
1880 funzione \code{ServEcho}, il cui codice è mostrato in
1881 fig.~\ref{fig:TCP_ServEcho_first}, e la comunicazione viene gestita all'interno
1882 di un ciclo (\texttt{\small 6--13}).  I dati inviati dal client vengono letti
1883 (\texttt{\small 6}) dal socket con una semplice \func{read}, di cui non si
1884 controlla lo stato di uscita, assumendo che ritorni solo in presenza di dati
1885 in arrivo. La riscrittura (\texttt{\small 7}) viene invece gestita dalla
1886 funzione \func{FullWrite} (descritta in fig.~\ref{fig:sock_FullWrite_code}) che
1887 si incarica di tenere conto automaticamente della possibilità che non tutti i
1888 dati di cui è richiesta la scrittura vengano trasmessi con una singola
1889 \func{write}.
1890
1891 \begin{figure}[!htbp] 
1892   \footnotesize \centering
1893   \begin{minipage}[c]{\codesamplewidth}
1894     \includecodesample{listati/ServEcho_first.c}
1895   \end{minipage} 
1896   \normalsize
1897   \caption{Codice della prima versione della funzione \code{ServEcho} per la
1898     gestione del servizio \textit{echo}.}
1899   \label{fig:TCP_ServEcho_first}
1900 \end{figure}
1901
1902 In caso di errore di scrittura (si ricordi che \func{FullWrite} restituisce un
1903 valore nullo in caso di successo) si provvede (\texttt{\small 8--10}) a
1904 stampare il relativo messaggio con \func{PrintErr}.  Quando il client chiude
1905 la connessione il ricevimento del FIN fa ritornare la \func{read} con un
1906 numero di byte letti pari a zero, il che causa l'uscita dal ciclo e il ritorno
1907 (\texttt{\small 12}) della funzione, che a sua volta causa la terminazione del
1908 processo figlio.
1909
1910
1911 \subsection{L'avvio e il funzionamento normale}
1912 \label{sec:TCP_echo_startup}
1913
1914 Benché il codice dell'esempio precedente sia molto ridotto, esso ci permetterà
1915 di considerare in dettaglio le varie problematiche che si possono incontrare
1916 nello scrivere un'applicazione di rete. Infatti attraverso l'esame delle sue
1917 modalità di funzionamento normali, all'avvio e alla terminazione, e di quello
1918 che avviene nelle varie situazioni limite, da una parte potremo approfondire
1919 la comprensione del protocollo TCP/IP e dall'altra ricavare le indicazioni
1920 necessarie per essere in grado di scrivere applicazioni robuste, in grado di
1921 gestire anche i casi limite.
1922
1923 Il primo passo è compilare e lanciare il server (da root, per poter usare la
1924 porta 7 che è riservata), alla partenza esso eseguirà l'apertura passiva con
1925 la sequenza delle chiamate a \func{socket}, \func{bind}, \func{listen} e poi
1926 si bloccherà nella \func{accept}. A questo punto si potrà controllarne lo
1927 stato con \cmd{netstat}:
1928 \begin{verbatim}
1929 [piccardi@roke piccardi]$ netstat -at
1930 Active Internet connections (servers and established)
1931 Proto Recv-Q Send-Q Local Address           Foreign Address         State 
1932 ...
1933 tcp        0      0 *:echo                  *:*                     LISTEN
1934 ...
1935 \end{verbatim} %$
1936 che ci mostra come il socket sia in ascolto sulla porta richiesta, accettando
1937 connessioni da qualunque indirizzo e da qualunque porta e su qualunque
1938 interfaccia locale.
1939
1940 A questo punto si può lanciare il client, esso chiamerà \func{socket} e
1941 \func{connect}; una volta completato il \textit{three way handshake} la
1942 connessione è stabilita; la \func{connect} ritornerà nel client\footnote{si
1943   noti che è sempre la \func{connect} del client a ritornare per prima, in
1944   quanto questo avviene alla ricezione del secondo segmento (l'ACK del server)
1945   del \textit{three way handshake}, la \func{accept} del server ritorna solo
1946   dopo un altro mezzo RTT quando il terzo segmento (l'ACK del client) viene
1947   ricevuto.}  e la \func{accept} nel server, ed usando di nuovo \cmd{netstat}
1948 otterremmo che:
1949 \begin{verbatim}
1950 Active Internet connections (servers and established)
1951 Proto Recv-Q Send-Q Local Address           Foreign Address         State
1952 tcp        0      0 *:echo                  *:*                     LISTEN
1953 tcp        0      0 roke:echo               gont:32981              ESTABLISHED
1954 \end{verbatim}
1955 mentre per quanto riguarda l'esecuzione dei programmi avremo che:
1956 \begin{itemize}
1957 \item il client chiama la funzione \code{ClientEcho} che si blocca sulla
1958   \func{fgets} dato che non si è ancora scritto nulla sul terminale.
1959 \item il server eseguirà una \func{fork} facendo chiamare al processo figlio
1960   la funzione \code{ServEcho}, quest'ultima si bloccherà sulla \func{read}
1961   dal socket sul quale ancora non sono presenti dati.
1962 \item il processo padre del server chiamerà di nuovo \func{accept}
1963   bloccandosi fino all'arrivo di un'altra connessione.
1964 \end{itemize}
1965 e se usiamo il comando \cmd{ps} per esaminare lo stato dei processi otterremo
1966 un risultato del tipo:
1967 \begin{verbatim}
1968 [piccardi@roke piccardi]$ ps ax
1969   PID TTY      STAT   TIME COMMAND
1970  ...  ...      ...    ...  ...
1971  2356 pts/0    S      0:00 ./echod
1972  2358 pts/1    S      0:00 ./echo 127.0.0.1
1973  2359 pts/0    S      0:00 ./echod
1974 \end{verbatim} %$
1975 (dove si sono cancellate le righe inutili) da cui si evidenzia la presenza di
1976 tre processi, tutti in stato di \textit{sleep} (vedi
1977 tab.~\ref{tab:proc_proc_states}).
1978
1979 Se a questo punto si inizia a scrivere qualcosa sul client non sarà trasmesso
1980 niente fin tanto che non si prema il tasto di a capo (si ricordi quanto detto
1981 in sez.~\ref{sec:file_line_io} a proposito dell'I/O su terminale), solo allora
1982 \func{fgets} ritornerà ed il client scriverà quanto immesso sul socket, per
1983 poi passare a rileggere quanto gli viene inviato all'indietro dal server, che
1984 a sua volta sarà inviato sullo standard output, che nel caso ne provoca
1985 l'immediata stampa a video.
1986
1987
1988 \subsection{La conclusione normale}
1989 \label{sec:TCP_echo_conclusion}
1990
1991 Tutto quello che scriveremo sul client sarà rimandato indietro dal server e
1992 ristampato a video fintanto che non concluderemo l'immissione dei dati; una
1993 sessione tipica sarà allora del tipo: 
1994 \begin{verbatim}
1995 [piccardi@roke sources]$ ./echo 127.0.0.1
1996 Questa e` una prova
1997 Questa e` una prova
1998 Ho finito
1999 Ho finito
2000 \end{verbatim} %$
2001 che termineremo inviando un EOF dal terminale (usando la combinazione di tasti
2002 ctrl-D, che non compare a schermo); se eseguiamo un \cmd{netstat} a questo
2003 punto avremo:
2004 \begin{verbatim}
2005 [piccardi@roke piccardi]$ netstat -at 
2006 tcp        0      0 *:echo                  *:*                     LISTEN
2007 tcp        0      0 localhost:33032         localhost:echo          TIME_WAIT
2008 \end{verbatim} %$
2009 con il client che entra in \texttt{TIME\_WAIT}.
2010
2011 Esaminiamo allora in dettaglio la sequenza di eventi che porta alla
2012 terminazione normale della connessione, che ci servirà poi da riferimento
2013 quando affronteremo il comportamento in caso di conclusioni anomale:
2014
2015 \begin{enumerate}
2016 \item inviando un carattere di EOF da terminale la \func{fgets} ritorna
2017   restituendo un puntatore nullo che causa l'uscita dal ciclo di \code{while},
2018   così la funzione \code{ClientEcho} ritorna.
2019 \item al ritorno di \code{ClientEcho} ritorna anche la funzione \code{main}, e
2020   come parte del processo di terminazione tutti i file descriptor vengono chiusi
2021   (si ricordi quanto detto in sez.~\ref{sec:proc_term_conclusion}); questo
2022   causa la chiusura del socket di comunicazione; il client allora invierà un
2023   FIN al server a cui questo risponderà con un ACK.  A questo punto il client
2024   verrà a trovarsi nello stato \texttt{FIN\_WAIT\_2} ed il server nello stato
2025   \texttt{CLOSE\_WAIT} (si riveda quanto spiegato in
2026   sez.~\ref{sec:TCP_conn_term}).
2027 \item quando il server riceve il FIN la \func{read} del processo figlio che
2028   gestisce la connessione ritorna restituendo 0 causando così l'uscita dal
2029   ciclo e il ritorno di \code{ServEcho}, a questo punto il processo figlio
2030   termina chiamando \func{exit}.
2031 \item all'uscita del figlio tutti i file descriptor vengono chiusi, la
2032   chiusura del socket connesso fa sì che venga effettuata la sequenza finale
2033   di chiusura della connessione, viene emesso un FIN dal server che riceverà
2034   un ACK dal client, a questo punto la connessione è conclusa e il client
2035   resta nello stato \texttt{TIME\_WAIT}.
2036 \end{enumerate}
2037
2038
2039 \subsection{La gestione dei processi figli}
2040 \label{sec:TCP_child_hand}
2041
2042 Tutto questo riguarda la connessione, c'è però da tenere conto dell'effetto
2043 del procedimento di chiusura del processo figlio nel server (si veda quanto
2044 esaminato in sez.~\ref{sec:proc_termination}). In questo caso avremo l'invio
2045 del segnale \signal{SIGCHLD} al padre, ma dato che non si è installato un
2046 gestore e che l'azione predefinita per questo segnale è quella di essere
2047 ignorato, non avendo predisposto la ricezione dello stato di terminazione,
2048 otterremo che il processo figlio entrerà nello stato di \textit{zombie} (si
2049 riveda quanto illustrato in sez.~\ref{sec:sig_sigchld}), come risulterà
2050 ripetendo il comando \cmd{ps}:
2051 \begin{verbatim}
2052  2356 pts/0    S      0:00 ./echod
2053  2359 pts/0    Z      0:00 [echod <defunct>]
2054 \end{verbatim}
2055
2056 Dato che non è il caso di lasciare processi \textit{zombie}, occorrerà
2057 ricevere opportunamente lo stato di terminazione del processo (si veda
2058 sez.~\ref{sec:proc_wait}), cosa che faremo utilizzando \signal{SIGCHLD}
2059 secondo quanto illustrato in sez.~\ref{sec:sig_sigchld}. Una prima modifica al
2060 nostro server è pertanto quella di inserire la gestione della terminazione dei
2061 processi figli attraverso l'uso di un gestore.  Per questo useremo la funzione
2062 \code{Signal} (che abbiamo illustrato in fig.~\ref{fig:sig_Signal_code}), per
2063 installare il gestore che riceve i segnali dei processi figli terminati già
2064 visto in fig.~\ref{fig:sig_sigchld_handl}.  Basterà allora aggiungere il
2065 seguente codice: \includecodesnip{listati/sigchildhand.c}
2066 \noindent
2067 all'esempio illustrato in fig.~\ref{fig:TCP_echo_server_first_code}.
2068
2069 In questo modo però si introduce un altro problema. Si ricordi infatti che,
2070 come spiegato in sez.~\ref{sec:sig_gen_beha}, quando un programma si trova in
2071 stato di \texttt{sleep} durante l'esecuzione di una \textit{system call},
2072 questa viene interrotta alla ricezione di un segnale. Per questo motivo, alla
2073 fine dell'esecuzione del gestore del segnale, se questo ritorna, il programma
2074 riprenderà l'esecuzione ritornando dalla \textit{system call} interrotta con
2075 un errore di \errcode{EINTR}.
2076
2077 Vediamo allora cosa comporta tutto questo nel nostro caso: quando si chiude il
2078 client, il processo figlio che gestisce la connessione terminerà, ed il padre,
2079 per evitare la creazione di \textit{zombie}, riceverà il segnale
2080 \signal{SIGCHLD} eseguendo il relativo gestore. Al ritorno del gestore però
2081 l'esecuzione nel padre ripartirà subito con il ritorno della funzione
2082 \func{accept} (a meno di un caso fortuito in cui il segnale arriva durante
2083 l'esecuzione del programma in risposta ad una connessione) con un errore di
2084 \errcode{EINTR}. Non avendo previsto questa eventualità il programma considera
2085 questo un errore fatale terminando a sua volta con un messaggio del tipo:
2086 \begin{verbatim}
2087 [root@gont sources]# ./echod -i
2088 accept error: Interrupted system call
2089 \end{verbatim}%#
2090
2091 Come accennato in sez.~\ref{sec:sig_gen_beha} le conseguenze di questo
2092 comportamento delle \textit{system call} possono essere superate in due modi
2093 diversi, il più semplice è quello di modificare il codice di \func{Signal} per
2094 richiedere il riavvio automatico delle \textit{system call} interrotte secondo
2095 la semantica di BSD, usando l'opzione \const{SA\_RESTART} di \func{sigaction};
2096 rispetto a quanto visto in fig.~\ref{fig:sig_Signal_code}. Definiremo allora
2097 la nuova funzione \func{SignalRestart}\footnote{anche questa è definita,
2098   insieme alle altre funzioni riguardanti la gestione dei segnali, nel file
2099   \file{SigHand.c}, il cui contento completo può essere trovato negli esempi
2100   allegati.} come mostrato in fig.~\ref{fig:sig_SignalRestart_code}, ed
2101 installeremo il gestore usando quest'ultima.
2102
2103 \begin{figure}[!htbp]
2104   \footnotesize \centering
2105   \begin{minipage}[c]{\codesamplewidth}
2106     \includecodesample{listati/SignalRestart.c}
2107   \end{minipage}  
2108   \normalsize 
2109   \caption{La funzione \func{SignalRestart}, che installa un gestore di
2110     segnali in semantica BSD per il riavvio automatico delle \textit{system
2111       call} interrotte.}
2112   \label{fig:sig_SignalRestart_code}
2113 \end{figure}
2114
2115 Come si può notare questa funzione è identica alla precedente \func{Signal},
2116 illustrata in fig.~\ref{fig:sig_Signal_code}, solo che in questo caso invece
2117 di inizializzare a zero il campo \var{sa\_flags} di \struct{sigaction}, lo si
2118 inizializza (\texttt{\small 5}) al valore \const{SA\_RESTART}. Usando questa
2119 funzione al posto di \func{Signal} nel server non è necessaria nessuna altra
2120 modifica: le \textit{system call} interrotte saranno automaticamente
2121 riavviate, e l'errore \errcode{EINTR} non si manifesterà più.
2122
2123 La seconda soluzione è più invasiva e richiede di controllare tutte le volte
2124 l'errore restituito dalle varie \textit{system call}, ripetendo la chiamata
2125 qualora questo corrisponda ad \errcode{EINTR}. Questa soluzione ha però il
2126 pregio della portabilità, infatti lo standard POSIX dice che la funzionalità
2127 di riavvio automatico delle \textit{system call}, fornita da
2128 \const{SA\_RESTART}, è opzionale, per cui non è detto che essa sia disponibile
2129 su qualunque sistema.  Inoltre in certi casi,\footnote{Stevens in \cite{UNP1}
2130   accenna che la maggior parte degli Unix derivati da BSD non fanno ripartire
2131   \func{select}; altri non riavviano neanche \func{accept} e \func{recvfrom},
2132   cosa che invece nel caso di Linux viene sempre fatta.} anche quando questa è
2133 presente, non è detto possa essere usata con \func{accept}.
2134
2135
2136 La portabilità nella gestione dei segnali però viene al costo di una
2137 riscrittura parziale del server, la nuova versione di questo, in cui si sono
2138 introdotte una serie di nuove opzioni che ci saranno utili per il debug, è
2139 mostrata in fig.~\ref{fig:TCP_echo_server_code_second}, dove si sono riportate
2140 la sezioni di codice modificate nella seconda versione del programma, il
2141 codice completo di quest'ultimo si trova nel file
2142 \texttt{TCP\_echod\_second.c} dei sorgenti allegati alla guida.
2143
2144 La prima modifica effettuata è stata quella di introdurre una nuova opzione a
2145 riga di comando, \texttt{-c}, che permette di richiedere il comportamento
2146 compatibile nella gestione di \signal{SIGCHLD} al posto della semantica BSD
2147 impostando la variabile \var{compat} ad un valore non nullo. Questa è
2148 preimpostata al valore nullo, cosicché se non si usa questa opzione il
2149 comportamento di default del server è di usare la semantica BSD. 
2150
2151 Una seconda opzione aggiunta è quella di inserire un tempo di attesa fisso
2152 specificato in secondi fra il ritorno della funzione \func{listen} e la
2153 chiamata di \func{accept}, specificabile con l'opzione \texttt{-w}, che
2154 permette di impostare la variabile \var{waiting}.  Infine si è introdotta una
2155 opzione \texttt{-d} per abilitare il debugging che imposta ad un valore non
2156 nullo la variabile \var{debugging}. Al solito si è omessa da
2157 fig.~\ref{fig:TCP_echo_server_code_second} la sezione di codice relativa alla
2158 gestione di tutte queste opzioni, che può essere trovata nel sorgente del
2159 programma.
2160
2161 \begin{figure}[!htbp]
2162   \footnotesize \centering
2163   \begin{minipage}[c]{\codesamplewidth}
2164     \includecodesample{listati/TCP_echod_second.c}
2165   \end{minipage} 
2166   \normalsize
2167   \caption{La sezione nel codice della seconda versione del server
2168     per il servizio \textit{echo} modificata per tener conto dell'interruzione
2169     delle \textit{system call}.}
2170   \label{fig:TCP_echo_server_code_second}
2171 \end{figure}
2172
2173 Vediamo allora come è cambiato il nostro server; una volta definite le
2174 variabili e trattate le opzioni il primo passo (\texttt{\small 9--13}) è
2175 verificare la semantica scelta per la gestione di \signal{SIGCHLD}, a seconda
2176 del valore di \var{compat} (\texttt{\small 9}) si installa il gestore con la
2177 funzione \func{Signal} (\texttt{\small 10}) o con \texttt{SignalRestart}
2178 (\texttt{\small 12}), essendo quest'ultimo il valore di default.
2179
2180 Tutta la sezione seguente, che crea il socket, cede i privilegi di
2181 amministratore ed eventualmente lancia il programma come demone, è rimasta
2182 invariata e pertanto è stata omessa in
2183 fig.~\ref{fig:TCP_echo_server_code_second}; l'unica modifica effettuata prima
2184 dell'entrata nel ciclo principale è stata quella di aver introdotto, subito
2185 dopo la chiamata (\texttt{\small 17--20}) alla funzione \func{listen}, una
2186 eventuale pausa con una condizione (\texttt{\small 21}) sulla variabile
2187 \var{waiting}, che viene inizializzata, con l'opzione \texttt{-w Nsec}, al
2188 numero di secondi da aspettare (il valore preimpostato è nullo).
2189
2190 Si è potuto lasciare inalterata tutta la sezione di creazione del socket
2191 perché nel server l'unica chiamata ad una \textit{system call} lenta, che può
2192 essere interrotta dall'arrivo di \signal{SIGCHLD}, è quella ad \func{accept},
2193 che è l'unica funzione che può mettere il processo padre in stato di sleep nel
2194 periodo in cui un figlio può terminare; si noti infatti come le altre
2195 \textit{system call} lente (si ricordi la distinzione fatta in
2196 sez.~\ref{sec:sig_gen_beha}) o sono chiamate prima di entrare nel ciclo
2197 principale, quando ancora non esistono processi figli, o sono chiamate dai
2198 figli stessi e non risentono di \signal{SIGCHLD}.
2199
2200 Per questo l'unica modifica sostanziale nel ciclo principale (\texttt{\small
2201   23--42}), rispetto precedente versione di fig.~\ref{fig:TCP_ServEcho_first},
2202 è nella sezione (\texttt{\small 25--31}) in cui si effettua la chiamata di
2203 \func{accept}.  Quest'ultima viene effettuata (\texttt{\small 26--27})
2204 all'interno di un ciclo di \code{while}\footnote{la sintassi del C relativa a
2205   questo ciclo può non essere del tutto chiara. In questo caso infatti si è
2206   usato un ciclo vuoto che non esegue nessuna istruzione, in questo modo
2207   quello che viene ripetuto con il ciclo è soltanto il codice che esprime la
2208   condizione all'interno del \code{while}.}  che la ripete indefinitamente
2209 qualora in caso di errore il valore di \var{errno} sia \errcode{EINTR}. Negli
2210 altri casi si esce in caso di errore effettivo (\texttt{\small 27--29}),
2211 altrimenti il programma prosegue.
2212
2213 Si noti che in questa nuova versione si è aggiunta una ulteriore sezione
2214 (\texttt{\small 32--40}) di aiuto per il debug del programma, che eseguita con
2215 un controllo (\texttt{\small 33}) sul valore della variabile \var{debugging}
2216 impostato dall'opzione \texttt{-d}. Qualora questo sia nullo, come
2217 preimpostato, non accade nulla. altrimenti (\texttt{\small 33}) l'indirizzo
2218 ricevuto da \var{accept} viene convertito in una stringa che poi
2219 (\texttt{\small 34--39}) viene opportunamente stampata o sullo schermo o nei
2220 log.
2221
2222 Infine come ulteriore miglioria si è perfezionata la funzione \code{ServEcho},
2223 sia per tenere conto della nuova funzionalità di debugging, che per effettuare
2224 un controllo in caso di errore; il codice della nuova versione è mostrato in
2225 fig.~\ref{fig:TCP_ServEcho_second}.
2226
2227 \begin{figure}[!htbp] 
2228   \footnotesize \centering
2229   \begin{minipage}[c]{\codesamplewidth}
2230     \includecodesample{listati/ServEcho_second.c}
2231   \end{minipage} 
2232   \normalsize
2233   \caption{Codice della seconda versione della funzione \code{ServEcho} per la
2234     gestione del servizio \textit{echo}.}
2235   \label{fig:TCP_ServEcho_second}
2236 \end{figure}
2237
2238 Rispetto alla precedente versione di fig.~\ref{fig:TCP_ServEcho_first} in
2239 questo caso si è provveduto a controllare (\texttt{\small 7--10}) il valore di
2240 ritorno di \func{read} per rilevare un eventuale errore, in modo da stampare
2241 (\texttt{\small 8}) un messaggio di errore e ritornare (\texttt{\small 9})
2242 concludendo la connessione.
2243
2244 Inoltre qualora sia stata attivata la funzionalità di debug (avvalorando
2245 \var{debugging} tramite l'apposita opzione \texttt{-d}) si provvederà a
2246 stampare (tenendo conto della modalità di invocazione del server, se
2247 interattiva o in forma di demone) il numero di byte e la stringa letta dal
2248 client (\texttt{\small 16--24}).
2249
2250
2251 \section{I vari scenari critici}
2252 \label{sec:TCP_echo_critical}
2253
2254 Con le modifiche viste in sez.~\ref{sec:TCP_child_hand} il nostro esempio
2255 diventa in grado di affrontare la gestione ordinaria delle connessioni, ma un
2256 server di rete deve tenere conto che, al contrario di quanto avviene per i
2257 server che operano nei confronti di processi presenti sulla stessa macchina,
2258 la rete è di sua natura inaffidabile, per cui è necessario essere in grado di
2259 gestire tutta una serie di situazioni critiche che non esistono per i processi
2260 locali.
2261
2262
2263 \subsection{La terminazione precoce della connessione}
2264 \label{sec:TCP_conn_early_abort}
2265
2266 La prima situazione critica è quella della terminazione precoce, causata da un
2267 qualche errore sulla rete, della connessione effettuata da un client. Come
2268 accennato in sez.~\ref{sec:TCP_func_accept} la funzione \func{accept} riporta
2269 tutti gli eventuali errori di rete pendenti su una connessione sul
2270 \textit{connected socket}. Di norma questo non è un problema, in quanto non
2271 appena completata la connessione, \func{accept} ritorna e l'errore sarà
2272 rilevato in seguito, dal processo che gestisce la connessione, alla prima
2273 chiamata di una funzione che opera sul socket.
2274
2275 È però possibile, dal punto di vista teorico, incorrere anche in uno scenario
2276 del tipo di quello mostrato in fig.~\ref{fig:TCP_early_abort}, in cui la
2277 connessione viene abortita sul lato client per un qualche errore di rete con
2278 l'invio di un segmento RST, prima che nel server sia stata chiamata la
2279 funzione \func{accept}.
2280
2281 \begin{figure}[!htb]
2282   \centering \includegraphics[width=10cm]{img/tcp_client_early_abort}  
2283   \caption{Un possibile caso di terminazione precoce della connessione.}
2284   \label{fig:TCP_early_abort}
2285 \end{figure}
2286
2287 Benché questo non sia un fatto comune, un evento simile può essere osservato
2288 con dei server molto occupati. In tal caso, con una struttura del server
2289 simile a quella del nostro esempio, in cui la gestione delle singole
2290 connessioni è demandata a processi figli, può accadere che il \textit{three
2291   way handshake} venga completato e la relativa connessione abortita subito
2292 dopo, prima che il padre, per via del carico della macchina, abbia fatto in
2293 tempo ad eseguire la chiamata ad \func{accept}. Di nuovo si ha una situazione
2294 analoga a quella illustrata in fig.~\ref{fig:TCP_early_abort}, in cui la
2295 connessione viene stabilita, ma subito dopo si ha una condizione di errore che
2296 la chiude prima che essa sia stata accettata dal programma.
2297
2298 Questo significa che, oltre alla interruzione da parte di un segnale, che
2299 abbiamo trattato in sez.~\ref{sec:TCP_child_hand} nel caso particolare di
2300 \signal{SIGCHLD}, si possono ricevere altri errori non fatali all'uscita di
2301 \func{accept}, che come nel caso precedente, necessitano semplicemente la
2302 ripetizione della chiamata senza che si debba uscire dal programma. In questo
2303 caso anche la versione modificata del nostro server non sarebbe adatta, in
2304 quanto uno di questi errori causerebbe la terminazione dello stesso. In Linux
2305 i possibili errori di rete non fatali, riportati sul socket connesso al
2306 ritorno di \func{accept}, sono \errcode{ENETDOWN}, \errcode{EPROTO},
2307 \errcode{ENOPROTOOPT}, \errcode{EHOSTDOWN}, \errcode{ENONET},
2308 \errcode{EHOSTUNREACH}, \errcode{EOPNOTSUPP} e \errcode{ENETUNREACH}.
2309
2310 Si tenga presente che questo tipo di terminazione non è riproducibile
2311 terminando il client prima della chiamata ad \func{accept}, come si potrebbe
2312 fare usando l'opzione \texttt{-w} per introdurre una pausa dopo il lancio del
2313 demone, in modo da poter avere il tempo per lanciare e terminare una
2314 connessione usando il programma client. In tal caso infatti, alla terminazione
2315 del client, il socket associato alla connessione viene semplicemente chiuso,
2316 attraverso la sequenza vista in sez.~\ref{sec:TCP_conn_term}, per cui la
2317 \func{accept} ritornerà senza errori, e si avrà semplicemente un end-of-file
2318 al primo accesso al socket. Nel caso di Linux inoltre, anche qualora si
2319 modifichi il client per fargli gestire l'invio di un segmento di RST alla
2320 chiusura dal socket (usando l'opzione \const{SO\_LINGER}, vedi
2321 sez.~\ref{sec:sock_options_main}), non si ha nessun errore al ritorno di
2322 \func{accept}, quanto un errore di \errcode{ECONNRESET} al primo tentativo di
2323 accesso al socket.
2324
2325
2326
2327 \subsection{La terminazione precoce del server}
2328 \label{sec:TCP_server_crash}
2329
2330 Un secondo caso critico è quello in cui si ha una terminazione precoce del
2331 server, ad esempio perché il programma ha un crash. In tal caso si suppone che
2332 il processo termini per un errore fatale, cosa che potremo simulare
2333 inviandogli un segnale di terminazione. La conclusione del processo comporta
2334 la chiusura di tutti i file descriptor aperti, compresi tutti i socket
2335 relativi a connessioni stabilite; questo significa che al momento del crollo
2336 del servizio il client riceverà un FIN dal server in corrispondenza della
2337 chiusura del socket.
2338
2339 Vediamo allora cosa succede nel nostro caso, facciamo partire una connessione
2340 con il server e scriviamo una prima riga, poi terminiamo il server con un
2341 \texttt{C-c}. A questo punto scriviamo una seconda riga e poi un'altra riga
2342 ancora. Il risultato finale della sessione è il seguente:
2343 \begin{verbatim}
2344 [piccardi@gont sources]$ ./echo 192.168.1.141
2345 Prima riga
2346 Prima riga
2347 Seconda riga dopo il C-c
2348 Altra riga
2349 [piccardi@gont sources]$
2350 \end{verbatim}
2351
2352 Come si vede il nostro client, nonostante la connessione sia stata interrotta
2353 prima dell'invio della seconda riga, non solo accetta di inviarla, ma prende
2354 anche un'altra riga prima di terminare senza riportare nessun
2355 errore. 
2356
2357 Per capire meglio cosa è successo conviene analizzare il flusso dei pacchetti
2358 utilizzando un analizzatore di traffico come \cmd{tcpdump}. Il comando
2359 permette di selezionare, nel traffico di rete generato su una macchina, i
2360 pacchetti che interessano, stampando a video (o salvando su disco) il loro
2361 contenuto. Non staremo qui ad entrare nei dettagli dell'uso del programma, che
2362 sono spiegati dalla pagina di manuale; per l'uso che vogliamo farne quello che
2363 ci interessa è, posizionandosi sulla macchina che fa da client, selezionare
2364 tutti i pacchetti che sono diretti o provengono dalla macchina che fa da
2365 server. In questo modo (posto che non ci siano altre connessioni col server,
2366 cosa che avremo cura di evitare) tutti i pacchetti rilevati apparterranno alla
2367 nostra sessione di interrogazione del servizio. 
2368
2369 Il comando \cmd{tcpdump} permette selezioni molto complesse, basate sulle
2370 interfacce su cui passano i pacchetti, sugli indirizzi IP, sulle porte, sulle
2371 caratteristiche ed il contenuto dei pacchetti stessi, inoltre permette di
2372 combinare fra loro diversi criteri di selezione con degli operatori logici;
2373 quando un pacchetto che corrisponde ai criteri di selezione scelti viene
2374 rilevato i suoi dati vengono stampati sullo schermo (anche questi secondo un
2375 formato configurabile in maniera molto precisa).  
2376
2377 Lanciando il comando prima di ripetere la sessione di lavoro mostrata
2378 nell'esempio precedente potremo allora catturare tutti pacchetti scambiati fra
2379 il client ed il server; i risultati\footnote{in realtà si è ridotta la
2380   lunghezza dell'output rispetto al reale tagliando alcuni dati non necessari
2381   alla comprensione del flusso.} prodotti in questa occasione da \cmd{tcpdump}
2382 sono allora i seguenti:
2383 \begin{verbatim}
2384 [root@gont gapil]# tcpdump src 192.168.1.141 or dst 192.168.1.141 -N -t
2385 tcpdump: listening on eth0
2386 gont.34559 > anarres.echo: S 800922320:800922320(0) win 5840 
2387 anarres.echo > gont.34559: S 511689719:511689719(0) ack 800922321 win 5792 
2388 gont.34559 > anarres.echo: . ack 1 win 5840 
2389 gont.34559 > anarres.echo: P 1:12(11) ack 1 win 5840 
2390 anarres.echo > gont.34559: . ack 12 win 5792 
2391 anarres.echo > gont.34559: P 1:12(11) ack 12 win 5792 
2392 gont.34559 > anarres.echo: . ack 12 win 5840 
2393 anarres.echo > gont.34559: F 12:12(0) ack 12 win 5792 
2394 gont.34559 > anarres.echo: . ack 13 win 5840 
2395 gont.34559 > anarres.echo: P 12:37(25) ack 13 win 5840 
2396 anarres.echo > gont.34559: R 511689732:511689732(0) win 0 
2397 \end{verbatim}
2398
2399 Le prime tre righe vengono prodotte al momento in cui lanciamo il nostro
2400 client, e corrispondono ai tre pacchetti del \textit{three way handshake}.
2401 L'output del comando riporta anche i numeri di sequenza iniziali, mentre la
2402 lettera \texttt{S} indica che per quel pacchetto si aveva il SYN flag attivo.
2403 Si noti come a partire dal secondo pacchetto sia sempre attivo il campo
2404 \texttt{ack}, seguito dal numero di sequenza per il quale si da il ricevuto;
2405 quest'ultimo, a partire dal terzo pacchetto, viene espresso in forma relativa
2406 per maggiore compattezza.  Il campo \texttt{win} in ogni riga indica la
2407 \textit{advertised window} di cui parlavamo in sez.~\ref{sec:TCP_TCP_opt}.
2408 Allora si può verificare dall'output del comando come venga appunto realizzata
2409 la sequenza di pacchetti descritta in sez.~\ref{sec:TCP_conn_cre}: prima viene
2410 inviato dal client un primo pacchetto con il SYN che inizia la connessione, a
2411 cui il server risponde dando il ricevuto con un secondo pacchetto, che a sua
2412 volta porta un SYN, cui il client risponde con un il terzo pacchetto di
2413 ricevuto.
2414
2415 Ritorniamo allora alla nostra sessione con il servizio echo: dopo le tre righe
2416 del \textit{three way handshake} non avremo nulla fin tanto che non scriveremo
2417 una prima riga sul client; al momento in cui facciamo questo si genera una
2418 sequenza di altri quattro pacchetti. Il primo, dal client al server,
2419 contraddistinto da una lettera \texttt{P} che significa che il flag PSH è
2420 impostato, contiene la nostra riga (che è appunto di 11 caratteri), e ad esso
2421 il server risponde immediatamente con un pacchetto vuoto di ricevuto. Poi
2422 tocca al server riscrivere indietro quanto gli è stato inviato, per cui sarà
2423 lui a mandare indietro un terzo pacchetto con lo stesso contenuto appena
2424 ricevuto, e a sua volta riceverà dal client un ACK nel quarto pacchetto.
2425 Questo causerà la ricezione dell'eco nel client che lo stamperà a video.
2426
2427 A questo punto noi procediamo ad interrompere l'esecuzione del server con un
2428 \texttt{C-c} (cioè con l'invio di \signal{SIGTERM}): nel momento in cui
2429 facciamo questo vengono immediatamente generati altri due pacchetti. La
2430 terminazione del processo infatti comporta la chiusura di tutti i suoi file
2431 descriptor, il che comporta, per il socket che avevamo aperto, l'inizio della
2432 sequenza di chiusura illustrata in sez.~\ref{sec:TCP_conn_term}.  Questo
2433 significa che dal server partirà un FIN, che è appunto il primo dei due
2434 pacchetti, contraddistinto dalla lettera \texttt{F}, cui seguirà al solito un
2435 ACK da parte del client.  
2436
2437 A questo punto la connessione dalla parte del server è chiusa, ed infatti se
2438 usiamo \cmd{netstat} per controllarne lo stato otterremo che sul server si ha:
2439 \begin{verbatim}
2440 anarres:/home/piccardi# netstat -ant
2441 Active Internet connections (servers and established)
2442 Proto Recv-Q Send-Q Local Address           Foreign Address         State
2443 ...      ...    ... ...                     ...                     ...
2444 tcp        0      0 192.168.1.141:7         192.168.1.2:34626       FIN_WAIT2
2445 \end{verbatim}
2446 cioè essa è andata nello stato \texttt{FIN\_WAIT2}, che indica l'avvenuta
2447 emissione del segmento FIN, mentre sul client otterremo che essa è andata
2448 nello stato \texttt{CLOSE\_WAIT}:
2449 \begin{verbatim}
2450 [root@gont gapil]# netstat -ant
2451 Active Internet connections (servers and established)
2452 Proto Recv-Q Send-Q Local Address           Foreign Address         State
2453 ...      ...    ... ...                     ...                     ...
2454 tcp        1      0 192.168.1.2:34582       192.168.1.141:7         CLOSE_WAIT 
2455 \end{verbatim}
2456
2457 Il problema è che in questo momento il client è bloccato dentro la funzione
2458 \texttt{ClientEcho} nella chiamata a \func{fgets}, e sta attendendo dell'input
2459 dal terminale, per cui non è in grado di accorgersi di nulla. Solo quando
2460 inseriremo la seconda riga il comando uscirà da \func{fgets} e proverà a
2461 scriverla sul socket. Questo comporta la generazione degli ultimi due
2462 pacchetti riportati da \cmd{tcpdump}: il primo, inviato dal client contenente
2463 i 25 caratteri della riga appena letta, e ad esso la macchina server
2464 risponderà, non essendoci più niente in ascolto sulla porta 7, con un segmento
2465 di RST, contraddistinto dalla lettera \texttt{R}, che causa la conclusione
2466 definitiva della connessione anche nel client, dove non comparirà più
2467 nell'output di \cmd{netstat}.
2468
2469 Come abbiamo accennato in sez.~\ref{sec:TCP_conn_term} e come vedremo più
2470 avanti in sez.~\ref{sec:TCP_shutdown} la chiusura di un solo capo di un socket
2471 è una operazione lecita, per cui la nostra scrittura avrà comunque successo
2472 (come si può constatare lanciando usando \cmd{strace}\footnote{il comando
2473   \cmd{strace} è un comando di debug molto utile che prende come argomento un
2474   altro comando e ne stampa a video tutte le invocazioni di una \textit{system
2475     call}, coi relativi argomenti e valori di ritorno, per cui usandolo in
2476   questo contesto potremo verificare che effettivamente la \func{write} ha
2477   scritto la riga, che in effetti è stata pure trasmessa via rete.}), in
2478 quanto il nostro programma non ha a questo punto alcun modo di sapere che
2479 dall'altra parte non c'è più nessuno processo in grado di leggere quanto
2480 scriverà. Questo sarà chiaro solo dopo il tentativo di scrittura, e la
2481 ricezione del segmento RST di risposta che indica che dall'altra parte non si
2482 è semplicemente chiuso un capo del socket, ma è completamente terminato il
2483 programma.
2484
2485 Per questo motivo il nostro client proseguirà leggendo dal socket, e dato che
2486 questo è stato chiuso avremo che, come spiegato in
2487 sez.~\ref{sec:TCP_conn_term}, la funzione \func{read} ritorna normalmente con
2488 un valore nullo. Questo comporta che la seguente chiamata a \func{fputs} non
2489 ha effetto (viene stampata una stringa nulla) ed il client si blocca di nuovo
2490 nella successiva chiamata a \func{fgets}. Per questo diventa possibile
2491 inserire una terza riga e solo dopo averlo fatto si avrà la terminazione del
2492 programma.
2493
2494 Per capire come questa avvenga comunque, non avendo inserito nel codice nessun
2495 controllo di errore, occorre ricordare che, a parte la bidirezionalità del
2496 flusso dei dati, dal punto di vista del funzionamento nei confronti delle
2497 funzioni di lettura e scrittura, i socket sono del tutto analoghi a delle
2498 \textit{pipe}. Allora, da quanto illustrato in sez.~\ref{sec:ipc_pipes},
2499 sappiamo che tutte le volte che si cerca di scrivere su una \textit{pipe} il
2500 cui altro capo non è aperto il lettura il processo riceve un segnale di
2501 \signal{SIGPIPE}, e questo è esattamente quello che avviene in questo caso, e
2502 siccome non abbiamo un gestore per questo segnale, viene eseguita l'azione
2503 preimpostata, che è quella di terminare il processo.
2504
2505 Per gestire in maniera più corretta questo tipo di evento dovremo allora
2506 modificare il nostro client perché sia in grado di trattare le varie tipologie
2507 di errore, per questo dovremo riscrivere la funzione \func{ClientEcho}, in
2508 modo da controllare gli stati di uscita delle varie chiamate. Si è riportata
2509 la nuova versione della funzione in fig.~\ref{fig:TCP_ClientEcho_second}.
2510
2511 \begin{figure}[!htbp]
2512   \footnotesize \centering
2513   \begin{minipage}[c]{\codesamplewidth}
2514     \includecodesample{listati/ClientEcho_second.c}
2515   \end{minipage} 
2516   \normalsize
2517   \caption{La sezione nel codice della seconda versione della funzione
2518     \func{ClientEcho} usata dal client per il servizio \textit{echo}
2519     modificata per tener conto degli eventuali errori.}
2520   \label{fig:TCP_ClientEcho_second}
2521 \end{figure}
2522
2523 Come si può vedere in questo caso si controlla il valore di ritorno di tutte
2524 le funzioni, ed inoltre si verifica la presenza di un eventuale end of file in
2525 caso di lettura. Con questa modifica il nostro client echo diventa in grado di
2526 accorgersi della chiusura del socket da parte del server, per cui ripetendo la
2527 sequenza di operazioni precedenti stavolta otterremo che:
2528 \begin{verbatim}
2529 [piccardi@gont sources]$ ./echo 192.168.1.141
2530 Prima riga
2531 Prima riga
2532 Seconda riga dopo il C-c
2533 EOF sul socket
2534 \end{verbatim}%$
2535 ma di nuovo si tenga presente che non c'è modo di accorgersi della chiusura
2536 del socket fin quando non si esegue la scrittura della seconda riga; il
2537 protocollo infatti prevede che ci debba essere una scrittura prima di ricevere
2538 un RST che confermi la chiusura del file, e solo alle successive scritture si
2539 potrà ottenere un errore.
2540
2541 Questa caratteristica dei socket ci mette di fronte ad un altro problema
2542 relativo al nostro client, e che cioè esso non è in grado di accorgersi di
2543 nulla fintanto che è bloccato nella lettura del terminale fatta con
2544 \func{gets}. In questo caso il problema è minimo, ma esso riemergerà più
2545 avanti, ed è quello che si deve affrontare tutte le volte quando si ha a che
2546 fare con la necessità di lavorare con più descrittori, nel qual caso diventa
2547 si pone la questione di come fare a non restare bloccati su un socket quando
2548 altri potrebbero essere liberi. Vedremo come affrontare questa problematica in
2549 sez.~\ref{sec:TCP_sock_multiplexing}.
2550  
2551
2552 \subsection{Altri scenari di terminazione della connessione}
2553 \label{sec:TCP_conn_crash}
2554
2555 La terminazione del server è solo uno dei possibili scenari di terminazione
2556 della connessione, un altro caso è ad esempio quello in cui si ha un crollo
2557 della rete, cosa che potremo simulare facilmente staccando il cavo di rete.
2558 Un'altra condizione è quella di un blocco della macchina completo della su cui
2559 gira il server che deve essere riavviata, cosa che potremo simulare sia
2560 premendo il bottone di reset,\footnote{un normale shutdown non va bene; in tal
2561   caso infatti il sistema provvede a terminare tutti i processi, per cui la
2562   situazione sarebbe sostanzialmente identica alla precedente.} che, in
2563 maniera più gentile, riavviando la macchina dopo aver interrotto la
2564 connessione di rete.
2565
2566 Cominciamo ad analizzare il primo caso, il crollo della rete. Ripetiamo la
2567 nostra sessione di lavoro precedente, lanciamo il client, scriviamo una prima
2568 riga, poi stacchiamo il cavo e scriviamo una seconda riga. Il risultato che
2569 otterremo è:
2570 \begin{verbatim}
2571 [piccardi@gont sources]$ ./echo 192.168.1.141
2572 Prima riga
2573 Prima riga
2574 Seconda riga dopo l'interruzione
2575 Errore in lettura: No route to host
2576 \end{verbatim}%$
2577
2578 Quello che succede in questo è che il programma, dopo aver scritto la seconda
2579 riga, resta bloccato per un tempo molto lungo, prima di dare l'errore
2580 \errcode{EHOSTUNREACH}.  Se andiamo ad osservare con \cmd{strace} cosa accade
2581 nel periodo in cui il programma è bloccato vedremo che stavolta, a differenza
2582 del caso precedente, il programma è bloccato nella lettura dal socket.
2583
2584 Se poi, come nel caso precedente, usiamo l'accortezza di analizzare il
2585 traffico di rete fra client e server con \cmd{tcpdump}, otterremo il seguente
2586 risultato:
2587 \begin{verbatim}
2588 [root@gont sources]# tcpdump src 192.168.1.141 or dst 192.168.1.141 -N -t
2589 tcpdump: listening on eth0
2590 gont.34685 > anarres.echo: S 1943495663:1943495663(0) win 5840
2591 anarres.echo > gont.34685: S 1215783131:1215783131(0) ack 1943495664 win 5792 
2592 gont.34685 > anarres.echo: . ack 1 win 5840
2593 gont.34685 > anarres.echo: P 1:12(11) ack 1 win 5840 
2594 anarres.echo > gont.34685: . ack 12 win 5792 
2595 anarres.echo > gont.34685: P 1:12(11) ack 12 win 5792 
2596 gont.34685 > anarres.echo: . ack 12 win 5840 
2597 gont.34685 > anarres.echo: P 12:45(33) ack 12 win 5840 
2598 gont.34685 > anarres.echo: P 12:45(33) ack 12 win 5840 
2599 gont.34685 > anarres.echo: P 12:45(33) ack 12 win 5840 
2600 gont.34685 > anarres.echo: P 12:45(33) ack 12 win 5840 
2601 gont.34685 > anarres.echo: P 12:45(33) ack 12 win 5840 
2602 gont.34685 > anarres.echo: P 12:45(33) ack 12 win 5840 
2603 gont.34685 > anarres.echo: P 12:45(33) ack 12 win 5840 
2604 gont.34685 > anarres.echo: P 12:45(33) ack 12 win 5840 
2605 gont.34685 > anarres.echo: P 12:45(33) ack 12 win 5840 
2606 arp who-has anarres tell gont
2607 arp who-has anarres tell gont
2608 arp who-has anarres tell gont
2609 arp who-has anarres tell gont
2610 arp who-has anarres tell gont
2611 arp who-has anarres tell gont
2612 ...
2613 \end{verbatim}
2614
2615 In questo caso l'andamento dei primi sette pacchetti è esattamente lo stesso
2616 di prima. Solo che stavolta, non appena inviata la seconda riga, il programma
2617 si bloccherà nella successiva chiamata a \func{read}, non ottenendo nessuna
2618 risposta. Quello che succede è che nel frattempo il kernel provvede, come
2619 richiesto dal protocollo TCP, a tentare la ritrasmissione della nostra riga un
2620 certo numero di volte, con tempi di attesa crescente fra un tentativo ed il
2621 successivo, per tentare di ristabilire la connessione.
2622
2623 Il risultato finale qui dipende dalla realizzazione dello \textit{stack TCP},
2624 e nel caso di Linux anche dall'impostazione di alcuni dei parametri di sistema
2625 che si trovano in \file{/proc/sys/net/ipv4}, che ne controllano il
2626 comportamento: in questo caso in particolare da
2627 \sysctlrelfile{net/ipv4}{tcp\_retries2} (vedi
2628 sez.~\ref{sec:sock_ipv4_sysctl}). Questo parametro infatti specifica il numero
2629 di volte che deve essere ritentata la ritrasmissione di un pacchetto nel mezzo
2630 di una connessione prima di riportare un errore di timeout.  Il valore
2631 preimpostato è pari a 15, il che comporterebbe 15 tentativi di ritrasmissione,
2632 ma nel nostro caso le cose sono andate diversamente, dato che le
2633 ritrasmissioni registrate da \cmd{tcpdump} sono solo 8; inoltre l'errore
2634 riportato all'uscita del client non è stato \errcode{ETIMEDOUT}, come dovrebbe
2635 essere in questo caso, ma \errcode{EHOSTUNREACH}.
2636
2637 Per capire l'accaduto continuiamo ad analizzare l'output di \cmd{tcpdump}:
2638 esso ci mostra che a un certo punto i tentativi di ritrasmissione del
2639 pacchetto sono cessati, per essere sostituiti da una serie di richieste di
2640 protocollo ARP in cui il client richiede l'indirizzo del server.
2641
2642 Come abbiamo accennato in sez.~\ref{sec:net_tcpip_general} ARP è il protocollo
2643 che si incarica di trovare le corrispondenze fra indirizzo IP e indirizzo
2644 hardware sulla scheda di rete. È evidente allora che nel nostro caso, essendo
2645 client e server sulla stessa rete, è scaduta la voce nella \textit{ARP
2646   cache}\footnote{la \textit{ARP cache} è una tabella mantenuta internamente
2647   dal kernel che contiene tutte le corrispondenze fra indirizzi IP e indirizzi
2648   fisici, ottenute appunto attraverso il protocollo ARP; le voci della tabella
2649   hanno un tempo di vita limitato, passato il quale scadono e devono essere
2650   nuovamente richieste.} relativa ad \texttt{anarres}, ed il nostro client ha
2651 iniziato ad effettuare richieste ARP sulla rete per sapere l'IP di
2652 quest'ultimo, che essendo scollegato non poteva rispondere. Anche per questo
2653 tipo di richieste esiste un timeout, per cui dopo un certo numero di tentativi
2654 il meccanismo si è interrotto, e l'errore riportato al programma a questo
2655 punto è stato \errcode{EHOSTUNREACH}, in quanto non si era più in grado di
2656 contattare il server.
2657
2658 Un altro errore possibile in questo tipo di situazione, che si può avere
2659 quando la macchina è su una rete remota, è \errcode{ENETUNREACH}; esso viene
2660 riportato alla ricezione di un pacchetto ICMP di \textit{destination
2661   unreachable} da parte del router che individua l'interruzione della
2662 connessione. Di nuovo anche qui il risultato finale dipende da quale è il
2663 meccanismo più veloce ad accorgersi del problema.
2664
2665 Se però agiamo sui parametri del kernel, e scriviamo in \file{tcp\_retries2}
2666 un valore di tentativi più basso, possiamo evitare la scadenza della
2667 \textit{ARP cache} e vedere cosa succede. Così se ad esempio richiediamo 4
2668 tentativi di ritrasmissione, l'analisi di \cmd{tcpdump} ci riporterà il
2669 seguente scambio di pacchetti:
2670 \begin{verbatim}
2671 [root@gont gapil]# tcpdump src 192.168.1.141 or dst 192.168.1.141 -N -t
2672 tcpdump: listening on eth0
2673 gont.34752 > anarres.echo: S 3646972152:3646972152(0) win 5840
2674 anarres.echo > gont.34752: S 2735190336:2735190336(0) ack 3646972153 win 5792 
2675 gont.34752 > anarres.echo: . ack 1 win 5840 
2676 gont.34752 > anarres.echo: P 1:12(11) ack 1 win 5840
2677 anarres.echo > gont.34752: . ack 12 win 5792 
2678 anarres.echo > gont.34752: P 1:12(11) ack 12 win 5792 
2679 gont.34752 > anarres.echo: . ack 12 win 5840 
2680 gont.34752 > anarres.echo: P 12:45(33) ack 12 win 5840 
2681 gont.34752 > anarres.echo: P 12:45(33) ack 12 win 5840 
2682 gont.34752 > anarres.echo: P 12:45(33) ack 12 win 5840 
2683 gont.34752 > anarres.echo: P 12:45(33) ack 12 win 5840 
2684 gont.34752 > anarres.echo: P 12:45(33) ack 12 win 5840 
2685 \end{verbatim}
2686 e come si vede in questo caso i tentativi di ritrasmissione del pacchetto
2687 iniziale sono proprio 4 (per un totale di 5 voci con quello trasmesso la prima
2688 volta), ed in effetti, dopo un tempo molto più breve rispetto a prima ed in
2689 corrispondenza dell'invio dell'ultimo tentativo, quello che otterremo come
2690 errore all'uscita del client sarà diverso, e cioè:
2691 \begin{verbatim}
2692 [piccardi@gont sources]$ ./echo 192.168.1.141
2693 Prima riga
2694 Prima riga
2695 Seconda riga dopo l'interruzione
2696 Errore in lettura: Connection timed out
2697 \end{verbatim}%$
2698 che corrisponde appunto, come ci aspettavamo, alla ricezione di un
2699 \errcode{ETIMEDOUT}.
2700
2701 Analizziamo ora il secondo scenario, in cui si ha un crollo della macchina che
2702 fa da server. Al solito lanciamo il nostro client, scriviamo una prima riga
2703 per verificare che sia tutto a posto, poi stacchiamo il cavo e riavviamo il
2704 server. A questo punto, ritornato attivo il server, scriviamo una seconda
2705 riga. Quello che otterremo in questo caso è:
2706 \begin{verbatim}
2707 [piccardi@gont sources]$ ./echo 192.168.1.141
2708 Prima riga
2709 Prima riga
2710 Seconda riga dopo l'interruzione
2711 Errore in lettura Connection reset by peer
2712 \end{verbatim}%$
2713 e l'errore ricevuti da \func{read} stavolta è \errcode{ECONNRESET}. Se al
2714 solito riportiamo l'analisi dei pacchetti effettuata con \cmd{tcpdump},
2715 avremo:
2716 \begin{verbatim}
2717 [root@gont gapil]# tcpdump src 192.168.1.141 or dst 192.168.1.141 -N -t
2718 tcpdump: listening on eth0
2719 gont.34756 > anarres.echo: S 904864257:904864257(0) win 5840 
2720 anarres.echo > gont.34756: S 4254564871:4254564871(0) ack 904864258 win 5792
2721 gont.34756 > anarres.echo: . ack 1 win 5840 
2722 gont.34756 > anarres.echo: P 1:12(11) ack 1 win 5840
2723 anarres.echo > gont.34756: . ack 12 win 5792 
2724 anarres.echo > gont.34756: P 1:12(11) ack 12 win 5792
2725 gont.34756 > anarres.echo: . ack 12 win 5840 
2726 gont.34756 > anarres.echo: P 12:45(33) ack 12 win 5840
2727 anarres.echo > gont.34756: R 4254564883:4254564883(0) win 0 
2728 \end{verbatim}
2729
2730 Ancora una volta i primi sette pacchetti sono gli stessi; ma in questo caso
2731 quello che succede dopo lo scambio iniziale è che, non avendo inviato nulla
2732 durante il periodo in cui si è riavviato il server, il client è del tutto
2733 ignaro dell'accaduto per cui quando effettuerà una scrittura, dato che la
2734 macchina server è stata riavviata e che tutti gli stati relativi alle
2735 precedenti connessioni sono completamente persi, anche in presenza di una
2736 nuova istanza del server echo non sarà possibile consegnare i dati in arrivo,
2737 per cui alla loro ricezione il kernel risponderà con un segmento di RST.
2738
2739 Il client da parte sua, dato che neanche in questo caso non è stato emesso un
2740 FIN, dopo aver scritto verrà bloccato nella successiva chiamata a \func{read},
2741 che però adesso ritornerà immediatamente alla ricezione del segmento RST,
2742 riportando appunto come errore \errcode{ECONNRESET}. Occorre precisare che se
2743 si vuole che il client sia in grado di accorgersi del crollo del server anche
2744 quando non sta effettuando uno scambio di dati, è possibile usare una
2745 impostazione speciale del socket (ci torneremo in
2746 sez.~\ref{sec:sock_generic_options}) che provvede all'esecuzione di questo
2747 controllo.
2748
2749
2750 \section{L'uso dell'I/O multiplexing}
2751 \label{sec:TCP_sock_multiplexing}
2752
2753 Affronteremo in questa sezione l'utilizzo dell'I/O multiplexing, affrontato in
2754 sez.~\ref{sec:file_multiplexing}, nell'ambito delle applicazioni di rete. Già
2755 in sez.~\ref{sec:TCP_server_crash} era emerso il problema relativo al client
2756 del servizio echo che non era in grado di accorgersi della terminazione
2757 precoce del server, essendo bloccato nella lettura dei dati immessi da
2758 tastiera.
2759
2760 Abbiamo visto in sez.~\ref{sec:file_multiplexing} quali sono le funzionalità
2761 del sistema che ci permettono di tenere sotto controllo più file descriptor in
2762 contemporanea; in quella occasione non abbiamo fatto esempi, in quanto quando
2763 si tratta con file normali questa tipologia di I/O normalmente non viene
2764 usata, è invece un caso tipico delle applicazioni di rete quello di dover
2765 gestire varie connessioni da cui possono arrivare dati comuni in maniera
2766 asincrona, per cui riprenderemo l'argomento in questa sezione.
2767
2768
2769 \subsection{Il comportamento della funzione \func{select} con i socket.}
2770 \label{sec:TCP_sock_select}
2771
2772 Iniziamo con la prima delle funzioni usate per l'I/O multiplexing,
2773 \func{select}; il suo funzionamento è già stato descritto in dettaglio in
2774 sez.~\ref{sec:file_multiplexing} e non staremo a ripetere quanto detto lì; 
2775 sappiamo che la funzione ritorna quando uno o più dei file descriptor messi
2776 sotto controllo è pronto per la relativa operazione.
2777
2778 In quell'occasione non abbiamo però definito cosa si intende per pronto,
2779 infatti per dei normali file, o anche per delle \textit{pipe}, la condizione
2780 di essere pronti per la lettura o la scrittura è ovvia; invece lo è molto meno
2781 nel caso dei socket, visto che possono intervenire tutte una serie di
2782 possibili condizioni di errore dovute alla rete. Occorre allora specificare
2783 chiaramente quali sono le condizioni per cui un socket risulta essere
2784 ``\textsl{pronto}'' quando viene passato come membro di uno dei tre
2785 \textit{file descriptor set} usati da \func{select}.
2786
2787 Le condizioni che fanno si che la funzione \func{select} ritorni segnalando
2788 che un socket (che sarà riportato nel primo insieme di file descriptor) è
2789 pronto per la lettura sono le seguenti:
2790 \begin{itemize*}
2791 \item nel buffer di ricezione del socket sono arrivati dei dati in quantità
2792   sufficiente a superare il valore di una \textsl{soglia di basso livello} (il
2793   cosiddetto \textit{low watermark}). Questo valore è espresso in numero di
2794   byte e può essere impostato con l'opzione del socket \const{SO\_RCVLOWAT}
2795   (tratteremo l'uso di questa opzione in sez.~\ref{sec:sock_generic_options});
2796   il suo valore di default è 1 per i socket TCP e UDP. In questo caso una
2797   operazione di lettura avrà successo e leggerà un numero di byte maggiore di
2798   zero.
2799 \item il lato in lettura della connessione è stato chiuso; si è cioè ricevuto
2800   un segmento FIN (si ricordi quanto illustrato in
2801   sez.~\ref{sec:TCP_conn_term}) sulla connessione. In questo caso una
2802   operazione di lettura avrà successo, ma non risulteranno presenti dati (in
2803   sostanza \func{read} ritornerà con un valore nullo) per indicare la
2804   condizione di end-of-file.
2805 \item c'è stato un errore sul socket. In questo caso una operazione di lettura
2806   non si bloccherà ma restituirà una condizione di errore (ad esempio
2807   \func{read} restituirà -1) e imposterà la variabile \var{errno} al relativo
2808   valore. Vedremo in sez.~\ref{sec:sock_generic_options} come sia possibile
2809   estrarre e cancellare gli errori pendenti su un socket senza usare
2810   \func{read} usando l'opzione \const{SO\_ERROR}.
2811 \item quando si sta utilizzando un \textit{listening socket} ed ci sono delle
2812   connessioni completate. In questo caso la funzione \func{accept} non si
2813   bloccherà.\footnote{in realtà questo non è sempre vero, come accennato in
2814     sez.~\ref{sec:TCP_conn_early_abort} una connessione può essere abortita
2815     dalla ricezione di un segmento RST una volta che è stata completata,
2816     allora se questo avviene dopo che \func{select} è ritornata, ma prima
2817     della chiamata ad \func{accept}, quest'ultima, in assenza di altre
2818     connessioni, potrà bloccarsi.}
2819 \end{itemize*}
2820
2821 Le condizioni che fanno si che la funzione \func{select} ritorni segnalando
2822 che un socket (che sarà riportato nel secondo insieme di file descriptor) è
2823 pronto per la scrittura sono le seguenti:
2824 \begin{itemize*}
2825 \item nel buffer di invio è disponibile una quantità di spazio superiore al
2826   valore della \textsl{soglia di basso livello} in scrittura ed inoltre o il
2827   socket è già connesso o non necessita (ad esempio è UDP) di connessione.  Il
2828   valore della soglia è espresso in numero di byte e può essere impostato con
2829   l'opzione del socket \const{SO\_SNDLOWAT} (trattata in
2830   sez.~\ref{sec:sock_generic_options}); il suo valore di default è 2048 per i
2831   socket TCP e UDP. In questo caso una operazione di scrittura non si
2832   bloccherà e restituirà un valore positivo pari al numero di byte accettati
2833   dal livello di trasporto.
2834 \item il lato in scrittura della connessione è stato chiuso. In questo caso
2835   una operazione di scrittura sul socket genererà il segnale \signal{SIGPIPE}.
2836 \item c'è stato un errore sul socket. In questo caso una operazione di
2837   scrittura non si bloccherà ma restituirà una condizione di errore ed
2838   imposterà opportunamente la variabile \var{errno}. Vedremo in
2839   sez.~\ref{sec:sock_generic_options} come sia possibile estrarre e cancellare
2840   errori pendenti su un socket usando l'opzione \const{SO\_ERROR}.
2841 \end{itemize*}
2842
2843 Infine c'è una sola condizione che fa si che \func{select} ritorni segnalando
2844 che un socket (che sarà riportato nel terzo insieme di file descriptor) ha una
2845 condizione di eccezione pendente, e cioè la ricezione sul socket di
2846 \textsl{dati urgenti} (o \textit{out-of-band}), una caratteristica specifica
2847 dei socket TCP su cui torneremo in sez.~\ref{sec:TCP_urgent_data}.
2848
2849 Si noti come nel caso della lettura \func{select} si applichi anche ad
2850 operazioni che non hanno nulla a che fare con l'I/O di dati come il
2851 riconoscimento della presenza di connessioni pronte, in modo da consentire
2852 anche l'utilizzo di \func{accept} in modalità non bloccante. Si noti infine
2853 come in caso di errore un socket venga sempre riportato come pronto sia per la
2854 lettura che per la scrittura.
2855
2856 Lo scopo dei due valori di soglia per i buffer di ricezione e di invio è
2857 quello di consentire maggiore flessibilità nell'uso di \func{select} da parte
2858 dei programmi, se infatti si sa che una applicazione non è in grado di fare
2859 niente fintanto che non può ricevere o inviare una certa quantità di dati, si
2860 possono utilizzare questi valori per far si che \func{select} ritorni solo
2861 quando c'è la certezza di avere dati a sufficienza.\footnote{questo tipo di
2862   controllo è utile di norma solo per la lettura, in quanto in genere le
2863   operazioni di scrittura sono già controllate dall'applicazione, che sa
2864   sempre quanti dati invia, mentre non è detto possa conoscere la quantità di
2865   dati in ricezione; per cui, nella situazione in cui si conosce almeno un
2866   valore minimo, per evitare la penalizzazione dovuta alla ripetizione delle
2867   operazioni di lettura per accumulare dati sufficienti, si può lasciare al
2868   kernel il compito di impostare un minimo al di sotto del quale il socket,
2869   pur avendo disponibili dei dati, non viene dato per pronto in lettura.}
2870
2871
2872
2873 \subsection{Un esempio di I/O multiplexing}
2874 \label{sec:TCP_multiplex_example}
2875
2876 Abbiamo incontrato la problematica tipica che conduce all'uso dell'I/O
2877 multiplexing nella nostra analisi degli errori in
2878 sez.~\ref{sec:TCP_conn_early_abort}, quando il nostro client non era in grado
2879 di rendersi conto di errori sulla connessione essendo impegnato nella attesa
2880 di dati in ingresso dallo standard input.
2881
2882 In questo caso il problema è quello di dover tenere sotto controllo due
2883 diversi file descriptor, lo standard input, da cui viene letto il testo che
2884 vogliamo inviare al server, e il socket connesso con il server su cui detto
2885 testo sarà scritto e dal quale poi si vorrà ricevere la risposta. L'uso
2886 dell'I/O multiplexing consente di tenere sotto controllo entrambi, senza
2887 restare bloccati.
2888
2889 Nel nostro caso quello che ci interessa è non essere bloccati in lettura sullo
2890 standard input in caso di errori sulla connessione o chiusura della stessa da
2891 parte del server. Entrambi questi casi possono essere rilevati usando
2892 \func{select}, per quanto detto in sez.~\ref{sec:TCP_sock_select}, mettendo
2893 sotto osservazione i file descriptor per la condizione di essere pronti in
2894 lettura: sia infatti che si ricevano dati, che la connessione sia chiusa
2895 regolarmente (con la ricezione di un segmento FIN) che si riceva una
2896 condizione di errore (con un segmento RST) il socket connesso sarà pronto in
2897 lettura (nell'ultimo caso anche in scrittura, ma questo non è necessario ai
2898 nostri scopi).
2899
2900 \begin{figure}[!htbp]
2901   \footnotesize \centering
2902   \begin{minipage}[c]{\codesamplewidth}
2903     \includecodesample{listati/ClientEcho_third.c}
2904   \end{minipage} 
2905   \normalsize
2906   \caption{La sezione nel codice della terza versione della funzione
2907     \func{ClientEcho} usata dal client per il servizio \textit{echo}
2908     modificata per l'uso di \func{select}.}
2909   \label{fig:TCP_ClientEcho_third}
2910 \end{figure}
2911
2912 Riprendiamo allora il codice del client, modificandolo per l'uso di
2913 \func{select}. Quello che dobbiamo modificare è la funzione \func{ClientEcho}
2914 di fig.~\ref{fig:TCP_ClientEcho_second}, dato che tutto il resto, che riguarda
2915 le modalità in cui viene stabilita la connessione con il server, resta
2916 assolutamente identico. La nostra nuova versione di \func{ClientEcho}, la
2917 terza della serie, è riportata in fig.~\ref{fig:TCP_ClientEcho_third}, il
2918 codice completo si trova nel file \file{TCP\_echo\_third.c} dei sorgenti
2919 allegati alla guida.
2920
2921 In questo caso la funzione comincia (\texttt{\small 8--9}) con l'azzeramento
2922 del \textit{file descriptor set} \var{fset} e l'impostazione del valore
2923 \var{maxfd}, da passare a \func{select} come massimo per il numero di file
2924 descriptor. Per determinare quest'ultimo si usa la macro \code{max} definita
2925 nel nostro file \file{macro.h} che raccoglie una collezione di macro di
2926 preprocessore di varia utilità.
2927
2928 La funzione prosegue poi (\texttt{\small 10--41}) con il ciclo principale, che
2929 viene ripetuto indefinitamente. Per ogni ciclo si reinizializza
2930 (\texttt{\small 11--12}) il \textit{file descriptor set}, impostando i valori
2931 per il file descriptor associato al socket \var{socket} e per lo standard
2932 input (il cui valore si recupera con la funzione \func{fileno}). Questo è
2933 necessario in quanto la successiva (\texttt{\small 13}) chiamata a
2934 \func{select} comporta una modifica dei due bit relativi, che quindi devono
2935 essere reimpostati all'inizio di ogni ciclo.
2936
2937 Si noti come la chiamata a \func{select} venga eseguita usando come primo
2938 argomento il valore di \var{maxfd}, precedentemente calcolato, e passando poi
2939 il solo \textit{file descriptor set} per il controllo dell'attività in
2940 lettura, negli altri argomenti sono passati tutti puntatori nulli, non
2941 interessando né il controllo delle altre attività, né l'impostazione di un
2942 valore di timeout.
2943
2944 Al ritorno di \func{select} si provvede a controllare quale dei due file
2945 descriptor presenta attività in lettura, cominciando (\texttt{\small 14--24})
2946 con il file descriptor associato allo standard input. In caso di attività
2947 (quando cioè \macro{FD\_ISSET} ritorna una valore diverso da zero) si esegue
2948 (\texttt{\small 15}) una \func{fgets} per leggere gli eventuali dati presenti;
2949 se non ve ne sono (e la funzione restituisce pertanto un puntatore nullo) si
2950 ritorna immediatamente (\texttt{\small 16}) dato che questo significa che si è
2951 chiuso lo standard input e quindi concluso l'utilizzo del client; altrimenti
2952 (\texttt{\small 18--22}) si scrivono i dati appena letti sul socket,
2953 prevedendo una uscita immediata in caso di errore di scrittura.
2954
2955 Controllato lo standard input si passa a controllare (\texttt{\small 25--40})
2956 il socket connesso, in caso di attività (\texttt{\small 26}) si esegue subito
2957 una \func{read} di cui si controlla il valore di ritorno; se questo è negativo
2958 (\texttt{\small 27--30}) si è avuto un errore e pertanto si esce
2959 immediatamente segnalandolo, se è nullo (\texttt{\small 31--34}) significa che
2960 il server ha chiuso la connessione, e di nuovo si esce con stampando prima un
2961 messaggio di avviso, altrimenti (\texttt{\small 35--39}) si effettua la
2962 terminazione della stringa e la si stampa a sullo standard output (uscendo in
2963 caso di errore), per ripetere il ciclo da capo.
2964
2965 Con questo meccanismo il programma invece di essere bloccato in lettura sullo
2966 standard input resta bloccato sulla \func{select}, che ritorna soltanto quando
2967 viene rilevata attività su uno dei due file descriptor posti sotto controllo.
2968 Questo di norma avviene solo quando si è scritto qualcosa sullo standard
2969 input, o quando si riceve dal socket la risposta a quanto si era appena
2970 scritto. Ma adesso il client diventa capace di accorgersi immediatamente della
2971 terminazione del server; in tal caso infatti il server chiuderà il socket
2972 connesso, ed alla ricezione del FIN la funzione \func{select} ritornerà (come
2973 illustrato in sez.~\ref{sec:TCP_sock_select}) segnalando una condizione di end
2974 of file, per cui il nostro client potrà uscire immediatamente.
2975
2976 Riprendiamo la situazione affrontata in sez.~\ref{sec:TCP_server_crash},
2977 terminando il server durante una connessione, in questo caso quello che
2978 otterremo, una volta scritta una prima riga ed interrotto il server con un
2979 \texttt{C-c}, sarà:
2980 \begin{verbatim}
2981 [piccardi@gont sources]$ ./echo 192.168.1.1
2982 Prima riga
2983 Prima riga
2984 EOF sul socket
2985 \end{verbatim}%$
2986 dove l'ultima riga compare immediatamente dopo aver interrotto il server. Il
2987 nostro client infatti è in grado di accorgersi immediatamente che il socket
2988 connesso è stato chiuso ed uscire immediatamente.
2989
2990 Veniamo allora agli altri scenari di terminazione anomala visti in
2991 sez.~\ref{sec:TCP_conn_crash}. Il primo di questi è l'interruzione fisica della
2992 connessione; in questo caso avremo un comportamento analogo al precedente, in
2993 cui si scrive una riga e non si riceve risposta dal server e non succede
2994 niente fino a quando non si riceve un errore di \errcode{EHOSTUNREACH} o
2995 \errcode{ETIMEDOUT} a seconda dei casi.
2996
2997 La differenza è che stavolta potremo scrivere più righe dopo l'interruzione,
2998 in quanto il nostro client dopo aver inviato i dati non si bloccherà più nella
2999 lettura dal socket, ma nella \func{select}; per questo potrà accettare
3000 ulteriore dati che scriverà di nuovo sul socket, fintanto che c'è spazio sul
3001 buffer di uscita (ecceduto il quale si bloccherà in scrittura). Si ricordi
3002 infatti che il client non ha modo di determinare se la connessione è attiva o
3003 meno (dato che in molte situazioni reali l'inattività può essere temporanea).
3004 Tra l'altro se si ricollega la rete prima della scadenza del timeout, potremo
3005 anche verificare come tutto quello che si era scritto viene poi effettivamente
3006 trasmesso non appena la connessione ridiventa attiva, per cui otterremo
3007 qualcosa del tipo:
3008 \begin{verbatim}
3009 [piccardi@gont sources]$ ./echo 192.168.1.1
3010 Prima riga
3011 Prima riga
3012 Seconda riga dopo l'interruzione
3013 Terza riga
3014 Quarta riga
3015 Seconda riga dopo l'interruzione
3016 Terza riga
3017 Quarta riga
3018 \end{verbatim}
3019 in cui, una volta riconnessa la rete, tutto quello che abbiamo scritto durante
3020 il periodo di disconnessione restituito indietro e stampato immediatamente.
3021
3022 Lo stesso comportamento visto in sez.~\ref{sec:TCP_server_crash} si riottiene
3023 nel caso di un crollo completo della macchina su cui sta il server. In questo
3024 caso di nuovo il client non è in grado di accorgersi di niente dato che si
3025 suppone che il programma server non venga terminato correttamente, ma si
3026 blocchi tutto senza la possibilità di avere l'emissione di un segmento FIN che
3027 segnala la terminazione della connessione. Di nuovo fintanto che la
3028 connessione non si riattiva (con il riavvio della macchina del server) il
3029 client non è in grado di fare altro che accettare dell'input e tentare di
3030 inviarlo. La differenza in questo caso è che non appena la connessione
3031 ridiventa attiva i dati verranno sì trasmessi, ma essendo state perse tutte le
3032 informazioni relative alle precedenti connessioni ai tentativi di scrittura
3033 del client sarà risposto con un segmento RST che provocherà il ritorno di
3034 \func{select} per la ricezione di un errore di \errcode{ECONNRESET}.
3035
3036
3037 \subsection{La funzione \func{shutdown}}
3038 \label{sec:TCP_shutdown}
3039
3040 Come spiegato in sez.~\ref{sec:TCP_conn_term} il procedimento di chiusura di un
3041 socket TCP prevede che da entrambe le parti venga emesso un segmento FIN. È
3042 pertanto del tutto normale dal punto di vista del protocollo che uno dei due
3043 capi chiuda la connessione, quando l'altro capo la lascia
3044 aperta.\footnote{abbiamo incontrato questa situazione nei vari scenari critici
3045   di sez.~\ref{sec:TCP_echo_critical}.}
3046
3047 \itindbeg{half-close}
3048
3049 È pertanto possibile avere una situazione in cui un capo della connessione non
3050 avendo più nulla da scrivere, possa chiudere il socket, segnalando così
3051 l'avvenuta terminazione della trasmissione (l'altro capo riceverà infatti un
3052 \textit{end-of-file} in lettura) mentre dall'altra parte si potrà proseguire
3053 la trasmissione dei dati scrivendo sul socket che da quel lato è ancora
3054 aperto.  Questa è quella situazione in cui si dice che il socket è
3055 ``\textit{half closed}''.
3056
3057 Il problema che si pone è che se la chiusura del socket è effettuata con la
3058 funzione \func{close}, come spiegato in sez.~\ref{sec:TCP_func_close}, si perde
3059 ogni possibilità di poter rileggere quanto l'altro capo può continuare a
3060 scrivere. Per poter permettere allora di segnalare che si è concluso con la
3061 scrittura, continuando al contempo a leggere quanto può provenire dall'altro
3062 capo del socket si può allora usare la funzione \funcd{shutdown}, il cui
3063 prototipo è:
3064 \begin{prototype}{sys/socket.h}
3065 {int shutdown(int sockfd, int how)}
3066
3067 Chiude un lato della connessione fra due socket.
3068   
3069   \bodydesc{La funzione restituisce zero in caso di successo e -1 per un
3070     errore, nel qual caso \var{errno} assumerà i valori:
3071   \begin{errlist}
3072   \item[\errcode{ENOTSOCK}] il file descriptor non corrisponde a un socket.
3073   \item[\errcode{ENOTCONN}] il socket non è connesso.
3074   \end{errlist}
3075   ed inoltre \errval{EBADF}.}
3076 \end{prototype}
3077
3078 La funzione prende come primo argomento il socket \param{sockfd} su cui si
3079 vuole operare e come secondo argomento un valore intero \param{how} che indica
3080 la modalità di chiusura del socket, quest'ultima può prendere soltanto tre
3081 valori: 
3082 \begin{basedescript}{\desclabelwidth{2.2cm}\desclabelstyle{\nextlinelabel}}
3083 \item[\constd{SHUT\_RD}] chiude il lato in lettura del socket, non sarà più
3084   possibile leggere dati da esso, tutti gli eventuali dati trasmessi
3085   dall'altro capo del socket saranno automaticamente scartati dal kernel, che,
3086   in caso di socket TCP, provvederà comunque ad inviare i relativi segmenti di
3087   ACK.
3088 \item[\constd{SHUT\_WR}] chiude il lato in scrittura del socket, non sarà più
3089   possibile scrivere dati su di esso. Nel caso di socket TCP la chiamata causa
3090   l'emissione di un segmento FIN, secondo la procedura chiamata
3091   \textit{half-close}. Tutti i dati presenti nel buffer di scrittura prima
3092   della chiamata saranno inviati, seguiti dalla sequenza di chiusura
3093   illustrata in sez.~\ref{sec:TCP_conn_term}.
3094 \item[\constd{SHUT\_RDWR}] chiude sia il lato in lettura che quello in
3095   scrittura del socket. È equivalente alla chiamata in sequenza con
3096   \const{SHUT\_RD} e \const{SHUT\_WR}.
3097 \end{basedescript}
3098
3099 \itindend{half-close}
3100
3101 Ci si può chiedere quale sia l'utilità di avere introdotto \const{SHUT\_RDWR}
3102 quando questa sembra rendere \func{shutdown} del tutto equivalente ad una
3103 \func{close}. In realtà non è così, esiste infatti un'altra differenza con
3104 \func{close}, più sottile. Finora infatti non ci siamo presi la briga di
3105 sottolineare in maniera esplicita che, come per i file e le fifo, anche per i
3106 socket possono esserci più riferimenti contemporanei ad uno stesso socket. Per
3107 cui si avrebbe potuto avere l'impressione che sia una corrispondenza univoca
3108 fra un socket ed il file descriptor con cui vi si accede. Questo non è
3109 assolutamente vero, (e lo abbiamo già visto nel codice del server di
3110 fig.~\ref{fig:TCP_echo_server_first_code}), ed è invece assolutamente normale
3111 che, come per gli altri oggetti, ci possano essere più file descriptor che
3112 fanno riferimento allo stesso socket.
3113
3114 Allora se avviene uno di questi casi quello che succederà è che la chiamata a
3115 \func{close} darà effettivamente avvio alla sequenza di chiusura di un socket
3116 soltanto quando il numero di riferimenti a quest'ultimo diventerà nullo.
3117 Fintanto che ci sono file descriptor che fanno riferimento ad un socket l'uso
3118 di \func{close} si limiterà a deallocare nel processo corrente il file
3119 descriptor utilizzato, ma il socket resterà pienamente accessibile attraverso
3120 tutti gli altri riferimenti. Se torniamo all'esempio originale del server di
3121 fig.~\ref{fig:TCP_echo_server_first_code} abbiamo infatti che ci sono due
3122 \func{close}, una sul socket connesso nel padre, ed una sul socket in ascolto
3123 nel figlio, ma queste non effettuano nessuna chiusura reale di detti socket,
3124 dato che restano altri riferimenti attivi, uno al socket connesso nel figlio
3125 ed uno a quello in ascolto nel padre.
3126
3127 Questo non avviene affatto se si usa \func{shutdown} con argomento
3128 \const{SHUT\_RDWR} al posto di \func{close}; in questo caso infatti la
3129 chiusura del socket viene effettuata immediatamente, indipendentemente dalla
3130 presenza di altri riferimenti attivi, e pertanto sarà efficace anche per tutti
3131 gli altri file descriptor con cui, nello stesso o in altri processi, si fa
3132 riferimento allo stesso socket.
3133
3134 Il caso più comune di uso di \func{shutdown} è comunque quello della chiusura
3135 del lato in scrittura, per segnalare all'altro capo della connessione che si è
3136 concluso l'invio dei dati, restando comunque in grado di ricevere quanto
3137 questi potrà ancora inviarci. Questo è ad esempio l'uso che ci serve per
3138 rendere finalmente completo il nostro esempio sul servizio \textit{echo}. Il
3139 nostro client infatti presenta ancora un problema, che nell'uso che finora ne
3140 abbiamo fatto non è emerso, ma che ci aspetta dietro l'angolo non appena
3141 usciamo dall'uso interattivo e proviamo ad eseguirlo redirigendo standard
3142 input e standard output. Così se eseguiamo:
3143 \begin{verbatim}
3144 [piccardi@gont sources]$ ./echo 192.168.1.1 < ../fileadv.tex  > copia
3145 \end{verbatim}%$
3146 vedremo che il file \texttt{copia} risulta mancare della parte finale.
3147
3148 Per capire cosa avviene in questo caso occorre tenere presente come avviene la
3149 comunicazione via rete; quando redirigiamo lo standard input il nostro client
3150 inizierà a leggere il contenuto del file \texttt{../fileadv.tex} a blocchi di
3151 dimensione massima pari a \texttt{MAXLINE} per poi scriverlo, alla massima
3152 velocità consentitagli dalla rete, sul socket. Dato che la connessione è con
3153 una macchina remota occorre un certo tempo perché i pacchetti vi arrivino,
3154 vengano processati, e poi tornino indietro. Considerando trascurabile il tempo
3155 di processo, questo tempo è quello impiegato nella trasmissione via rete, che
3156 viene detto RTT (dalla denominazione inglese \itindex{Round~Trip~Time~(RTT)}
3157 \textit{Round Trip Time}) ed è quello che viene stimato con l'uso del comando
3158 \cmd{ping}.
3159
3160 A questo punto, se torniamo al codice mostrato in
3161 fig.~\ref{fig:TCP_ClientEcho_third}, possiamo vedere che mentre i pacchetti
3162 sono in transito sulla rete il client continua a leggere e a scrivere fintanto
3163 che il file in ingresso finisce. Però non appena viene ricevuto un end-of-file
3164 in ingresso il nostro client termina. Nel caso interattivo, in cui si
3165 inviavano brevi stringhe una alla volta, c'era sempre il tempo di eseguire la
3166 lettura completa di quanto il server rimandava indietro. In questo caso
3167 invece, quando il client termina, essendo la comunicazione saturata e a piena
3168 velocità, ci saranno ancora pacchetti in transito sulla rete che devono
3169 arrivare al server e poi tornare indietro, ma siccome il client esce
3170 immediatamente dopo la fine del file in ingresso, questi non faranno a tempo a
3171 completare il percorso e verranno persi.
3172
3173 Per evitare questo tipo di problema, invece di uscire una volta completata la
3174 lettura del file in ingresso, occorre usare \func{shutdown} per effettuare la
3175 chiusura del lato in scrittura del socket. In questo modo il client segnalerà
3176 al server la chiusura del flusso dei dati, ma potrà continuare a leggere
3177 quanto il server gli sta ancora inviando indietro, fino a quando anch'esso,
3178 riconosciuta la chiusura del socket in scrittura da parte del client,
3179 effettuerà la chiusura dalla sua parte. Solo alla ricezione della chiusura del
3180 socket da parte del server il client potrà essere sicuro della ricezione di
3181 tutti i dati e della terminazione effettiva della connessione.
3182
3183 \begin{figure}[!htbp]
3184   \footnotesize \centering
3185   \begin{minipage}[c]{\codesamplewidth}
3186     \includecodesample{listati/ClientEcho.c}
3187   \end{minipage} 
3188   \normalsize
3189   \caption{La sezione nel codice della versione finale della funzione
3190     \func{ClientEcho}, che usa \func{shutdown} per una conclusione corretta
3191     della connessione.}
3192   \label{fig:TCP_ClientEcho}
3193 \end{figure}
3194
3195 Si è allora riportato in fig.~\ref{fig:TCP_ClientEcho} la versione finale
3196 della nostra funzione \func{ClientEcho}, in grado di gestire correttamente
3197 l'intero flusso di dati fra client e server. Il codice completo del client,
3198 comprendente la gestione delle opzioni a riga di comando e le istruzioni per
3199 la creazione della connessione, si trova nel file
3200 \texttt{TCP\_echo\_fourth.c}, distribuito coi sorgenti allegati alla guida.
3201
3202 La nuova versione è molto simile alla precedente di
3203 fig.~\ref{fig:TCP_ClientEcho_third}; la prima differenza è l'introduzione
3204 (\texttt{\small 7}) della variabile \var{eof}, inizializzata ad un valore
3205 nullo, che serve a mantenere traccia dell'avvenuta conclusione della lettura
3206 del file in ingresso.
3207
3208 La seconda modifica (\texttt{\small 12--15}) è stata quella di rendere
3209 subordinato ad un valore nullo di \var{eof} l'impostazione del file descriptor
3210 set per l'osservazione dello standard input. Se infatti il valore di \var{eof}
3211 è non nullo significa che si è già raggiunta la fine del file in ingresso ed è
3212 pertanto inutile continuare a tenere sotto controllo lo standard input nella
3213 successiva (\texttt{\small 16}) chiamata a \func{select}.
3214
3215 Le maggiori modifiche rispetto alla precedente versione sono invece nella
3216 gestione (\texttt{\small 18--22}) del caso in cui la lettura con \func{fgets}
3217 restituisce un valore nullo, indice della fine del file. Questa nella
3218 precedente versione causava l'immediato ritorno della funzione; in questo caso
3219 prima (\texttt{\small 19}) si imposta opportunamente \var{eof} ad un valore
3220 non nullo, dopo di che (\texttt{\small 20}) si effettua la chiusura del lato
3221 in scrittura del socket con \func{shutdown}. Infine (\texttt{\small 21}) si
3222 usa la macro \macro{FD\_CLR} per togliere lo standard input dal \textit{file
3223   descriptor set}.
3224
3225 In questo modo anche se la lettura del file in ingresso è conclusa, la
3226 funzione non esce dal ciclo principale (\texttt{\small 11--50}), ma continua
3227 ad eseguirlo ripetendo la chiamata a \func{select} per tenere sotto controllo
3228 soltanto il socket connesso, dal quale possono arrivare altri dati, che
3229 saranno letti (\texttt{\small 31}), ed opportunamente trascritti
3230 (\texttt{\small 44--48}) sullo standard output.
3231
3232 Il ritorno della funzione, e la conseguente terminazione normale del client,
3233 viene invece adesso gestito all'interno (\texttt{\small 30--49}) della lettura
3234 dei dati dal socket; se infatti dalla lettura del socket si riceve una
3235 condizione di end-of-file, la si tratterà (\texttt{\small 36--43}) in maniera
3236 diversa a seconda del valore di \var{eof}. Se infatti questa è diversa da zero
3237 (\texttt{\small 37--39}), essendo stata completata la lettura del file in
3238 ingresso, vorrà dire che anche il server ha concluso la trasmissione dei dati
3239 restanti, e si potrà uscire senza errori, altrimenti si stamperà
3240 (\texttt{\small 40--42}) un messaggio di errore per la chiusura precoce della
3241 connessione.
3242
3243
3244 \subsection{Un server basato sull'I/O multiplexing}
3245 \label{sec:TCP_serv_select}
3246
3247 Seguendo di nuovo le orme di Stevens in \cite{UNP1} vediamo ora come con
3248 l'utilizzo dell'I/O multiplexing diventi possibile riscrivere completamente il
3249 nostro server \textit{echo} con una architettura completamente diversa, in
3250 modo da evitare di dover creare un nuovo processo tutte le volte che si ha una
3251 connessione.\footnote{ne faremo comunque una realizzazione diversa rispetto a
3252   quella presentata da Stevens in \cite{UNP1}.}
3253
3254 La struttura del nuovo server è illustrata in
3255 fig.~\ref{fig:TCP_echo_multiplex}, in questo caso avremo un solo processo che
3256 ad ogni nuova connessione da parte di un client sul socket in ascolto si
3257 limiterà a registrare l'entrata in uso di un nuovo file descriptor ed
3258 utilizzerà \func{select} per rilevare la presenza di dati in arrivo su tutti i
3259 file descriptor attivi, operando direttamente su ciascuno di essi.
3260
3261 \begin{figure}[!htb]
3262   \centering \includegraphics[width=13cm]{img/TCPechoMult}
3263   \caption{Schema del nuovo server echo basato sull'I/O multiplexing.}
3264   \label{fig:TCP_echo_multiplex}
3265 \end{figure}
3266
3267 La sezione principale del codice del nuovo server è illustrata in
3268 fig.~\ref{fig:TCP_SelectEchod}. Si è tralasciata al solito la gestione delle
3269 opzioni, che è identica alla versione precedente. Resta invariata anche tutta
3270 la parte relativa alla gestione dei segnali, degli errori, e della cessione
3271 dei privilegi, così come è identica la gestione della creazione del socket (si
3272 può fare riferimento al codice già illustrato in
3273 sez.~\ref{sec:TCPsimp_server_main}); al solito il codice completo del server è
3274 disponibile coi sorgenti allegati nel file \texttt{select\_echod.c}.
3275
3276 \begin{figure}[!htbp]
3277   \footnotesize \centering
3278   \begin{minipage}[c]{\codesamplewidth}
3279     \includecodesample{listati/select_echod.c}
3280   \end{minipage} 
3281   \normalsize
3282   \caption{La sezione principale del codice della nuova versione di server
3283     \textit{echo} basati sull'uso della funzione \func{select}.}
3284   \label{fig:TCP_SelectEchod}
3285 \end{figure}
3286
3287 In questo caso, una volta aperto e messo in ascolto il socket, tutto quello
3288 che ci servirà sarà chiamare \func{select} per rilevare la presenza di nuove
3289 connessioni o di dati in arrivo, e processarli immediatamente. Per realizzare
3290 lo schema mostrato in fig.~\ref{fig:TCP_echo_multiplex}, il programma usa una
3291 tabella dei socket connessi mantenuta nel vettore \var{fd\_open} dimensionato
3292 al valore di \const{FD\_SETSIZE}, ed una variabile \var{max\_fd} per
3293 registrare il valore più alto dei file descriptor aperti.
3294
3295 Prima di entrare nel ciclo principale (\texttt{\small 6--56}) la nostra
3296 tabella viene inizializzata (\texttt{\small 2}) a zero (valore che
3297 utilizzeremo come indicazione del fatto che il relativo file descriptor non è
3298 aperto), mentre il valore massimo (\texttt{\small 3}) per i file descriptor
3299 aperti viene impostato a quello del socket in ascolto,\footnote{in quanto esso
3300   è l'unico file aperto, oltre i tre standard, e pertanto avrà il valore più
3301   alto.} che verrà anche (\texttt{\small 4}) inserito nella tabella.
3302
3303 La prima sezione (\texttt{\small 7--10}) del ciclo principale esegue la
3304 costruzione del \textit{file descriptor set} \var{fset} in base ai socket
3305 connessi in un certo momento; all'inizio ci sarà soltanto il socket in
3306 ascolto, ma nel prosieguo delle operazioni, verranno utilizzati anche tutti i
3307 socket connessi registrati nella tabella \var{fd\_open}.  Dato che la chiamata
3308 di \func{select} modifica il valore del \textit{file descriptor set}, è
3309 necessario ripetere (\texttt{\small 7}) ogni volta il suo azzeramento, per poi
3310 procedere con il ciclo (\texttt{\small 8--10}) in cui si impostano i socket
3311 trovati attivi.
3312
3313 Per far questo si usa la caratteristica dei file descriptor, descritta in
3314 sez.~\ref{sec:file_open_close}, per cui il kernel associa sempre ad ogni nuovo
3315 file il file descriptor con il valore più basso disponibile. Questo fa sì che
3316 si possa eseguire il ciclo (\texttt{\small 8}) a partire da un valore minimo,
3317 che sarà sempre quello del socket in ascolto, mantenuto in \var{list\_fd},
3318 fino al valore massimo di \var{max\_fd} che dovremo aver cura di tenere
3319 aggiornato.  Dopo di che basterà controllare (\texttt{\small 9}) nella nostra
3320 tabella se il file descriptor è in uso o meno,\footnote{si tenga presente che
3321   benché il kernel assegni sempre il primo valore libero, dato che nelle
3322   operazioni i socket saranno aperti e chiusi in corrispondenza della
3323   creazione e conclusione delle connessioni, si potranno sempre avere dei
3324   \textsl{buchi} nella nostra tabella.} e impostare \var{fset} di conseguenza.
3325
3326 Una volta inizializzato con i socket aperti il nostro \textit{file descriptor
3327   set} potremo chiamare \func{select} per fargli osservare lo stato degli
3328 stessi (in lettura, presumendo che la scrittura sia sempre consentita). Come
3329 per il precedente esempio di sez.~\ref{sec:TCP_child_hand}, essendo questa
3330 l'unica funzione che può bloccarsi, ed essere interrotta da un segnale, la
3331 eseguiremo (\texttt{\small 11--12}) all'interno di un ciclo di \code{while}
3332 che la ripete indefinitamente qualora esca con un errore di \errcode{EINTR}.
3333 Nel caso invece di un errore normale si provvede (\texttt{\small 13--16}) ad
3334 uscire stampando un messaggio di errore.
3335
3336 Se invece la funzione ritorna normalmente avremo in \var{n} il numero di
3337 socket da controllare. Nello specifico si danno due possibili casi diversi per
3338 cui \func{select} può essere ritornata: o si è ricevuta una nuova connessione
3339 ed è pronto il socket in ascolto, sul quale si può eseguire \func{accept} o
3340 c'è attività su uno dei socket connessi, sui quali si può eseguire
3341 \func{read}.
3342
3343 Il primo caso viene trattato immediatamente (\texttt{\small 17--26}): si
3344 controlla (\texttt{\small 17}) che il socket in ascolto sia fra quelli attivi,
3345 nel qual caso anzitutto (\texttt{\small 18}) se ne decrementa il numero in
3346 \var{n}; poi, inizializzata (\texttt{\small 19}) la lunghezza della struttura
3347 degli indirizzi, si esegue \func{accept} per ottenere il nuovo socket connesso
3348 controllando che non ci siano errori (\texttt{\small 20--23}). In questo caso
3349 non c'è più la necessità di controllare per interruzioni dovute a segnali, in
3350 quanto siamo sicuri che \func{accept} non si bloccherà. Per completare la
3351 trattazione occorre a questo punto aggiungere (\texttt{\small 24}) il nuovo
3352 file descriptor alla tabella di quelli connessi, ed inoltre, se è il caso,
3353 aggiornare (\texttt{\small 25}) il valore massimo in \var{max\_fd}.
3354
3355 Una volta controllato l'arrivo di nuove connessioni si passa a verificare se
3356 vi sono dati sui socket connessi, per questo si ripete un ciclo
3357 (\texttt{\small 29--55}) fintanto che il numero di socket attivi \var{n} resta
3358 diverso da zero; in questo modo se l'unico socket con attività era quello
3359 connesso, avendo opportunamente decrementato il contatore, il ciclo verrà
3360 saltato, e si ritornerà immediatamente (ripetuta l'inizializzazione del
3361 \textit{file descriptor set} con i nuovi valori nella tabella) alla chiamata
3362 di \func{accept}. Se il socket attivo non è quello in ascolto, o ce ne sono
3363 comunque anche altri, il valore di \var{n} non sarà nullo ed il controllo sarà
3364 eseguito. Prima di entrare nel ciclo comunque si inizializza (\texttt{\small
3365   28}) il valore della variabile \var{i} che useremo come indice nella tabella
3366 \var{fd\_open} al valore minimo, corrispondente al file descriptor del socket
3367 in ascolto.
3368
3369 Il primo passo (\texttt{\small 30}) nella verifica è incrementare il valore
3370 dell'indice \var{i} per posizionarsi sul primo valore possibile per un file
3371 descriptor associato ad un eventuale socket connesso, dopo di che si controlla
3372 (\texttt{\small 31}) se questo è nella tabella dei socket connessi, chiedendo
3373 la ripetizione del ciclo in caso contrario. Altrimenti si passa a verificare
3374 (\texttt{\small 32}) se il file descriptor corrisponde ad uno di quelli
3375 attivi, e nel caso si esegue (\texttt{\small 33}) una lettura, uscendo con un
3376 messaggio in caso di errore (\texttt{\small 34--38}).
3377
3378 Se (\texttt{\small 39}) il numero di byte letti \var{nread} è nullo si è in
3379 presenza del caso di un \textit{end-of-file}, indice che una connessione che
3380 si è chiusa, che deve essere trattato (\texttt{\small 39--48}) opportunamente.
3381 Il primo passo è chiudere (\texttt{\small 40}) anche il proprio capo del
3382 socket e rimuovere (\texttt{\small 41}) il file descriptor dalla tabella di
3383 quelli aperti, inoltre occorre verificare (\texttt{\small 42}) se il file
3384 descriptor chiuso è quello con il valore più alto, nel qual caso occorre
3385 trovare (\texttt{\small 42--46}) il nuovo massimo, altrimenti (\texttt{\small
3386   47}) si può ripetere il ciclo da capo per esaminare (se ne restano)
3387 ulteriori file descriptor attivi.
3388
3389 Se però è stato chiuso il file descriptor più alto, dato che la scansione dei
3390 file descriptor attivi viene fatta a partire dal valore più basso, questo
3391 significa che siamo anche arrivati alla fine della scansione, per questo
3392 possiamo utilizzare direttamente il valore dell'indice \var{i} con un ciclo
3393 all'indietro (\texttt{\small 43}) che trova il primo valore per cui la tabella
3394 presenta un file descriptor aperto, e lo imposta (\texttt{\small 44}) come
3395 nuovo massimo, per poi tornare (\texttt{\small 44}) al ciclo principale con un
3396 \code{break}, e rieseguire \func{select}.
3397
3398 Se infine si sono effettivamente letti dei dati dal socket (ultimo caso
3399 rimasto) si potrà invocare immediatamente (\texttt{\small 49})
3400 \func{FullWrite} per riscriverli indietro sul socket stesso, avendo cura di
3401 uscire con un messaggio in caso di errore (\texttt{\small 50--53}). Si noti
3402 che nel ciclo si esegue una sola lettura, contrariamente a quanto fatto con la
3403 precedente versione (si riveda il codice di fig.~\ref{fig:TCP_ServEcho_second})
3404 in cui si continuava a leggere fintanto che non si riceveva un
3405 \textit{end-of-file}, questo perché usando l'\textit{I/O multiplexing} non si
3406 vuole essere bloccati in lettura.  L'uso di \func{select} ci permette di
3407 trattare automaticamente anche il caso in cui la \func{read} non è stata in
3408 grado di leggere tutti i dati presenti sul socket, dato che alla iterazione
3409 successiva \func{select} ritornerà immediatamente segnalando l'ulteriore
3410 disponibilità.
3411
3412 Il nostro server comunque soffre di una vulnerabilità per un attacco di tipo
3413 \textit{Denial of Service}. Il problema è che in caso di blocco di una
3414 qualunque delle funzioni di I/O, non avendo usato processi separati, tutto il
3415 server si ferma e non risponde più a nessuna richiesta. Abbiamo scongiurato
3416 questa evenienza per l'I/O in ingresso con l'uso di \func{select}, ma non vale
3417 altrettanto per l'I/O in uscita. Il problema pertanto può sorgere qualora una
3418 delle chiamate a \func{write} effettuate da \func{FullWrite} si blocchi. Con
3419 il funzionamento normale questo non accade in quanto il server si limita a
3420 scrivere quanto riceve in ingresso, ma qualora venga utilizzato un client
3421 malevolo che esegua solo scritture e non legga mai indietro l'\textsl{eco} del
3422 server, si potrebbe giungere alla saturazione del buffer di scrittura, ed al
3423 conseguente blocco del server su di una \func{write}.
3424
3425 Le possibili soluzioni in questo caso sono quelle di ritornare ad eseguire il
3426 ciclo di risposta alle richieste all'interno di processi separati, utilizzare
3427 un timeout per le operazioni di scrittura, o eseguire queste ultime in
3428 modalità non bloccante, concludendo le operazioni qualora non vadano a buon
3429 fine.
3430
3431
3432
3433 \subsection{I/O multiplexing con \func{poll}}
3434 \label{sec:TCP_serv_poll}
3435
3436 Finora abbiamo trattato le problematiche risolubili con l'I/O multiplexing
3437 impiegando la funzione \func{select}; questo è quello che avviene nella
3438 maggior parte dei casi, in quanto essa è nata sotto BSD proprio per affrontare
3439 queste problematiche con i socket.  Abbiamo però visto in
3440 sez.~\ref{sec:file_multiplexing} come la funzione \func{poll} possa costituire
3441 una alternativa a \func{select}, con alcuni vantaggi.\footnote{non soffrendo
3442   delle limitazioni dovute all'uso dei \textit{file descriptor set}.}
3443
3444 Ancora una volta in sez.~\ref{sec:file_poll} abbiamo trattato la funzione in
3445 maniera generica, parlando di file descriptor, ma come per \func{select}
3446 quando si ha a che fare con dei socket il concetto di essere \textsl{pronti}
3447 per l'I/O deve essere specificato nei dettagli, per tener conto delle
3448 condizioni della rete. Inoltre deve essere specificato come viene classificato
3449 il traffico nella suddivisione fra dati normali e prioritari. In generale
3450 pertanto:
3451 \begin{itemize}
3452 \item i dati inviati su un socket vengono considerati traffico normale,
3453   pertanto vengono rilevati alla loro ricezione sull'altro capo da una
3454   selezione effettuata con \const{POLLIN} o \const{POLLRDNORM};
3455 \item i dati urgenti \textit{out-of-band} (vedi
3456   sez.~\ref{sec:TCP_urgent_data}) su un socket TCP vengono considerati
3457   traffico prioritario e vengono rilevati da una condizione \const{POLLIN},
3458   \const{POLLPRI} o \const{POLLRDBAND}.
3459 \item la chiusura di una connessione (cioè la ricezione di un segmento FIN)
3460   viene considerato traffico normale, pertanto viene rilevato da una
3461   condizione \const{POLLIN} o \const{POLLRDNORM}, ma una conseguente chiamata
3462   a \func{read} restituirà 0.
3463 \item la disponibilità di spazio sul socket per la scrittura di dati viene
3464   segnalata con una condizione \const{POLLOUT}.
3465 \item quando uno dei due capi del socket chiude un suo lato della connessione
3466   con \func{shutdown} si riceve una condizione di \const{POLLHUP}.
3467 \item la presenza di un errore sul socket (sia dovuta ad un segmento RST che a
3468   timeout) viene considerata traffico normale, ma viene segnalata anche dalla
3469   condizione \const{POLLERR}.
3470 \item la presenza di una nuova connessione su un socket in ascolto può essere
3471   considerata sia traffico normale che prioritario, nel caso di Linux la
3472   realizzazione dello \textit{stack TCP} la classifica come normale.
3473 \end{itemize}
3474
3475 Come esempio dell'uso di \func{poll} proviamo allora a riscrivere il server
3476 \textit{echo} secondo lo schema di fig.~\ref{fig:TCP_echo_multiplex} usando
3477 \func{poll} al posto di \func{select}. In questo caso dovremo fare qualche
3478 modifica, per tenere conto della diversa sintassi delle due funzioni, ma la
3479 struttura del programma resta sostanzialmente la stessa.
3480
3481
3482 \begin{figure}[!htbp]
3483   \footnotesize \centering
3484   \begin{minipage}[c]{\codesamplewidth}
3485     \includecodesample{listati/poll_echod.c}
3486   \end{minipage} 
3487   \normalsize
3488   \caption{La sezione principale del codice della nuova versione di server
3489     \textit{echo} basati sull'uso della funzione \func{poll}.}
3490   \label{fig:TCP_PollEchod}
3491 \end{figure}
3492
3493 In fig.~\ref{fig:TCP_PollEchod} è riportata la sezione principale della nuova
3494 versione del server, la versione completa del codice è riportata nel file
3495 \texttt{poll\_echod.c} dei sorgenti allegati alla guida. Al solito nella
3496 figura si sono tralasciate la gestione delle opzioni, la creazione del socket
3497 in ascolto, la cessione dei privilegi e le operazioni necessarie a far
3498 funzionare il programma come demone, privilegiando la sezione principale del
3499 programma.
3500
3501 Come per il precedente server basato su \func{select} il primo passo
3502 (\texttt{\small 2--8}) è quello di inizializzare le variabili necessarie. Dato
3503 che in questo caso dovremo usare un vettore di strutture occorre anzitutto
3504 (\texttt{\small 2}) allocare la memoria necessaria utilizzando il numero
3505 massimo \var{n} di socket osservabili, che viene impostato attraverso
3506 l'opzione \texttt{-n} ed ha un valore di default di 256. 
3507
3508 Dopo di che si preimposta (\texttt{\small 3}) il valore \var{max\_fd} del file
3509 descriptor aperto con valore più alto a quello del socket in ascolto (al
3510 momento l'unico), e si provvede (\texttt{\small 4--7}) ad inizializzare le
3511 strutture, disabilitando (\texttt{\small 5}) l'osservazione con un valore
3512 negativo del campo \var{fd} ma predisponendo (\texttt{\small 6}) il campo
3513 \var{events} per l'osservazione dei dati normali con \const{POLLRDNORM}.
3514 Infine (\texttt{\small 8}) si attiva l'osservazione del socket in ascolto
3515 inizializzando la corrispondente struttura. Questo metodo comporta, in
3516 modalità interattiva, lo spreco di tre strutture (quelle relative a standard
3517 input, output ed error) che non vengono mai utilizzate in quanto la prima è
3518 sempre quella relativa al socket in ascolto.
3519
3520 Una volta completata l'inizializzazione tutto il lavoro viene svolto
3521 all'interno del ciclo principale \texttt{\small 10--55}) che ha una struttura
3522 sostanzialmente identica a quello usato per il precedente esempio basato su
3523 \func{select}. La prima istruzione (\texttt{\small 11--12}) è quella di
3524 eseguire \func{poll} all'interno di un ciclo che la ripete qualora venisse
3525 interrotta da un segnale, da cui si esce soltanto quando la funzione ritorna,
3526 restituendo nella variabile \var{n} il numero di file descriptor trovati
3527 attivi.  Qualora invece si sia ottenuto un errore si procede (\texttt{\small
3528   13--16}) alla terminazione immediata del processo provvedendo a stampare una
3529 descrizione dello stesso.
3530
3531 Una volta ottenuta dell'attività su un file descriptor si hanno di nuovo due
3532 possibilità. La prima possibilità è che ci sia attività sul socket in ascolto,
3533 indice di una nuova connessione, nel qual caso si controlla (\texttt{\small
3534   17}) se il campo \var{revents} della relativa struttura è attivo; se è così
3535 si provvede (\texttt{\small 18}) a decrementare la variabile \var{n} (che
3536 assume il significato di numero di file descriptor attivi rimasti da
3537 controllare) per poi (\texttt{\small 19--23}) effettuare la chiamata ad
3538 \func{accept}, terminando il processo in caso di errore. Se la chiamata ad
3539 \func{accept} ha successo si procede attivando (\texttt{\small 24}) la
3540 struttura relativa al nuovo file descriptor da essa ottenuto, modificando
3541 (\texttt{\small 24}) infine quando necessario il valore massimo dei file
3542 descriptor aperti mantenuto in \var{max\_fd}.
3543
3544 La seconda possibilità è che vi sia dell'attività su uno dei socket aperti in
3545 precedenza, nel qual caso si inizializza (\texttt{\small 27}) l'indice \var{i}
3546 del vettore delle strutture \struct{pollfd} al valore del socket in ascolto,
3547 dato che gli ulteriori socket aperti avranno comunque un valore superiore.  Il
3548 ciclo (\texttt{\small 28--54}) prosegue fintanto che il numero di file
3549 descriptor attivi, mantenuto nella variabile \var{n}, è diverso da zero. Se
3550 pertanto ci sono ancora socket attivi da individuare si comincia con
3551 l'incrementare (\texttt{\small 30}) l'indice e controllare (\texttt{\small
3552   31}) se corrisponde ad un file descriptor in uso analizzando il valore del
3553 campo \var{fd} della relativa struttura e chiudendo immediatamente il ciclo
3554 qualora non lo sia. Se invece il file descriptor è in uso si verifica
3555 (\texttt{\small 31}) se c'è stata attività controllando il campo
3556 \var{revents}. 
3557
3558 Di nuovo se non si verifica la presenza di attività il ciclo si chiude subito,
3559 altrimenti si provvederà (\texttt{\small 32}) a decrementare il numero \var{n}
3560 di file descriptor attivi da controllare e ad eseguire (\texttt{\small 33}) la
3561 lettura, ed in caso di errore (\texttt{\small 34--37}) al solito lo si
3562 notificherà uscendo immediatamente. Qualora invece si ottenga una condizione
3563 di end-of-file (\texttt{\small 38--47}) si provvederà a chiudere
3564 (\texttt{\small 39}) anche il nostro capo del socket e a marcarlo
3565 (\texttt{\small 40}) nella struttura ad esso associata come inutilizzato.
3566 Infine dovrà essere ricalcolato (\texttt{\small 41--45}) un eventuale nuovo
3567 valore di \var{max\_fd}. L'ultimo passo è (\texttt{\small 46}) chiudere il
3568 ciclo in quanto in questo caso non c'è più niente da riscrivere all'indietro
3569 sul socket.
3570
3571 Se invece si sono letti dei dati si provvede (\texttt{\small 48}) ad
3572 effettuarne la riscrittura all'indietro, con il solito controllo ed eventuale
3573 uscita e notifica in caso si errore (\texttt{\small 49--52}).
3574
3575 Come si può notare la logica del programma è identica a quella vista in
3576 fig.~\ref{fig:TCP_SelectEchod} per l'analogo server basato su \func{select};
3577 la sola differenza significativa è che in questo caso non c'è bisogno di
3578 rigenerare i \textit{file descriptor set} in quanto l'uscita è indipendente
3579 dai dati in ingresso. Si applicano comunque anche a questo server le
3580 considerazioni finali di sez.~\ref{sec:TCP_serv_select}.
3581
3582
3583
3584 \subsection{I/O multiplexing con \textit{epoll}}
3585 \label{sec:TCP_serv_epoll}
3586
3587 Da fare.
3588
3589 % TODO fare esempio con epoll
3590
3591
3592
3593 % LocalWords:  socket TCP client dell'I multiplexing stream three way handshake
3594 % LocalWords:  header stack kernel SYN ACK URG syncronize sez bind listen fig
3595 % LocalWords:  accept connect active acknowledge l'acknowledge nell'header MSS
3596 % LocalWords:  sequence number l'acknowledgement dell'header options l'header
3597 % LocalWords:  option MMS segment size MAXSEG window advertised Mbit sec nell'
3598 % LocalWords:  timestamp RFC long fat close of l'end l'ACK half shutdown CLOSED
3599 % LocalWords:  netstat SENT ESTABLISHED WAIT IPv Ethernet piggybacking UDP MSL
3600 % LocalWords:  l'overhead Stevens Lifetime router hop limit TTL to live RST SSH
3601 % LocalWords:  routing dell'MSL l'IP multitasking well known port ephemeral BSD
3602 % LocalWords:  ports dall' IANA Assigned Authority like glibc netinet IPPORT AF
3603 % LocalWords:  RESERVED USERRESERVED rsh rlogin pair socketpair Local Address
3604 % LocalWords:  Foreing DNS caching INADDR ANY multihoming loopback ssh fuser ip
3605 % LocalWords:  lsof SOCK sys int sockfd const struct sockaddr serv addr socklen
3606 % LocalWords:  addrlen errno EBADF descriptor EINVAL ENOTSOCK EACCES EADDRINUSE
3607 % LocalWords:  EADDRNOTAVAIL EFAULT ENOTDIR ENOENT ENOMEM ELOOP ENOSR EROFS RPC
3608 % LocalWords:  portmapper htonl tab endianness BROADCAST broadcast any extern fd
3609 % LocalWords:  ADRR INIT DGRAM SEQPACKET servaddr ECONNREFUSED ETIMEDOUT EAGAIN
3610 % LocalWords:  ENETUNREACH EINPROGRESS EALREADY EAFNOSUPPORT EPERM EISCONN proc
3611 % LocalWords:  sysctl filesystem syn retries reset ICMP backlog EOPNOTSUPP RECV
3612 % LocalWords:  connection queue dell'ACK flood spoofing syncookies SOMAXCONN CR
3613 % LocalWords:  RDM EWOULDBLOCK firewall ENOBUFS EINTR EMFILE ECONNABORTED NULL
3614 % LocalWords:  ESOCKTNOSUPPORT EPROTONOSUPPORT ERESTARTSYS connected listening
3615 % LocalWords:  DECnet read write NONBLOCK fcntl getsockname getpeername name ps
3616 % LocalWords:  namelen namlen ENOTCONN exec inetd POSIX daytime FullRead count
3617 % LocalWords:  BUF FullWrite system call INET perror htons inet pton ctime FTP
3618 % LocalWords:  fputs carriage return line feed superdemone daytimed sleep fork
3619 % LocalWords:  daemon cunc logging list conn sock exit snprintf ntop ntohs echo
3620 % LocalWords:  crash superserver L'RFC first ClientEcho stdin stdout fgets main
3621 % LocalWords:  MAXLINE initd echod ServEcho setgid short nogroup nobody setuid
3622 % LocalWords:  demonize PrintErr syslog wrapper log error root RTT EOF ctrl ack
3623 % LocalWords:  while SIGCHLD Signal RESTART sigaction SignalRestart SigHand win
3624 % LocalWords:  flags select recvfrom debug second compat waiting Nsec ENETDOWN
3625 % LocalWords:  EPROTO ENOPROTOOPT EHOSTDOWN ENONET EHOSTUNREACH LINGER tcpdump
3626 % LocalWords:  ECONNRESET advertising PSH SIGTERM strace SIGPIPE gets tcp ARP
3627 % LocalWords:  cache anarres destination unreachable l'I low watermark RCVLOWAT
3628 % LocalWords:  SNDLOWAT third fset maxfd fileno ISSET closed how SHUT RD WR eof
3629 % LocalWords:  RDWR fifo Trip ping fourth CLR sull'I SETSIZE nread break Denial
3630 % LocalWords:  Service poll POLLIN POLLRDNORM POLLPRI POLLRDBAND POLLOUT events
3631 % LocalWords:  POLLHUP POLLERR revents pollfd Di scaling SYNCNT DoS
3632
3633 %%% Local Variables: 
3634 %%% mode: latex
3635 %%% TeX-master: "gapil"
3636 %%% End: 
3637