はじめに
前回までにおいては,
レプリケーションとは
並列データ処理系におけるレプリケーションは,
レプリケーションでは,
このように,
データベースや分散システムにおいては一貫性という用語が幅広い意味で用いられ,
並列分散システムにおける一貫性
並列分散システムにおいて用いられる一貫性
- Mutual Consistency
- Transaction Consistency
- Database Consistency
Mutual Consistencyは,
Transaction Consistencyは,
Database Consistencyは,
本連載では,
- ※1)
- 教科書や論文においては,
必ずしもこの用語を用いていない場合があるためご注意ください。
さまざまな一貫性
一貫性にはさまざまなものがあり,
- Strict Consistency
- Strong Consistency
(Linearlizability) - Sequential Consistency
- Causal Consistency
- Eventual Consistency
上のほうが一貫性の度合いがより強く,
Strong Consistencyとは,
一貫性の整理ができたので,
- ※2)
- それぞれの一貫性の厳密な定義は本連載では省略します。くわしく知りたい方は,
分散システムの教科書 (参考文献 [1] )[2] などをご参照ください。また, 授業の公開資料においてもある程度の情報が得られます。これらの一貫性は日本語として正しく翻訳されていないものが多いため, 本連載では英語のまま用いることとします。