POSIXキャンセルポイントはどのように動作するはずですか？

Question

私は取り消しポイントのglibcを/ NPTLの実装を見て、およびPOSIXとの比較、そして私が間違えてるしない限り、それは完全に間違っていてきました。使用される基本的なモデルは次のとおり

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

POSIXによれば：

関数の呼び出し中に懸濁しながら解除要求に作用するの副作用は、副作用と同じですある関数への呼び出しがシグナルによって中断され、与えられた関数が[EINTR]を返すときに、シングルスレッドプログラムで見ることができます。このような副作用は、キャンセル・クリーンアップ・ハンドラーが呼び出される前に発生します。

この通路の私の読書は、私がopenを呼び出す場合、私はそれどちらかそれはファイルを開くことができない前に（私の全体のスレッドと一緒に）取り消さ取得するには、またはが有効を返すことを期待することができるということですファイルディスクリプタまたは-1とerrnoの値を使用しますが、新しいファイルディスクリプタを作成して無効にしないでください。一方、キャンセルポイントのglibc/nptl実装は、キャンセル要求がシステムコールが返された直後で、かつLIBC_CANCEL_RESETが発生する前に発生する競合状態を考慮しているようです。

は私が狂ったアム、またはその実装は本当にこれが壊れているのですか？もしそうなら、POSIXはそのような壊れた振る舞いを許します（手動で延期しない限り、取り消しを完全に使えなくするようです）、あるいはPOSIXをちょっと無視していますか？

この動作が実際に壊れている場合は、そのような競合状態なしでそれを実装するための正しい方法は何ですか？

Answer 1

が、これは標準の次の段落で明らかにされていない：

スレッドが で中断されている場合しかし、それは待っている ための取り消しポイントとイベントが 取り消し要求の前に発生しました キャンセル要求が行われたかどうか、または キャンセル要求 が保留状態のままであり、スレッドが 通常実行を再開するかどうかは不明であるため、 は処理されません。この競合状態が完全に合法行動であることを意味し

。