Skip to content

Dev/robin/10530 replicate logs races with sealer regression test #57

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.

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

Open
wants to merge 7 commits into
base: main
Choose a base branch
from

Conversation

robinbryce
Copy link
Contributor

No description provided.

Robin Bryce added 7 commits March 13, 2025 09:58
When replicating the remote massif, prior to updating the local replica,
we fetch the massif and *then* fetch the seal.

This means the log can grow *and* be re-sealed after the massif is
fetched but before the seal is fetched.

With the result that the fetched massif is shorter than the fetched seal

This race is excacerbated by our rate limiting.

This change ensures that veracity fetches the seal before fetching the
massif. this guarantees that even if the massif grows, the fetched seal
will have sufficient data in the massif to be verifiable.

The remainder, tail of the massif, will be verified by the consistency
check for the *next* massif.

It does not matter if replication terminates without verifying the tail
of the last massif. Because the next time it runs it will.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant