Static data-race detection for multithread programs

被引：1
|
作者：
Department of Computer Science and Technology, University of Science and Technology of China, Hefei 230027, China [1 ]
不详 [2 ]
机构：
来源：
Jisuanji Yanjiu yu Fazhan | 2006年 / 2卷 / 329-335期
关键词：
D O I：
10.1360/crad20060221
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] A Static Analysis Approach to Data Race Detection in SystemC Designs
    Moiseev, Mikhail
    Glukhikh, Mikhail
    Zakharov, Alexey
    Richter, Harald
    PROCEEDINGS OF THE 2013 IEEE 16TH INTERNATIONAL SYMPOSIUM ON DESIGN AND DIAGNOSTICS OF ELECTRONIC CIRCUITS & SYSTEMS (DDECS), 2013, : 54 - 59
  • [32] Provable GPU Data-Races in Static Race Detection
    Liew, Dennis
    Cogumbreiro, Tiago
    Lange, Julien
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2022, (356): : 36 - 45
  • [33] Efficient data race detection for distributed memory parallel programs
    Park, Chang-Seo
    Sen, Koushik
    Hargrove, Paul
    Iancu, Costin
    Proceedings of 2011 SC - International Conference for High Performance Computing, Networking, Storage and Analysis, 2011,
  • [34] Context-Sensitive Data Race Detection for Concurrent Programs
    Zhang, Yang
    Liu, Huan
    Qiao, Liu
    IEEE ACCESS, 2021, 9 : 20861 - 20867
  • [35] Refined method for dynamic data race detection of BPEL programs
    Lu W.
    Lu F.
    Bao Y.
    Zeng Q.
    Duan H.
    Jisuanji Jicheng Zhizao Xitong/Computer Integrated Manufacturing Systems, CIMS, 2022, 28 (10): : 3064 - 3080
  • [36] Parallel Data Race Detection for Task Parallel Programs with Locks
    Yoga, Adarsh
    Nagarakatte, Santosh
    Gupta, Aarti
    FSE'16: PROCEEDINGS OF THE 2016 24TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON FOUNDATIONS OF SOFTWARE ENGINEERING, 2016, : 833 - 845
  • [37] Non-strict cache coherence: Exploiting data-race tolerance in emerging applications
    Tambat, SV
    Vajapeyam, S
    2000 INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING, PROCEEDINGS, 2000, : 87 - 94
  • [38] A Time-Aware Type System For Data-Race Protection and Guaranteed Initialization
    Matsakis, Nicholas D.
    Gross, Thomas R.
    ACM SIGPLAN NOTICES, 2010, 45 (10) : 634 - 651
  • [39] Optimized Sound and Complete Data Race Detection in Structured Parallel Programs
    Storey, Kyle
    Powell, Jacob
    Ben Ogles
    Hooker, Joshua
    Aldous, Peter
    Mercer, Eric
    LANGUAGES AND COMPILERS FOR PARALLEL COMPUTING (LCPC 2018), 2019, 11882 : 94 - 111
  • [40] On-the-Fly Data Race Detection for MPI RMA Programs with MUST
    Schwitanski, Simon
    Jenke, Joachim
    Tomski, Felix
    Terboven, Christian
    Mueller, Matthias S.
    2022 IEEE/ACM SIXTH INTERNATIONAL WORKSHOP ON SOFTWARE CORRECTNESS FOR HPC APPLICATIONS (CORRECTNESS), 2022, : 27 - 36
12345