>>546-547
じゃあsem_initの第二引数psharedはなんの為にあるっていうんですかー！
ていうか『「実装によっては....」みたいに混乱』してたり『一部の例外を取り上げて』るのは君自身じゃない？
POSIXセマフォはpsharedが有ることから分かるようにプロセス間も想定してるのに、
LinuxThreadsという実装に依存した制限をPOSIXセマフォ全体に適用しちゃってるじゃん。
古いPOSIXでsem_initにpsharedがなかったとかなら謝るけど、現在は存在してるわけで。

539で規格と実装をまとめて実装として区別したのは手抜きだったけど、
実装によっては駄目って話は規格関係ないしなんでそう噛み付くんだよ。
規格は規格で、実装は(規格の一部を含むだけの)実装。
一つの規格には複数の実装がありうるし、実装だけ見て規格覚えた気になったら駄目だよ。