ASPLOS08——Learning-from-Mistakes

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

思路复现

证明与推理复现

实验验证复现