Main fiber shutdown joins spawned children

Platform spec ADR

Main fiber shutdown joins spawned children

Back to Fiber scheduler and stacks ◎ Open feature in platform map

Spec standingStandard

Owner

Piotr Mikstacki pmikstacki@cybernomad.it

Submitter

Piotr Mikstacki pmikstacki@cybernomad.it

Current document

Articles

• Fiber scheduler and stacks - Design model Scheduler loops, parking, and stack switching implementation expectations. article Standard Reviewed Wed May 20
• Fiber scheduler and stacks - Verification and traceability Tests and ABI anchors for fiber scheduler work. article Standard Reviewed Wed May 20

History

0 revisions (git unavailable at build; counts may be empty)

Open full history on GitHub

No commits recorded for this path.

Completeness

OKfeature · 9 SpecSection(s) · 1 H2 heading(s)

Section id	Required	Found
what-this-feature-specifies	yes	yes
implementation-anchors	yes	yes

Full tree: run pnpm verify:platform-spec-layout (writes src/generated/platform-spec-layout-report.json).

Related spec docs

• Feature
  Fiber scheduler and stacks

  Parent feature hub

• Feature
  Concurrency package

  Join and Detach API

Context

Process exit must not leak running fibers that share the GC heap. Fire-and-forget tasks still need defined failure behavior.

Decision

Rule	Detail
Main fiber	main() runs on fiber 0; scheduler starts before entry
Normal exit	When main returns, runtime Joins every spawned fiber that was not Detached
Detach	Detach fibers are not joined at shutdown
Detach panic	Unjoined Detach child panic still aborts the process
Pool shutdown	After joins complete, worker thread pool stops

Matches D-CORE-CONC-0004.

Consequences

Hosts and tests must account for shutdown latency from outstanding joins.

Verification anchors

Runtime main harness; corelib concurrency shutdown tests.