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
基金
美国国家科学基金会;
关键词
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 条
  • [31] ENHANCING DATA-FLOW DIAGRAMS
    FRIEDMAN, WH
    JOURNAL OF COMPUTER INFORMATION SYSTEMS, 1995, 35 (03) : 84 - 89
  • [32] PORTABLE DATA-FLOW IN UNIX
    FOX, R
    VANDERMOLEN, A
    HANNUSCHKE, S
    IEEE TRANSACTIONS ON NUCLEAR SCIENCE, 1994, 41 (01) : 161 - 164
  • [33] Multiverse Data-Flow Control
    Schindler, Benjamin
    Waser, Juergen
    Ribicic, Hrvoje
    Fuchs, Raphael
    Peikert, Ronald
    IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS, 2013, 19 (06) : 1005 - 1019
  • [34] Evolution in Data-Flow Systems
    不详
    IEEE PERVASIVE COMPUTING, 2009, 8 (03) : 76 - 77
  • [35] ISSUES IN DATA-FLOW COMPUTING
    LEE, B
    HURSON, AR
    ADVANCES IN COMPUTERS, VOL 37, 1993, 37 : 285 - 333
  • [36] DATA-FLOW PROCESS NETWORKS
    LEE, EA
    PARKS, TM
    PROCEEDINGS OF THE IEEE, 1995, 83 (05) : 773 - 799
  • [37] DATA-FLOW MACHINE ARCHITECTURE
    VEEN, AH
    COMPUTING SURVEYS, 1986, 18 (04) : 365 - 396
  • [38] CONSISTENCY IN DATA-FLOW GRAPHS
    LEE, EA
    IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 1991, 2 (02) : 223 - 235
  • [39] Dynamic Data-Flow Testing
    Vivanti, Mattia
    36TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE COMPANION 2014), 2014, : 682 - 685
  • [40] CLOCKS IN DATA-FLOW LANGUAGES
    CASPI, P
    THEORETICAL COMPUTER SCIENCE, 1992, 94 (01) : 125 - 140