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 条
  • [1] Hierarchical Parallel Dynamic Dependence Analysis for Recursively Task-Parallel Programs
    Papakonstantinou, Nikolaos
    Zakkak, Foivos S.
    Pratikakis, Polyvios
    2016 IEEE 30TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS 2016), 2016, : 933 - 942
  • [2] Model-checking task-parallel programs for data-race
    Radha Nakade
    Eric Mercer
    Peter Aldous
    Kyle Storey
    Benjamin Ogles
    Joshua Hooker
    Sheridan Jacob Powell
    Jay McCarthy
    Innovations in Systems and Software Engineering, 2019, 15 : 289 - 306
  • [3] Model-checking task-parallel programs for data-race
    Nakade, Radha
    Mercer, Eric
    Aldous, Peter
    Storey, Kyle
    Ogles, Benjamin
    Hooker, Joshua
    Powell, Sheridan Jacob
    McCarthy, Jay
    INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2019, 15 (3-4) : 289 - 306
  • [4] Dynamic Determinacy Race Detection for Task Parallelism with Futures
    Surendran, Rishi
    Sarkar, Vivek
    RUNTIME VERIFICATION, (RV 2016), 2016, 10012 : 368 - 385
  • [5] Performance modelling for task-parallel programs
    Kühnemann, M
    Rauber, T
    Rünger, G
    PERFORMANCE ANALYSIS AND GRID COMPUTING, 2004, : 77 - 91
  • [6] A Transformation Framework for Optimizing Task-Parallel Programs
    Nandivada, V. Krishna
    Shirako, Jun
    Zhao, Jisheng
    Sarkar, Vivek
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2013, 35 (01):
  • [7] TProf: An energy profiler for task-parallel programs
    Manousakis, Ioannis
    Zakkak, Foivos S.
    Pratikakis, Polyvios
    Nikolopoulos, Dimitrios S.
    SUSTAINABLE COMPUTING-INFORMATICS & SYSTEMS, 2015, 5 : 1 - 13
  • [8] Parallel Determinacy Race Detection for Futures
    Xu, Yifan
    Singer, Kyle
    Lee, I-Ting Angelina
    PROCEEDINGS OF THE 25TH ACM SIGPLAN SYMPOSIUM ON PRINCIPLES AND PRACTICE OF PARALLEL PROGRAMMING (PPOPP '20), 2020, : 217 - 231
  • [9] 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
  • [10] Extracting SIMD Parallelism from Recursive Task-Parallel Programs
    Ren, Bin
    Balakrishna, Shruthi
    Jo, Youngjoon
    Krishnamoorthy, Sriram
    Agrawal, Kunal
    Kulkarni, Milind
    ACM TRANSACTIONS ON PARALLEL COMPUTING, 2019, 6 (04)
12345