文章基本信息

标题：Effective Monitoring Memory Operations for Dynamic Race Detection through Hierarchical Filtering Method
本地全文：下载
作者：Ok-Kyoon Ha ; Yong-Kee Jun
期刊名称：International Journal of Multimedia and Ubiquitous Engineering
印刷版ISSN：1975-0080
出版年度：2014
卷号：9
期号：4
页码：199-208
DOI：10.14257/ijmue.2014.9.4.21
出版社：SERSC
摘要：Data races are the hardest defect to handle in multithreaded programs due to the non- deterministic interleaving of concurrent threads. It incurs the expensive costs of dynamic data race detection to monitor all of memory operations to shared memory locations. This paper presents a hierarchical filtering method that removes unnecessary monitoring memory operations from three levels of binary image, and evaluates empirically the effectiveness of the filtering method for dynamic data race detection. The empirical results using a set of benchmarks show that our filtering method reduces the average runtime overhead to over 50% of dynamic data race detection.
关键词：Dynamic data race detection; monitoring; memory operations; filtering