Data-Flow/Dependence Profiling for Structured Transformations

被引:5
|
作者
Gruber, Fabian [1 ]
Selva, Manuel [1 ]
Sampaio, Diogo [1 ]
Guillon, Christophe [2 ]
Moynault, Antoine [2 ]
Pouchet, Louis-Noel [3 ]
Rastello, Fabrice [1 ]
机构
[1] Univ Grenoble Alpes, INRIA, CNRS, Grenoble INP,LIG, Grenoble, France
[2] STMicroelectronics, Geneva, Switzerland
[3] Colorado State Univ, Ft Collins, CO 80523 USA
来源
PROCEEDINGS OF THE 24TH SYMPOSIUM ON PRINCIPLES AND PRACTICE OF PARALLEL PROGRAMMING (PPOPP '19) | 2019年
基金
美国国家科学基金会;
关键词
Performance Feedback; Polyhedral Model; Loop Tansformations; Compiler Optimization; Binary; Instrumentation; Dynamic Dependence Graph; DATA-DEPENDENCE; TOOLS;
D O I
10.1145/3293883.3295737
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Profiling feedback is an important technique used by developers for performance debugging, where it is usually used to pinpoint performance bottlenecks and also to find optimization opportunities. Assessing the validity and potential benefit of a program transformation requires accurate knowledge of the data flow and dependencies, which can be uncovered by profiling a particular execution of the program. In this work we develop poly-prof, an end-to-end infrastructure for dynamic binary analysis, which produces feedback about the potential to apply complex program rescheduling. Our tool can handle both inter- and intraprocedural aspects of the program in a unified way, thus providing interprocedural transformation feedback.
引用
收藏
页码:173 / 185
页数:13
相关论文
共 50 条
  • [41] DATA-FLOW ARCHITECTURES AND MULTITHREADING
    LEE, B
    HURSON, AR
    COMPUTER, 1994, 27 (08) : 27 - 39
  • [42] A DATA-FLOW TOOLKIT FOR VISUALIZATION
    DYER, DS
    IEEE COMPUTER GRAPHICS AND APPLICATIONS, 1990, 10 (04) : 60 - 69
  • [43] Data-Flow Awareness in Parallel Data Processing
    Bednarek, David
    Dokulil, Jiri
    Yaghob, Jakub
    Zavoral, Filip
    INTELLIGENT DISTRIBUTED COMPUTING VI, 2013, 446 : 149 - 154
  • [44] DATA-FLOW TRANSFORMATIONS FOR CRITICAL PATH TIME REDUCTION IN HIGH-LEVEL DSP SYNTHESIS
    LUCKE, LE
    PARHI, KK
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1993, 12 (07) : 1063 - 1068
  • [45] MULTIDIMENSIONAL STREAMS ROOTED IN DATA-FLOW
    LEE, EA
    IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1993, 23 : 295 - 306
  • [46] Data-flow analysis for MPI programs
    Strout, Michelle Mills
    Kreaseck, Barbara
    Hovland, Paul D.
    2006 INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING, PROCEEDINGS, 2006, : 175 - 184
  • [47] Executable specifications with data-flow diagrams
    Fuggetta, Alfonso
    Ghezzi, Carlo
    Mandrioli, Dino
    Morzenti, Angelo
    Software - Practice and Experience, 1993, 23 (06) : 629 - 653
  • [48] EXECUTABLE SPECIFICATIONS WITH DATA-FLOW DIAGRAMS
    FUGGETTA, A
    GHEZZI, C
    MANDRIOLI, D
    MORZENTI, A
    SOFTWARE-PRACTICE & EXPERIENCE, 1993, 23 (06): : 629 - 653
  • [49] On retiming synchronous data-flow graphs
    O'Neil, TW
    Sha, EHM
    PARALLEL AND DISTRIBUTED COMPUTING SYSTEMS, 2001, : 103 - 108
  • [50] Data-flow analysis of program fragments
    Rountev, A
    Ryder, BG
    Landi, W
    SOFTWARE ENGINEERING - ESEC/FSE '99, PROCEEDINGS, 1999, 1687 : 235 - 252