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 条
  • [21] Static race detection of interrupt-driven programs
    Huo, Wei
    Yu, Hongtao
    Feng, Xiaobing
    Zhang, Zhaoqing
    Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2011, 48 (12): : 2290 - 2299
  • [22] Checking Data-Race Freedom of GPU Kernels, Compositionally
    Cogumbreiro, Tiago
    Lange, Julien
    Rong, Dennis Liew Zhen
    Zicarelli, Hannah
    COMPUTER AIDED VERIFICATION (CAV 2021), PT I, 2021, 12759 : 403 - 426
  • [23] Stateless Model Checking with Data-Race Preemption Points
    Blum, Ben
    Gibson, Garth
    ACM SIGPLAN NOTICES, 2016, 51 (10) : 477 - 493
  • [24] Accurate Static Data Race Detection for C
    Sales, Emerson
    Inverso, Omar
    Tuosto, Emilio
    FORMAL METHODS, PT I, FM 2024, 2025, 14933 : 443 - 462
  • [25] Data-race and concurrent-write freedom are undecidable
    Campos, AE
    Suazo, DA
    COMPUTER LANGUAGES SYSTEMS & STRUCTURES, 2003, 29 (1-2) : 1 - 13
  • [26] Dynamic Data Race Detection for OpenMP Programs
    Gu, Yizi
    Mellor-Crummey, John
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE FOR HIGH PERFORMANCE COMPUTING, NETWORKING, STORAGE, AND ANALYSIS (SC'18), 2018,
  • [27] Incremental detection of data race for java programs
    Zhang, Yu
    Hao, Yunyun
    Hsi-An Chiao Tung Ta Hsueh/Journal of Xi'an Jiaotong University, 2009, 43 (08): : 22 - 27
  • [28] Static Data Race Detection via Lazy Sequentialization
    Fischer, Bernd
    Garbi, Giulio
    La Torre, Salvatore
    Parlato, Gennaro
    Schrammel, Peter
    NETWORKED SYSTEMS, NETYS 2024, 2024, 14783 : 124 - 141
  • [29] Modeling and Investigating a Race Condition Detection Algorithm for Multithread Computational Systems
    Barabanova, Polina
    Zasov, Valery
    2019 XXI INTERNATIONAL CONFERENCE COMPLEX SYSTEMS: CONTROL AND MODELING PROBLEMS (CSCMP), 2019, : 356 - 359
  • [30] Memory access protocols: certified data-race freedom for GPU kernels
    Cogumbreiro, Tiago
    Lange, Julien
    Liew, Dennis
    Zicarelli, Hannah
    FORMAL METHODS IN SYSTEM DESIGN, 2024, 63 (1-3) : 134 - 171
12345