セッション保証
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/10/07 18:39 UTC 版)
因果関係のある一貫性モデルは、4つのセッション保証に集約できる。それらは以下のようにまとめられる。 Read Your Writes:あるプロセスが書き込みを実行した場合、同じプロセスが後でその書き込みの結果を観測する。 Monotonic Reads:あるプロセスが観測した(読んだ)書き込みの集合は、単調に非減少することが保証されている。 Writes Follow Reads:あるプロセスがリードの後にライトを実行し、別のプロセスがライトの結果を観測した場合、そのプロセスもリードを観測できる(上書きされていない限り)。 Monotonic Writes: あるプロセスが書き込みを行い、しばらくしてから別の書き込みを行った場合、他のプロセスは同じ順序でそれらを観測する。 Daudjee and Salemによって直列性とスナップショット分離のトランザクション・セッション保証が提示されている。
※この「セッション保証」の解説は、「因果整合性」の解説の一部です。
「セッション保証」を含む「因果整合性」の記事については、「因果整合性」の概要を参照ください。
- セッション保証のページへのリンク