Skip to content

Keep EKV available until fixture shutdown persists dirty state - #32

Open
jeregrine wants to merge 1 commit into
mainfrom
test/ekv-clean-shutdown
Open

Keep EKV available until fixture shutdown persists dirty state#32
jeregrine wants to merge 1 commit into
mainfrom
test/ekv-clean-shutdown

Conversation

@jeregrine

Copy link
Copy Markdown
Member

Problem

The shared-EKV fixture replaces DurableServer's child spec with a bare map, losing its shutdown budget. The scenario can report success and then tear down its peer/quorum before final persistence, producing forced kills and missing-ETS errors during cleanup.

Fix

Preserve the production child spec and drain both lifecycle managers before stopping durable supervisors, while EKV quorum remains available. Assert normal child termination, supervisor shutdown, the final stopped status, and preservation of dirty state before the peer is removed.

Add a focused single-node fixture-shutdown regression and exercise an unsynced update in the shared-EKV scenario so pre-existing stored state cannot satisfy the final-persistence assertion.

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