AUTOMATIC EXTRACTION OF COARSE-GRAINED DATA-FLOW THREADS FROM IMPERATIVE PROGRAMS

被引：13
|
作者：
Li, Feng
Pop, Antonio
Cohen, Albert
机构：
[1] Xi'an Jiaotong University, China
[2] École Nationale Supérieure des Mines de Paris, France
[3] University of Versailles, France
来源：
IEEE MICRO | 2012年 / 32卷 / 04期
关键词：
All Open Access; Green;
D O I：
10.1109/MM.2012.49
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
THIS ARTICLE PRESENTS A GENERAL ALGORITHM FOR TRANSFORMING SEQUENTIAL IMPERATIVE PROGRAMS INTO PARALLEL DATA-FLOW PROGRAMS. THE ALGORITHM OPERATES ON A PROGRAM DEPENDENCE GRAPH IN STATIC-SINGLE-ASSIGNMENT FORM, EXTRACTING TASK, PIPELINE, AND DATA PARALLELISM FROM ARBITRARY CONTROL FLOW, AND COARSENING ITS GRANULARITY USING A GENERALIZED FORM OF TYPED FUSION. A PROTOTYPE BASED ON GNU COMPILER COLLECTION (GCC) IS APPLIED TO THE AUTOMATIC PARALLELIZATION OF RECURSIVE C PROGRAMS.
引用
收藏
页码：19 / 31
页数：13
相关论文
共 50 条
  • [31] Data-driven discovery of coarse-grained equations
    Bakarji, Joseph
    Tartakovsky, Daniel M.
    JOURNAL OF COMPUTATIONAL PHYSICS, 2021, 434
  • [32] From Fine- to Coarse-Grained Dynamic Information Flow Control and Back
    Vassena, Marco
    Russo, Alejandro
    Garg, Deepak
    Rajani, Vineet
    Stefan, Deian
    FOUNDATIONS AND TRENDS IN PROGRAMMING LANGUAGES, 2023, 8 (01): : 1 - 117
  • [33] Coarse-grained hydrodynamics from correlation functions
    Palmer, Bruce
    PHYSICAL REVIEW E, 2018, 97 (02)
  • [34] Mechanics of Microtubules from a Coarse-Grained Model
    Ding Y.
    Xu Z.
    BioNanoScience, 2011, 1 (4) : 173 - 182
  • [35] From Fine- to Coarse-Grained Dynamic Information Flow Control and Back
    Vassena, Marco
    Russo, Alejandro
    Garg, Deepak
    Rajani, Vineet
    Stefan, Deian
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2019, 3 (POPL):
  • [36] Verification of Coarse-Grained Reconfigurable Arrays through Random Test Programs
    Egger, Bernhard
    Song, Eunjin
    Lee, Hochan
    Shin, Daeyoung
    ACM SIGPLAN NOTICES, 2018, 53 (06) : 76 - 88
  • [37] Automatic Synthesis of Data-Flow Analyzers
    Xu, Xuezheng
    Wang, Xudong
    Xue, Jingling
    STATIC ANALYSIS, SAS 2021, 2021, 12913 : 453 - 478
  • [38] Formal Verification of Coarse-Grained Parallel Programs for Embedded Microelectronic Systems
    Pakharev, S. M.
    Syschikov, A. Y.
    2018 WAVE ELECTRONICS AND ITS APPLICATION IN INFORMATION AND TELECOMMUNICATION SYSTEMS (WECONF), 2018,
  • [39] A practical approach to exploiting coarse-grained pipeline parallelism in C programs
    Thies, William
    Chandrasekhar, Vilcrarn
    Amarasinghe, Saman
    MICRO-40: PROCEEDINGS OF THE 40TH ANNUAL IEEE/ACM INTERNATIONAL SYMPOSIUM ON MICROARCHITECTURE, 2007, : 356 - +
  • [40] Automatic identification of microcracks observed on microscopic images of coarse-grained sandstone
    Obara, Boguslaw
    Kozusnikova, Alena
    Scucka, Jiri
    INTERNATIONAL JOURNAL OF ROCK MECHANICS AND MINING SCIENCES, 2011, 48 (04) : 681 - 686
12345