Skip to content

fix: reclaim quiescent polling session queues - #1

Draft
sanchuanhehe wants to merge 1 commit into
feat/ws53-control-core-protocolfrom
feat/ws53-coex-quiescent-reclaim
Draft

sanchuanhehe wants to merge 1 commit into
feat/ws53-control-core-protocolfrom
feat/ws53-coex-quiescent-reclaim

Conversation

@sanchuanhehe

Copy link
Copy Markdown
Contributor

A polling endpoint or session retained its shared-mailbox backends without a way to reclaim them, even after the platform had stopped the peer. Add explicit unsafe reclaim methods that consume the endpoint or session and return both backends and the authority policy.

Reclaim requires quiescence, no outstanding references or accesses, cache reconciliation, and explicit acceptance of losing any staged receive. Session invalidation alone does not satisfy these requirements. Add a host test covering an invalidated session with a staged message and both backend destructors.

Validation: 29 all-feature host tests and host Clippy passed from an independent remote checkout; RISC-V Clippy passed locally with build-std. No physical peer or cache behavior was exercised.

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