Grow-Only Set — element faqat qo‘shiladigan va hech qachon olib tashlanmaydigan state-based CRDT to‘plami. U taqsimlangan tizimdagi aniq consistency, replication yoki fault-handling masalasini ifodalaydi. Kafolatlar faqat termin nomidan emas, protocol modeli, failure farazlari va implementatsiya hujjatidan aniqlanadi.
Arxitektura
Har replica local setga element qo‘shadi. Merge ikki setning unioni orqali bajariladi. Union commutative, associative va idempotent bo‘lgani uchun xabar takrorlanishi yoki tartibi o‘zgarishi convergencega zarar bermaydi.
Grow-Only Set alohida algoritm yoki konfiguratsiya sifatida emas, client xulqi, storage persistence va tarmoq noaniqligi bilan birga ko‘riladi. Bir tugundagi muvaffaqiyat boshqa replica ham shu state’ni commit qilganini avtomatik anglatmaydi. Shu sabab acknowledgementning aniq ma’nosi va visible state chegarasi hujjatlashtiriladi.
Ma’lumot oqimi
G-Set oddiy va metadata’si elementlarning o‘zi bilan cheklanadi, ammo delete imkoniyati yo‘q. Two-Phase Set remove’ni alohida grow-only tombstone setida saqlab o‘chirish qo‘shadi, lekin elementni qayta qo‘shishga ruxsat bermaydi.
Grow-Only Set bo‘yicha performance o‘lchovi correctnessdan keyin bajariladi. Throughput bilan birga tail latency, abort yoki conflict soni, replication lag, log hajmi va recovery vaqti qayd etiladi. O‘rtacha natija qisqa partition yoki compaction paytidagi keskin pasayishni yashirishi mumkin.
Muhim shartlar
Elementlar soni faqat o‘sadi, shu sabab retention cheksiz bo‘lsa storage ham o‘sadi. Domain haqiqatan monoton bo‘lsa, masalan ko‘rilgan immutable IDlar, G-Set mos bo‘ladi.
Grow-Only Set dizaynida safety va liveness ajratiladi. Safety buzilishi qarama-qarshi commit yoki noto‘g‘ri qiymatga, liveness buzilishi esa tizimning oldinga siljimasligiga olib keladi. Timeoutni qisqartirish livenessni tezlashtirishi mumkin, biroq sekin tarmoqda false failure va keraksiz leader almashishini oshiradi.
Diagnostika
Grow-Only Setni productionga chiqarishda staged rollout va rollback sharti belgilanadi. Aralash versiyalar protocol maydonlari hamda log formatini bir xil talqin qilishi kerak. Migration davomida dual-write ishlatilsa, ikkala yo‘l orasidagi tafovut o‘lchanadi va vaqtinchalik mexanizmni o‘chirish mezoni oldindan yoziladi.
Grow-Only Setga taalluqli invariantlar monitoring qoidalariga aylantiriladi. Masalan, bir epochda ikki faol writer, commit indexning orqaga qaytishi yoki replica orasidagi ruxsat etilgan lagdan oshish alohida signal beradi. Signal faqat threshold emas, xizmatga ta’sir va davomiylik bilan baholanadi. Qisqa maintenance hodisasi bilan uzluksiz data xavfi bir xil ogohlantirish darajasida bo‘lmaydi. Incident yopilgach, aniqlash va recovery vaqti o‘lchanib, runbook hamda avtomatik tekshiruv yangilanadi.
Grow-Only Set holatini kuzatishda configuration version, role yoki epoch, commit nuqtasi, queue va log ko‘rsatkichlari birlashtiriladi. Alert operator bajara oladigan tekshiruvga bog‘lanadi: qaysi node, qaysi key yoki transaction va qaysi vaqt oralig‘i ko‘rilishi aniq yoziladi. Aggregate dashboarddan keyin xom dalil bilan tasdiqlash noto‘g‘ri tashxisni kamaytiradi.
Grow-Only Setga oid bahoni qayta ishlab bo‘lishi uchun test topologiyasi, software versiyasi, fault injection va kutilgan invariant saqlanadi. Yakuniy natija taxmin yoki bitta log satriga emas, bir-birini tasdiqlovchi state, history va o‘lchovlarga asoslanadi. Qabul qilingan cheklovlar ham natija bilan birga yozilib, boshqa workloadga ko‘r-ko‘rona ko‘chirilmaydi.
Bog‘liq tushunchalar
G-Set, CRDT, set union, monotonic data, Two-Phase Set, eventual consistency