Signalzuordnung (disposition)¶

Die Einträge in der »Aktion«-Spalte in der folgenden Tabelle legen die Standardzuordnung für jedes Signal fest:

Term

Standardaktion ist der Abbruch des Prozesses.

Ign

Standardaktion ist, das Signal zu ignorieren.

Core

Die Standardaktion ist der Abbruch des Prozesses und das Erstellen eines Speicherauszugs (siehe core(5)).

Stop

Die Standardaktion ist, den Prozess anzuhalten.

Cont

Die Standardaktion ist, einen angehaltenen Prozess fortzusetzen.

Ein Prozess kann die Zuordnung eines Signals mit Hilfe von sigaction(2) oder signal(2) ändern. (Letzteres ist schlechter portierbar bei der Realisierung von Signal-Handlern; siehe signal(2) für Details.) Mit diesen Systemaufrufen kann ein Prozess eine der folgenden Verhaltensweisen bei Erhalt eines Signals auswählen: die Standardaktion ausführen, das Signal ignorieren oder das Signal mit einem Signal-Handler abfangen. Ein Signal-Handler ist eine vom Programmierer definierte Funktion. Sie wird automatisch aufgerufen, wenn das Signal eintrifft.

Standardmäßig wird ein Signal-Handler auf dem normalen Prozess-Stack aufgerufen. Man kann es einrichten, dass der Signal-Handler einen alternativen Stack benutzt; vgl. sigaltstack(2) für eine Erörterung, wie das gemacht wird und wann es nützlich sein könnte.

Die Signalzuordnung ist ein prozessbezogenes Attribut; in einer Multithread-Anwendung ist die Zuordnung eines bestimmten Signales für alle Threads gleich.

Ein mittels fork(2) erstellter Kindprozess erbt eine Kopie der Signalzuordnungen seines Elternprozesses. Während eines execve(2) werden die Zuordnungen von verwalteten Signalen auf die Vorgabe zurückgesetzt; die Zuordnung ignorierter Signale werden unverändert gelassen.

Ein Signal senden¶

raise(3)

sendet dem aufrufenden Thread ein Signal

kill(2)

sendet ein Signal an einen bestimmten Prozess, alle Mitglieder einer bestimmten Prozessgruppe oder an alle Prozesse im System

killpg(3)

sendet ein Signal an alle Mitglieder einer bestimmten Prozessgruppe

pthread_kill(3)

sendet ein Signal an einen bestimmten POSIX-Thread im gleichen Prozess wie die aufrufende Routine

tgkill(2)

Es wird ein Signal an einen bestimmten Thread in einem bestimmten Prozess gesendet. (Mit diesem Systemaufruf wird pthread_kill(3) realisiert.)

sigqueue(3)

sendet ein Echtzeit-Signal und zugehörige Daten an einen bestimmten Prozess

Warten auf ein abzufangendes Signal¶

pause(2)

setzt die Ausführung aus, bis irgendein Signal abgefangen wird.

sigsuspend(2)

ändert zeitweise die Signalmaske (siehe unten) und setzt die Ausführung aus, bis eines der nicht maskierten Signale abgefangen wird.

Synchrone Signalannahme¶

• sigwaitinfo(2), sigtimedwait(2) und sigwait(3) setzen die Ausführung aus, bis ein Signal gesendet wird, dass zu einer festgelegen Gruppe von Signalen gehört. Jeder dieser Aufrufe gibt Informationen über das empfangene Signal zurück.
• signalfd(2) gibt einen Dateideskriptor zurück. Mit ihm können Informationen über Signale gelesen werden, die dem Aufrufenden übermittelt werden. Jeder Aufruf von read(2) aus dieser Datei wird blockiert, bis eines der Signale aus der im Aufruf von signalfd(2) festgelegten Menge an den aufrufenden Prozess gesendet wird. Der von read(2) zurückgegebene Puffer enthält eine Struktur, die das Signal beschreibt.

Signalmaske und anstehende Signale¶

Jeder Thread in einem Prozess hat eine unabhängige Signalauswahl-Maske (signal mask). Sie legt den Satz von Signalen fest, den der Thread derzeit blockiert. Ein Thread kann seine Signalauswahl-Maske mit pthread_sigmask(3) manipulieren. In einer traditionellen Single-Threaded-Anwendung kann sigprocmask(2) verwendet werden, um die Signalmaske zu manipulieren.

Ein mittels fork(2) erstellter Kindprozess erbt eine Kopie der Signalmaske des Elternprozeses; die Signalmaske wird über execve(2) hinweg erhalten.

Ein Signal kann Prozess-orientiert oder Thread-orientiert sein. Ein Prozess-orientiertes Signal ist eines, das auf einen Prozess als Ganzes zielt (und daher daran anhängig ist). Ein Signal kann Prozess-orientiert sein, da es vom Kernel für einen Grund außer einer Hardware-Ausnahmebehandlung erzeugt wurde oder da es mittels kill(2) oder sigqueue(3) gesandt wurde. Ein Thread-orientiertes Signal ist eines, das auf einen bestimmten Thread abzielt. Ein Signal kann Thread-orientiert sein, da es als Konsequenz einer Ausführung einer bestimmten Anweisung in Maschinensprache erstellt wurde, die eine Hardware-Ausnahmebehandlung auslöste (z.B. SIGSEGV für einen ungültigen Speicherzugriff oder SIGFPE für einen mathematischen Fehler) oder da es mit Schnittstellen wie tgkill(2) oder pthread_kill(3) auf einen bestimmten Thread zielte.

Ein Prozess-orientiertes Signal kann an jeden der Threads ausgeliefert werden, der derzeit keine Signale blockiert. Falls mehr als ein Thread Signale nicht blockiert, dann wählt der Kernel einen beliebigen Thread aus, an den er das Signal ausliefert.

Ein Thread kann die aktuell für ihn anstehenden Gruppe von Signale mit sigpending(2) ermitteln. Das sind einerseits die für diesen Thread und andererseits die für seinen Prozess bestimmten Signale.

Ein mittels fork(2) erstellter Kindprozess hat anfänglich eine leere anhängende Signalgruppe; die anhängende Signalgruppe wird über execve(2) hinweg erhalten.

Standard-Signale¶

Die Signale SIGKILL und SIGSTOP können nicht abgefangen, blockiert oder ignoriert werden.

Bis einschließlich Linux 2.2 war das Standardverhalten für SIGSYS, SIGXCPU, SIGXFSZ und (auf anderen Architekturen als SPARC und MIPS) SIGBUS den Prozess (ohne einen Speicherauszug zu erzeugen) zu beenden. (Auf einigen anderen UNIX-Systemen ist die Standardaktion für SIGXCPUund SIGXFSZ, den Prozess ohne einen Speicherauszug zu beenden.) Linux 2.4 entspricht den Anforderungen von POSIX.1-2001 an diese Signale und beendet den Prozess mit einem Speicherauszug.

SIGEMT ist nicht in POSIX.1-2001 angegeben, erscheint aber trotzdem auf den meisten anderen UNIX-Systemen. Dort ist die Standardaktion in der Regel die Beendigung des Prozesses mit einem Speicherauszug.

SIGPWR (nicht in POSIX.1-2001 beschrieben) wird bei seinem Eintreten von diesen anderen UNIX-Systemen ignoriert.

SIGIO (nicht in POSIX.1-2001 beschrieben) wird standardmäßig auf verschiedenen anderen UNIX-Systemen ignoriert.

Warteschlange und Auslieferungssemantik für Standard-Signale¶

Standard-Signale kennen keine Warteschlange. Falls mehrere Instanzen eines Standard-Signals erstellt werden, während dieses Signal blockiert ist, wird nur eine Instanz des Signals als anhängig markiert (und das Signal wird ausgeliefert, genau wenn die Blockade aufgehoben wird). Im Fall, bei dem ein Standard-Signal bereits anhängig ist, wird die dem Signal zugehörige Struktur siginfo_t (siehe sigaction(2)) nicht bei der Ankunft nachfolgender Instanzen des gleichen Signals überschrieben. Daher wird der Prozess die Informationen, die zu der ersten Instanz des Signals gehören, erhalten.

Signalnummerierung für Standard-Signale¶

Beachten Sie Folgendes:

• Wenn das Signal definiert ist, ist SIGUNUSED synonym zu SIGSYS. Seit Glibc 2.26 ist SIGUNUSED auf keiner Architektur mehr definiert.
• Signal 29 ist SIGINFO / SIGPWR (synonym für den gleichen Wert) auf einer Alpha-Maschine, aber SIGLOST auf einer SPARC.

Echtzeit-Signale¶

Der Linux-Kernel unterstützt eine Reihe von 33 verschiedenen Echtzeit-Signalen, nummeriert von 32 bis 64. Doch die Glibc-Umsetzung der POSIX-Threads verwendet intern zwei (für NPTL) oder drei (für LinuxThreads) Echtzeit-Signale (siehe pthreads (7)) und stellt den Wert von SIGRTMIN passend (auf 34 oder 35 ein). Da die Zahl der verfügbaren Echtzeit-Signale je nach Glibc-Threading-Implementierung variiert und diese Variation (entsprechend dem verfügbaren Kernel und der Glibc) zur Laufzeit auftreten kann und tatsächlich die verfügbaren Echtzeitsignale je nach UNIX-System variieren, sollten Programme niemals mit eincodierten Zahlen auf Echtzeit-Signale verweisen. Stattdessen sollte auf Echtzeit-Signale immer mit der Notation SIGRTMIN+n verwiesen werden und zur Laufzeit überprüft werden, ob (SIGRTMIN+n) SIGRTMAX nicht übersteigt.

Im Gegensatz zu Standard-Signalen haben Echtzeit-Signale keine vordefinierten Bedeutungen: der gesamte Satz von Echtzeit-Signalen kann für anwendungsspezifische Zwecke genutzt werden.

Die Standardaktion für ein nicht abgefangenes Echtzeit-Signal ist der Abbruch des Prozesses.

Echtzeit-Signale zeichnen sich durch folgende Merkmale aus:

1.

Von Echtzeit-Signalen können mehrere Instanzen anstehen. Im Gegensatz dazu wird beim Versand mehrerer Instanzen eines Standard-Signals, während das Signal aktuell blockiert ist, nur eine Instanz weiter anstehen.

2.

Wenn das Signal mit Hilfe von sigqueue(3) gesendet wird, kann mit ihm ein begleitender Wert (entweder eine Ganzzahl (Integer) oder ein Zeiger) gesendet werden. Wenn der empfangende Prozess mittels des SA_SIGINFO-Schalters für sigaction(2) einen Handler für dieses Signal implementiert, kann dieser Wert aus dem si_value-Feld der siginfo_t-Struktur (das zweite Argument des Handlers) bestimmt werden. Darüber hinaus können die Felder si_uid und si_pid dieser Struktur verwendet werden, um die PID und reale Benutzerkennung des Prozesses zu erhalten, der das Signal erzeugt hat.

3.

Echtzeit-Signale werden in einer garantierten Reihenfolge zugestellt. Mehrere Echtzeit-Signale des gleichen Typs werden in der Reihenfolge zugestellt, in der sie gesendet wurden. Wenn verschiedene Echtzeit-Signale an einen Prozess geschickt werden, wird das Signal mit der niedrigsten Signalnummer zuerst zugestellt. (D.h. niedrig nummerierte Signale haben höchste Priorität.) Im Gegensatz dazu ist die Reihenfolge der Zustellung mehrerer für einen Prozess anstehender Standard-Signale nicht festgelegt.

Wenn sowohl Standard- als auch Echtzeit-Signale für einen Prozess anstehen, macht POSIX keine Angabe dazu, welche Signale zuerst zugestellt werden. Linux gibt wie auch viele andere Implementierungen den Standard-Signalen den Vorzug.

Nach POSIX sollte eine Umsetzung mindestens _POSIX_SIGQUEUE_MAX (32) Echtzeit-Signale in der Warteschlange eines Prozesses ermöglichen. Allerdings macht Linux das anders. Im Kernel bis einschließlich 2.6.7 legt Linux eine systemweite Obergrenze für die Anzahl wartender Echtzeit-Signale für alle Prozesse fest. Diese Grenze kann eingesehen und (mit entsprechenden Rechten) durch die Datei /proc/sys/kernel/rtsig-max geändert werden. Aus der verwandten Datei /proc/sys/kernel/rtsig-nr kann die Anzahl der aktuell anstehenden Signale ermittelt werden. In Linux 2.6.8 wurden diese /proc-Schnittstellen durch die Ressource RLIMIT_SIGPENDING, die einen benutzerspezifischen Grenzwert für anstehende Signale in der Warteschlange festlegt, ersetzt (siehe setrlimit(2)).

Die Ergänzung um Echtzeitsignale erforderte die Verbreiterung der Signalmengenstruktur (sigset_t) von 32 auf 64 Bit. Konsequenterweise wurden viele Systemaufrufe durch neue Systemaufrufe abgelöst, die die größeren Signalmengen unterstützten. Die alten und neuen Systemaufrufe sind wie folgt:

Unterbrechung von Systemaufrufen und Bibliotheksfunktionen durch Signal-Handler¶

• nach Abschluss des Signal-Handlers der Aufruf neu gestartet oder
• der Aufruf schlägt mit dem Fehler EINTR fehl.

Welche dieser beiden Verhaltensweisen eintritt, hängt von der Schnittstelle und der Verwendung oder Nichtverwendung des Schalters SA_RESTART ab (siehe sigaction(2)). Die Einzelheiten unterscheiden sich zwischen UNIX-Systemen. Im Folgenden werden die Linux-Spezifika erörtert.

Wenn ein blockierter Aufruf einer der folgenden Schnittstellen von einem Signal-Handler unterbrochen wird, wird der Aufruf nach der Rückkehr aus dem Signal-Handler erneut gestartet, wenn der Schalter SA_RESTART verwendet wurde; anderenfalls schlägt der Aufruf mit dem Fehler EINTR fehl:

• Aufrufe von read(2), readv(2), write(2), writev(2) und ioctl(2) für »langsame« Geräte. Bei »langsamen« Geräten kann ein E-/A-Aufruf für eine unbestimmte Zeit zu einer Blockade führen. Zu ihnen gehören beispielsweise Terminals, Pipes und Sockets. Hat ein E-/A-Aufruf für ein langsames Gerät schon Daten übertragen und wird durch einen Signal-Handler unterbrochen, wird der Aufruf mit einem Erfolgs-Status abgeschlossen (normalerweise ist das die Zahl übertragener Bytes). Beachten Sie, dass eine (lokale) Festplatte nach dieser Definition kein langsames Gerät ist. E/A-Aktionen auf Fesplattengeräten werden durch Signale nicht unterbrochen.
• open(2), wenn er blockieren kann (z. B. beim Öffnen eines FIFOs; siehe fifo(7)).
• wait(2), wait3(2), wait4(2), waitid(2) und waitpid(2).
• Socket-Schnittstellen: accept(2), connect(2), recv(2), recvfrom(2), recvmmsg(2), recvmsg(2), send(2), sendto(2) und sendmsg(2), es sei denn, es wurde für den Socket eine Zeitbegrenzung (Timeout) festgelegt (siehe unten).
• Dateisperrende Schnittstellen: flock(2) und die Aktionen F_SETLKW und F_OFD_SETLKW von fcntl(2).
• POSIX-Schnittstellen für Nachrichten-Warteschlangen: mq_receive(3), mq_timedreceive(3), mq_send(3), and mq_timedsend(3).
• futex(2) FUTEX_WAIT (seit Linux 2.6.22; vorher immer Fehlschlag mit EINTR).
• io_getevents(2)
• pthread_mutex_lock(3), pthread_cond_wait(3) und verwandte APIs.
• futex(2) FUTEX_WAIT_BITSET.
• POSIX-Semaphor-Schnittstellen: sem_wait(3) und sem_timedwait(3) (seit Linux 2.6.22; vorher immer Fehlschlag mit EINTR).
• read(2) von einem inotify(7)-Dateideskriptor (seit Linux 3.8; vorher immer Fehlschlag mit EINTR).

Folgende Schnittstellen werden nach einer Unterbrechung durch einen Signal-Handler, unabhängig von der Verwendung von SA_RESTART nie erneut gestartet; sie schlagen immer mit dem Fehler EINTR fehl:

• »Eingabe«-Socket-Schnittstellen, wenn für den Socket mittels setsockopt(2) eine Zeitbegrenzung (Timeout, SO_RCVTIMEO) festgelegt wurde: accept(2), recv(2), recvfrom(2), recvmmsg(2) (auch mit einem von NULL verschiedenen Argument timeout) und recvmsg(2).
• »Ausgabe«-Socket-Schnittstellen, wenn für den Socket mittels setsockopt(2) eine Zeitbegrenzung (Timeout, SO_RCVTIMEO) festgelegt wurde: connect(2), send(2), sendto(2) und sendmsg(2).
• Schnittstellen, mit denen auf Signale gewartet wird: pause(2), sigsuspend(2), sigtimedwait(2) und sigwaitinfo(2).
• Schnittstellen, die Dateideskriptoren mehrfach nutzen: epoll_wait(2), epoll_pwait(2), poll(2), ppoll(2), select(2) und pselect(2).
• System-V-IPC-Schnittstellen: msgrcv(2), msgsnd(2), semop(2), and semtimedop(2).
• Schlaf-Systemaufrufe: clock_nanosleep(2), nanosleep(2), and usleep(3).
• io_getevents(2)

Die Funktion sleep(3) wird ebenfalls niemals neu gestartet, wenn sie durch einen Handler unterbrochen wurde, wird aber erfolgreich verlassen: Der Rückgabewert ist die Zeit, die noch geschlafen werden sollte.

Unterbrechung von Systemaufrufen und Bibliotheksfunktionen durch Stop-Signale¶

Die folgenden Linux-Schnittstellen zeigen dieses Verhalten:

• »Eingabe«-Socket-Schnittstellen, wenn für den Socket mittels setsockopt(2) eine Zeitbegrenzung (Timeout, SO_RCVTIMEO) festgelegt wurde: accept(2), recv(2), recvfrom(2), recvmmsg(2) (auch mit einem von NULL verschiedenen Argument timeout) und recvmsg(2).
• »Ausgabe«-Socket-Schnittstellen, wenn für den Socket mittels setsockopt(2) eine Zeitbegrenzung (Timeout, SO_RCVTIMEO) festgelegt wurde: connect(2), send(2), sendto(2) und sendmsg(2), falls eine Sendezeitüberschreitung (SO_SNDTIMEO) gesetzt wurde.
• epoll_wait(2), epoll_pwait(2).
• semop(2), semtimedop(2).
• sigtimedwait(2), sigwaitinfo(2).
• Linux 3.7 und älter: read(2) von einem inotify(7)-Dateideskriptor
• Linux 2.6.21 und früher: futex(2) FUTEX_WAIT, sem_timedwait(3), sem_wait(3).
• Linux 2.6.8 und früher: msgrcv(2), msgsnd(2).
• Linux 2.4 und früher: nanosleep(2).