|
逐次一貫性 ()は並行プログラミングにおける一貫性モデルの一種である。「どのような実行結果も、すべてのプロセッサがある順序で逐次的に実行した結果と等しく、かつ、個々のプロセッサの処理順序がプログラムで指定された通りであること」と定義されている〔Leslie Lamport, "How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs", IEEE Trans. Comput. C-28,9 (Sept. 1979), 690-691.〕。 同じメモリー部分（ページ、仮想オブジェクト、セル等）に対する書き込み操作がすべてのノードにおいて同じ順序で観測されるならば、例えその順序が実際に操作が行われた時間順序とは異なっていたとしても、そのシステムでは逐次一貫性が保証される。 逐次一貫性は厳密な一貫性()（これはすべての操作が発行された順序で実行されることを求める。ただし、分散並列システムでは大域的な時間を決定することができないので、実現不能である。）よりも緩やかな一貫性モデルである。 == 関連項目 == * 並列処理 * 並行プログラミング * 一貫性モデル * 不可分操作 * 直列化可能性 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「逐次一貫性」の詳細全文を読む スポンサード リンク
|