Efficient Detection of Determinacy Races in Cilk Programs

被引：0
|
作者：
M. Feng
C. E. Leiserson
机构：
[1] School of Computing,
[2] National University of Singapore,undefined
[3] 10 Lower Kent Ridge Road,undefined
[4] Republic of Singapore 119260 fengmd@nus.edu.sg ,undefined
[5] MIT Laboratory for Computer Science,undefined
[6] 545 Technology Square,undefined
[7] Cambridge,undefined
[8] MA 02139,undefined
[9] USA cel@mit.edu,undefined
来源：
Theory of Computing Systems | 1999年 / 32卷
关键词：
Execution Time; Programming Language; Shared Memory; Directed Acyclic Graph; Efficient Detection;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
A parallel multithreaded program that is ostensibly deterministic may nevertheless behave nondeterministically due to bugs in the code. These bugs are called determinacy races, and they result when one thread updates a location in shared memory while another thread is concurrently accessing the location. We have implemented a provably efficient determinacy-race detector for Cilk, an algorithmic multithreaded programming language. If a Cilk program is run on a given input data set, our debugging tool, which we call the ``Nondeterminator,'' either determines at least one location in the program that is subject to a determinacy race, or else it certifies that the program is race free when run on the data set.
引用
收藏
页码：301 / 326
页数：25
相关论文
共 50 条
  • [11] ACCULOCK: accurate and efficient detection of data races
    Xie, Xinwei
    Xue, Jingling
    Zhang, Jie
    SOFTWARE-PRACTICE & EXPERIENCE, 2013, 43 (05): : 543 - 576
  • [12] RaceTracker:Effective and Efficient Detection of Data Races
    Yang, Zhen
    Yu, Zhen
    Su, Xiaohong
    Ma, Peijun
    2016 17TH IEEE/ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING AND PARALLEL/DISTRIBUTED COMPUTING (SNPD), 2016, : 293 - 300
  • [13] ACCULOCK: Accurate and Efficient Detection of Data Races
    Xie, Xinwei
    Xue, Jingling
    2011 9TH ANNUAL IEEE/ACM INTERNATIONAL SYMPOSIUM ON CODE GENERATION AND OPTIMIZATION (CGO), 2011, : 201 - 212
  • [14] Online Scheduling of Parallel Programs on Heterogeneous Systems with Applications to Cilk
    Michael A. Bender
    Michael O. Rabin
    Theory of Computing Systems, 2002, 35 : 289 - 304
  • [15] RCanalyser: A flexible framework for the detection of data races in parallel programs
    Raza, Aoun
    Vogel, Gunther
    RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2008, 2008, 5026 : 226 - 239
  • [16] Detection of first races for debugging message-passing programs
    Park, Mi-Young
    Chung, Sang-Hwa
    2008 IEEE 8TH INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION TECHNOLOGY, VOLS 1 AND 2, 2008, : 261 - 266
  • [17] Efficient Parallel Determinacy Race Detection for Two-Dimensional Dags
    Xu, Yifan
    Lee, I-Ting Angelina
    Agrawal, Kunal
    ACM SIGPLAN NOTICES, 2018, 53 (01) : 368 - 380
  • [18] Efficient Verification of First Tangled Races to Occur in Programs with Nested Parallelism
    Kang, Mun-Hye
    Jun, Young-Kee
    SOFTWARE ENGINEERING, BUSINESS CONTINUITY, AND EDUCATION, 2011, 257 : 451 - +
  • [19] Applying Cilk in provably efficient task scheduling
    Vee, VY
    Hsu, WJ
    COMPUTER JOURNAL, 1999, 42 (08): : 699 - 712
  • [20] Efficient Detection of First Races in Concurrent Signal Handlers
    Dorankula, Sahaja
    Tchamgoue, Guy Martin
    Jun, Yong-Kee
    COMPUTER APPLICATIONS FOR GRAPHICS, GRID COMPUTING, AND INDUSTRIAL ENVIRONMENT, 2012, 351 : 157 - 164
12345