¿Cómo se supone que se comportan los puntos de cancelación POSIX?

Question

He estado viendo la implementación de puntos de cancelación de glibc/nptl, y comparándolo con POSIX, ya menos que esté equivocado, está completamente equivocado. El modelo básico utilizado es:

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

Según POSIX:

Los efectos secundarios de actuar sobre una solicitud de cancelación mientras está suspendido durante una llamada de una función son los mismos que los efectos secundarios que puede verse en un programa de subproceso único cuando una llamada a una función se interrumpe por una señal y la función dada devuelve [EINTR]. Cualquiera de estos efectos secundarios ocurre antes de que se llame a los controladores de cancelación.

Mi lectura de este pasaje es que si llamo open, puedo esperar que ya sea para obtener cancelado (junto con toda mi hilo) antes de que falle para abrir un archivo, o para devolver una válida descriptor de archivo o -1 y errno valor, pero nunca para crear un nuevo descriptor de archivo y luego perderlo en el vacío. Por otro lado, la implementación glibc/nptl de los puntos de cancelación parece permitir una condición de carrera donde la solicitud de cancelación ocurre justo después de que syscall regrese pero antes de que ocurra el LIBC_CANCEL_RESET.

¿Estoy loco, o su implementación realmente está rota? Y si es así, ¿posix permite un comportamiento tan defectuoso (que parece inutilizar la cancelación a menos que lo posponga manualmente), o simplemente ignoran descaradamente POSIX?

Si este comportamiento se rompe, ¿cuál es la forma correcta de implementarlo sin dicha condición de carrera?

Answer 1

¿No es éste aclaró en el siguiente párrafo de la norma:

Sin embargo, si el hilo se suspende en un punto cancelación y el evento para la que se espera se produce antes de la solicitud de cancelación de se actúa en consecuencia, no se especifica si se responde a la solicitud de cancelación o si la solicitud de cancelación permanece pendiente y el hilo reanuda la ejecución normal .

Lo que implica que esta condición de carrera es un comportamiento perfectamente legal.