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 条
  • [21] Linguistic data-flow structures
    Koch, Gregers
    Proceedings of the International Workshop on Natural Language Understanding and Logic Programming, 1991,
  • [22] SIGNAL PROCESSING ON A PARALLEL PIPELINE-STRUCTURED DATA-FLOW COMPUTER SYSTEM.
    Oba, Nobuyuki
    Nakamura, Tadao
    Shigei, Yoshiharu
    Systems and Computers in Japan, 1986, 17 (04) : 9 - 16
  • [23] Data-flow Testing in the Large
    Andrioli de Araujo, Roberto Paulo
    Chaim, Marcos Lordello
    2014 IEEE SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2014, : 81 - 90
  • [24] A DATA-FLOW GRAPHICS WORKSTATION
    TENHAGEN, PJW
    HERMAN, I
    DEVRIES, JRG
    COMPUTERS & GRAPHICS, 1990, 14 (01) : 83 - 93
  • [25] A Survey on Data-Flow Testing
    Su, Ting
    Wu, Ke
    Miao, Weikai
    Pu, Geguang
    He, Jifeng
    Chen, Yuting
    Su, Zhendong
    ACM COMPUTING SURVEYS, 2017, 50 (01)
  • [26] DATA-FLOW NETWORKS ARE FIBRATIONS
    STARK, EW
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 530 : 261 - 281
  • [27] A HISTORY OF DATA-FLOW LANGUAGES
    WHITING, PG
    PASCOE, RSV
    IEEE ANNALS OF THE HISTORY OF COMPUTING, 1994, 16 (04) : 38 - 59
  • [28] DATA-FLOW TO MEZZANINE MODULES
    MCBRIDE, G
    ELECTRONIC PRODUCT DESIGN, 1995, 16 (04): : 57 - 58
  • [29] Accelerated data-flow analysis
    Leroux, Jerome
    Sutre, Gregoire
    STATIC ANALYSIS, PROCEEDINGS, 2007, 4634 : 184 - +
  • [30] Controlling Data-Flow in the Cloud
    Weissbach, Mandy
    Zimmermann, Wolf
    THIRD INTERNATIONAL CONFERENCE ON CLOUD COMPUTING, GRIDS, AND VIRTUALIZATION (CLOUD COMPUTING 2012), 2012, : 24 - 29
12345