通信学报2016，Vol.37Issue(9)：10-19,10.DOI:10.11959/j.issn.1000-436x.2016173
基于滑动窗口的多核程序数据竞争硬件检测算法
Hardware data race detection algorithm based on sliding windows
摘要
Abstract
Data race is a major factor which causes multi-core programs to produce concurrent bugs. To address the high hardware cost in happens-before detection proposals, a light-weight hardware data race detection approach based on slid-ing window technology was proposed. It used sliding windows to save recent memory instructions in thread execution and dynamically detected data races with small race distance which more easily lead to concurrent bugs. Considering the race distance, parallel thread segments were subdivided into concurrent race regions with lock and concurrent race re-gions without lock. A pair of alternate rewritable sliding windows was used to store the memory instructions in concur-rent race region without lock, and a sliding window with variable size was used to store the memory instructions in con-current race region with lock. When there was a conflict between a remote sharing access and memory accesses in sliding windows, a data race was detected. In the hardware implementation, the addresses of the data in sliding windows were automatically encoded into three hardware signatures with small size. Data races can be detected quickly without modi-fying the L1 cache and cache coherence protocol messages. This approach supplies efficient guidance to help users to di-agnose concurrency bugs occurred in the development and production run of multi-core programs, achieving smaller hardware and bandwidth overhead.关键词
数据竞争/滑动窗口/硬件签名/并发错误/多核程序Key words
data race/sliding window/hardware signature/concurrency bug/multi-core program分类
信息技术与安全科学引用本文复制引用
朱素霞,陈德运,季振洲,孙广路..基于滑动窗口的多核程序数据竞争硬件检测算法[J].通信学报,2016,37(9):10-19,10.基金项目
国家自然科学青年基金资助项目(No.61502123)；黑龙江省青年科学基金资助项目(No.QC2015084)；中国博士后科学基金资助项目(No.2015M571429)；国家自然科学基金资助项目(No.61472100)；国家重点基础研究发展计划（“973”计划）基金资助项目(No.2011CB302501)Foundation Items：The National Natural Science Foundation of China for Youths(No.61502123), Heilongjiang Province Science Foundation for Youths(No.QC2015084), The China Postdoctoral Science Foundation(No.2015M571429), The National Natural Sci-ence Foundation of China(No.61472100), The National Basic Research Program of China(973 Program)(No.2011CB302501) （No.61502123）
