Monica’s Reviews > Designing Data-Intensive Applications: The Big Ideas Behind Reliable, Scalable, and Maintainable Systems > Status Update

Ch 10 - This whole chapter the author talks about everything related to consensus except what it exactly is. Same for Linerizability. He talks about it but never defines it until the summary section. Also he frequently references the broadcast protocol but the only definition of it is in a small footnote. He goes into tm detail yet no definitions, so I’ve been confused this entire chapter

Chapter 9, the trouble with distributed systems: model checkers are an interesting idea in how they check the algorithm logic over the implementation