分散システムV(CAPとトレードオフ)

CAP定理を正確に理解し、よくある誤解を正します。ネットワーク分断が起きたとき一貫性と可用性のどちらを優先するか、その判断がなぜ生まれるのかを、Gilbert-Lynchの形式化とAbadiのPACELCという一次ソースに沿って学びます。CassandraやetcdなどのAP/CPシステムの位置づけ、調整可能な一貫性(quorum)の仕組みまで、原理に絞って身につけます。