逐次一貫性

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動: 案内検索

逐次一貫性 (英語: sequential consistency)は並行プログラミングにおける一貫性モデルの一種である。「どのような実行結果も、すべてのプロセッサがある順序で逐次的に実行した結果と等しく、かつ、個々のプロセッサの処理順序がプログラムで指定された通りであること」と定義されている[1]

同じメモリー部分(ページ、仮想オブジェクト、セル等)に対する書き込み操作がすべてのノードにおいて同じ順序で観測されるならば、例えその順序が実際に操作が行われた時間順序とは異なっていたとしても、そのシステムでは逐次一貫性が保証される。

逐次一貫性は厳密な一貫性(英語: strict consistency)(これはすべての操作が発行された順序で実行されることを求める。ただし、分散並列システムでは大域的な時間を決定することができないので、実現不能である。)よりも緩やかな一貫性モデルである。

関連項目[編集]

脚注[編集]

  1. ^ Leslie Lamport, "How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs", IEEE Trans. Comput. C-28,9 (Sept. 1979), 690-691.