Category: Systems

CRDTs for Conflict-Free Replication

Derive convergent replicated data from merge laws, causal context, and explicit product semantics.

2026-06-17 · 14 min read

Service Discovery and Health Checking

Design service discovery as a converging membership system with explicit readiness, liveness, staleness, and observability contracts.

2026-05-24 · 14 min read

Gossip Protocols and Failure Detectors

Build scalable membership from epidemic dissemination, suspicion evidence, phi accrual, incarnation handling, and convergence tests.

2026-04-18 · 14 min read

Two-Phase Commit and Atomic Commitment

Two-phase commit turns durable participant votes into one atomic outcome, at the cost of blocking, coordination, and careful recovery.

2026-04-06 · 14 min read

The Saga Pattern for Distributed Transactions

Sagas coordinate local transactions with durable state, idempotent retries, and compensations when one global transaction is impossible.

2026-01-13 · 14 min read

Designing a Distributed Rate Limiter

A practical design for atomic token buckets, resilient enforcement, multi-region tradeoffs, observability, and abuse resistance.

2025-08-16 · 12 min read