前面对 TLA+ 有了一个大概的介绍，但我相信大家可能仍然是一头雾水，我们如何使用 TLA+ 去验证系统原型设计的...[作者空间]
TLA+ 并不是一门很容易掌握的语言，在学习之前，我们需要了解一些简单的数学知识。这里需要注意，为了打字方便，很多...[作者空间]
引子 在讨论 TiKV Transaction 之前，我们先聊聊 Percolator。TiKV 的事务是参考 G...[作者空间]
介绍 对于一套系统的设计，通常我都是想好了，然后直接捋起袖子写代码了。写完了，在开始加很多 test 来保证它的正...[作者空间]
