Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises

被引：0
|
作者：
Jin, Feiyang [1 ]
Yu, Lechen [1 ]
Cogumbreiro, Tiago [2 ]
Shirako, Jun [1 ]
Sarkar, Vivek [1 ]
机构：
[1] College of Computing, Georgia Institute of Technology, Atlanta,GA, United States
[2] College of Science and Mathematics, University of Massachusetts, Boston,MA, United States
来源：
Leibniz International Proceedings in Informatics, LIPIcs | 2023年 / 263卷
关键词：
Engineering Village;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Data races - Detection algorithm - Determinacy-race - Determinism - ON dynamics - Parallel program - Promise - Race detection - Serial projection - Task parallel
引用
收藏
相关论文
共 50 条
  • [41] Model-Checking Task Parallel Programs for Data-Race
    Nakade, Radha
    Mercer, Eric
    Aldous, Peter
    McCarthy, Jay
    NASA FORMAL METHODS, NFM 2018, 2018, 10811 : 367 - 382
  • [42] Visualization aided performance tuning of irregular task-parallel computations
    Blochinger, Wolfgang
    Kaufmann, Michael
    Siebenhaller, Martin
    Information Visualization, 2006, 5 (02) : 81 - 94
  • [43] Scalable Task-Parallel SGD on Matrix Factorization in Multicore Architectures
    Nishioka, Yusuke
    Taura, Kenjiro
    2015 IEEE 29TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS, 2015, : 1178 - 1184
  • [44] Task-Parallel LU Factorization of Hierarchical Matrices using OmpSs
    Aliaga, Jose I.
    Carratala-Saez, Rocio
    Quintana-Orti, Enrique S.
    Krimann, Ronald
    2017 IEEE INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS (IPDPSW), 2017, : 1148 - 1157
  • [45] Energy efficiency optimization of task-parallel codes on asymmetric architectures
    Costero, Luis
    Igual, Francisco D.
    Olcoz, Katzalin
    Tirado, Francisco
    2017 INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING & SIMULATION (HPCS), 2017, : 402 - 409
  • [46] PASTA: Programming and Automation Support for Scalable Task-Parallel HLS Programs on Modern Multi-Die FPGAs
    Khatti, Moazin
    Tian, Xingyu
    Chi, Yuze
    Guo, Licheng
    Cong, Jason
    Fang, Zhenman
    2023 IEEE 31ST ANNUAL INTERNATIONAL SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES, FCCM, 2023, : 12 - 22
  • [47] Runtime Data Management on Non-Volatile Memory-based Heterogeneous Memory for Task-Parallel Programs
    Wu, Kai
    Ren, Jie
    Li, Dong
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE FOR HIGH PERFORMANCE COMPUTING, NETWORKING, STORAGE, AND ANALYSIS (SC'18), 2018,
  • [48] Efficient lock-step synchronization in task-parallel languages
    Utture, Akshay
    Nandivada, V. Krishna
    SOFTWARE-PRACTICE & EXPERIENCE, 2019, 49 (09): : 1379 - 1401
  • [49] PASTA: Programming and Automation Support for Scalable Task-Parallel HLS Programs on Modern Multi-Die FPGAs
    Khatti, Moazin
    Tian, Xingyu
    Baroughi, Ahmad Sedigh
    Baranwal, Akhil Raj
    Chi, Yuze
    Guo, Licheng
    Cong, Jason
    Fang, Zhenman
    ACM TRANSACTIONS ON RECONFIGURABLE TECHNOLOGY AND SYSTEMS, 2024, 17 (03)
  • [50] Pipeline pattern in an object-oriented, task-parallel environment
    Chow, Jonathan
    Giacaman, Nasser
    Sinnen, Oliver
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2015, 27 (05): : 1273 - 1291
12345