Completata revisione del capitolo sulla gestione dei processi.
[gapil.git] / thread.tex
1 %% thread.tex
2 %%
3 %% Copyright (C) 2007-2011 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 thread}
13 \label{cha:threads}
14
15
16 \itindbeg{thread} 
17
18 Tratteremo in questo capitolo un modello di programmazione multitasking,
19 quello dei \textit{thread}, alternativo al modello classico dei processi,
20 tipico di Unix. Ne esamineremo le caratteristiche, vantaggi e svantaggi, e le
21 diverse realizzazioni che sono disponibili per Linux; nella seconda parte
22 tratteremo in dettaglio quella che è l'implementazione principale, che fa
23 riferimento all'interfaccia standardizzata da POSIX.1e.
24
25
26 \section{Introduzione ai \textit{thread}}
27 \label{sec:thread_intro}
28
29 Questa prima sezione costituisce una introduzione ai \textit{thread} e
30 tratterà i concetti principali del relativo modello di programmazione,
31 esamineremo anche quali modelli sono disponibili per Linux, dando una breve
32 panoramica sulle implementazioni alternative.
33
34
35 \subsection{Una panoramica}
36 \label{sec:thread_overview}
37
38 % riferimenti
39 % http://vergil.chemistry.gatech.edu/resources/programming/threads.html
40 % http://math.arizona.edu/~swig/documentation/pthreads/
41 % http://www.humanfactor.com/pthreads/
42
43 Il modello classico dell'esecuzione dei programmi nei sistemi Unix, illustrato
44 in sez.~\ref{cha:process_interface}, è fondato sui processi. Il modello nasce
45 per assicurare la massima stabilità al sistema e prevede una rigida
46 separazione fra i diversi processi, in modo che questi non possano disturbarsi
47 a vicenda. 
48
49 Le applicazioni moderne però sono altamente concorrenti, e necessitano quindi
50 di un gran numero di processi; questo ha portato a scontrarsi con alcuni
51 limiti dell'architettura precedente. In genere i fautori del modello di
52 programmazione a \texttt{thread} sottolineano due problemi connessi all'uso
53 dei processi:
54 \begin{itemize}
55 \item
56 \item 
57 \end{itemize}
58
59
60 \subsection{I \textit{thread} e Linux}
61 \label{sec:linux_thread}
62
63
64
65
66 \subsection{Implementazioni alternative}
67 \label{sec:thread_other}
68
69
70
71
72 % http://www.gnu.org/software/pth/
73
74
75 \section{Posix \textit{thread}}
76 \label{sec:thread_posix_intro}
77
78
79 Tratteremo in questa sezione l'interfaccia di programmazione con i
80 \textit{thread} standardizzata dallo standard POSIX 1.c, che è quella che è
81 stata seguita anche dalle varie implementazioni dei \textit{thread} realizzate
82 su Linux, ed in particolare dalla \textit{Native Thread Posix Library} che è
83 stata integrata con i kernel della serie 2.6 e che fa parte a pieno titolo
84 delle \acr{glibc}.
85
86
87 \subsection{Una panoramica}
88 \label{sec:pthread_overview}
89
90
91 \subsection{La gestione dei \textit{thread}}
92 \label{sec:pthread_management}
93
94
95 \subsection{I \textit{mutex}}
96 \label{sec:pthread_mutex}
97
98
99 \subsection{Le variabili di condizione}
100 \label{sec:pthread_cond}
101
102
103 \itindend{thread} 
104
105
106
107 % TODO troppe cose, ma segue list di notizie correlate
108 % aggiunta rt_tgsigqueueinfo con il kernel 2.6.31
109
110
111 % TODO trattare tkill e tgkill per l'invio di segnali a thread, fare un
112 % capitolo apposito su thread e segnali
113
114
115 % LocalWords:  thread multitasking POSIX sez Posix Library kernel glibc mutex
116
117
118 %%% Local Variables: 
119 %%% mode: latex
120 %%% TeX-master: "gapil"
121 %%% End: 
122