書き込み追従型一貫性 (Writes-Follows-Reads)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/08/29 18:38 UTC 版)
「一貫性モデル (ソフトウェア)」の記事における「書き込み追従型一貫性 (Writes-Follows-Reads)」の解説
書き込み追従型一貫性では,更新は前の読み取り操作を実行した後に伝搬される.Tanenbaum et al., 2007では、Writes-follows-reads consistencyの条件を以下のように定義している。 あるプロセスによるデータアイテムxへの書き込み操作が,同じプロセスによるxへの以前の読み取り操作の後に行われた場合,読み取られたxと同じかより新しい値に対して行われることが保証される。
※この「書き込み追従型一貫性 (Writes-Follows-Reads)」の解説は、「一貫性モデル (ソフトウェア)」の解説の一部です。
「書き込み追従型一貫性 (Writes-Follows-Reads)」を含む「一貫性モデル (ソフトウェア)」の記事については、「一貫性モデル (ソフトウェア)」の概要を参照ください。
- 書き込み追従型一貫性のページへのリンク