ustalić, czy funkcja jest asynchroniczny sygnał bezpieczny (można nazwać wewnątrz obsługi sygnału)

Question

Moje pytania są następujące:

1. Czy istnieje sposób, aby jednoznacznie określić, czy funkcja jest asynchroniczny sygnał-bezpieczny, jeśli nie masz dostępu do jego realizacji?
2. Jeśli nie, czy istnieje sposób sprawdzenia, czy funkcja jest wystarczająco bezpieczna dla sygnału asynchronicznego, aby wywołać funkcję obsługi sygnału?

Jeśli czytasz strony podręcznika signal() lub sigaction(), otrzymujesz listę funkcji asynchronizujących sygnał (funkcje, które można bezpiecznie wywoływać wewnątrz funkcji obsługi sygnału). Uważam jednak, że ta lista nie jest wyczerpująca. Na przykład, następująca strona http://linux.die.net/man/7/signal pod asynchroniczny sygnał-safe funkcje nagłówku czytamy:

POSIX.1-2004 (znany również jako POSIX.1-2001 Technicznej Sprostowanie 2) wymaga wdrożenia do zagwarantowanie, że następujące funkcje mogą być bezpiecznie wywoływane wewnątrz obsługi sygnału:

Następnie następuje lista normalnych funkcji bezpiecznego asynchronizmu wymienionych na stronach podręcznika man powyżej. Czytając to, mówi "wymaga", a nie "są to jedyne".

Na przykład, this site mówi, że back_trace_symbols_fd() jest bezpieczny dla asynchronizmu. Ta funkcja uzyskuje dane z dladdr() i nie używa malloc() jak back_trace_symbols(), więc wygląda na to, że może być bezpieczna. Zrobiłem też kilka testów, a wyjściowa struktura dladdr() zawiera zmienne char *, ale te NIE są przestarzałe w czasie wykonywania. Łańcuch znaków, który wskazują one w czasie wykonywania, nawet przed wywołaniem dladdr().

Wszelkie przemyślenia i pomysły, które mogą wskazać mi właściwy kierunek, są mile widziane.

Answer 1

Jeśli nie masz dostępu do implementacji funkcji, możesz przejrzeć stronę podręcznika. Jeśli strona podręcznika nie mówi, że jest asynchroniczna, a standard POSIX nie mówi, że jest bezpieczny asynchronicznie, jedynym bezpiecznym wnioskiem jest "nie jest tak asynchroniczny" (w połączeniu z "nie używaj").).

Nie ma w 100% niezawodnego sposobu na sprawdzenie, czy dana funkcja jest asynchroniczna. Pamiętaj, że testowanie może pokazać tylko obecność błędów, a nie ich brak (Dijkstra). Sam fakt, że nie udaje ci się połknąć funkcji, która źle funkcjonuje podczas testu, może po prostu oznaczać, że twoje testy nie są odpowiednie (ale bądź pewien, że ważny klient, którego nie możesz sobie pozwolić na obrażenie, natychmiast i przypadkowo wymyśli niesamowicie skuteczną test demonstrujący, że funkcja nie jest tak asynchroniczna, jak tylko zwolnisz kod z błędnym założeniem).

Answer 2

Co masz nadzieję osiągnąć w obsłudze sygnału? Powinieneś rozważyć, czy jest to odpowiednie miejsce. Jest prawdopodobnie najlepiej stosować się do zaleceń strony człowieka:

In general, signal handlers should do little more 
than set a flag; most other actions are not safe.