X-Git-Url: https://gapil.gnulinux.it/gitweb/?p=gapil.git;a=blobdiff_plain;f=signal.tex;h=bda0f3a48e82c6e8e75ea8c992c7b238b050e54c;hp=60a7b52ace1367da2ca560dc171e98a0971797e5;hb=e323f7e103dac7a264d3ef335d23540719df2623;hpb=3d44c36183fe67ed64bff95a36596ad87f620683 diff --git a/signal.tex b/signal.tex index 60a7b52..bda0f3a 100644 --- a/signal.tex +++ b/signal.tex @@ -7,7 +7,7 @@ loro tipo, si tratta in sostanza di un'interruzione software portata ad un processo. In genere i segnali vengono usati dal kernel per riportare situazioni -eccezionali (come errori di accesso, eccezioni atritmetiche, etc.) ma possono +eccezionali (come errori di accesso, eccezioni aritmetiche, etc.) ma possono anche essere usati come forma elementare di comunicazione fra processi (ad esempio vengono usati per il controllo di sessione), per notificare eventi (come la terminazione di un processo figlio), etc. @@ -60,7 +60,7 @@ prima che il suo manipolatore sia installato, nel qual caso il segnale pu essere perso o causare il comportamento originale (in genere la terminazione del processo). Questa è la ragione per cui detti segnali sono chiamati \textit{inaffidabili}, in quanto la ricezione del segnale e la reinstallazione -del suo manipolatore non sono oiperazioni atomiche. +del suo manipolatore non sono operazioni atomiche. In caso di implementazione inaffidabile le chiamate di sistema non sono fatte ripartire automaticamente quando sono interrotte da un segnale, per questo il @@ -74,7 +74,7 @@ programma non In caso di segnali \textit{reliable} invece il signal handler resta installato quando viene chiamato e i problemi precedenti sono evitati. Inoltre alcune -chiamate di sisteme possono essere fatte ripartire automaticamente e si può +chiamate di sistema possono essere fatte ripartire automaticamente e si può ottenere un'operazione di pausa atomica (usando la funzione POSIX \texttt{sigsuspend}). @@ -83,7 +83,7 @@ ottenere un'operazione di pausa atomica (usando la funzione POSIX \label{sec:sig_types} -In generale gli eventi che generano i segnali si possono diviedere in tre +In generale gli eventi che generano i segnali si possono dividere in tre categorie principali: errori, eventi e richieste esplicite. Un errore significa che un programma ha fatto qualcosa di sbagliato e non può @@ -147,7 +147,7 @@ specificare una scelta fra le tre seguenti: \end{itemize} Il programma può specificare queste scelte usano le due routine -\texttt{signal} e \texttt{sigaction}; se si è installato un manipalatore sarà +\texttt{signal} e \texttt{sigaction}; se si è installato un manipolatore sarà quest'ultimo a intercettare il segnale ed ad essere eseguito, e mentre viene eseguito (onde evitare race conditions) il segnale viene bloccato. @@ -160,7 +160,7 @@ diversa azione per lo stesso segnale. Se arriva un segnale per il quale non è stato specificata un'azione viene utilizzata l'azione standard. Questa è diversa da segnale a segnale (come vedremo in \ref{sec:sig_standard}) ma per la maggior parte essa comporta la -terminazione del processo, per alcuni che invece rappresentano eventi innoqui +terminazione del processo, per alcuni che invece rappresentano eventi innocui l'azione standard è di non fare nulla. Quando un segnale termina un processo, il padre può determinare la causa della @@ -173,7 +173,7 @@ I segnali che rappresentano errori del programma (divisione per zero o violazioni di accesso) hanno anche la caratteristica di scrivere un file \textit{core dump} che registra lo stato del processo prima della terminazione e può essere esaminato da un debugger per investigare sulla causa dell'errore. -Lo stesso avvine se i suddetti segnale vengono generati artificialmente con +Lo stesso avviene se i suddetti segnale vengono generati artificialmente con una \texttt{kill}. @@ -194,17 +194,17 @@ segnali sono definiti nell'header di sistema \texttt{signal.h}. Il numero totale di segnali presenti è dato dalla macro \texttt{NSIG}, e dato che i numeri dei segnali sono allocati progressivamente, essa corrisponde -anche al successivo del valore numerico assegnato al'ultimo segnale definito. +anche al successivo del valore numerico assegnato all'ultimo segnale definito. \subsubsection{Segnali di errore di programma} -Questi segnali sono generati quando c'é un grave errore nel programma rilevato +Questi segnali sono generati quando c'è un grave errore nel programma rilevato dal sistema o dallo stesso hardware. In generale indicano che il programma ha dei gravi problemi e l'esecuzione non può essere proseguita. Alcuni programmi usano questi segnali per riordinare le cose prima di uscire. -As esempio ripristinare i settaggi della console, o eliminare i file di lock. +Ad esempio ripristinare i settaggi della console, o eliminare i file di lock. In questo caso il manipolatore deve concludersi ripristinando l'azione di default e rialzando il segnale, così che il programma possa concludersi come se il manipolatore non ci fosse mai stato. @@ -218,9 +218,9 @@ dell'errore. Questi segnali sono: \begin{itemize} -\item \texttt{SIGFPE} Riporta un errore aritmetico fatale. Benchè il nome +\item \texttt{SIGFPE} Riporta un errore aritmetico fatale. Benché il nome derivi da \textit{floating point exception} si applica a tutti gli errori - aritmetici comprea la divisione per zero e l'overflow. + aritmetici compresa la divisione per zero e l'overflow. % Per questo segnale le cose sono complicate dal fatto che possono esserci % molte diverse eccezioni che \texttt{SIGFPE} non distingue, mentre lo