An efficient data race detector backend for DIOTA

被引:0
|
作者
Ronsse, M [1 ]
Stougie, B [1 ]
Maebe, J [1 ]
Cornelis, F [1 ]
De Bosschere, K [1 ]
机构
[1] Univ Ghent, ELIS Dept, Ghent, Belgium
关键词
D O I
暂无
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
In this paper, we describe a data race backend we developed for DIOTA. DIOTA (Dynamic Instrumentation, Optimisation and Transformation of Applications) is our generic instrumentation tool, and this tool uses so-called backends to use the information gathered using the instrumentation. Our novel data race backend uses innovative technologies like multilevel bitmaps. snooped matrix clocks and segment merging in order to limit the amount of memory used. The tool was implemented for Linux systems running on IA32 processors and is fully operational.
引用
收藏
页码:39 / 46
页数:8
相关论文
共 50 条
  • [1] Efficient Data Record System for Radio Backend
    Guo, S.
    Xu, Z.
    [J]. 2018 PROGRESS IN ELECTROMAGNETICS RESEARCH SYMPOSIUM (PIERS-TOYAMA), 2018, : 719 - 722
  • [2] Selective monitoring detection: A high efficient data race detector for multithreaded applications
    Tong, Qiu-Juan
    [J]. ICIC Express Letters, 2015, 9 (08): : 2227 - 2232
  • [3] Detecting data races in sequential programs with DIOTA
    Ronsse, M
    Maebe, J
    De Bosschere, K
    [J]. EURO-PAR 2004 PARALLEL PROCESSING, PROCEEDINGS, 2004, 3149 : 82 - 89
  • [4] Helgrind+: An Efficient Dynamic Race Detector
    Jannesari, Ali
    Bao, Kalbin
    Pankratius, Victor
    Tichy, Walter F.
    [J]. 2009 IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL & DISTRIBUTED PROCESSING, VOLS 1-5, 2009, : 176 - 188
  • [5] JaDaRD: Java data-race detector
    Voráek, Filip
    Troníek, Zdeňk
    [J]. SPLASH'12 - Proceedings of the 2012 ACM Conference on Systems, Programming, and Applications: Software for Humanity, 2012, : 71 - 72
  • [6] An Empirical Study of Data Race Detector Tools
    Alowibdi, Jalal S.
    Stenneth, Leon
    [J]. 2013 25TH CHINESE CONTROL AND DECISION CONFERENCE (CCDC), 2013, : 3951 - 3955
  • [7] DeepRace: A learning-based data race detector
    TehraniJamsaz, Ali
    Khaleel, Mohammed
    Akbari, Reza
    Jannesari, Ali
    [J]. 2021 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2021), 2021, : 226 - 233
  • [8] SimpleLock: Fast and Accurate Hybrid Data Race Detector
    Yu, Misun
    Yoo, Sang-Kyung
    Bae, Doo-Hwan
    [J]. 2013 INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED COMPUTING, APPLICATIONS AND TECHNOLOGIES (PDCAT), 2013, : 50 - 56
  • [9] Eraser: A dynamic data race detector for multithreaded programs
    Savage, S
    Burrows, M
    Nelson, G
    Sobalvarro, P
    Anderson, T
    [J]. ACM TRANSACTIONS ON COMPUTER SYSTEMS, 1997, 15 (04): : 391 - 411
  • [10] Deployment of the CMS Tracker AMC as backend for the CMS pixel detector
    Auzinger, G.
    [J]. JOURNAL OF INSTRUMENTATION, 2016, 11