POSIX 標準によると、パイプへの書き込みはアトミックであることが保証されています (データ サイズが PIPE_BUF 未満の場合)。
私が理解している限り、これは、パイプに書き込もうとするスレッドが、別のスレッドの書き込みの途中でパイプにアクセスすることは決してないことを意味します。私には明らかでないのは、これがどのように達成されるか、そしてこの原子性の保証が他の意味を持つかどうかです。
これは単に、書き込みスレッドが書き込み関数内のどこかでロックを取得することを意味するのでしょうか?
パイプに書き込んでいるスレッドは、書き込み操作中にコンテキスト外でスケジュールされないことが保証されていますか?