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 条
  • [31] Scheduling Task-parallel Applications in Dynamically Asymmetric Environments
    Chen, Jing
    Soomro, Pirah Noor
    Abduljabbar, Mustafa
    Manivannan, Madhavan
    Pericas, Miquel
    49TH INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING WORKSHOP PROCEEDINGS, ICPP 2020, 2020,
  • [32] Locality-Aware Task-Parallel Execution on GPUs
    Hbeika, Jad
    Kulkarni, Milind
    LANGUAGES AND COMPILERS FOR PARALLEL COMPUTING, LCPC 2016, 2017, 10136 : 250 - 264
  • [33] Interactive Visualization of Cross-Layer Performance Anomalies in Dynamic Task-Parallel Applications and Systems
    Drebes, Andi
    Pop, Antoniu
    Heydemann, Karine
    Cohen, Albert
    2016 IEEE INTERNATIONAL SYMPOSIUM ON PERFORMANCE ANALYSIS OF SYSTEMS AND SOFTWARE ISPASS 2016, 2016, : 274 - 283
  • [34] Atos: A Task-Parallel GPU Scheduler for Graph Analytics
    Chen, Yuxin
    Brock, Benjamin
    Porumbescu, Serban
    Buluc, Aydin
    Yelick, Katherine
    Owens, John D.
    51ST INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING, ICPP 2022, 2022,
  • [35] Unordered Task-Parallel Augmented Merge Tree Construction
    Werner, Kilian
    Garth, Christoph
    IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS, 2021, 27 (08) : 3585 - 3596
  • [36] Design of a Task-Parallel Version of ILUPACK for Graphics Processors
    Aliaga, Jose I.
    Dufrechou, Ernesto
    Ezzatti, Pablo
    Quintana-Orti, Enrique S.
    HIGH PERFORMANCE COMPUTING CARLA 2016, 2017, 697 : 91 - 103
  • [37] An Elasticity Description Language for Task-parallel Cloud Applications
    Haussmann, Jens
    Blochinger, Wolfgang
    Kuechlin, Wolfgang
    PROCEEDINGS OF THE 10TH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING AND SERVICES SCIENCE (CLOSER), 2020, : 473 - 481
  • [38] Restructuring parallel programs for on-the-fly race detection
    Kim, YC
    Jun, YK
    PARALLEL COMPUTING TECHNOLOGIES, 1999, 1662 : 446 - 451
  • [39] Dynamic Slicing of Multithreaded Programs for Race Detection
    Tallam, Sriraman
    Tian, Chen
    Gupta, Rajiv
    2008 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, 2008, : 97 - 106
  • [40] 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,
12345