Phil Karlton [http://www.meerkat.com/karlton/] once said, "There are only two hard things in Computer Science: cache invalidation and naming things.[1]" There are other good variations of the quote. Mine personal favorite is Jeff Atwood's quote [https://twitter.com/codinghorror/status/506010907021828096?lang=en], "There are two…
经Martin Kleppman本人同意，这篇文章是他英文原文 [https://martin.kleppmann.com/2015/05/11/please-stop-calling-databases-cp-or-ap.html] 的中文翻译。Authorized by Martin Kleppmann, this is a Chinese translation of his original blog post [https://martin.kleppmann.com/2015/05/11/please-stop-calling-databases-cp-or-ap.html] . 在 Jeff Hodges 精彩的博客文章给年轻人关于分布式系统的笔记 [https://www.somethingsimilar.com/2013/01/14/notes-on-distributed-systems-for-young-bloods/] 中，他建议我们用CAP定理…
This is the second of two notes of Lamport's Time-Clock paper[1]. The first one is here [https://blog.the-pans.com/time-and-order/]. The problem We will be focusing on how to use Logical Clock to solve an actual problem. The problem is to grant the resource to a process, that…
This is the first of two notes of Lamport's Time-Clock paper[1]. Abstract Order is a more basic concept than Time. And it's critical to how we reason. However physical time, which even though gives us total ordering on all events, cannot be observed within the system. So, we introduced…