Мувофиқати оқибат дар амал

Мувофиқати ниҳоӣ (EC) моделест, ки дар он нусхаҳои маълумот метавонанд муваққатан аз ҳам ҷудо шаванд, аммо дар ниҳоят бидуни ҳамоҳангсозии глобалӣ муттаҳид мешаванд. Ин калиди дастрасии баланд (AP by CAP) ва таъхири кам (PACELC) мебошад, агар инвариантҳо, қоидаҳо ва кафолатҳои муштариён дуруст муайян карда шаванд.

1) Кай интихоб кардани EC (ва вақте ки не)

• Каналҳо, профилҳо, маъқулҳо/ҳисобкунакҳо, феҳристҳо/ҷустуҷӯҳо, манзараҳои кэшшуда.
• Системаҳои глобалӣ бо вурудоти маҳаллӣ ва инвариантҳои мулоим.
• Пешгӯиҳо (CQRS), ки дар он манбаи ҳақиқат ядро ​ ​ сахт аст ва мехонад асинхронӣ аст.

• Инвариантҳои сахт: пул, беҳамтоӣ, маҳдудиятҳо, инвентаризатсия "ба минус ворид намешаванд. "Он ҷо - CP/EC қавитар, sagas/TSS.

2) Тарҳрезии маълумоти EC: ихтилофҳо ва ҳалли онҳо

Принсип: Ҳар як сабт метамаълумоти версия ва функсияи якҷояшавии детерминистиро иҷро мекунад.

Вақтсанҷҳо/версия: 'версия', 'ts', 'актёр'.
Соати векторӣ: сабабҳоро ислоҳ мекунад, ба шумо имкон медиҳад, ки "параллелҳои ихтилофӣ" -ро бифаҳмед.

• LWW (Last-Write-Wins): Оддӣ ва зуд, аммо метавонад "маъно" -ро аз даст диҳад.
• CRDT: сохторҳои коммутативӣ/идемпотентӣ, конвергенсияи кафолат.
• Якҷоякунии домен: функсияи бизнес (масалан, якҷоя кардани рӯйхатҳо бе нусхабардорӣ, ҳисобкунакҳо, "навтарин почтаи электронӣ + tag merge").

• Ҳисобкунакҳои G-Counter/PN-Counter
• Маҷмӯи OR-Set → (несткунӣ бе "часпидан").
• Регистрҳо → LWW-Register (бо эҳтиёт дар бораи "талафот").
• Харитаҳо/ҳуҷҷатҳо → Харитаи CRDT.
• Ҳаммуаллифӣ → матни CRDT/OT.

3) Реплика ва анти-энтропия

Ғайбат/анти-энтропия: мубодилаи даврии давлатҳо/hash байни гиреҳҳо.
Интиқоли ишорашуда: муваққатан вуруд ба гиреҳи дастнорас.
Таъмирро хонед: ҳангоми хондан онҳо номутобиқатиро пайдо карданд - онҳо версияҳои охиринро кашиданд.
Бастаҳоро иваз кунед (deltas): мо deltas меронем, на аксҳои пурра.
Кворумҳои R/W: 'R', 'W', 'N' -ро барои вайрон кардани суръат ва тару тоза танзим кунед (масалан, 'R + W> N' дар "сабти охирин" ба қавӣ наздик аст).

4) Кафолати муштариён аз EC

Read-Your-Writes (RYW): муаллиф онро пас аз сабти худ мебинад (аломати часпак-сессия/версия).
Хондани Monotonic: муштариро ба арзиши кӯҳна "баргардонед" (нишонаи обро версияи охиринро нигоҳ доред).
Мувофиқати сабабӣ: сабабҳоро дар ҷараёни сессия/амал нигоҳ доред (нишонаҳои векторӣ дар сарлавҳаҳо/нишонаҳо).
Staleness маҳдуд: кафолати "на дертар аз версияҳои t/N" барои экранҳои UX-интиқодӣ.

5) Намунаҳои UX барои EC

Навсозиҳои оптимистӣ: фавран амалро инъикос намуда, аломати "синхронизатсия" -ро нишон медиҳад.
Нишони тару тоза: нишони "навшудаи X sec пеш", тугмаи "Навсозӣ".
Низоъ-UI: барои бархӯрдҳои нодир - "ҳарду версияро нишон диҳед ва интихоб кунед/якҷоя кунед".
Скелет/ҷойгоҳ + таровати мулоим: UI-ро бо интизории кворумҳои ҷаҳонӣ манъ накунед.

6) Қолабҳои меъморӣ

6. 1 пешгӯиҳои CQRS +

Навиштан-ядро ​ ​ (CP): инвариантҳои қатъӣ.
Ҳавопаймои хондан (EC): пешгӯиҳои асинхронӣ, индексатсияҳо, кэшҳо; ақибмонӣ қобили қабул аст.

6. 2 AP бисёрзабона

Ба таври маҳаллӣ зуд нависед, асинхронӣ такрор кунед.
Тақсимоти гео: додаҳои "зиндагӣ" ба корбар наздиктаранд; салиб-минтақа - агрегатҳо.
Функсияҳои CRDT/якҷояшавӣ дарди муноқишаҳоро сабук мекунанд.

6. 3 Танзими кворум

yaml consistency:
replicas: 3 # N write_quorum: 2 # W read_quorum: 2 # R => R + W> N, closer to freshness on "last record"
read_repair: true hinted_handoff: true

7) Сиёсати амудӣ ва якҷоякунӣ (мисол)

yaml entity: "profile"
versioning:
clock: "vector"    # или "hybrid_time"
fields:
name:   { merge: "lww" }
emails:  { merge: "set_union" }   # OR-Set tags:   { merge: "or_set" }
likes:   { merge: "pn_counter" }
conflict_ui:
enabled: true show_diff_for: ["name"]
auto_merge_for: ["emails","tags","likes"]

8) Мушоҳидаҳои EC: чиро чен кардан лозим аст

Асри устуворӣ (p50/p95/p99): 'ҳоло − data_version_ts' ё "шумораи версияҳои ақибмонда".
Қафои такрорӣ: таъхири интиқол байни минтақаҳо/сайтҳо.
Меъёри низоъ: ҳиссаи навсозиҳои мувозӣ, тақсимот аз рӯи намудҳо.
Сатҳи хондан/Таъмир: ҳангоми хондан чӣ қадар ва чӣ қадар зуд муносибат мекунем.
Вақти конвергенсия: Вақти конвергенсия пас аз таркиши сабтҳо/нокомии гиреҳ.
SLO-ҳои семантикӣ: "95% профилҳо аз 2s калонтар нестанд", "99% хўрокҳо <10s".

9) Дафтарчаи корӣ ва ҳодисаҳо

1. Афзоиши ақибмонӣ дар дохили минтақа: кам кардани 'навиштани мухлис', аз ҷумла таъмири хашмгин ва нависандагони вазнин.

2. Афзоиши муноқишаҳо: муваққатан қоидаҳои "қатъӣ" -ро фароҳам оваред (масалан, сабабҳо/RYW), навсозиҳои рақобатиро дар калидҳои гарм маҳдуд кунед.

3. Қафои дурнамо: навбати репликатсияро афзалият диҳед, басомади навсозиҳои ғайримуқаррариро муваққатан кам кунед.

4. Маълумот дар баъзе гиреҳҳо "часпидааст": қувва-анти-энтропия, мувозинати ҳизбҳо, санҷиши интиқол.

5. Таҳлили дастӣ: борфарории калидҳои ихтилофӣ, асбоби "merge-preview", ислоҳи ҷанг.

10) Санҷиши EC

Санҷишҳои ба монанди Jepsen: тақсимоти шабака, соат-соат, аз нав сабт кардан.
Ба моликият асос ёфтааст: инвариантҳои функсияҳои якҷояшавӣ (коммутатсия, idempotency, associativity).
Ихтилофи Fuzz: навсозиҳои мувозӣ барои як калид бо фармоиши таҳвили тағйирёбанда.
Бор кардани "арра": пардаи навбатӣ/лулҳо барои арзёбии вақти конвергенсия.
Моделҳои UX: RYW/монотоникӣ дар сенарияҳои маъмулӣ.

11) Бисёр иҷорагир ва нақшаҳо

Барчаспҳои 'иҷорагир _ id/plan/region' in чорабиниҳо/сабтҳо.
Адолат: Такрор/таъмир ба як иҷорагир маҳдуд аст, то муштарии "ғавғо" ғавғои умумиро зиёд накунад.
Истиқомат: маълумот ва нусхаҳои он дар доираи салоҳият; назари байниминтақавӣ танҳо агрегатҳо.

12) Хатогиҳои маъмулӣ

LWW "барои ҳама чиз. "Тағироти параллелии семантикиро аз даст медиҳад; CRDT/якҷояшавии домейнро истифода баред.
Кафолати муштариён вуҷуд надорад. Корбар сабти шахсии худро "намебинад" → гум кардани эътимод.
Ягон мушоҳидаи кӯҳна нест. Ягон ченаки stalence/lag → "degradation пинҳон" вуҷуд надорад.
Ба системаҳои гуногун бидуни якҷояшавӣ дучанд нависед. Фантомҳо ва ихтилофҳо беохир мебошанд.
Тартиби глобалӣ бо ҳама арзиш. Кворумҳои иловагӣ p95-ро мекушанд ва фармоиши маҳаллӣ барои тиҷорат кофӣ аст.

13) Дорухатҳои зуд

Таъом/лента: EC + сабабӣ/RYW барои муаллиф, CRDT барои реаксияҳо, ноустувории p95 ≤ 2-5c.
Профилҳо/танзимот: якрангии маҳдуд (≤ 1 -2c), RYW, якҷояшавии домейн (маҷмӯи иттифоқҳо).
Каталоги глобалӣ: тақсимоти гео-қисм, нусхабардории асинхронӣ, таъмири талабот, муноқишаҳо тавассути OR-Set.
Ҳисобкунакҳо/ҳисобкунакҳо: PN-Counter, муттаҳидшавӣ дар замина; Қиматҳои "тахминӣ" -ро бо нишона нишон медиҳад.

14) Мини стандартӣ (схемаи шифоҳӣ)

Навиштан: сабти маҳаллӣ бо версия ('вектор/гибрид'), сабти рӯйдодҳо.
Реплика: очереди + ғайбат/анти-энтропия, супоридани ишора.
Захира: тақсимот аз рӯи калид, функсияҳои CRDT/якҷоя дар сатҳи навиштан.
Ҳавопаймо барои хондан: кэшҳо бо таъмири хониш, аломатҳои RYW/монотоникӣ, устувории маҳдуд барои экранҳои интиқодӣ.
Мушоҳида: ақибмонӣ/кӯҳна/муноқишаҳо, огоҳиҳо барои аз ҳад зиёд пинҳон кардани SLO.

15) Рӯйхати санҷиши пеш аз фурӯш

• Инвариантҳо ва дар куҷо иҷозат додани EC ба таври возеҳ тасвир карда шудаанд.
• Функсияҳои векторӣ/гибридӣ ва якҷояшавӣ/CRDT детерминистӣ интихоб карда мешаванд.
• Кафолатҳои иҷрошудаи муштариён (RYW/monotonic/causal) барои UX-ҳои интиқодӣ.
• Нусхабардорӣ, таъмири хондан, интиқоли ишорашуда танзим карда шудааст; Кворумҳои R/W ҳуҷҷатгузорӣ карда мешаванд.
• ченакҳои ноустуворӣ/ақибмонӣ/конвергенсия ва ҳушдорҳои ҳадди p95/p99.
• Дафтарчаи корӣ 'ва афзоиши муноқишаҳо/ақибмонӣ; воситаҳои бехатари якҷоякунии дастҳо.
• Санҷишҳо барои қисмҳои шабака, навсозиҳои мувозӣ ва амволи конвергенсия.
• Маҳдудиятҳои иҷорагир ва сиёсати истиқомат баррасӣ карда мешаванд.
• Нишондиҳандаҳои тару тоза ва рафтори пастравии UX ба маҳсулот мувофиқанд.

Хулоса

Мувофиқати ниҳоӣ "созиш барои созиш" нест, балки василаи миқёс ва дастрасӣ аст. Агар шумо инварианҳоро ба расмият дароред, функсияҳои дурусти якҷоякуниро интихоб кунед (беҳтараш CRDT дар ҳолати зарурӣ), ба муштариён кафолат диҳед ва вақти устуворӣ ва конвергенсияро чен кунед, система ҳам барои корбарон ва ҳам барои тиҷорат зуд, устувор ва ростқавл хоҳад буд.