A strategy for adaptive quorum adjustment (AQA) to achieve deterministic consensus under variable latencies

Abstract

Reliability of replicated state machines under latency skew is undermined by nondeterministic leader elections and commit ordering, which complicates testing, bug reproduction, audits, and on-call recovery in real deployments. The study aimed to restore deterministic consensus under variable latencies by specifying Adaptive Quorum Adjustment (AQA). The methodology fixed observation-window and sensitivity parameters a priori and evaluated neutral exemplars (replicated log, in-memory register, parser-driven machine, Abstract Syntax Tree transformations) on 5- and 7-node clusters across near-normal, bimodal, heavy-tailed, bursty, and split-merge regimes. Across 12,000 election-commit rounds, AQA eliminated mismatches in both leader sequence and commit order (24,000 hash comparisons, 0%), reduced re-elections by 37.5-40.4% (mean –38.9%), and contracted longtail decision times (election p99 –24.8% on average; commit p99 –25.6%) while preserving safety via mandated quorum intersections (N=5: qt ∈ [3, 5]; N = 7: qt ∈ [4, 6]). Non-reproducibility – seen as leader-sequence and commitorder mismatches, long-tail latencies, and unnecessary re-elections – stemmed from randomised timeouts and multivalued quorum sizing, whereas restored determinism is a structural consequence of stable node ranking, a total-order quorum rule, and guaranteed intersections of prefix quorums. Deterministic leader/commit histories make test runs and failure-injection scenarios replay-identical, shorten incident timelines by curbing election thrash and tail latencies, simplify post-mortems through stable event orderings, and improve operator confidence during partitions and healing; and because AQA is a strategy rather than an invention, it can be adopted openly as a guardrail around learning or adaptive modules without patent encumbrances.

Надійність реплікованих станкових машин в умовах затримки підривається недетермінованим вибором лідера та порядком фіксації, що ускладнює тестування, відтворення помилок, аудит та відновлення в режимі реального часу в реальних умовах розгортання. Мета дослідження полягала у відновленні детермінованого консенсусу в умовах змінної затримки шляхом визначення адаптивного коригування кворуму (AQA). Методологія заздалегідь фіксувала параметри вікна спостереження та чутливості та оцінювала нейтральні зразки (реплікований журнал, реєстр в пам'яті, машина на основі парсера, перетворення абстрактного синтаксичного дерева) на кластерах з 5 та 7 вузлами в майже нормальному, бімодальному, важкому, спалаховому та роздільному режимах. Протягом 12 000 раундів виборів та підтверджень AQA усунула невідповідності як у послідовності лідерів, так і в порядку підтверджень (24 000 порівнянь хеш-функцій, 0 %), зменшила кількість повторних виборів на 37,5–40,4 % (у середньому –38,9%) та скоротила час прийняття рішень з довгим хвостом (вибори p99 –24,8 % у середньому; фіксація p99 –25,6 %), зберігаючи безпеку за допомогою обов'язкових перетинів кворуму (N = 5: qt ∈ [3, 5]; N = 7: qt ∈ [4, 6]). Невідтворюваність – що проявляється у вигляді невідповідності послідовності лідерів та порядку підтвердження, тривалих затримок та непотрібних повторних виборів – була спричинена випадковими тайм-аутами та багатозначним розміром кворуму, тоді як відновлений детермінізм є структурним наслідком стабільного ранжування вузлів, правила тотального порядку кворуму та гарантованих перетинів префіксних кворумів. Детерміновані історії лідерів/ комітів роблять тестові запуски та сценарії введення помилок ідентичними для повторного відтворення, скорочують терміни інцидентів шляхом обмеження виборів та затримок, спрощують аналіз після інцидентів завдяки стабільному порядку подій та підвищують впевненість операторів під час розділення та відновлення; а оскільки AQA є стратегією, а не винаходом, її можна відкрито застосовувати як захисний бар'єр навколо навчальних або адаптивних модулів без патентних обмежень.