Skip to content

fix(vm): event-style log drain for run_deferred_main#24

Merged
ZhiXiao-Lin merged 1 commit into
mainfrom
fix/deferred-log-drain
Jun 12, 2026
Merged

fix(vm): event-style log drain for run_deferred_main#24
ZhiXiao-Lin merged 1 commit into
mainfrom
fix/deferred-log-drain

Conversation

@ZhiXiao-Lin

Copy link
Copy Markdown
Contributor

Replace the fixed 150ms post-exit sleep with a bounded poll: wait until container.json stops growing for one 40ms interval (1s cap). Faster when the shim's log processor has already drained, safer when it lags. KVM-verified: test_real_pool_deferred_main passes (and completes faster, ~15.6s vs ~22s).

Replace the fixed 150ms post-exit sleep with a bounded poll: wait until
container.json stops growing for one 40ms interval (1s cap). Faster when the
shim's log processor has already drained, safer when it lags.
@ZhiXiao-Lin ZhiXiao-Lin merged commit 8f341bb into main Jun 12, 2026
7 checks passed
@ZhiXiao-Lin ZhiXiao-Lin deleted the fix/deferred-log-drain branch June 12, 2026 06:31
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