The Thread Safety Tradeoffs of Epoch Based Reclamation
A deep dive into epoch based reclamation, its thread‑safety model, performance trade‑offs, and how it stacks up against alternative reclamation schemes.
Posts
Decoupling Program Logic with Algebraic Effects and Handlers
Algebraic effects and handlers provide a principled way to decouple program logic from effectful operations, improving modularity and testability.
Why Cgroups V2 Redefined Modern Linux Resource Isolation
Cgroups v2 unifies the control hierarchy, introduces granular I/O and memory throttling, and simplifies container orchestration, making Linux resource isolation more predictable and efficient.
Building Userland Mutexes with the Futex System Call
A deep dive into constructing efficient mutexes in user space with futex, complete with code examples and best practices.
Tracing the Limits of Cuckoo Hashing Eviction Chains
We dissect the mechanics of cuckoo hashing, derive worst‑case chain length bounds, and present engineering tricks that prevent long eviction cascades.