Linearizability
লিনিয়ারাইজেবিলিটি
সব operation যেন single shared copy-র উপর real-time ক্রমে ঘটেছে — distributed object-কে এক machine-এর মতো দেখানোর সবচেয়ে কড়া চুক্তি।
also: strong-consistency, atomic-consistency
শর্ত দুটো:
1. প্রতি op-এর invoke আর response-এর মাঝে একটা 'instantaneous point'
2. সব op-এর point মিলে real-time order-এ legal sequential history- Real-time constraint-ই পার্থক্য: write complete → পরের read, অন্য client-ও হোক, নতুন value-ই দেখবে — CAS/register semantics কাজ করে
- Per-object property — আলাদা key-র linearizable store মোটের উপর serializable transaction নয়; দুই concept-কে গুলিয়ে ফেলা ক্লাসিক ভুল
- WAN latency-তে দামি (op-টা majority-র গভীরে যেতে হয়), তাই বাস্তবে quorum read/write বা Raft/Paxos log দিয়ে implement