rust/neon
1
0
Fork 0
mirror of https://github.com/neondatabase/neon.git synced 2026-01-03 19:42:55 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
release-compute
neon/safekeeper/spec/models
History
Arseny Sher 030ab1c0e8 TLA+ spec for safekeeper membership change (#9966) 
## Problem

We want to define the algorithm for safekeeper membership change.

## Summary of changes

Add spec for it, several models and logs of checking them.

ref https://github.com/neondatabase/neon/issues/8699
2025-01-09 12:26:17 +00:00
..
MCProposerAcceptorReconfig_p2_a2_t2_l2_c3.cfg
TLA+ spec for safekeeper membership change (#9966)
2025-01-09 12:26:17 +00:00
MCProposerAcceptorReconfig_p2_a2_t2_l2_c5.cfg
TLA+ spec for safekeeper membership change (#9966)
2025-01-09 12:26:17 +00:00
MCProposerAcceptorReconfig_p2_a3_t2_l2_c3.cfg
TLA+ spec for safekeeper membership change (#9966)
2025-01-09 12:26:17 +00:00
MCProposerAcceptorReconfig_p2_a4_t2_l2_c3.cfg
TLA+ spec for safekeeper membership change (#9966)
2025-01-09 12:26:17 +00:00
MCProposerAcceptorStatic_p2_a3_t2_l2.cfg
Update consensus protocol spec (#9607)
2024-12-02 16:10:44 +00:00
MCProposerAcceptorStatic_p2_a3_t3_l2.cfg
Update consensus protocol spec (#9607)
2024-12-02 16:10:44 +00:00
MCProposerAcceptorStatic_p2_a3_t3_l3.cfg
Update consensus protocol spec (#9607)
2024-12-02 16:10:44 +00:00
MCProposerAcceptorStatic_p2_a3_t4_l4.cfg
Update consensus protocol spec (#9607)
2024-12-02 16:10:44 +00:00
MCProposerAcceptorStatic_p2_a5_t2_l2.cfg
Update consensus protocol spec (#9607)
2024-12-02 16:10:44 +00:00
MCProposerAcceptorStatic_p2_a5_t3_l3.cfg
Update consensus protocol spec (#9607)
2024-12-02 16:10:44 +00:00
MCProposerAcceptorStatic_p2_a5_t4_l3.cfg
Update consensus protocol spec (#9607)
2024-12-02 16:10:44 +00:00