Skip to content

Support checkpoint GC in leader for mode stateful operators - #1112

Merged
mwylde merged 1 commit into
masterfrom
leader_mode_gc
Jul 27, 2026
Merged

Support checkpoint GC in leader for mode stateful operators#1112
mwylde merged 1 commit into
masterfrom
leader_mode_gc

Conversation

@mwylde

@mwylde mwylde commented Jul 24, 2026

Copy link
Copy Markdown
Member

This PR follows on the initial support for checkpoint GC in leader mode for stateless operators (#1076) by adding support for stateful operators as well. Stateful operators are much more complex to GC, because their state may be stored over many checkpoints. GC thus requires reachability analysis: we must determine that a state file is no longer reachable from any active checkpoint root before it may be deleted.

We do lose some of the nicer memory bounding properties of the previous implementation, which took a streaming approach to cleaning checkpoints, but that is largely unavoidable.


Open in Devin Review

@devin-ai-integration devin-ai-integration Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

✅ Devin Review: No Issues Found

Devin Review analyzed this PR and found no potential bugs to report.

View in Devin Review to see 1 additional finding.

Open in Devin Review

@mwylde
mwylde enabled auto-merge (squash) July 27, 2026 18:14
@mwylde
mwylde merged commit c4cb7d3 into master Jul 27, 2026
7 checks passed
@mwylde
mwylde deleted the leader_mode_gc branch July 27, 2026 18:23
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.

2 participants