Zachowania sygnału¶

Każdy sygnał ma przypisane bieżące zachowanie, które określa reakcję procesu na dostarczony sygnał.

Wpisy w kolumnie "Akcja" tabeli określają domyślne zachowanie dla danego sygnału, jako jedno z następujących:

Term

Domyślną akcją jest przerwanie procesu.

Ign

Domyślną akcją jest zignorowanie sygnału.

Core

Domyślną akcją jest przerwanie procesu i zapisanie obrazu pamięci (patrz core(5)).

Stop

Domyślną akcją jest zatrzymanie procesu.

Cont

Domyślną akcją jest kontynuowanie procesu, jeżeli jest obecnie zatrzymany.

Proces może zmienić zachowanie się sygnału, używając sigaction(2) lub signal(2) (to drugie jest mniej przenośne, jeśli chodzi o ustawianie akcji obsługi sygnału; szczegóły opisano w signal(2)). Używając tych wywołań systemowych, proces może wybrać jedną z poniższych reakcji na dostarczenie sygnału: wykonać domyślną akcję, zignorować sygnał, przejąć sygnał wykonując akcję obsługi sygnału, czyli podaną przez programistę funkcję, wywoływaną automatycznie po dostarczeniu sygnału (Domyślnie procedura obsługi sygnału jest uruchamiana na normalnym stosie procesu. Można to zmienić, tak żeby używany był stos alternatywny; szczegóły, jak i po co to robić, można znaleźć w sigaltstack(2)).

Zachowanie sygnału jest atrybutem poszczególnych procesów: w aplikacji wielowątkowej zachowanie danego sygnału jest takie samo dla wszystkich wątków.

Dziecko utworzone przez fork(2) dziedziczy kopię ustawień sygnałów od swojego rodzica. Podczas wywołania execve(2) przywracane są wartości domyślne ustawień, z wyjątkiem ustawienia ignorowania sygnału, które nie jest zmieniane.

Wysyłanie sygnału¶

Następujące wywołania systemowe lub funkcje biblioteczne umożliwiają wysyłanie sygnałów:

raise(3)

Wysyła sygnał do wątku, który wywołał tę funckję.

kill(2)

Wysyła sygnał do podanego procesu lub do wszystich członków podanej grupy procesów, lub do wszystkich procesów w systemie.

killpg(3)

Wysyła sygnał do wszystkich członków podanej grupy procesów.

pthread_kill(3)

Wysyła sygnał do podanego wątku POSIX w tym samym procesie, co proces wywołujący.

tgkill(2)

Wysyła sygnał do podanego wątku w podanym procesie (Jest to używane do zaimplementowania pthread_kill(3)).

sigqueue(3)

Wysyła sygnał czasu rzeczywistego wraz z powiązanymi danymi do podanego procesu.

Oczekiwanie na przechwycenie sygnału¶

Następujące wywołania systemowe zawieszają wykonywanie wywołującego je procesu lub wątku do momentu obsłużenia sygnału (lub do momentu, w którym nieobsłużony sygnał spowoduje zakończenie procesu).

pause(2)

Zawiesza wykonywanie do momentu złapania sygnału.

sigsuspend(2)

Tymczasowo zmienia maskę sygnału (patrz niżej) i zawiesza wykonywanie do momentu przechwycenia jednego z niemaskowanych sygnałów.

Synchroniczne akceptowanie sygnału¶

Zamiast asynchronicznego przechwytywania sygnału przez procedurę jego obsługi, możliwe jest synchroniczne akceptowanie sygnałów, czyli blokowanie wykonywania do czasu dostarczenia sygnału, w którym to momencie jądro zwraca informacje o sygnale do funkcji wywołującej. W ogólności można to zrobić na dwa sposoby:

• sigwaitinfo(2), sigtimedwait(2) oraz sigwait(3) zawieszają wykonanie aż do chwili dostarczenia jednego z sygnałów należącego do podanego zbioru sygnałów. Każde z tych wywołań systemowych zwraca informacje o dostarczonym sygnale.
• signalfd(2) zwraca deskryptor pliku, którego można użyć do odczytania informacji o sygnałach dostarczanych do procesu wywołującego. Każda operacja odczytu za pomocą read(2) z tego deskryptora pliku jest blokowana do czasu dostarczenia do programu wywołującego jednego z sygnałów przekazanych w zbiorze signalfd(2). Bufor zwracany przez read(2) zawiera strukturę opisującą sygnał.

Maska sygnału i sygnały oczekujące¶

Sygnał może być zablokowany, co oznacza, że nie zostanie dostarczony, dopóki się go nie odblokuje. Sygnał jest nazywany oczekującym, jeżeli został już wygenerowany, ale nie został jeszcze dostarczony.

Każdy wątek procesu ma swoją niezależną maskę sygnałów, określającą zbiór sygnałów obecnie blokowanych przez wątek. Wątek może zmieniać maskę sygnałów, używając pthread_sigmask(3). Tradycyjna, jednowątkowa aplikacja może do tego celu użyć sigprocmask(2).

Dziecko utworzone przez fork(2) dziedziczy kopię maski sygnałów od swojego rodzica. Maska jest zachowywana podczas wywołań execve(2).

A signal may be generated (and thus pending) for a process as a whole (e.g., when sent using kill(2)) or for a specific thread (e.g., certain signals, such as SIGSEGV and SIGFPE, generated as a consequence of executing a specific machine-language instruction are thread directed, as are signals targeted at a specific thread using pthread_kill(3)). A process-directed signal may be delivered to any one of the threads that does not currently have the signal blocked. If more than one of the threads has the signal unblocked, then the kernel chooses an arbitrary thread to which to deliver the signal.

Wątek może pobrać zbiór obecnie oczekujących sygnałów, używając sigpending(2). Zbiór ten będzie zawierał sygnały oczekujące skierowane zarówno do całego procesu, jak i do wywołującego wątku.

Zbiór sygnałów oczekujących dziecka utworzonego przez fork(2) jest na samym początku pusty. Zbiór ten jest zachowywany podczas execve(2).

Sygnały standardowe¶

Linux supports the standard signals listed below. Several signal numbers are architecture-dependent, as indicated in the "Value" column. (Where three values are given, the first one is usually valid for alpha and sparc, the middle one for x86, arm, and most other architectures, and the last one for mips. (Values for parisc are not shown; see the Linux kernel source for signal numbering on that architecture.) A dash (-) denotes that a signal is absent on the corresponding architecture.

First the signals described in the original POSIX.1-1990 standard.

Sygnałów SIGKILL oraz SIGSTOP nie można przechwycić, zablokować ani zignorować.

Next the signals not in the POSIX.1-1990 standard but described in SUSv2 and POSIX.1-2001.

Do wersji 2.2 Linuksa (włącznie) domyślne zachowanie dla sygnałów SIGSYS, SIGXCPU, SIGXFSZ oraz (na architekturach innych niż SPARC i MIPS) SIGBUS polegało na przerwaniu procesu (bez zrzutu pamięci). (W niektórych innych Uniksach domyślne zachowanie dla SIGXCPU i SIGXFSZ polega na przerwaniu procesu bez zrzutu pamięci). Linux 2.4 jest zgodny ze wymaganiami standardu POSIX.1-2001 dotyczącymi tych sygnałów i przerywa proces ze zrzutem pamięci.

Next various other signals.

(Sygnał 29 oznacza SIGINFO / SIGPWR na architekturze alpha, lecz SIGLOST na architekturze sparc).

SIGEMT nie jest wymieniony w POSIX.1-2001, lecz pomimo to pojawia się w większości innych Uniksów. Domyślną akcją dla tego sygnału jest zazwyczaj przerwanie procesu ze zrzutem pamięci.

SIGPWR (niewymieniony w POSIX.1-2001) jest zazwyczaj domyślnie ignorowany w tych Uniksach, w których występuje.

SIGIO (niewymieniony w POSIX.1-2001) jest domyślnie ignorowany w niektórych innych Uniksach.

Where defined, SIGUNUSED is synonymous with SIGSYS on most architectures. Since glibc 2.26, SIGUNUSED is no longer defined on any architecture.

Sygnały czasu rzeczywistego¶

Od wersji 2.2 Linux wspiera sygnały czasu rzeczywistego zdefiniowane pierwotnie w rozszerzeniu dla czasu rzeczywistego POSIX.1b (a obecnie zawarte w POSIX.1-2001). Zakres obsługiwanych sygnałów czasu rzeczywistego jest definiowany przez makra SIGRTMIN i SIGRTMAX. POSIX.1-2001 wymaga od implementacji wspierania co najmniej _POSIX_RTSIG_MAX (8) sygnałów czasu rzeczywistego.

Jądro Linuksa wspiera 33 różne sygnały czasu rzeczywistego, o numerach od 32 do 64. Jednakże implementacja wątków POSIX w glibc używa dwóch (dla NPTL) lub trzech (dla LinuxThreads) z nich na swoje wewnętrzne potrzeby (patrz pthreads(7)), odpowiednio zmieniając także SIGRTMIN (na 34 lub 35). Ponieważ zakres dostępnych sygnałów czasu rzeczywistego zmienia się zależnie od implementacji wątków w glibc (różnice mogą występować również w czasie działania aplikacji, zależnie od wersji jądra i glibc) i tak naprawdę zakres ten różni się pomiędzy implementacjami Uniksa, programy nigdy nie powinny się odwoływać do sygnałów czasu rzeczywistego za pomocą liczb wpisanych na stałe, ale powinny zawsze się odwoływać do sygnałów czasu rzeczywistego używając notacji SIGRTMIN+n, i sprawdzać (podczas działania aplikacji), czy SIGRTMIN+n nie przekracza SIGRTMAX.

W odróżnieniu od sygnałów standardowych, sygnały czasu rzeczywistego nie mają predefiniowanego znaczenia: można wykorzystywać cały zestaw sygnałów czasu rzeczywistego do celów określonych w aplikacji.

Domyślą akcją na nieobsłużony sygnał czasu rzeczywistego jest przerwanie procesu, który go otrzymał.

Sygnały czasu rzeczywistego są rozpoznawane w następujący sposób:

1.

Można kolejkować wiele egzemplarzy sygnału czasu rzeczywistego. Dla odróżnienia, jeśli w czasie gdy standardowy sygnał jest blokowany zostanie doręczonych wiele egzemplarzy tego sygnału, tylko jeden egzemplarzy trafia do kolejki.

2.

Jeśli sygnał wysłano korzystając z sigqueue(3), można wysłać wraz z tym sygnałem wartość towarzyszącą (całkowitą lub wskaźnik). Jeśli proces otrzymujący ustanawia funkcję obsługi dla tego sygnału za pomocą znacznika SA_SIGACTION funkcji sigaction(2), to otrzymuje towarzyszącą mu daną za pośrednictwem pola si_value struktury siginfo_t przekazanej jako drugi argument funkcji obsługi. Ponadto, pola si_pid oraz si_uid tej struktury mogą służyć do otrzymania identyfikatora procesu oraz rzeczywistego identyfikatora użytkownika procesu wysyłającego sygnał.

3.

Sygnały czasu rzeczywistego są doręczane w zagwarantowanej kolejności. Sygnały czasu rzeczywistego jednego rodzaju są doręczane w takiej kolejności, w jakiej zostały wysłane. Jeśli do procesu zostaną wysłane różne sygnały czasu rzeczywistego, będą one doręczone począwszy od sygnału o najniższym numerze. (Tzn. sygnały o niskich numerach mają najwyższy priorytet). Sygnały standardowe zachowują się inaczej: jeśli kilka standardowych sygnałów oczekuje na proces, to kolejność dostarczenia nie jest określona.

POSIX nie określa, które z sygnałów powinny zostać doręczone jako pierwsze w sytuacji, gdy obsłużenia wymagają zarówno sygnały standardowe, jak i sygnały czasu rzeczywistego. Linux, podobnie do innych implementacji, daje w tym przypadku pierwszeństwo sygnałom standardowym.

Zgodnie z POSIX, implementacja powinna zezwalać na kolejkowanie do procesu co najmniej _POSIX_SIGQUEUE_MAX (32) sygnałów czasu rzeczywistego. Jednakże w Linuksie zostało to zaimplementowane inaczej. Aż do wersji jądra 2.6.7 (włącznie) Linux narzuca ogólnosystemowe ograniczenie liczby sygnałów czasu rzeczywistego kolejkowanych do wszystkich procesów. Ograniczenie to można zobaczyć, a także (przy odpowiednich uprawnieniach) zmienić za pośrednictwem pliku /proc/sys/kernel/rtsig-max. Podobnie, za pośrednictwem pliku /proc/sys/kernel/rtsig-nr można dowiedzieć się, ile sygnałów czasu rzeczywistego jest aktualnie w kolejce. W Linuksie 2.6.8 ten interfejs /proc został zastąpiony limitem zasobów RLIMIT_SIGPENDING, który określa limit kolejkowanych sygnałów dla poszczególnych użytkowników; patrz setrlimit(2) w celu uzyskania dalszych informacji.

The addition of real-time signals required the widening of the signal set structure (sigset_t) from 32 to 64 bits. Consequently, various system calls were superseded by new system calls that supported the larger signal sets. The old and new system calls are as follows:

Przerywanie wywołań systemowych i funkcji bibliotecznych przez funkcje obsługi sygnałów¶

Jeśli procedura obsługi sygnału jest wywołana w trakcie wywołania systemowego lub wywołania funkcji bibliotecznej to wtedy albo:

• wywołanie jest automatycznie uruchamiane ponownie po zakończeniu funkcji obsługującej sygnał, albo
• wywołanie zwraca błąd EINTR.

To, które z powyższych wystąpi, zależy od interfejsu i od tego, czy podczas ustanawiania funkcji obsługi sygnału użyto znacznika SA_RESTART (patrz sigaction(2)). Szczegóły się różnią między różnymi Uniksami, poniżej podano szczegóły dotyczące Linuksa.

If a blocked call to one of the following interfaces is interrupted by a signal handler, then the call is automatically restarted after the signal handler returns if the SA_RESTART flag was used; otherwise the call fails with the error EINTR:

• Wywołania read(2), readv(2), write(2), writev(2) i ioctl(2) na urządzeniach "powolnych". Urządzenie "powolne" to takie, w którym operacja wejścia/wyjścia może się blokować przez nieskończony czas, na przykład: terminal, potok lub gniazdo. Jeśli wywołanie systemowe wejścia/wyjścia na urządzeniu powolnym spowodowało już jakiś transfer danych, zanim zostało przerwane przez sygnał, to zwróci ono pomyślny kod zakończenie (będący zazwyczaj liczbą przetransferowanych bajtów). Proszę zauważyć, że (lokalny) dysk zgodnie z tą definicją nie jest urządzeniem powolnym: operacje wejścia/wyjścia na urządzeniach dyskowych nie są przerywane sygnałami.
• open(2), jeśli może się zablokować (np. podczas otwierania FIFO, patrz fifo(7)).
• wait(2), wait3(2), wait4(2), waitid(2) i waitpid(2).
• Interfejsy gniazd: accept(2), connect(2), recv(2), recvfrom(2), recvmmsg(2), recvmsg(2), send(2), sendto(2) i sendmsg(2), chyba że ustawiono timeout na gnieździe (patrz niżej).
• Interfejsy blokady plików: flock(2) i F_SETLKW oraz operacje F_OFD_SETLKW fcntl(2)
• Interfejsy kolejek komunikatów POSIX: mq_receive(3), mq_timedreceive(3), mq_send(3) i mq_timedsend(3).
• futex(2) FUTEX_WAIT (od Linuksa 2.6.22; wcześniej zawsze zwracał błąd EINTR).
• getrandom(2).
• pthread_mutex_lock(3), pthread_cond_wait(3) i powiązane API.
• futex(2) FUTEX_WAIT_BITSET.
• Interfejsy semaforów POSIX: sem_wait(3) i sem_timedwait(3) (od Linuksa 2.6.22; wcześniejsze wersje zawsze zwracały błąd EINTR).
• read(2) from an inotify(7) file descriptor (since Linux 3.8; beforehand, always failed with EINTR).

Następujące interfejsy nigdy nie są wznawiane po przerwaniu przez funkcję obsługi sygnału, niezależnie od tego, czy SA_RESTART zostało użyte. Jeśli zostaną przerwane przez funkcję obsługi sygnału, to zawsze kończą się niepowodzeniem, zwracając błąd EINTR:

• "Wejściowe" interfejsy gniazd, jeśli ustawiono timeout gniazda (SO_RCVTIMEO) za pomocą setsockopt(2): accept(2), recv(2), recvfrom(2), recvmmsg(2) (również z niezerowym argumentem timeout) i recvmsg(2).
• "Wyjściowe" interfejsy gniazd, jeśli ustawiono timeout gniazda (SO_RCVTIMEO) za pomocą setsockopt(2): connect(2), send(2), sendto(2) i sendmsg(2).
• Interfejsy oczekiwania na sygnały: pause(2), sigsuspend(2), sigtimedwait(2) i sigwaitinfo(2).
• Interfejsy zwielokrotniające deskryptory plików: epoll_wait(2), epoll_pwait(2), poll(2), ppoll(2), select(2) i pselect(2).
• Interfejsy komunikacji międzyprocesowej Systemu V: msgrcv(2), msgsnd(2), semop(2) oraz semtimedop(2).
• Interfejsy pauzujące proces: clock_nanosleep(2), nanosleep(2) i usleep(3).
• io_getevents(2).

Funkcja sleep(3) nigdy nie zostanie zrestartowana po przerwaniu przez sygnał i zawsze kończy się pomyślnie, zwracając liczbę pozostałych sekund, podczas których proces powinien był pauzować.

Przerywanie wywołań systemowych i funkcji bibliotecznych przez sygnały zatrzymujące proces¶

Pod Linuksem, nawet jeśli procedury obsługi sygnału nie zostaną ustawione, pewne interfejsy blokujące mogą się zakończyć niepowodzeniem i zwrócić błąd EINTR po tym, jak proces zostanie zatrzymany za pomocą jednego z sygnałów zatrzymujących (takich jak SIGSTOP), a następnie wznowiony za pomocą SIGCONT. POSIX.1 nie wspiera tego zachowania, nie występuje ono także na innych systemach.

Następujące interfejsy Linuksa zachowują się w ten sposób:

• "Wejściowe" interfejsy gniazd, jeśli ustawiono timeout gniazda (SO_RCVTIMEO) za pomocą setsockopt(2): accept(2), recv(2), recvfrom(2), recvmmsg(2) (również z niezerowym argumentem timeout) i recvmsg(2).
• "Wyjściowe" interfejsy gniazd, jeśli ustawiono timeout gniazda (SO_RCVTIMEO) za pomocą setsockopt(2): connect(2), send(2), sendto(2) i sendmsg(2), jeśli ustawiono timeout wysyłania danych(SO_SNDTIMEO).
• epoll_wait(2), epoll_pwait(2).
• semop(2), semtimedop(2).
• sigtimedwait(2), sigwaitinfo(2).
• Linux 3.7 and earlier: read(2) from an inotify(7) file descriptor
• Linux 2.6.21 i wcześniejsze: futex(2) FUTEX_WAIT, sem_timedwait(3), sem_wait(3).
• Linux 2.6.8 i wcześniejsze: msgrcv(2), msgsnd(2).
• Linux 2.4 i wcześniejsze: nanosleep(2).