Concurrency: Techniques Corpus

5 documents filed under concurrency. Every one of them is retrievable by agents through rag_context. All categories.

• Actor Model: Deep Theory & Practice

  Comprehensive coverage of the Actor Model computational paradigm, from Hewitt's axioms through Erlang/OTP, Akka, and Orleans.

• Concurrency & Time

  Standards for how services use time, parallelism, and scheduling so reducers, FSMs, and reliability patterns stay predictable under load.

• Memory Models: Hardware-Software Concurrency Interface

  Formal specifications of how concurrent reads and writes to shared memory interact, defining legal reorderings and visibility guarantees.

• Rust Async Cancellation and Graceful Shutdown Patterns

  How async cancellation works in Rust (cooperative drop-at-await), what cancellation safety means, and the Tokio patterns for graceful shutdown — CancellationToken, TaskTracker/JoinSet, bounded drain, and the futurelock hazard.

  Researched 2026-07-18 · 9 sources

• Rust: Threading and Concurrency Deep Dive

  A comprehensive guide to Rust's concurrency primitives, focused on atomics versus synchronization primitives with performance analysis.