How FoundationDB works and why it works

FoundationDB is a very impressive database. Its paper won the best industry paper award in SIGMOD’21. In this post, I will explain, in detail, how FDB works and discuss a few very interesting design choices they made. It’s a dense paper packed with neat ideas. Many details (sometimes even proof of correctness) are not included in the paper. I added the proof wherever necessary.

What is FoundationDB?

It’s a non-sharded, strict serializable, fault tolerant, key-value store that supports point writes, reads and range reads…