Tencent
2025腾讯犀牛鸟开源人才培养计划—3TS
腾讯犀牛鸟开源人才培养计划
欢迎广大高校学子及开发者加入2025腾讯犀牛鸟开源人才培养计划！犀牛鸟开源人才培养计划同教育部计算机类专业教学指导委员会、教育部软件工程专业教学指导委员会、教育部电子信息类专业教学指导委员会、中国信息通信研究院一起作为联合指导单位，腾讯开源和腾讯高校合作联合主办，开发者通过参与腾讯全链路技术栈15个明星项目的学、练、赛研学，有机会获得腾讯颁发的荣誉证书、现金奖励以及腾讯特色礼包，获得“优秀学生”即可优先获得腾讯面试机会。
期待同学们在本次研学旅程中，和腾讯一起探索未知、学习技术，让开源伴你成长，收获满满一夏！
项目简介
腾讯数据库TDSQL团队与中国人民大学数据工程与知识工程教育部重点实验室，联合研制的面向数据库事务处理的验证系统。该系统旨在通过设计和构建事务（包括分布式事务）处理统一框架，并通过框架提供的访问接口，方便使用者快速构建新的并发控制算法；通过验证系统提供的测试床，可以方便用户根据应用场景的需要，对目前主流的并发控制算法在相同的测试环境下进行公平的性能比较，选择一种最佳的并发控制算法。目前，验证系统已集成13种主流的并发控制算法，提供了TPC-C、PPS、YCSB等常见基准测试。3TS还进一步提供了一致性级别的测试基准，针对现阶段分布式数据库系统的井喷式发展而造成的系统选择难问题，提供一致性级别判别与性能测试比较。
项目导师
陈育兴，3TS开源项目负责人
导师寄语
Tencent Transaction Processing Testbed System（简称3TS），是腾讯公司 TDSQL 团队与中国人民大学数据工程与知识工程教育部重点实验室联合研制的面向数据库事务处理的验证系统。该系统可以方便用户根据应用场景的需要，在相同的测试环境下对目前主流的并发控制算法进行公平的性能比较，选择一种最佳的并发控制算法。目前，验证系统已集成十余种主流的并发控制算法，提供了TPC-C、YCSB 等常见基准测试。该系统还便于设计、测试、验证新的控制算法，从而提高算法性能，同时便于检验算法的正确性，尤其保证是事务的一致性。
培养概览
1️⃣ 参与“腾讯开源基础课程” 完成考试可获得《腾讯开源研学结课证书》
2️⃣ 参与“腾讯开源issue实战” 完成任意issue即可获得专属《腾讯开源实战证书》+ 腾讯周边精美礼包一套。其中issue难度对应礼包大小
3️⃣ 参与“腾讯开源课题实战” 任务奖金从6K、8K到12K不等、腾讯犀牛鸟研学专属《优秀学生证书》或《优秀开发者证书》、全球限量《腾讯开源贡献者证书》 *获得《优秀学生证书》，即可优先获得腾讯面试机会
4️⃣ 彩蛋玩法：分享有礼、帮带有礼
【玩法1-分享有礼】 在任意社交平台（知乎/b站/掘金/CSDN等）分享你在【本届犀牛鸟研学的心得+犀牛鸟官网】，在9月10日前把分享记录填写在【分享有礼登记表】表中，分享量Top 10即可获得鹅厂周边礼包！🎁
【玩法2-帮带有礼】： 你可以在项目社群、项目repo页面、项目研学基地【我要提问】区域三个位置回答其他同学提出的问题，在9月10日前，我们会综合导师意见，对积极且正确帮助他人解答问题的幸运同学送出鹅厂周边礼包！🎁
如何贡献
参与“腾讯开源issue实战”
进入“研学基地”，参与“腾讯开源issue实战”，选择你感兴趣项目的 Issue 任务，认领和完成它。7月10日开放 issue ，学生及开发者可无门槛参与和认领
1、如果你愿意解决issue，请在[腾讯开源研学基地]的【3️⃣issue认领任务大厅】领取issue任务 2、Fork 到个人的仓库下 3、在个人仓库解决完对应的任务后，提交 PR 至 Issue 所在仓库的 master 分支 4、PR提交后，项目导师将进行 code review， PR 被合并后即视为任务完成 5、如有任何疑问可以在评论区留言或者邮件至联络人
参与“腾讯开源课题实战”
时间安排：6月20日至7月28日为活动报名期，8月1日公布入围名单，8月2日至9月10日为课题实战期，通过筛选的学生即可参与此模块。
基于3TS-Coo框架，测试数据库的一致性
目标对象： 数据库爱好者、初学者（会SQL语句）、DBA等
内容： 此题目是判断数据库事务的执行正确性（一致性），核心任务是测试数据库的隔离级别正确性，包括但不限于如下数据库： 1 YugabyteDB 2 Cassandra 3 FaunaDB 4 Redis-Raft 5 MariaDB 6 Dgraph
基本要求： 数据库事务处理知识，Linux系统机器（4核8G以上机器），C++，Python， SQL
预备知识: 1.数据库事务处理数据一致性评估验证模型：https://github.com/Tencent/3TS/tree/coo-consistency-check/ 2.以往测试结果：https://coo3ts.github.io/result/
预期结果： 1.初级任务：基于测试框架部署代码，部署单机数据库（e.g., PostgreSQL, MySQL）的一致性测试与验证 2.中级任务：熟悉测试框架、输出阅读文档、输出功能文档、完善开源项目文档，使用测试框架测试更多数据库的一致性 3.高级任务：熟悉其他测试工具，横向对比多个测试工具
其他工具列表： （OOPSLA'19） DBCop: On the Complexity of Checking Transactional Consistency （OSDI'20） Cobra: Making Transactional Key-Value Stores Verifiably Serializable （VLDB'21） Elle: Inferring Isolation Anomalies from Experimental Observations （VLDB'23） PolySI: Eficient Black-box Checking of Snapshot Isolation in Databases （ICSE'23） Troc: Detecting Isolation Bugs via Transaction Oracle Construction （EuroSys'23） Viper: A Fast Snapshot Isolation Checker （OOPSLA'24） Plume: Efficient and Complete Black-box Checking of Weak Isolation Levels （ICDE'25） MTC: Boosting End-to-End Database Isolation Checking via Mini-Transactions
联系导师
💁🏻♀️ 欢迎加入腾讯开源犀牛鸟官方微信群：官方通知及解答、最新腾讯开源动态
💁🏻♀️欢迎加入3TS项目官方交流群，导师在线为你答疑解惑！
