Reducing Lock Contention with Side Pointers in B‑link Trees
Side pointers provide a low‑overhead way to break hot‑spot locks in B‑link trees, improving scalability without sacrificing correctness.
Posts
The Statistical Reality of Quorum Reads and Writes
A deep dive into the math behind quorum operations, showing how to predict consistency, latency, and failure risk in modern distributed stores.
How the MESI Protocol Resolves Stale Cache States
A deep dive into the MESI protocol, showing how it prevents stale cache states through precise state transitions and real‑world examples.
How Erlang Process Isolation Governs the Actor Model
Erlang’s process isolation is the core of its Actor Model implementation, delivering robust fault‑tolerance and massive scalability.
When Snapshot Isolation Fails to Prevent Write Skew
Snapshot isolation prevents many concurrency bugs but still allows the subtle write‑skew anomaly. This article explains why, shows real‑world examples, and offers concrete mitigation techniques.