Step 1

题目摘要引言

Title

Learning from Mistakes——A Comprehensive Study on Real World Concurrency Bug Characteristics

从探测 bugs 和修复 bugs 过程之中我们能学习到什么？很有趣的题目。

Abstract

有以下发现

1. 1/3
2. 34%：约 34%的已检查并发错误涉及多个变量，这对于现有的错误检测工具来说比较困难。
3. 92%：约 92%的已知并发错误可以在不超过四次访存过程中，通过强制某种顺序探测出来，说明测试并发程序可以在一个较小的访存过程中进行。
4. "73%"：73% 的已知非死锁并发错误都不能通过简单地添加/修改锁修复，并且许多修复地初次尝试都不起效，说明了推理并发执行的困难。

基本理论概况

结论部分

回答基本问题

1. 类别

2. 内容

3. 正确性

4. 创新点

5. 清晰度

阅读选择

Step 2

细读笔记

问题记录

未读（且值得读）文献记录

Step 3

思路复现

证明与推理复现

实验验证复现