Threads and Thread-Local Storage

Placeholder: This chapter is intentionally not complete yet. The current thread rulebook is an older revision and is scheduled for an update. The manual page is present now so the manual navigation remains complete and does not lead to a missing page.

Current Status

The Sec thread model is being revised. The existing rulebook still provides useful background, but it is not the version this manual should treat as final documentation. For that reason, this page deliberately avoids documenting detailed thread semantics that may change during the upcoming synchronization work.

Once the updated normative thread rulebook is available, this chapter will be rewritten as the complete manual chapter for threads and thread-local storage.

Why This Page Is a Placeholder

Sec's concurrency chapters are closely related. Threads interact with cancellation, blocking, scheduling, synchronization, transferability, memory visibility and lifecycle ownership. Writing the final chapter from an older thread rulebook would risk documenting rules that no longer match the rest of the newer concurrency model.

The manual therefore prefers an explicit placeholder over presenting outdated semantics as current language behavior.

Expected Scope

The completed chapter is expected to cover the thread-specific parts of the Sec concurrency model, including thread creation and lifecycle, thread-local storage, current-thread context, cancellation interaction, blocking behavior, synchronization, transferability and the relationship between physical threads and logical tasks.

Exact declarations, restrictions and examples will be added only after the updated normative thread rulebook has been synchronized.

Next Step

This page should be revisited immediately after the next thread-rulebook revision is complete. At that point the placeholder text should be replaced rather than extended, so the manual reflects the current model directly without historical transition text.