Concurrency

Hidden Memory Hazards in Lock-Free Data Structures

A deep dive into hidden memory hazards in lock‑free structures, with examples, diagnostics, and mitigation techniques for reliable concurrent code.

Diagram of two overlapping database transactions causing a write‑skew anomaly.

Where Snapshot Isolation Fails to Prevent Write Skew

A deep dive into the write‑skew problem under snapshot isolation, illustrating the failure mode, its impact on applications, and ways to avoid it.

Illustration of Go goroutines flowing across multiple CPU cores.

How the Go Runtime Balances Work Across Processor Threads

A deep dive into Go’s scheduler, showing how goroutines are mapped to OS threads, how work stealing and preemption keep CPUs busy, and practical tips for tuning performance.

Illustration of overlapping epochs in concurrent memory reclamation.

How Epoch-Based Reclamation Avoids the Stalled Pointer Problem

A deep dive into epoch‑based reclamation, showing why it solves the stalled pointer issue and how to apply it safely in high‑performance concurrent code.

Diagram of a lockless queue with arrows showing state transitions.

Formal Verification of Lockless Data Structures Using TLA⁺

This article walks through modeling lock‑free queues and stacks in TLA⁺, proving safety and liveness, and offers practical tips for scaling verification to production code.