#杂
Databend metasrv的Jepsen测试环境，我在README里面写了一下测试的步骤。目前用例还不够丰富，以目前的用例暂未发现服务的问题，后面需要继续丰富用例。

学习Jepsen的流程里，顺便了解（目前的深度确实只能说是“了解”）了一下以下的内容：

* 模型测试（Model Checking）
* 一致性模型（输出了博客一篇：《周刊（第22期）：图解一致性模型》）
* Clojure语言和函数式编程。
* 还有很多不懂的...

BTW：Clojure的编码体验真的sucks，编译慢、社区vscode插件几乎没有，给不了太多的编码提示，门槛太高了。