Skip to content

feat(compiler): add scheduler timer reactor - #297

Open
julia-script wants to merge 3 commits into
mainfrom
codex/add-scheduler-timer-reactor
Open

feat(compiler): add scheduler timer reactor#297
julia-script wants to merge 3 commits into
mainfrom
codex/add-scheduler-timer-reactor

Conversation

@julia-script

@julia-script julia-script commented Aug 30, 2026

Copy link
Copy Markdown
Owner

Summary

  • override the scheduler task-local MonotonicClock.waitFor and waitUntil operations so only the calling Fiber parks while siblings continue
  • add a stable deadline heap, cached per-turn monotonic mark, and exact registration/Wake ownership behind a private event-interest boundary that can later host HTTP, WebSocket, and other async sources
  • make timer completion, structured cancellation, typed shutdown, provider reuse, and forced destruction of a parked nested scheduler release every authority without stale readiness
  • update the OpenSpec proposal, language/reference docs, generated standard-library table, and toolchain integrity digest

OpenSpec

All 31 tasks in add-scheduler-timer-reactor are complete. Strict validation passes.

Verification

  • pnpm typecheck
  • pnpm exec biome check .
  • pnpm test
  • pnpm check
  • pnpm release:candidate
  • openspec validate add-scheduler-timer-reactor --strict
  • git diff --check

Coverage includes scripted-clock evaluator semantics, direct Wasm timer agreement, shared native timer execution, exact cancellation/allocation traces, arbitrary heap removal, scheduler reuse, and nested forced-owner cleanup. The architecture, implementation, and spec reviewer loops all completed with no remaining actionable findings.

@vercel

vercel Bot commented Aug 30, 2026

Copy link
Copy Markdown

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated (UTC)
silk-effect-docs Ready Ready Preview Aug 30, 2026 3:18pm

Request Review

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