Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

TLA+ spec for changes #8699

Closed
arssher opened this issue Aug 12, 2024 · 2 comments
Closed

TLA+ spec for changes #8699

arssher opened this issue Aug 12, 2024 · 2 comments
Assignees
@arssher
Labels
c/storage/safekeeper Component: storage: safekeeper

Comments

@arssher
Copy link
Contributor

arssher commented Aug 12, 2024

No description provided.

@arssher arssher mentioned this issue Aug 12, 2024
Open
@arssher arssher self-assigned this Aug 12, 2024
@arssher arssher mentioned this issue Nov 7, 2024
Merged
@arssher arssher added the c/storage/safekeeper Component: storage: safekeeper label Nov 11, 2024
@arssher
Copy link
Contributor Author

arssher commented Nov 25, 2024

status: addressed review #9607 , working on confiugration change spec

@arssher arssher mentioned this issue Dec 2, 2024
Merged
github-merge-queue bot pushed a commit that referenced this issue Dec 2, 2024
@arssher
Update consensus protocol spec (#9607)
fa909c2 
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 #8699
awarus pushed a commit that referenced this issue Dec 5, 2024
@arssher @awarus
Update consensus protocol spec (#9607)
84687b7 
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 #8699
@arssher
Copy link
Contributor Author

arssher commented Dec 16, 2024

Plan to close this when #9966 is merged.

github-merge-queue bot pushed a commit that referenced this issue Jan 9, 2025
@arssher
TLA+ spec for safekeeper membership change (#9966)
030ab1c 
## 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 #8699
@arssher arssher closed this as completed Jan 9, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@arssher arssher

Labels
c/storage/safekeeper Component: storage: safekeeper
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@arssher