rust/neon
1
0
Fork 0
mirror of https://github.com/neondatabase/neon.git synced 2026-08-22 05:58:27 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
arthur/repr-oom-basebackup
neon/safekeeper
T
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
..
benches
safekeeper: lift benchmarking utils into safekeeper crate (#10200)
2024-12-19 14:04:42 +00:00
client
Extract safekeeper http client to separate crate. (#10140)
2024-12-16 12:07:24 +00:00
spec
TLA+ spec for safekeeper membership change (#9966)
2025-01-09 12:26:17 +00:00
src
Revert "pageserver,safekeeper: disable heap profiling (#10268)" (#10303)
2025-01-07 22:49:00 +00:00
tests
safekeeper: lift benchmarking utils into safekeeper crate (#10200)
2024-12-19 14:04:42 +00:00
Cargo.toml
safekeeper: lift benchmarking utils into safekeeper crate (#10200)
2024-12-19 14:04:42 +00:00