admin 管理员组

文章数量: 1184232

abstract

开篇揭示了concurrent programs的存在，写出正确的concurrent programs需要很多点：包括concurrency bug detection, concurrent program testing, concurrent programming model design。
作者提出这篇文章是第一篇（在作者的知识范围内）综合现实世界并发错误特征的一篇study，（我自己的工作也可以这么说，是研究uaf-patch的第一篇）。仔细调查并发bug的模式，从4个有代表性的服务器和客户端应用中（MySQL, Apache, Mozilla and OpenOffice）随机选择105个策略。作者提出：Our study reveals several interesting findings and provides useful guidance for concurrency bug detection, testing, and concurrent programming language design.（可以作为我们的论文的结果。
然后作者列出自己的findings：

(1) Around one third of the examined non-deadlock concurrency bugs are caused by violation to programmers’ order intentions, which may not be easily expressed via synchronization primitives like locks and transactional memories;
(2) Around 34% of the examined non-deadlock concurrency bugs involve multiple variables, which are not well addressed by existing bug detection tools;

本文标签： 笔记 论文 mistakes Comprehensive Study

版权声明：本文标题：【论文笔记】Learning from Mistakes——A Comprehensive Study on Real World Concurrency Bug Characteristics 内容由网友自发贡献，该文观点仅代表作者本人， 转载请联系作者并注明出处：http://www.roclinux.cn/b/1758719788a3089643.html， 本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌抄袭侵权/违法违规的内容，一经查实，本站将立刻删除。