From bdf6e88eeb9b3aef06d57930ec8b89083639e56d Mon Sep 17 00:00:00 2001 From: Simone Piccardi Date: Fri, 4 Apr 2003 22:22:01 +0000 Subject: [PATCH] Correzioni varie, imprecisioni nella gestione dei segnali, maggiori dettagli sulle funzioni per la stampa dei messaggi di errore, e altri listati estratti dal latex ed inclusi esternamente --- filedir.tex | 4 +- gapil.tex | 1 - listati/Signal.c | 16 ++ listati/alarm_def.c | 14 ++ listati/hand_sigchild.c | 20 +++ listati/sig_alarm.c | 19 +++ listati/sigaction.h | 8 + listati/siginfo_t.h | 16 ++ listati/sigval_t.h | 4 + listati/sleep.c | 30 ++++ listati/sleep_danger.c | 25 ++++ listati/sleep_defect.c | 27 ++++ listati/stack_t.h | 5 + process.tex | 2 +- prochand.tex | 37 ++--- signal.tex | 324 +++++++++------------------------------- system.tex | 110 +++++++------- 17 files changed, 337 insertions(+), 325 deletions(-) create mode 100644 listati/Signal.c create mode 100644 listati/alarm_def.c create mode 100644 listati/hand_sigchild.c create mode 100644 listati/sig_alarm.c create mode 100644 listati/sigaction.h create mode 100644 listati/siginfo_t.h create mode 100644 listati/sigval_t.h create mode 100644 listati/sleep.c create mode 100644 listati/sleep_danger.c create mode 100644 listati/sleep_defect.c create mode 100644 listati/stack_t.h diff --git a/filedir.tex b/filedir.tex index 04b9a2e..1f74bdd 100644 --- a/filedir.tex +++ b/filedir.tex @@ -957,7 +957,7 @@ la relativa dimensione (in sostanza una versione semplificata del comando \begin{figure}[!htb] \footnotesize \centering - \begin{minipage}[c]{15cm} + \begin{minipage}[c]{15.6cm} \includecodesample{listati/my_ls.c} \end{minipage} \caption{Esempio di codice per eseguire la lista dei file contenuti in una @@ -989,7 +989,7 @@ valore di ritorno per indicare una esecuzione senza errori. \begin{figure}[!htb] \footnotesize \centering - \begin{minipage}[c]{15cm} + \begin{minipage}[c]{15.6cm} \includecodesample{listati/DirScan.c} \end{minipage} \caption{Codice della routine di scansione di una directory contenuta nel diff --git a/gapil.tex b/gapil.tex index deca49b..ca42c36 100644 --- a/gapil.tex +++ b/gapil.tex @@ -30,7 +30,6 @@ \newcommand{\includecodesnip}[1]{\lstinputlisting[stepnumber=0,frame=]{#1}}{} \newcommand{\includestruct}[1]{\lstinputlisting[stepnumber=0]{#1}}{} \newcommand{\includecodesample}[1]{\lstinputlisting{#1}}{} - \usepackage{cite} \usepackage{amsmath} \usepackage{amsfonts} diff --git a/listati/Signal.c b/listati/Signal.c new file mode 100644 index 0000000..e2d617b --- /dev/null +++ b/listati/Signal.c @@ -0,0 +1,16 @@ +typedef void SigFunc(int); +inline SigFunc * Signal(int signo, SigFunc *func) +{ + struct sigaction new_handl, old_handl; + new_handl.sa_handler = func; + /* clear signal mask: no signal blocked during execution of func */ + if (sigemptyset(&new_handl.sa_mask)!=0){ /* initialize signal set */ + return SIG_ERR; + } + new_handl.sa_flags=0; /* init to 0 all flags */ + /* change action for signo signal */ + if (sigaction(signo, &new_handl, &old_handl)){ + return SIG_ERR; + } + return (old_handl.sa_handler); +} diff --git a/listati/alarm_def.c b/listati/alarm_def.c new file mode 100644 index 0000000..ac4da03 --- /dev/null +++ b/listati/alarm_def.c @@ -0,0 +1,14 @@ +unsigned int alarm(unsigned int seconds) +{ + struct itimerval old, new; + new.it_interval.tv_usec = 0; + new.it_interval.tv_sec = 0; + new.it_value.tv_usec = 0; + new.it_value.tv_sec = (long int) seconds; + if (setitimer(ITIMER_REAL, &new, &old) < 0) { + return 0; + } + else { + return old.it_value.tv_sec; + } +} diff --git a/listati/hand_sigchild.c b/listati/hand_sigchild.c new file mode 100644 index 0000000..2ae8cc6 --- /dev/null +++ b/listati/hand_sigchild.c @@ -0,0 +1,20 @@ +void HandSigCHLD(int sig) +{ + int errno_save; + int status; + pid_t pid; + /* save errno current value */ + errno_save = errno; + /* loop until no */ + do { + errno = 0; + pid = waitpid(WAIT_ANY, &status, WNOHANG); + if (pid > 0) { + debug("child %d terminated with status %x\n", pid, status); + } + } while ((pid > 0) && (errno == EINTR)); + /* restore errno value */ + errno = errno_save; + /* return */ + return; +} diff --git a/listati/sig_alarm.c b/listati/sig_alarm.c new file mode 100644 index 0000000..aff4091 --- /dev/null +++ b/listati/sig_alarm.c @@ -0,0 +1,19 @@ +sig_atomic_t flag; +int main() +{ + flag = 0; + ... + if (flag) { /* test if signal occurred */ + flag = 0; /* reset flag */ + do_response(); /* do things */ + } else { + do_other(); /* do other things */ + } + ... +} +void alarm_hand(int sig) +{ + /* set the flag */ + flag = 1; + return; +} diff --git a/listati/sigaction.h b/listati/sigaction.h new file mode 100644 index 0000000..2a2edc8 --- /dev/null +++ b/listati/sigaction.h @@ -0,0 +1,8 @@ +struct sigaction +{ + void (*sa_handler)(int); + void (*sa_sigaction)(int, siginfo_t *, void *); + sigset_t sa_mask; + int sa_flags; + void (*sa_restorer)(void); +} diff --git a/listati/siginfo_t.h b/listati/siginfo_t.h new file mode 100644 index 0000000..ec8ad75 --- /dev/null +++ b/listati/siginfo_t.h @@ -0,0 +1,16 @@ +siginfo_t { + int si_signo; /* Signal number */ + int si_errno; /* An errno value */ + int si_code; /* Signal code */ + pid_t si_pid; /* Sending process ID */ + uid_t si_uid; /* Real user ID of sending process */ + int si_status; /* Exit value or signal */ + clock_t si_utime; /* User time consumed */ + clock_t si_stime; /* System time consumed */ + sigval_t si_value; /* Signal value */ + int si_int; /* POSIX.1b signal */ + void * si_ptr; /* POSIX.1b signal */ + void * si_addr; /* Memory location which caused fault */ + int si_band; /* Band event */ + int si_fd; /* File descriptor */ +} diff --git a/listati/sigval_t.h b/listati/sigval_t.h new file mode 100644 index 0000000..4097bae --- /dev/null +++ b/listati/sigval_t.h @@ -0,0 +1,4 @@ +union sigval_t { + int sival_int; + void *sival_ptr; +} diff --git a/listati/sleep.c b/listati/sleep.c new file mode 100644 index 0000000..2d79551 --- /dev/null +++ b/listati/sleep.c @@ -0,0 +1,30 @@ +void alarm_hand(int); +unsigned int sleep(unsigned int seconds) +{ + struct sigaction new_action, old_action; + sigset_t old_mask, stop_mask, sleep_mask; + /* set the signal handler */ + sigemptyset(&new_action.sa_mask); /* no signal blocked */ + new_action.sa_handler = alarm_hand; /* set handler */ + new_action.sa_flags = 0; /* no flags */ + sigaction(SIGALRM, &new_action, &old_action); /* install action */ + /* block SIGALRM to avoid race conditions */ + sigemptyset(&stop_mask); /* init mask to empty */ + sigaddset(&stop_mask, SIGALRM); /* add SIGALRM */ + sigprocmask(SIG_BLOCK, &stop_mask, &old_mask); /* add SIGALRM to blocked */ + /* send the alarm */ + alarm(seconds); + /* going to sleep enabling SIGALRM */ + sleep_mask = old_mask; /* take mask */ + sigdelset(&sleep_mask, SIGALRM); /* remove SIGALRM */ + sigsuspend(&sleep_mask); /* go to sleep */ + /* restore previous settings */ + sigprocmask(SIG_SETMASK, &old_mask, NULL); /* reset signal mask */ + sigaction(SIGALRM, &old_action, NULL); /* reset signal action */ + /* return remaining time */ + return alarm(0); +} +void alarm_hand(int sig) +{ + return; /* just return to interrupt sigsuspend */ +} diff --git a/listati/sleep_danger.c b/listati/sleep_danger.c new file mode 100644 index 0000000..1f7fb21 --- /dev/null +++ b/listati/sleep_danger.c @@ -0,0 +1,25 @@ +void alarm_hand(int sig) { + /* check if the signal is the right one */ + if (sig != SIGALRM) { /* if not exit with error */ + printf("Something wrong, handler for SIGALRM\n"); + exit(1); + } else { /* do nothing, just interrupt pause */ + return; + } +} +unsigned int sleep(unsigned int seconds) +{ + sighandler_t prev_handler; + /* install and check new handler */ + if ((prev_handler = signal(SIGALRM, alarm_hand)) == SIG_ERR) { + printf("Cannot set handler for alarm\n"); + exit(-1); + } + /* set alarm and go to sleep */ + alarm(seconds); + pause(); + /* restore previous signal handler */ + signal(SIGALRM, prev_handler); + /* return remaining time */ + return alarm(0); +} diff --git a/listati/sleep_defect.c b/listati/sleep_defect.c new file mode 100644 index 0000000..b0f169f --- /dev/null +++ b/listati/sleep_defect.c @@ -0,0 +1,27 @@ +static jmp_buff alarm_return; +unsigned int sleep(unsigned int seconds) +{ + signandler_t prev_handler; + if ((prev_handler = signal(SIGALRM, alarm_hand)) == SIG_ERR) { + printf("Cannot set handler for alarm\n"); + exit(1); + } + if (setjmp(alarm_return) == 0) { /* if not returning from handler */ + alarm(second); /* call alarm */ + pause(); /* then wait */ + } + /* restore previous signal handler */ + signal(SIGALRM, prev_handler); + /* remove alarm, return remaining time */ + return alarm(0); +} +void alarm_hand(int sig) +{ + /* check if the signal is the right one */ + if (sig != SIGALRM) { /* if not exit with error */ + printf("Something wrong, handler for SIGALRM\n"); + exit(1); + } else { /* return in main after the call to pause */ + longjump(alarm_return, 1); + } +} diff --git a/listati/stack_t.h b/listati/stack_t.h new file mode 100644 index 0000000..5dfc3fd --- /dev/null +++ b/listati/stack_t.h @@ -0,0 +1,5 @@ +typedef struct { + void *ss_sp; /* Base address of stack */ + int ss_flags; /* Flags */ + size_t ss_size; /* Number of bytes in stack */ +} stack_t; diff --git a/process.tex b/process.tex index 17c6e37..3c37dc0 100644 --- a/process.tex +++ b/process.tex @@ -956,7 +956,7 @@ elementi di \param{argv} che cominciano con il carattere \texttt{'-'}. \begin{figure}[htb] \footnotesize \centering - \begin{minipage}[c]{15cm} + \begin{minipage}[c]{15.6cm} \includecodesample{listati/option_code.c} \end{minipage} \normalsize diff --git a/prochand.tex b/prochand.tex index 6cca82e..5ec846e 100644 --- a/prochand.tex +++ b/prochand.tex @@ -1182,7 +1182,7 @@ indicato dall'argomento \param{path}, che viene interpretato come il \begin{figure}[htb] \centering - \includegraphics[width=15cm]{img/exec_rel} + \includegraphics[width=16cm]{img/exec_rel} \caption{La interrelazione fra le sei funzioni della famiglia \func{exec}.} \label{fig:proc_exec_relat} \end{figure} @@ -1737,13 +1737,16 @@ coincide con uno dei di quelli del gruppo \textit{real}, \textit{effective} o \label{sec:proc_setgroups} Le ultime funzioni che esamineremo sono quelle che permettono di operare sui -gruppi supplementari. Ogni processo può avere fino a \const{NGROUPS\_MAX} -gruppi supplementari in aggiunta al gruppo primario, questi vengono ereditati -dal processo padre e possono essere cambiati con queste funzioni. - -La funzione che permette di leggere i gruppi supplementari è -\funcd{getgroups}; questa funzione è definita nello standard POSIX ed il suo -prototipo è: +gruppi supplementari cui un utente può appartenere. Ogni processo può avere +almeno \const{NGROUPS\_MAX} gruppi supplementari\footnote{il numero massimo di + gruppi secondari può essere ottenuto con \func{sysconf} (vedi + \secref{sec:sys_sysconf}), leggendo il parametro + \texttt{\_SC\_NGROUPS\_MAX}.} in aggiunta al gruppo primario; questi vengono +ereditati dal processo padre e possono essere cambiati con queste funzioni. + +La funzione che permette di leggere i gruppi supplementari associati ad un +processo è \funcd{getgroups}; questa funzione è definita nello standard +POSIX.1, ed il suo prototipo è: \begin{functions} \headdecl{sys/types.h} \headdecl{unistd.h} @@ -2184,18 +2187,17 @@ prototipo \item[\errcode{EINVAL}] il valore di \param{policy} non esiste o il relativo valore di \param{p} non è valido. \item[\errcode{EPERM}] il processo non ha i privilegi per attivare la - politica richiesta (vale solo per \const{SCHED\_FIFO} e - \const{SCHED\_RR}). + politica richiesta. \end{errlist}} \end{prototype} La funzione esegue l'impostazione per il processo specificato dall'argomento \param{pid}; un valore nullo esegue l'impostazione per il processo corrente. -Solo un processo con i privilegi di amministratore può impostare delle -priorità assolute diverse da zero. La politica di scheduling è specificata -dall'argomento \param{policy} i cui possibili valori sono riportati in -\tabref{tab:proc_sched_policy}; un valore negativo per \param{policy} mantiene -la politica di scheduling corrente. +La politica di scheduling è specificata dall'argomento \param{policy} i cui +possibili valori sono riportati in \tabref{tab:proc_sched_policy}; un valore +negativo per \param{policy} mantiene la politica di scheduling corrente. +Solo un processo con i privilegi di amministratore può impostare priorità +assolute diverse da zero o politiche \const{SCHED\_FIFO} e \const{SCHED\_RR}. \begin{table}[htb] \centering @@ -2223,7 +2225,7 @@ priorit massimo ed uno minimo, che nel caso sono rispettivamente 1 e 99 (il valore zero è legale, ma indica i processi normali). -\begin{figure}[!htb] +\begin{figure}[!bht] \footnotesize \centering \begin{minipage}[c]{15cm} \includestruct{listati/sched_param.c} @@ -2250,7 +2252,7 @@ e \funcd{sched\_get\_priority\_min}, i cui prototipi sono: \bodydesc{La funzioni ritornano il valore della priorità in caso di successo e -1 in caso di errore, nel qual caso \var{errno} può assumere i valori: \begin{errlist} - \item[\errcode{EINVAL}] il valore di \param{policy} è invalido. + \item[\errcode{EINVAL}] il valore di \param{policy} non è valido. \end{errlist}} \end{functions} @@ -2299,7 +2301,6 @@ prototipi sono: \funcdecl{int sched\_setparam(pid\_t pid, const struct sched\_param *p)} Imposta la priorità assoluta del processo \param{pid}. - \funcdecl{int sched\_getparam(pid\_t pid, struct sched\_param *p)} Legge la priorità assoluta del processo \param{pid}. diff --git a/signal.tex b/signal.tex index c28a70c..2fa13ad 100644 --- a/signal.tex +++ b/signal.tex @@ -1171,22 +1171,7 @@ in termini di \func{setitimer}, come evidenziato dal manuale delle \acr{glibc} \begin{figure}[!htb] \footnotesize \centering \begin{minipage}[c]{15cm} - \begin{lstlisting}[stepnumber=0]{} -unsigned int alarm(unsigned int seconds) -{ - struct itimerval old, new; - new.it_interval.tv_usec = 0; - new.it_interval.tv_sec = 0; - new.it_value.tv_usec = 0; - new.it_value.tv_sec = (long int) seconds; - if (setitimer(ITIMER_REAL, &new, &old) < 0) { - return 0; - } - else { - return old.it_value.tv_sec; - } -} - \end{lstlisting} + \includestruct{listati/alarm_def.c} \end{minipage} \normalsize \caption{Definizione di \func{alarm} in termini di \func{setitimer}.} @@ -1413,29 +1398,10 @@ di zombie\index{zombie}. % gestore per che è previsto ritornare, \begin{figure}[!htb] - \footnotesize - \begin{lstlisting}{} -void HandSigCHLD(int sig) -{ - int errno_save; - int status; - pid_t pid; - /* save errno current value */ - errno_save = errno; - /* loop until no */ - do { - errno = 0; - pid = waitpid(WAIT_ANY, &status, WNOHANG); - if (pid > 0) { - debug("child %d terminated with status %x\n", pid, status); - } - } while ((pid > 0) && (errno == EINTR)); - /* restore errno value */ - errno = errno_save; - /* return */ - return; -} - \end{lstlisting} + \footnotesize \centering + \begin{minipage}[c]{15cm} + \includecodesample{listati/hand_sigchild.c} + \end{minipage} \normalsize \caption{Codice di una funzione generica di gestione per il segnale \texttt{SIGCHLD}.} @@ -1518,34 +1484,10 @@ rimanente (\texttt{\small 22-23}) che potr l'interruzione di \func{pause} venisse causata da un altro segnale. \begin{figure}[!htb] - \footnotesize - \begin{lstlisting}{} -void alarm_hand(int sig) { - /* check if the signal is the right one */ - if (sig != SIGALRM) { /* if not exit with error */ - printf("Something wrong, handler for SIGALRM\n"); - exit(1); - } else { /* do nothing, just interrupt pause */ - return; - } -} -unsigned int sleep(unsigned int seconds) -{ - sighandler_t prev_handler; - /* install and check new handler */ - if ((prev_handler = signal(SIGALRM, alarm_hand)) == SIG_ERR) { - printf("Cannot set handler for alarm\n"); - exit(-1); - } - /* set alarm and go to sleep */ - alarm(seconds); - pause(); - /* restore previous signal handler */ - signal(SIGALRM, prev_handler); - /* return remaining time */ - return alarm(0); -} - \end{lstlisting} + \footnotesize \centering + \begin{minipage}[c]{15cm} + \includecodesample{listati/sleep_danger.c} + \end{minipage} \normalsize \caption{Una implementazione pericolosa di \func{sleep}.} \label{fig:sig_sleep_wrong} @@ -1568,36 +1510,10 @@ uscita di quest'ultima, si pu codice del tipo di quello riportato in \figref{fig:sig_sleep_incomplete}. \begin{figure}[!htb] - \footnotesize - \begin{lstlisting}{} -static jmp_buff alarm_return; -unsigned int sleep(unsigned int seconds) -{ - signandler_t prev_handler; - if ((prev_handler = signal(SIGALRM, alarm_hand)) == SIG_ERR) { - printf("Cannot set handler for alarm\n"); - exit(1); - } - if (setjmp(alarm_return) == 0) { /* if not returning from handler */ - alarm(second); /* call alarm */ - pause(); /* then wait */ - } - /* restore previous signal handler */ - signal(SIGALRM, prev_handler); - /* remove alarm, return remaining time */ - return alarm(0); -} -void alarm_hand(int sig) -{ - /* check if the signal is the right one */ - if (sig != SIGALRM) { /* if not exit with error */ - printf("Something wrong, handler for SIGALRM\n"); - exit(1); - } else { /* return in main after the call to pause */ - longjump(alarm_return, 1); - } -} - \end{lstlisting} + \footnotesize \centering + \begin{minipage}[c]{15cm} + \includecodesample{listati/sleep_defect.c} + \end{minipage} \normalsize \caption{Una implementazione ancora malfunzionante di \func{sleep}.} \label{fig:sig_sleep_incomplete} @@ -1625,28 +1541,10 @@ programma (con un codice del tipo di quello riportato in \figref{fig:sig_event_wrong}). \begin{figure}[!htb] - \footnotesize - \begin{lstlisting}{} -sig_atomic_t flag; -int main() -{ - flag = 0; - ... - if (flag) { /* test if signal occurred */ - flag = 0; /* reset flag */ - do_response(); /* do things */ - } else { - do_other(); /* do other things */ - } - ... -} -void alarm_hand(int sig) -{ - /* set the flag - flag = 1; - return; -} - \end{lstlisting} + \footnotesize\centering + \begin{minipage}[c]{15cm} + \includecodesample{listati/sig_alarm.c} + \end{minipage} \normalsize \caption{Un esempio non funzionante del codice per il controllo di un evento generato da un segnale.} @@ -1676,13 +1574,11 @@ reagire alla ricezione di un segnale. \label{sec:sig_sigset} Come evidenziato nel paragrafo precedente, le funzioni di gestione dei segnali -dei primi Unix, nate con la semantica inaffidabile, hanno dei limiti non +originarie, nate con la semantica inaffidabile, hanno dei limiti non superabili; in particolare non è prevista nessuna funzione che permetta di gestire gestire il blocco dei segnali o di verificare lo stato dei segnali -pendenti. - -Per questo motivo lo standard POSIX.1, insieme alla nuova semantica dei -segnali ha introdotto una interfaccia di gestione completamente nuova, che +pendenti. Per questo motivo lo standard POSIX.1, insieme alla nuova semantica +dei segnali ha introdotto una interfaccia di gestione completamente nuova, che permette di ottenete un controllo molto più dettagliato. In particolare lo standard ha introdotto un nuovo tipo di dato \type{sigset\_t}, che permette di rappresentare un \textsl{insieme di segnali} (un \textit{signal set}, come @@ -1794,16 +1690,7 @@ pi \begin{figure}[!htb] \footnotesize \centering \begin{minipage}[c]{15cm} - \begin{lstlisting}[stepnumber=0]{} -struct sigaction -{ - void (*sa_handler)(int); - void (*sa_sigaction)(int, siginfo_t *, void *); - sigset_t sa_mask; - int sa_flags; - void (*sa_restorer)(void); -} - \end{lstlisting} + \includestruct{listati/sigaction.h} \end{minipage} \normalsize \caption{La struttura \structd{sigaction}.} @@ -1885,24 +1772,7 @@ riportata in \figref{fig:sig_siginfo_t}. \begin{figure}[!htb] \footnotesize \centering \begin{minipage}[c]{15cm} - \begin{lstlisting}[stepnumber=0]{} -siginfo_t { - int si_signo; /* Signal number */ - int si_errno; /* An errno value */ - int si_code; /* Signal code */ - pid_t si_pid; /* Sending process ID */ - uid_t si_uid; /* Real user ID of sending process */ - int si_status; /* Exit value or signal */ - clock_t si_utime; /* User time consumed */ - clock_t si_stime; /* System time consumed */ - sigval_t si_value; /* Signal value */ - int si_int; /* POSIX.1b signal */ - void * si_ptr; /* POSIX.1b signal */ - void * si_addr; /* Memory location which caused fault */ - int si_band; /* Band event */ - int si_fd; /* File descriptor */ -} - \end{lstlisting} + \includestruct{listati/siginfo_t.h} \end{minipage} \normalsize \caption{La struttura \structd{siginfo\_t}.} @@ -1959,25 +1829,10 @@ meno che non si sia vincolati all'aderenza stretta allo standard ISO C, sempre il caso di evitare l'uso di \func{signal} a favore di \func{sigaction}. \begin{figure}[!htb] - \footnotesize - \begin{lstlisting}{} -typedef void SigFunc(int); -inline SigFunc * Signal(int signo, SigFunc *func) -{ - struct sigaction new_handl, old_handl; - new_handl.sa_handler = func; - /* clear signal mask: no signal blocked during execution of func */ - if (sigemptyset(&new_handl.sa_mask)!=0){ /* initialize signal set */ - return SIG_ERR; - } - new_handl.sa_flags=0; /* init to 0 all flags */ - /* change action for signo signal */ - if (sigaction(signo, &new_handl, &old_handl)){ - return SIG_ERR; - } - return (old_handl.sa_handler); -} - \end{lstlisting} + \footnotesize \centering + \begin{minipage}[c]{15.6cm} + \includecodesample{listati/Signal.c} + \end{minipage} \normalsize \caption{Una funzione equivalente a \func{signal} definita attraverso \func{sigaction}.} @@ -2123,39 +1978,10 @@ ottenere un'implementazione, riportata in \figref{fig:sig_sleep_ok} che non presenta neanche questa necessità. \begin{figure}[!htb] - \footnotesize - \begin{lstlisting}{} -void alarm_hand(int); -unsigned int sleep(unsigned int seconds) -{ - struct sigaction new_action, old_action; - sigset_t old_mask, stop_mask, sleep_mask; - /* set the signal handler */ - sigemptyset(&new_action.sa_mask); /* no signal blocked */ - new_action.sa_handler = alarm_hand; /* set handler */ - new_action.sa_flags = 0; /* no flags */ - sigaction(SIGALRM, &new_action, &old_action); /* install action */ - /* block SIGALRM to avoid race conditions */ - sigemptyset(&stop_mask); /* init mask to empty */ - sigaddset(&stop_mask, SIGALRM); /* add SIGALRM */ - sigprocmask(SIG_BLOCK, &stop_mask, &old_mask); /* add SIGALRM to blocked */ - /* send the alarm */ - alarm(seconds); - /* going to sleep enabling SIGALRM */ - sleep_mask = old_mask; /* take mask */ - sigdelset(&sleep_mask, SIGALRM); /* remove SIGALRM */ - sigsuspend(&sleep_mask); /* go to sleep */ - /* restore previous settings */ - sigprocmask(SIG_SETMASK, &old_mask, NULL); /* reset signal mask */ - sigaction(SIGALRM, &old_action, NULL); /* reset signal action */ - /* return remaining time */ - return alarm(0); -} -void alarm_hand(int sig) -{ - return; /* just return to interrupt sigsuspend */ -} - \end{lstlisting} + \footnotesize \centering + \begin{minipage}[c]{15.6cm} + \includecodesample{listati/sleep.c} + \end{minipage} \normalsize \caption{Una implementazione completa di \func{sleep}.} \label{fig:sig_sleep_ok} @@ -2183,13 +2009,13 @@ dato che \const{SIGALRM} viene disabilitato con \func{sigprocmask} fino alla chiamata di \func{sigsuspend}. Questo metodo è assolutamente generale e può essere applicato a qualunque altra situazione in cui si deve attendere per un segnale, i passi sono sempre i seguenti: -\begin{enumerate} +\begin{enumerate*} \item Leggere la maschera dei segnali corrente e bloccare il segnale voluto con \func{sigprocmask}. \item Mandare il processo in attesa con \func{sigsuspend} abilitando la ricezione del segnale voluto. \item Ripristinare la maschera dei segnali originaria. -\end{enumerate} +\end{enumerate*} Per quanto possa sembrare strano bloccare la ricezione di un segnale per poi riabilitarla immediatamente dopo, in questo modo si evita il deadlock\index{deadlock} dovuto all'arrivo del segnale prima dell'esecuzione @@ -2228,7 +2054,7 @@ sistema un altro stack (invece di quello relativo al processo, vedi \secref{sec:proc_mem_layout}) solo durante l'esecuzione di un gestore. L'uso di uno stack alternativo è del tutto trasparente ai gestori, occorre però seguire una certa procedura: -\begin{enumerate*} +\begin{enumerate} \item Allocare un'area di memoria di dimensione sufficiente da usare come stack alternativo. \item Usare la funzione \func{sigaltstack} per rendere noto al sistema @@ -2237,18 +2063,20 @@ gestori, occorre per specificando il flag \const{SA\_ONSTACK} (vedi \tabref{tab:sig_sa_flag}) per dire al sistema di usare lo stack alternativo durante l'esecuzione del gestore. -\end{enumerate*} +\end{enumerate} In genere il primo passo viene effettuato allocando un'opportuna area di memoria con \code{malloc}; in \file{signal.h} sono definite due costanti, \const{SIGSTKSZ} e \const{MINSIGSTKSZ}, che possono essere utilizzate per allocare una quantità di spazio opportuna, in modo da evitare overflow. La prima delle due è la dimensione canonica per uno stack di segnali e di norma è -sufficiente per tutti gli usi normali. La seconda è lo spazio che occorre al -sistema per essere in grado di lanciare il gestore e la dimensione di uno -stack alternativo deve essere sempre maggiore di questo valore. Quando si -conosce esattamente quanto è lo spazio necessario al gestore gli si può -aggiungere questo valore per allocare uno stack di dimensione sufficiente. +sufficiente per tutti gli usi normali. + +La seconda è lo spazio che occorre al sistema per essere in grado di lanciare +il gestore e la dimensione di uno stack alternativo deve essere sempre +maggiore di questo valore. Quando si conosce esattamente quanto è lo spazio +necessario al gestore gli si può aggiungere questo valore per allocare uno +stack di dimensione sufficiente. Come accennato per poter essere usato lo stack per i segnali deve essere indicato al sistema attraverso la funzione \funcd{sigaltstack}; il suo @@ -2281,13 +2109,7 @@ successivo ripristino). \begin{figure}[!htb] \footnotesize \centering \begin{minipage}[c]{15cm} - \begin{lstlisting}[stepnumber=0]{} -typedef struct { - void *ss_sp; /* Base address of stack */ - int ss_flags; /* Flags */ - size_t ss_size; /* Number of bytes in stack */ -} stack_t; - \end{lstlisting} + \includestruct{listati/stack_t.h} \end{minipage} \normalsize \caption{La struttura \structd{stack\_t}.} @@ -2330,9 +2152,11 @@ modificarlo con \func{sigprocmask}. Resta quindi il problema di cosa succede alla maschera dei segnali quando si esce da un gestore usando questa funzione. Il comportamento dipende -dall'implementazione; in particolare BSD ripristina la maschera dei segnali -precedente l'invocazione, come per un normale ritorno, mentre System V no. Lo -standard POSIX.1 non specifica questo comportamento per \func{setjmp} e +dall'implementazione; in particolare BSD prevede che sia ripristinata la +maschera dei segnali precedente l'invocazione, come per un normale ritorno, +mentre System V no. + +Lo standard POSIX.1 non specifica questo comportamento per \func{setjmp} e \func{longjmp}, ed il comportamento delle \acr{glibc} dipende da quale delle caratteristiche si sono abilitate con le macro viste in \secref{sec:intro_gcc_glibc_std}. @@ -2441,35 +2265,33 @@ gestori devono essere installati con \func{sigaction} specificando la modalit \const{SA\_SIGINFO} che permette di utilizzare la forma estesa \var{sa\_sigaction} (vedi \secref{sec:sig_sigaction}). In questo modo tutti i segnali real-time possono restituire al gestore una serie di informazioni -aggiuntive attraverso l'argomento \struct{siginfo\_t} (la cui definizione è -riportata in \figref{fig:sig_siginfo_t}). +aggiuntive attraverso l'argomento \struct{siginfo\_t}, la cui definizione +abbiamo già visto in \figref{fig:sig_siginfo_t}, nella trattazione dei gestori +in forma estesa. In particolare i campi utilizzati dai segnali real-time sono \var{si\_pid} e -\var{si\_uid} in cui vengono memorizzati rispettivamente \acr{pid} e userid -effettivo del processo che ha inviato il segnale, mentre per la restituzione -dei dati viene usato il campo \var{si\_value}, questo è una \ctyp{union} di -tipo \struct{sigval\_t} (la sua definizione è in \figref{fig:sig_sigval}) in -cui può essere memorizzato o un valore numerico o un indirizzo,\footnote{un - campo di tipo \struct{sigval\_t} è presente anche nella struttura - \struct{sigevent} che viene usata dai meccanismi di notifica come quelli per - l'I/O asincrono (vedi \secref{sec:file_asyncronous_io}) o le code di - messaggi POSIX (vedi \secref{sec:ipc_posix_mq}).} +\var{si\_uid} in cui vengono memorizzati rispettivamente il \acr{pid} e +l'user-ID effettivo del processo che ha inviato il segnale, mentre per la +restituzione dei dati viene usato il campo \var{si\_value}. + +Questo è una \ctyp{union} di tipo \struct{sigval\_t} (la sua definizione è in +\figref{fig:sig_sigval}) in cui può essere memorizzato o un valore numerico, +se usata nella forma \var{sival\_int}, o un indirizzo, se usata nella forma +\var{sival\_ptr}. L'unione viene usata dai segnali real-time e da vari +meccanismi di notifica\footnote{un campo di tipo \struct{sigval\_t} è presente + anche nella struttura \struct{sigevent} che viene usata dai meccanismi di + notifica come quelli per l'I/O asincrono (vedi + \secref{sec:file_asyncronous_io}) o le code di messaggi POSIX (vedi + \secref{sec:ipc_posix_mq}).} per restituire dati al gestore del segnale; in +alcune definizioni essa viene identificata anche come \code{union sigval}. \begin{figure}[!htb] \footnotesize \centering \begin{minipage}[c]{15cm} - \begin{lstlisting}[stepnumber=0]{} -union sigval_t { - int sival_int; - void *sival_ptr; -} - \end{lstlisting} + \includestruct{listati/sigval_t.h} \end{minipage} \normalsize - \caption{La struttura \structd{sigval\_t}, una \ctyp{union} usata dai - segnali real-time e dai meccanismi di notifica per restituire dati al - gestore, (in alcune definizione essa viene identificata anche come - \code{union sigval}).} + \caption{La unione \structd{sigval\_t}.} \label{fig:sig_sigval} \end{figure} @@ -2508,13 +2330,13 @@ installato un gestore con \const{SA\_SIGINFO} e ci sono risorse disponibili, costante \const{SIGQUEUE\_MAX}, una della tante costanti di sistema definite dallo standard POSIX, che non abbiamo riportato esplicitamente in \secref{sec:sys_limits}. Il suo valore minimo secondo lo standard, - \const{\_POSIX\_SIGQUEUE\_MAX}, è pari a 32.} nella coda) esso viene -inserito e diventa pendente; una volta consegnato riporterà nel campo -\var{si\_code} di \struct{siginfo} il valore \const{SI\_QUEUE} e il campo -\var{si\_value} riceverà quanto inviato con \param{value}. Se invece si è -installato un gestore nella forma classica il segnale sarà generato, ma tutte -le caratteristiche tipiche dei segnali real-time (priorità e coda) saranno -perse. + \const{\_POSIX\_SIGQUEUE\_MAX}, è pari a 32.} nella coda dei segnali +real-time) esso viene inserito e diventa pendente; una volta consegnato +riporterà nel campo \var{si\_code} di \struct{siginfo\_t} il valore +\const{SI\_QUEUE} e il campo \var{si\_value} riceverà quanto inviato con +\param{value}. Se invece si è installato un gestore nella forma classica il +segnale sarà generato, ma tutte le caratteristiche tipiche dei segnali +real-time (priorità e coda) saranno perse. Lo standard POSIX.1b definisce inoltre delle nuove funzioni che permettono di gestire l'attesa di segnali specifici su una coda, esse servono in particolar diff --git a/system.tex b/system.tex index 4d980b2..87711c0 100644 --- a/system.tex +++ b/system.tex @@ -1105,16 +1105,16 @@ da cui ci si collega, l'\acr{uid} della shell di login, l'orario della connessione ed altre informazioni. La voce resta nel file fino al logout, quando viene cancellata e spostata in \file{/var/log/wtmp}. -In questo modo il primo file viene utilizzato per registrare sta utilizzando -il sistema al momento corrente, mentre il secondo mantiene la registrazione -delle attività degli utenti. A quest'ultimo vengono anche aggiunte delle voci -speciali per tenere conto dei cambiamenti del sistema, come la modifica del -runlevel, il riavvio della macchina, ecc. Tutte queste informazioni sono -descritte in dettaglio nel manuale delle \acr{glibc}. +In questo modo il primo file viene utilizzato per registrare chi sta +utilizzando il sistema al momento corrente, mentre il secondo mantiene la +registrazione delle attività degli utenti. A quest'ultimo vengono anche +aggiunte delle voci speciali per tenere conto dei cambiamenti del sistema, +come la modifica del runlevel, il riavvio della macchina, ecc. Tutte queste +informazioni sono descritte in dettaglio nel manuale delle \acr{glibc}. Questi file non devono mai essere letti direttamente, ma le informazioni che contengono possono essere ricavate attraverso le opportune funzioni di -libreria. Queste sono analoghe alle precedenti (vedi +libreria. Queste sono analoghe alle precedenti funzioni (vedi \tabref{tab:sys_passwd_func}) usate per accedere al database degli utenti, solo che in questo caso la struttura del database di accounting è molto più complessa, dato che contiene diversi tipi di informazione. @@ -1219,7 +1219,7 @@ corrispondente al valore del campo \var{ut\_id} specificato in \param{ut}. \const{LOGIN\_PROCESS}& Identifica un processo di login. \\ \const{USER\_PROCESS} & Identifica un processo utente. \\ \const{DEAD\_PROCESS} & Identifica un processo terminato. \\ - \const{ACCOUNTING} & ??? \\ +% \const{ACCOUNTING} & ??? \\ \hline \end{tabular} \caption{Classificazione delle voci del database di accounting a seconda dei @@ -1271,9 +1271,6 @@ prototipi sono: \funcdecl{void logwtmp(const char *line, const char *name, const char *host)} Aggiunge nel database di accounting una voce con i valori specificati. - - \bodydesc{Le funzioni ritornano il puntatore ad una struttura \struct{utmp} - in caso di successo e \val{NULL} in caso di errore.} \end{functions} La prima funzione permette l'aggiunta di una voce a \file{wmtp} specificando @@ -2254,46 +2251,56 @@ prima funzione che si pu Restituisce una stringa con il messaggio di errore relativo ad \param{errnum}. - \bodydesc{La funzione ritorna il puntatore alla stringa col messaggio di - errore in caso di successo e \val{NULL} in caso di errore, nel qual caso - \var{errno} assumerà il valore \errval{EINVAL} se si è specificato un - numero di errore non valido.} + \bodydesc{La funzione ritorna il puntatore ad una stringa di errore.} \end{prototype} -In generale \func{strerror} viene usata passando \var{errno} come parametro; -nel caso si specifichi un codice sbagliato verrà restituito un messaggio di -errore sconosciuto, e la funzione restituirà come errore \errcode{EINVAL}. La -funzione tiene conto del valore della variabile di ambiente -\val{LC\_MESSAGES} per usare eventuali traduzioni dei messaggi d'errore -nella localizzazione presente. + +La funzione ritorna il puntatore alla stringa contenente il messaggio di +errore corrispondente al valore di \param{errnum}, se questo non è un valore +valido verrà comunque restituita una stringa valida contenente un messaggio +che dice che l'errore è sconosciuto, e \var{errno} verrà modificata assumendo +il valore \errval{EINVAL}. + +In generale \func{strerror} viene usata passando \var{errno} come parametro, +ed il valore di quest'ultima non verrà modificato. La funzione inoltre tiene +conto del valore della variabile di ambiente \val{LC\_MESSAGES} per usare le +appropriate traduzioni dei messaggi d'errore nella localizzazione presente. La funzione utilizza una stringa statica che non deve essere modificata dal -programma e che è utilizzabile solo fino ad una chiamata successiva a -\func{strerror}; per questo motivo non è rientrante e nel caso si usino i -thread è provvista\footnote{questa funzione è la versione prevista dalle - \acr{glibc}, ed effettivamente definita in \file{string.h}, ne esiste una - analoga nello standard SUSv3 (quella riportata dalla pagina di manuale), che - restituisce \code{int} al posto di \code{char *}, e che tronca la stringa - restituita a \param{size}.} una versione apposita: +programma; essa è utilizzabile solo fino ad una chiamata successiva a +\func{strerror} o \func{perror}, nessun'altra funzione di libreria tocca +questa stringa. In ogni caso l'uso di una stringa statica rende la funzione +non rientrante, per cui nel caso nel caso si usino i thread le librerie +forniscono\footnote{questa funzione è la versione prevista dalle \acr{glibc}, + ed effettivamente definita in \file{string.h}, ne esiste una analoga nello + standard SUSv3 (quella riportata dalla pagina di manuale), che restituisce + \code{int} al posto di \code{char *}, e che tronca la stringa restituita a + \param{size}.} una apposita versione rientrante \func{strerror\_r}, il cui +prototipo è: \begin{prototype}{string.h} {char * strerror\_r(int errnum, char *buf, size\_t size)} - Analoga a \func{strerror} ma usa il buffer \param{buf} di lunghezza massima - (compreso il terminatore) \param{size}. - - \bodydesc{La funzione restituisce il puntatore alla stringa; in caso di - errore \var{errno} oltre a \errval{EINVAL} può assumere anche il valore - \errval{ERANGE} per indicare che non c'è sufficiente memoria per contenere - la stringa di descrizione.} + Restituisce una stringa con il messaggio di errore relativo ad + \param{errnum}. + + \bodydesc{La funzione restituisce l'indirizzo del messaggio in caso di + successo e \val{NULL} in caso di errore; nel qual caso \var{errno} + assumerà i valori: + \begin{errlist} + \item[\errcode{EINVAL}] si è specificato un valore di \param{errnum} non + valido. + \item[\errcode{ERANGE}] la lunghezza di \param{buf} è insufficiente a + contenere la stringa di errore. + \end{errlist}} \end{prototype} \noindent -che utilizza un buffer che il singolo thread deve allocare, per evitare i -problemi connessi alla condivisione del buffer statico. La funzione -restituisce l'indirizzo della stringa usata, che può essere contenuta nel -buffer specificato da \param{buf}, per una lunghezza non superiore a -\param{size}, nel qual caso la stringa sarebbe troncata e terminata con uno -zero (il carattere NUL). +La funzione è analoga a \func{strerror} ma restituisce la stringa di errore +nel buffer \param{buf} che il singolo thread deve allocare autonomamente per +evitare i problemi connessi alla condivisione del buffer statico. Il messaggio +è copiato fino alla dimensione massima del buffer, specificata dall'argomento +\param{size}, che deve comprendere pure il carattere di terminazione; +altrimenti la stringa viene troncata. Una seconda funzione usata per riportare i codici di errore in maniera automatizzata sullo standard error (vedi \secref{sec:file_std_descr}) è @@ -2306,16 +2313,15 @@ automatizzata sullo standard error (vedi \secref{sec:file_std_descr}) I messaggi di errore stampati sono gli stessi di \func{strerror}, (riportati in \capref{cha:errors}), e, usando il valore corrente di \var{errno}, si riferiscono all'ultimo errore avvenuto. La stringa specificata con -\param{message} viene stampato prime del messaggio d'errore, seguita dai due +\param{message} viene stampato prima del messaggio d'errore, seguita dai due punti e da uno spazio, il messaggio è terminato con un a capo. -Il messaggio può essere riportato anche usando altre variabili globali -dichiarate in \file{errno.h}: -\includecodesnip{listati/errlist.c} -la prima contiene i puntatori alle stringhe di errore indicizzati da -\var{errno}; la seconda esprime il valore più alto per un codice di errore, -l'utilizzo di questa stringa è sostanzialmente equivalente a quello di -\func{strerror}. +Il messaggio può essere riportato anche usando le due variabili globali: +\includecodesnip{listati/errlist.c} +dichiarate in \file{errno.h}. La prima contiene i puntatori alle stringhe di +errore indicizzati da \var{errno}; la seconda esprime il valore più alto per +un codice di errore, l'utilizzo di questa stringa è sostanzialmente +equivalente a quello di \func{strerror}. \begin{figure}[!htb] \footnotesize \centering @@ -2397,9 +2403,9 @@ il valore un'altra variabile globale, \var{error\_message\_count}, che tiene conto di quanti errori ci sono stati. -Un'altra funzione per la stampa degli errori, ancora più sofisticata, è -\funcd{error\_at\_line}, che prende due argomenti aggiuntivi per indicare -linea e file su cui è avvenuto l'errore; il suo prototipo è: +Un'altra funzione per la stampa degli errori, ancora più sofisticata, che +prende due argomenti aggiuntivi per indicare linea e file su cui è avvenuto +l'errore è \funcd{error\_at\_line}; il suo prototipo è: \begin{prototype}{stdio.h} {void error\_at\_line(int status, int errnum, const char *fname, unsigned int lineno, const char *format, ...)} -- 2.30.2