查看原文
其他

Meetup 预告 |事务前沿研究(二)- 事务测试探索

PingCAP 2021-05-13

Infra Meetup 直播间本周六开放营业!「事务前沿研究」专题 Meetup 第二讲来啦!我们希望通过本系列为大家分享一些学术前沿事务方面的研究内容,第一期介绍了事务的基础理论,点击阅读文即可查看回放本周六我司研发工程师童牧将继续为大家介绍事务测试的相关内容感兴趣的朋友不要错过,赶紧报名约起来 ~


直播季

PingCAP Infra Meetup No.136


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


10:00 - 11:30


Episode 2. 事务测试探索


童牧,PingCAP TiDB 研发工程师      


内容简介

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

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

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



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


    您可能也对以下帖子感兴趣

    文章有问题?点此查看未经处理的缓存