有关于青葱年少的记忆，已经稀稀落落，七七八八，但有一处却是岿然不动的存在，那就是宫崎骏的电影。 宫崎骏的电影是充满夏日情怀的，是蔚蓝天空上划过的飞机留下的长长的云迹，是清冽泉...
发简信
IP属地：重庆
有关于青葱年少的记忆，已经稀稀落落，七七八八，但有一处却是岿然不动的存在，那就是宫崎骏的电影。 宫崎骏的电影是充满夏日情怀的，是蔚蓝天空上划过的飞机留下的长长的云迹，是清冽泉...
前面对 TLA+ 有了一个大概的介绍，但我相信大家可能仍然是一头雾水，我们如何使用 TLA+ 去验证系统原型设计的正确性呢？我觉得我们可以先从一些简单的例子入手，然后再逐渐理...
YCSB 是一个非常出名的性能测试框架，我们可以非常方便的用它来对系统进行多维度的性能测试，本来我也准备使用它来对我们系统进行性能测试的，但在调研了一番之后，我决定直接用 G...
不久之前，FoundationDB （后面用 fdb 简化） 重新开源，对于大家来说，这真的是一个非常好的消息。我也在第一时间下载了 fdb 的源码，开始研究，一方面是看我...
在使用 Jepsen 和我自己折腾的 chaos 的时候，我都有一个困惑，就是这些测试能测出来问题吗？ 譬如对于 Jepsen 来说，它会启动一批节点，运行要测试的集群，然后...
经过很长一段时间的开发，TiDB 终于发了 RC3。RC3 版本对于 TiKV 来说最重要的功能就是支持了 gRPC，也就意味着后面大家可以非常方便的使用自己喜欢的语言对接 ...
最近在排查 TiDB 性能问题的时候，通过工具发现了一些问题，觉得有必要记录一下，让自己继续深刻的去理解相关工具的使用，也同时让同学们对类似问题的时候别再踩坑。 使用 ios...
这两天准备进击Web前端尝试学习HTML，在使用Markdown中发现HTML已经被兼容了，使用“<”符号会被文本默认为HTML语句而不予显示，比如： < a href="#...
