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 条
  • [1] Equivalence Transformations for the Design of Interorganizational Data-Flow
    Koepke, Julius
    Eder, Johann
    ADVANCED INFORMATION SYSTEMS ENGINEERING, CAISE 2015, 2015, 9097 : 367 - 381
  • [2] Data-flow transformations using Taylor expansion diagrams
    Ciesielski, M.
    Askar, S.
    Gomez-Prado, D.
    Guillot, J.
    Boutillon, E.
    2007 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION, VOLS 1-3, 2007, : 455 - +
  • [3] DATA-FLOW GRAPH OPTIMIZATION FOR DATA-FLOW ARCHITECTURES - A DATA-FLOW OPTIMIZING COMPILER
    KYO, S
    OKAZAKI, S
    MIZOGUCHI, M
    NEC RESEARCH & DEVELOPMENT, 1994, 35 (01): : 96 - 107
  • [4] Data-flow bending: On the effectiveness of data-flow integrity
    Lu, Tingting
    Wang, Junfeng
    COMPUTERS & SECURITY, 2019, 84 : 365 - 375
  • [5] A communication placement framework with unified dependence and data-flow analysis
    Kennedy, K
    Sethi, A
    3RD INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING, PROCEEDINGS, 1996, : 201 - 208
  • [6] STRUCTURED DATA-FLOW ANALYSIS FOR ARRAYS AND ITS USE IN AN OPTIMIZING COMPILER
    GROSS, T
    STEENKISTE, P
    SOFTWARE-PRACTICE & EXPERIENCE, 1990, 20 (02): : 133 - 155
  • [7] Program slicing based on data-flow computation of path dependence flow graphs
    Naoi, Kuniaki
    Takahashi, Naohisa
    Systems and Computers in Japan, 1997, 28 (11): : 22 - 33
  • [8] DATA-FLOW ARCHITECTURES
    CULLER, A
    CULLER, DE
    ANNUAL REVIEW OF COMPUTER SCIENCE, 1986, 1 : 225 - 253
  • [9] DATA-FLOW ARCHITECTURE
    LERNER, EJ
    IEEE SPECTRUM, 1984, 21 (04) : 57 - 62
  • [10] DATA-FLOW MULTITASKING
    KAR, RP
    DR DOBBS JOURNAL, 1989, 14 (11): : 16 - &
12345