jepsen是一个分布式测试库,我们可以使用它对某个分布式系统执行一系列操作,并最终验证这些操作是否正确执行。

jepsen已经成功验证了很多分布式系统,我们可以在它的源码里面看到相关系统的测试代码,包括mysql-cluster,zookeeper,elasticsearch等。

为什么要研究jepsen,主要在于我们需要进行分布式数据库tidb的测试,自己写一套分布式测试框架难度比较大,并且还不能保证在分布式环境下面自身测试框架是不是对的,于是使用一个现成的,经过验证的测试框架就是现阶段最好的选择了,于是我们就发现了jepsen。

jepsen是使用clojure进行开发的,所以这也就是为什么我要学习clojure的原因,不过比较郁闷的是,学了几天,还是没有看懂太多的代码,只能慢慢不断摸索了。

Design

一个Jepsen的测试通过会在一个control node上面运行相关的clojure程序,control node会使用ssh登陆到相关的系统node(jepsen叫做db node)进行一些测试操作。

当我们的分布式系统启动起来之后,control node会启动很多进程,每一个进程都能使用特定的client访问到该分布式系统。一个generator为每一个进程生成一系列的操作,让其执行。每一个操作都会被记录到history里面。在执行操作的同时,另一个nemesis进程会尝试去破坏这个分布式系统,譬如使用iptable断开网络连接等。

最后,当所有操作执行完毕之后,jepsen会使用一个checker来分析验证history并且生成相关的报表。

从上面可以看出,jepsen的设计原理其实很简单,就是对分布式系统执行一系列操作,并且同时不停的破坏系统,最后通过验证操作的结果来检验整个分布式系统的健壮性。

Install

Jepsen的安装使用不是一件很容易的事情,因为它需要一个control node,五个db node来测试,幸运的是,我们有docker,现在docker支持了docker in docker技术,所以我们可以很方便的使用一个docker来运行五个docker。

Jepsen已经提供了相关的docker image,我们可以直接使用:

docker run --privileged -t -i tjake/jepsen

但有时候我们需要测试自己的case,所以需要提供volumn的支持,于是我稍微修改了一下,使用了一个定制的docker:

FROM tjake/jepsen

RUN mkdir /jepsen_dev

VOLUME /jepsen_dev

ADD ./bashrc /root/.bashrc

在启动的时候,我们可以将自己的test case mount到docker里面,便于使用,使用docker build构建:

docker build -t jepsen_dev .

Example test

构建好jepsen的docker环境之后,我们就可以编写简单地测试了,参考它的文档,我们建立一个meowdb的工程,使用jepsen 0.0.6版本,然后在meowdb_test.clj里面写上如下代码:

(ns jepsen.meowdb-test

(:require [clojure.test :refer :all]

[jepsen.core :refer [run!]]

[jepsen.meowdb :as meowdb]))

(def version

"What meowdb version should we test?"

"1.2.3")

(deftest basic-test

(is (:valid? (:results (run! (meowdb/basic-test version))))))

然后在meowdb.clj里面:

(ns jepsen.meowdb

"Tests for MeowDB"

(:require [clojure.tools.logging :refer :all]

[clojure.core.reducers :as r]

[clojure.java.io :as io]

[clojure.string :as str]

[clojure.pprint :refer [pprint]]

[knossos.op :as op]

[jepsen [client :as client]

[core :as jepsen]

[db :as db]

[tests :as tests]

[control :as c :refer [|]]

[checker :as checker]

[nemesis :as nemesis]

[generator :as gen]

[util :refer [timeout meh]]]

[jepsen.control.util :as cu]

[jepsen.control.net :as cn]

[jepsen.os.debian :as debian]))

(defn basic-test

"A simple test of MeowDB's safety."

[version]

tests/noop-test)

我们启动docker:

docker run --privileged -t -i -v meowdb:/jepsen_dev --name jepsen jepsen_dev

然后执行lein test,如果没有啥意外,我们会输出如下类似的结果:

INFO jepsen.store - Wrote /jepsen_dev/meowdb/store/noop/20151211T094940.000Z/history.txt

INFO jepsen.store - Wrote /jepsen_dev/meowdb/store/noop/20151211T094940.000Z/results.edn

INFO jepsen.core - Everything looks good! ヽ(‘ー`)ノ

{:valid? true,

:linearizable-prefix [],

:worlds ({:model {}, :fixed [], :pending #{}, :index 0})}

Ran 1 tests containing 1 assertions.

0 failures, 0 errors.

这里仅仅是对jepsen的一个简单介绍,后续我还需要仔细研究,争取早日能用到tidb上面。

Jepsen mysql_Hello Clojure - Jepsen相关推荐

  1. Jepsen:分布式系统最早的混沌框架

    来源 | 混沌工程实践 作者 | 罗冈庭 头图 | 下载于ICphoto Jepsen测试框架的工作模式和混沌工程的思想是一脉相承的.Jepsen测试框架可以在分布式系统上注入众多混沌事件,例如引入网 ...

  2. model存数据_Jepsen 测试框架在图数据库 Nebula Graph 中的实践

    在本篇文章中主要介绍图数据库 Nebula Graph 在 Jepsen 这块的实践. Jepsen 简介 Jepsen 是一款用于系统测试的开源软件库,致力于提高分布式数据库.队列.共识系统等的安全 ...

  3. 事务前沿研究丨事务测试体系解析

    原文来源: https://tidb.net/blog/79f28c28 作者介绍: 童牧,TiDB 研发工程师 上周六,在 Infra Meetup 136 期直播间,我们开启了「事务前沿研究」专题 ...

  4. 分布式系统一致性测试框架Jepsen在女娲的实践应用

    简介: 女娲团队在过去大半年时间里持续投入女娲2.0研发,将一致性引擎和业务状态机解耦,一致性引擎可支持Paxos.Raft.EPaxos等多种一致性协议,根据业务需求支撑不同的业务状态机.其中的一致 ...

  5. 当 Messaging 遇上 Jepsen

    作者 | 金融通 责编 | 刘静 分布式系统面临的挑战 Is it better to be alive and wrong or right and dead? 随着计算机技术的发展,系统架构从集中 ...

  6. A monad tutorial for Clojure programmers (part 3)

    Before moving on to the more advanced aspects of monads, let's recapitulate what defines a monad (se ...

  7. 《Clojure数据分析秘笈》——1.6节从JDBC数据库读取数据

    本节书摘来自华章社区<Clojure数据分析秘笈>一书中的第1章,第1.6节从JDBC数据库读取数据,作者(美)Eric Rochester,更多章节内容可以访问云栖社区"华章社 ...

  8. Clojure程序设计

    <Clojure程序设计> 基本信息 作者: (美)Stuart Halloway Aaron Bedra [作译者介绍] 出版社:人民邮电出版社 ISBN:9787115308474 上 ...

  9. 《Clojure数据分析秘笈》——2.6节调整词频值的度量

    本节书摘来自华章社区<Clojure数据分析秘笈>一书中的第5章,第2.6节调整词频值的度量,作者(美)Eric Rochester,更多章节内容可以访问云栖社区"华章社区&qu ...

  10. Clojure世界:单元测试

    单元测试也是一个开发中最常见的需求,在Java里我们用JUnit或者TestNG,在clojure里也内置了单元测试的库.标准库的clojure.test,以及第三方框架midje.这里我将主要介绍c ...

最新文章

  1. Python Web学习笔记之Python多线程基础
  2. 【C 语言】二级指针作为输入 ( 自定义二级指针内存 | 二级指针排序 | 通过 交换指针指向的内存数据 方式进行排序 )
  3. 003_推箱子-事件
  4. 信息学奥赛一本通 1146:判断字符串是否为回文 | OpenJudge NOI 1.7 33:判断字符串是否为回文
  5. debug最常用的快捷键
  6. oracle 关于归档的视图,10G中,什么视图可以看归档空间的大小
  7. 数据可视化详解+代码演练
  8. Wireshark使用技巧详解
  9. MAC安装ant的办法
  10. perl语言简单入门
  11. CREO:CREO软件之零件【模型】、【分析】、【注释】、【工具】【视图】、【柔性建模】、【编辑】、【造型】、【渲染】的简介及其使用方法之详细攻略
  12. 差分码、相对码、绝对码、空号差分码、传号差分码
  13. 高级售后客户服务处理专员题库
  14. html中如何写平方根等,开方符号 数学符号平方根号等怎么输入
  15. golang使用minio上传资源文件的功能
  16. 大白话之One Pixel Attack for Fooling Deep Neural Networks论文讲解
  17. 零基础可以学python么
  18. Openssl 建立双向认证的 SSL/TLS 通信
  19. 2022年全球及中国植物甘油行业头部企业市场占有率及排名调研报告
  20. java media player,Java用Java控制Windows Media Player

热门文章

  1. Linux:init 0~6
  2. android中的MotionEvent 及其它事件处理
  3. java 线程池与executor_详解Java线程池和Executor原理的分析
  4. python搜索关键词自动提交_根据关键词,自动从搜索引擎采集相关网站的真实地址与标题...
  5. .net pdf转图片_如何将PDF转图片?PDF转图片免费方法!
  6. 前端页面因为过滤器出现路径不正确,css效果不展示
  7. 一段看不懂的乱码字符_字符乱码的解读
  8. a卡 n卡 html5性能,实测说明,A卡N卡测试平台
  9. Mysql InnoDB行锁实现方式
  10. ElasticSearch开发问题汇总(不断更新中)