Skip to content

docs(design): ReorderBuffer spill-to-tempfile for stalled successors (#1884)#4228

Merged
oferchen merged 1 commit into
masterfrom
docs/reorderbuffer-spill-design-1884
May 17, 2026
Merged

docs(design): ReorderBuffer spill-to-tempfile for stalled successors (#1884)#4228
oferchen merged 1 commit into
masterfrom
docs/reorderbuffer-spill-design-1884

Conversation

@oferchen
Copy link
Copy Markdown
Owner

Summary

Test plan

  • cargo fmt --all clean
  • No em-dashes, no forbidden references in the new doc
  • All cited file:line locations verified against the worktree state

…1884)

Design note covering the bounded-memory reorder-buffer spill path.
Documents that SpillableReorderBuffer already exists and is hardened,
but is not wired into the consumer; recommends extending the
reorderbuffer_memory bench with a synthetic huge-drift scenario before
enabling the spill on the default path.
@oferchen oferchen merged commit 5c6cd31 into master May 17, 2026
8 checks passed
@github-actions github-actions Bot added the documentation Improvements or additions to documentation label May 17, 2026
oferchen added a commit that referenced this pull request May 18, 2026
…1884) (#4228)

Design note covering the bounded-memory reorder-buffer spill path.
Documents that SpillableReorderBuffer already exists and is hardened,
but is not wired into the consumer; recommends extending the
reorderbuffer_memory bench with a synthetic huge-drift scenario before
enabling the spill on the default path.
oferchen added a commit that referenced this pull request May 18, 2026
…1884) (#4228)

Design note covering the bounded-memory reorder-buffer spill path.
Documents that SpillableReorderBuffer already exists and is hardened,
but is not wired into the consumer; recommends extending the
reorderbuffer_memory bench with a synthetic huge-drift scenario before
enabling the spill on the default path.
@oferchen oferchen deleted the docs/reorderbuffer-spill-design-1884 branch May 19, 2026 19:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant