Sequential Consistency
সিকোয়েনশিয়াল কনসিস্টেন্সি
সব process একই operation order দেখবে, কিন্তু সেই order real-time মানবে না — শুধু প্রত্যেকের নিজের program order রক্ষা হবে।
Linearizability-র সঙ্গে পার্থক্যটা একটাই — real-time clock:
t1: P1 write(x=1) completes
t2: P2 write(x=2) starts ← t1 < t2
linearizable : read x → 2 (বা 1, যদি t2-এর point পরে হয়... না — real-time মানে 2)
sequential : read x → 1 বৈধ! যতক্ষণ সবাই '1 আগে, 2 পরে' দেখে- Lamport-এর 1979 সংজ্ঞা — multiprocessor memory model-এরও ভিত্তি
- Real-time constraint নেই বলে implement সস্তা: single sequencer দিলেই broadcast order, latency-তে clock লাগে না
- User-facing surprise: real-time-এ পরে complete হওয়া op আগে reflect হতে পারে — ticket booking-এর মতো জায়গায় অগ্রহণযোগ্য, cache-এ চলে