Jak powinny działać punkty kasowania POSIX?

Question

Szukałem implementacji punktów anulowania glibc/nptl i porównywania ich do POSIX-a, o ile się nie mylę, jest to całkowicie błędne. Podstawowy model stosowany:

int oldtype = LIBC_ASYNC_CANCEL(); /* switch to asynchronous cancellation mode */ 
int result = INLINE_SYSCALL(...); 
LIBC_CANCEL_RESET(oldtype); 

Według POSIX:

skutków ubocznych działający na żądanie unieważnienia, podczas gdy zawieszona w trakcie połączenia z funkcji są takie same, jak efekty uboczne, które można zobaczyć w programie jedno-gwintowym, gdy wywołanie funkcji jest przerywane sygnałem, a dana funkcja zwraca [EINTR]. Wszelkie takie efekty uboczne występują przed wywołaniem procedur usuwania anulowania.

Moje czytanie tego fragmentu jest to, że jeśli zadzwonię open, mogę oczekiwać, że albo aby anulowane (wraz z całym moim wątku), zanim nie otwiera plik, lub powrócić ważny deskryptor pliku lub wartość -1 i errno, ale nigdy, aby utworzyć nowy deskryptor pliku, a następnie utracić go w pustej przestrzeni. Z drugiej strony implementacja punktów anulowania przez glibc/nptl wydaje się dopuszczać warunki wyścigu, w których żądanie anulowania następuje tuż po powrocie systemu, ale przed LIBC_CANCEL_RESET ma miejsce.

Czy jestem szalony, czy też ich realizacja jest naprawdę zepsuta? A jeśli tak, to czy POSIX pozwala na takie zepsute zachowanie (które wydaje się sprawiać, że anulowanie jest całkowicie bezużyteczne, chyba że odłożysz je ręcznie), czy też są one rażąco ignorujące POSIX?

Jeśli to zachowanie jest w rzeczywistości uszkodzone, jaki jest prawidłowy sposób wdrożenia go bez takiego stanu wyścigu?

Answer 1

Czy nie jest to wyjaśnione w następnym akapicie normy:

Jednakże, jeśli wątek jest zawieszony na punkt anulowania i wydarzenie dla którym czeka występuje przed wniosek anulowania jest nieokreślony, to czy nie jest spełniony wniosek o anulowanie lub , czy żądanie anulowania pozostaje w toku, a wątek wznawia się normalnie.

Co oznacza, że ​​ten stan wyścigu jest całkowicie legalnym zachowaniem.