Hybrid Data Race Detection for Multicore Software

2018 ◽  
Vol 37 (1) ◽  
pp. 186-212
Author(s):  
Alper Sen ◽  
Onder Kalaci
Keyword(s):  
Data Race ◽  
Data Race Detection ◽  
Race Detection ◽  
Hybrid Data

HistLock+: Precise Memory Access Maintenance Without Lockset Comparison for Complete Hybrid Data Race Detection

2018 ◽  
Vol 67 (3) ◽  
pp. 786-801 ◽  
Author(s):  
Jialin Yang ◽  
Bo Jiang ◽  
W. K. Chan
Keyword(s):  
Memory Access ◽  
Data Race ◽  
Data Race Detection ◽  
Race Detection ◽  
Hybrid Data

SimpleLock+: Fast and Accurate Hybrid Data Race Detection

2014 ◽  
Vol 59 (6) ◽  
pp. 793-809 ◽  
Author(s):  
Misun Yu ◽  
Doo-Hwan Bae
Keyword(s):  
Data Race ◽  
Data Race Detection ◽  
Race Detection ◽  
Hybrid Data

AdaptiveLock: Efficient Hybrid Data Race Detection Based on Real-World Locking Patterns

2018 ◽  
Vol 47 (5-6) ◽  
pp. 805-837 ◽  
Author(s):  
Misun Yu ◽  
Joon-Sang Lee ◽  
Doo-Hwan Bae
Keyword(s):  
Real World ◽  
Data Race ◽  
Data Race Detection ◽  
Race Detection ◽  
Hybrid Data

A Study on Race Condition and Dynamic Data Race Detection Techniques

2019 ◽  
Vol 7 (6) ◽  
pp. 41-46
Author(s):  
Mithilesh Kumar Dubey ◽  
Devesh Lowe ◽  
Bhavna Galhotra
Keyword(s):  
Data Race ◽  
Dynamic Data ◽  
Data Race Detection ◽  
Detection Techniques ◽  
Race Detection ◽  
Race Condition

Symbolic data race detection for Habanero programs

2019 ◽  
Vol 44 (4) ◽  
pp. 18-18 ◽  
Author(s):  
Egor Namakonov ◽  
Eric Mercer ◽  
Pavel Parizek ◽  
Kyle Storey
Keyword(s):  
Data Race ◽  
Data Race Detection ◽  
Race Detection ◽  
Symbolic Data

Enhancing DataRaceBench for Evaluating Data Race Detection Tools

2020 ◽  
Author(s):  
Gaurav Verma ◽  
Yaying Shi ◽  
Chunhua Liao ◽  
Barbara Chapman ◽  
Yonghong Yan
Keyword(s):  
Data Race ◽  
Data Race Detection ◽  
Race Detection

scholarly journals Deadlock checking by data race detection

2014 ◽  
Vol 83 (5-6) ◽  
pp. 400-426 ◽  
Author(s):  
Ka I Pun ◽  
Martin Steffen ◽  
Volker Stolz
Keyword(s):  
Data Race ◽  
Data Race Detection ◽  
Race Detection

scholarly journals Runtime and Memory Evaluation of Data Race Detection Tools

2018 ◽  
pp. 179-196 ◽  
Author(s):  
Pei-Hung Lin ◽  
Chunhua Liao ◽  
Markus Schordan ◽  
Ian Karlin
Keyword(s):  
Data Race ◽  
Data Race Detection ◽  
Race Detection ◽  
Evaluation Of Data
Sign in / Sign up

Export Citation Format

Share Document