Total order — to‘plamdagi har qanday ikki elementni o‘zaro taqqoslab, ulardan qaysi biri oldin kelishini aniqlash mumkin bo‘lgan tartib munosabatidir. Distributed tizimlarda atama ko‘pincha barcha participantlar bir xil eventlar ketma-ketligini ko‘rishini anglatadi. Bu faqat har node lokal tartib saqlashi emas; ikki concurrent event uchun ham yagona global joy tanlanadi.
Matematik xususiyatlar
Total order reflexive yoki strict ta’rifga qarab formal ifodalanadi, lekin asosiy g‘oya comparability’dir. Nonstrict ≤ munosabat antisymmetric va transitive bo‘ladi hamda har a, b juftlik uchun a ≤ b yoki b ≤ a bajariladi. Partial order’da esa ayrim elementlar incomparable qolishi mumkin.
Version vector sababiy bog‘langan eventlarni tartiblaydi, concurrent eventlarni esa majburan bir qatorga qo‘ymaydi. Timestamp bilan sort qilish total ko‘rinish berishi mumkin, lekin turli clocklar teng yoki noto‘g‘ri vaqt ko‘rsatadi. Tie-breaker sifatida node ID qo‘shish deterministik tartib beradi, ammo u real vaqt yoki causalityni avtomatik isbotlamaydi.
Total order broadcast
Total order broadcast’da barcha sog‘lom consumerlar yetkazilgan xabarlarni ayni ketma-ketlikda ko‘radi. Agar bir replica Ani Bdan oldin qo‘llasa, boshqalari ham shunday qiladi. State machine replication deterministik commandlarni shu log tartibida bajarib, replica holatini bir xil saqlaydi.
Sequencer barcha xabarga monoton raqam berishi mumkin, lekin u bottleneck va failure point bo‘ladi; failover epoch bilan boshqariladi. Consensus protokollari leader va quorum yordamida log positionga kelishadi. Sharding global total orderni har partition ichidagi orderga almashtirib throughputni oshiradi, ammo cross-partition operatsiyalar uchun qo‘shimcha koordinatsiya kerak.
Narx va semantika
Total order latency va availability xarajatiga ega. Network partition paytida consistency saqlash uchun ayrim tomon yozuvni qabul qilmasligi mumkin. Har eventga global order kerak bo‘lmasa, causal yoki per-key ordering yetarli va samaraliroq. Masalan, turli mijozlarning mustaqil buyurtmalarini o‘zaro qat’iy tartiblash biznes qiymat bermasligi mumkin.
Order delivery vaqtiga teng emas. Consumer kechikib qolsa ham log position bo‘yicha to‘g‘ri tartibda qayta o‘qiydi. Duplicate delivery ehtimoli alohida idempotency talabini saqlaydi. Bir xil order deterministik bo‘lmagan handler — local vaqt, random yoki tashqi APIga tayansa — replica natijasini baribir ajratishi mumkin.
Tekshiruv
Testlar parallel producer, leader almashishi, retry, duplicate va partitiondan keyingi recoveryni qamrab oladi. Har yozuvga log index va epoch biriktirilib, monitoring gap, inversion va apply lagni aniqlaydi. Formal invariant “commit qilingan bir positionda ikki turli qiymat bo‘lmaydi” kabi aniq ifodalanadi; faqat yakuniy state tengligini tekshirish ayrim vaqtinchalik buzilishlarni yashirishi mumkin.
Snapshot va log qisqartirish
Total ordered log cheksiz saqlanmaydi. Replica ma’lum indexgacha state snapshot yaratib, oldingi entrylarni compact qilishi mumkin. Snapshot aynan qaysi committed positionni qamragani metadata’da ko‘rsatiladi; aks holda entry ikki marta yoki umuman qo‘llanmasligi mumkin. Yangi replica snapshotni olib, undan keyingi logni tartibda replay qiladi. Membership o‘zgarishi ham ordered entry sifatida boshqarilsa eski va yangi quorumning bir-biridan uzilib ketishi oldi olinadi. Client response yo‘qolib retry qilganda ayni command ID deduplicate qilinadi, chunki total order duplicate commandni avtomatik birlashtirmaydi. Read consistency esa follower lag va linearizable read siyosatiga alohida bog‘liq.
Bog‘liq tushunchalar
Partial order, Causal order, Consensus, Total order broadcast, State machine replication, Logical clock, Message ordering