Fix: worker-chip region cleanup replay - #1835
Conversation
- Use the WorkerChipOrchRegion contract directly during cleanup - Require test fake regions to expose the same expired/free surface
Track cleanup-owned chip release separately from user-facing region release. A replayed close now retries the native host mapping close without returning the same chip region twice.
|
Important Review skippedAuto incremental reviews are disabled on this repository. Please check the settings in the CodeRabbit UI or the ⚙️ Run configurationConfiguration used: Organization UI Review profile: CHILL Plan: Pro Plus Run ID: You can disable this status message by setting the Use the checkbox below for a quick retry:
No actionable comments were generated in the recent review. 🎉 ℹ️ Recent review info⚙️ Run configurationConfiguration used: Organization UI Review profile: CHILL Plan: Pro Plus Run ID: 📒 Files selected for processing (4)
📝 WalkthroughWalkthroughWorker-chip cleanup now uses public expiration state and explicit release tracking. Failed host mapping closure remains retryable, while committed chip release and region freeing occur only once. Tests cover repeated ChangesWorker-chip cleanup
Estimated code review effort: 3 (Moderate) | ~20 minutes Merge Risk: ⚪ Minimal · up to The PR adjusts worker-chip cleanup replay and preserves retryable host-mapping closure behavior; no actionable merge-blocking risk remains beyond normal checks and review. Possibly related PRs
Poem
🚥 Pre-merge checks | ✅ 4 | ❌ 1❌ Failed checks (1 warning)
✅ Passed checks (4 passed)
Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out. Comment |
80d255b to
17e71fc
Compare
17e71fc to
b9ccf01
Compare
Summary
This PR handles the #1770 follow-up items.
Done here:
getattr(region, "expired", ...)with directregion.expiredgetattr(region, "free", None)/ callable check with directregion.free()WorkerChipOrchRegion_releasedcontrol_worker_chip_region_release(...)succeedsAlready handled in #1822:
WorkerChipOrchRegioncompatibility facade over W4 region access pieces_region_*binding surfacevalidate_single_owner_region_shapeNot done here:
comm_region.pyhygienecreate_region(...)