An Efficient and Accurate Mixed Dynamic Data Race Detection Method

被引：0
|
作者：
Sun, Jiaze [1 ]
Yang, Yanman [1 ]
Shu, Xinfeng [1 ]
机构：
[1] Xi'an University of PostsandTelecommunications, China
来源：
ACM International Conference Proceeding Series | 2021年
关键词：
Compilation and indexing terms; Copyright 2024 Elsevier Inc;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Cost reduction - Locks (fasteners)
引用
收藏
页码：531 / 535
相关论文
共 50 条
  • [1] Efficient Data-Race Detection with Dynamic Symbolic Execution
    Ibing, Andreas
    [J]. PROCEEDINGS OF THE 2016 FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS (FEDCSIS), 2016, 8 : 1719 - 1726
  • [2] Refined method for dynamic data race detection of BPEL programs
    Lu, Weina
    Lu, Faming
    Bao, Yunxia
    Zeng, Qingtian
    Duan, Hua
    [J]. Jisuanji Jicheng Zhizao Xitong/Computer Integrated Manufacturing Systems, CIMS, 2022, 28 (10): : 3064 - 3080
  • [3] Hybrid dynamic data race detection
    O'Callahan, R
    Choi, JD
    [J]. ACM SIGPLAN NOTICES, 2003, 38 (10) : 166 - 177
  • [4] FastTrack: Efficient and Precise Dynamic Race Detection
    Flanagan, Cormac
    Freund, Stephen N.
    [J]. PLDI'09 PROCEEDINGS OF THE 2009 ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION, 2009, : 121 - 133
  • [5] FastTrack: Efficient and Precise Dynamic Race Detection
    Flanagan, Cormac
    Freund, Stephen N.
    [J]. COMMUNICATIONS OF THE ACM, 2010, 53 (11) : 93 - 101
  • [6] FastTrack: Efficient and Precise Dynamic Race Detection
    Flanagan, Cormac
    Freund, Stephen N.
    [J]. ACM SIGPLAN NOTICES, 2009, 44 (06) : 121 - 133
  • [7] ACCULOCK: accurate and efficient detection of data races
    Xie, Xinwei
    Xue, Jingling
    Zhang, Jie
    [J]. SOFTWARE-PRACTICE & EXPERIENCE, 2013, 43 (05): : 543 - 576
  • [8] ACCULOCK: Accurate and Efficient Detection of Data Races
    Xie, Xinwei
    Xue, Jingling
    [J]. 2011 9TH ANNUAL IEEE/ACM INTERNATIONAL SYMPOSIUM ON CODE GENERATION AND OPTIMIZATION (CGO), 2011, : 201 - 212
  • [9] Understanding the Performance of Dynamic Data Race Detection
    Protze, Joachim
    Thaerigen, Isabel
    Wahle, Jonas
    [J]. PROCEEDINGS OF FIFTH INTERNATIONAL WORKSHOP ON SOFTWARE CORRECTNESS FOR HPC APPLICATIONS (CORRECTNESS 2021), 2021, : 33 - 40
  • [10] Hybrid Dynamic Data Race Detection in SystemC
    Sen, Alper
    Kalaci, Onder
    [J]. PROCEEDINGS OF THE 2014 FORUM ON SPECIFICATION & DESIGN LANGUAGES (FDL), 2014,
12345