【已结束】Meetup |事务前沿研究(二)- 事务测试探索

直播季:Infra Meetup No.136

时间:2021 年 5 月 15 日,周六上午 10:00-11:30

Episode 2. 事务测试探索

童牧 ,PingCAP TiDB 研发工程师

内容简介

在程序员的生涯中,bug 一直伴随着我们,虽然我们期望写出完美的程序,但是再优秀的程序员也无法保证自己能够不写出 bug。因此,我们为程序编写测试,通过提前发现 bug 来提高最终交付程序的质量。我从在 PingCAP 的工作中感受到,做好数据库和做好数据库测试是密不可分的。本次分享,我们将在第一讲的事务隔离级别的基础上,对数据库事务的测试进行研究,主要讲述我们在 PingCAP 是如何保证事务的正确性的。

因为我们保证事务正确性的方法比较多,所以本次我们会着重讲解 Jepsen 和 Elle,而其他方法则是作为补充,我也会简单说明他们的做法和优缺点。我将事务测试的方法划分为以下几个类别:

· 理论正确性的验证 · 基于不变量的正确性验证 · 对执行历史进行检查的验证 · 辅助测试手段

报名方式:

扫描下方二维码填写报名信息,进入直播交流群,小助手届时会在群内分享直播链接~

image

1 个赞