Comandi Bash shell - SisInf Lab

CORSO DI FONDAMENTI DEI SISTEMI OPERATIVI
A.A. 2012-2013
(Prof. G. Piscitelli)
Distinguiamo le seguenti categorie di segnali in base alla loro origine:
- Segnali provenienti dal terminale: generati quando l'utente utilizza alcune combinazioni di tasti quali Ctrl+C
(SIGINT) o Ctrl+Z (SIGSTOP).
- Segnali derivanti da eccezioni hardware: generati dall'hardware quando si verificano eventi quali la divisione
per 0 o il tentativo di accesso ad un'area di memoria non valida; gli eventi vengono rilevati dal kernel che invia il
segnale corrispondente al processo che ha causato le eccezioni (ad esempio SIGSEGV).
- Segnali provenienti dalla funzione kill(2) (e dal comando kill(1)) kill verso un determinato PID.
- Segnali collegati ad eventi software: generati quando accade un evento di cui un processo deve essere
informato; è il caso, ad esempio, di un processo che scrive in una pipeline mentre il processo che legge è già
terminato (set | less); in tale ipotesi il primo riceve un segnale SIGPIPE quando il secondo termina.
La generazione di un segnale e la sua notifica passano attraverso il kernel che li gestisce utilizzando una coda di
segnali pendenti. La notifica è un evento asincrono rispetto alla generazione e dipende dal kernel. Sui sistemi
Linux un segnale standard (non real time) viene inserito nella coda dei segnali pendenti solo se non è già
presente. In pratica inviando n volte lo stesso segnale standard ad un processo: la prima istanza viene inserita in
coda, mentre quelle successive vengono scartate fintanto che la prima è in coda.
Il processo che riceve il segnale può decidere di gestirlo in 3 modi:
- ignorare il segnale;
- catturare il segnale specificando una funzione detta signal handler da eseguire;
- eseguire l'azione di default associata al segnale (molto spesso la terminazione del processo).
I segnali SIGKILL (9) e SIGSTOP (19) non possono essere né catturati né ignorati ma eseguono sempre l'azione
di default. Le azioni di default sono specificate nella pagina di manuale signal(7).
Regole di protezione: per inviare un segnale utilizzando la system call kill (ed il comando kill) è necessario che
l'uid (real o effective) del processo mittente sia uguale all'uid (real o effective) del processo destinatario. L'utente
root può inviare segnali a tutti i processi.
kill
Il comando kill permette di inviare un segnale ad un processo, indicando direttamente il PID del processo. Se
non si specifica nessun segnale viene inviato SIGTERM (15), che è catturabile.
SINTASSI: $ kill [opzioni] [PID]
Opzioni:
-s nome_segnale Invia il segnale nome_segnale al processo con #id PID
-nome_segn
-num_segn
-l Elenca tutti i segnali ed i loro valori numerici (64 diversi segnali)
$ kill -SIGINT 1722
$ kill -INT 1722
$ kill -2 1722
Esercitazioni comandi shell Bash (Ing. S. Giannini) Pagina 46