Стратегія адаптивного регулювання кворуму (AQA) для досягнення детермінованого консенсусу при змінних затримках

Надійність реплікованих станкових машин в умовах затримки підривається недетермінованим вибором лідера та порядком фіксації, що ускладнює тестування, відтворення помилок, аудит та відновлення в режимі реального часу в реальних умовах розгортання. Мета дослідження полягала у відновленні детермінованого консенсусу в умовах змінної затримки шляхом визначення адаптивного коригування кворуму (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 є стратегією, а не винаходом, її можна відкрито застосовувати як захисний бар'єр навколо навчальних або адаптивних модулів без патентних обмежень