Modern systems programming forces developers into a "Concurrency Trilemma”. We must choose between: (1) the ecosystem fragmentation of "colored" async/await functions, (2) the deadlocks and cache-line contention of OS threads with mutexes, or (3) the garbage collection and VM overhead of traditional Actor models like Erlang.
What if we refuse to choose from those? This talk explores how to achieve massive, multi-core concurrency using pure state machines in non-GC languages (C/Zig/Odin).
We will walk through the "Isolates and Effects" pattern. Instead of blocking or awaiting I/O, programmers write synchronous-looking handler functions that perform state transitions (Effects). By mapping these pure state machines onto a shared-nothing, Thread-per-Core architecture, we achieve the fault-tolerance and mental simplicity of the Actor model, but with predictable, mechanically sympathetic native performance.