「pthreadサポート」の意味するところ - yohhoyの日記ある処理系が “POSIXスレッド(pthread)標準をサポートする” とき、処理系（実行環境を含む）で担保すべき事項と、利用者（アプリケーションプログラマ）が守るべき制約についてメモ。 アプリケーションをプログラマの意図通り実行させるための、処理系／利用者間の責任分解点は「メモリ同期(memory synchronization)」により定義される。 利用者：複数スレッドからの少なくともどれか1つが書込操作となる変数アクセスの場合、“メモリ同期関数” を用いた排他制御により変数アクセスが同時に生じないよう保証すること。 全てが読込操作である変数アクセスの場合、複数スレッドからの変数アクセスを同時に行ってもよい。（そのようなコードを書いても、意図通り実行されることが保証されている。） 処理系：コンパイル時に最適化を行う場合でも、あるスレッド内での変数アクセス操作を “メモリ同期関数” 呼
