rust/neon
1
0
Fork 0
mirror of https://github.com/neondatabase/neon.git synced 2026-01-04 12:02:55 +00:00
Code Issues Packages Projects Releases Wiki Activity
8,308 Commits 1,487 Branches 282 Tags
cloneable/proxy-logging-benchmark
Commit Graph

2 Commits

Author SHA1 Message Date
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
Arseny Sher
fa909c27fc Update consensus protocol spec (#9607) 
The spec was written for the buggy protocol which we had before the one
more similar to Raft was implemented. Update the spec with what we
currently have.

ref https://github.com/neondatabase/neon/issues/8699
 2024-12-02 16:10:44 +00:00