检索结果-内蒙古大学图书馆

Eraser: A dynamic data race detector for multithreaded programs

ACM TRANSACTIONS ON COMPUTER SYSTEMS 1997年第4期15卷 391-411页

作者： Savage, S Burrows, M Nelson, G Sobalvarro, P Anderson, T Univ Washington Dept Comp Sci & Engn Seattle WA 98195 USA Digital Equipment Corp Syst Res Ctr Palo Alto CA 94301 USA Univ Calif Berkeley Berkeley CA 94720 USA

Multithreaded programming is difficult and error prone. It is easy to make a mistake in synchronization that produces a data race, yet it can be extremely hard to locate this mistake during debugging. This article describes a new tool, called Eraser, for dynamically detecting data races in lock-based multithreaded programs. Eraser uses binary rewriting techniques to monitor every shared-memory reference and verify that consistent locking behavior is observed. We present several case studies, including undergraduate coursework and a multithreaded Web search engine, that demonstrate the effectiveness of this approach.

关键词： binary code modification multithreaded programming race detection

来源：评论

学校读者我要写书评

暂无评论

RecPlay: A fully integrated practical record/replay system

引用

ACM TRANSACTIONS ON COMPUTER SYSTEMS 1999年第2期17卷 133-152页

作者： Ronsse, M De Bosschere, K Univ Ghent Dept Elect & Informat Sci B-9000 Ghent Belgium

This article presents a practical solution for the cyclic debugging of nondeterministic parallel programs. The solution consists of a combination of record/replay with automatic on-the-fly data race detection. This combination enables us to limit the record phase to the more efficient recording of the synchronization operations, while deferring the time-consuming data race detection to the replay phase. As the record phase is highly efficient, there is no need to switch it off, hereby eliminating the possibility of Heisenbugs because tracing can be left on all the time. This article describes an implementation of the tools needed to support RecPlay.

关键词： binary code modification multithreaded programming race detection

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：