[IGNITE-23486] Formalize algorithm for HA mode

• Type: Improvement
• Status: Resolved
• Priority: Major
• Resolution: Fixed
• Labels: ignite-3
• Epic Link: Partition Majority Unavailability
• Assignee: Kirill Gusakov
• Reporter: Kirill Gusakov
• Created: 18/Oct/24 08:01
• Updated: 21/Oct/24 11:11
• Resolved: 21/Oct/24 11:11

Description

Motivation
We need to summarize in any formal form the algorithm of HA mode behavior for the epic IGNITE-23438.

Definition of done

• The whole algorithm described in the formal form, which suitable for use cases validation.