نماذج الاتساق

في هذا الدرس

tell the four common consistency models apart with Shop examples.

الموضوعات المخطط لها

• Strong (linearizable): every read sees the latest completed write, as if there were one copy. Costs latency and availability.
• Eventual: if writes stop, all replicas converge. Reads in between may be stale.
• Causal: if B happened because of A, nobody sees B without A (a reply never appears before its question).
• Read-your-writes: after you write, your own reads see it, even if others lag.
• Pick per operation, not per system.