Posts

Starting from the CAP theorem and ACID properties, this article discusses the trade-offs among consistency, availability, and transaction d…

This article summarizes common issues in hash tables, such as collisions and resizing, and discusses advanced topics such as perfect hashin…

This article summarizes a practical subset of C++ features commonly used in systems programming, including recommendations on RAII, smart p…

This post explains how the Anna key-value store uses the actor model and lattice-based conflict resolution to achieve high performance and …

This article summarizes common design methods for single-node storage engines from the perspectives of data and index layout, hash tables, …

Using lower_bound as an example, this article explains how to derive and verify a binary search implementation with safety and liveness ana…

This article summarizes the architectural design of Facebook F4 for warm data object storage, along with its erasure coding and cross-data-…

This post summarizes the design and optimization ideas behind Facebook Haystack's single-machine object storage engine for hot photo storag…

This article introduces Raft's leader election and log replication mechanisms, and discusses how it differs from Paxos in understandability…

This article summarizes Paxos's core safety properties, proposal process, and the basic derivation of the single-decree consensus problem.