Lock Lab：真实开源项目中的并发和锁

本实验带你借助 AI 的力量，深入真实工业级开源项目，正面围剿并发世界中隐藏的”幽灵 Bug”。

仓库地址：https://github.com/RUCICS/lab4-student

实验内容

本实验给你 3 个真实开源项目里的锁 Bug：

1. uber-go/zap（Go 高性能日志库）
2. Apache Lucene（Java 全文检索引擎）
3. Netty（Java 高性能网络框架）

对每一个 Bug，你需要在 AI 的帮助下完成三件事：

1. 定位：在 git 历史中找到修复该 Bug 的 commit
2. 复现：用回归测试在两个 commit 上各跑一次，亲眼看到 Bug 存在与修复
3. 理解：借助 AI 阅读源码，搞懂 Bug 的根因和修复方式

额外任务

除三个用户态 Bug 外，本实验还包含一个 Linux 内核锁 Bug 自动检测机制 的调研任务。