Effective Source-to-Source Outlining to Support Whole Program Empirical Optimization

被引:23
|
作者
Liao, Chunhua [1 ]
Quinlan, Daniel J. [1 ]
Vuduc, Richard [2 ]
Panas, Thomas [1 ]
机构
[1] Lawrence Livermore Natl Lab, Ctr Appl Sci Comp, Livermore, CA 94551 USA
[2] Georgia Inst Technol, Coll Comp, Atlanta, GA 30332 USA
关键词
ABSTRACTIONS;
D O I
10.1007/978-3-642-13374-9_21
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
Although automated empirical performance optimization and tuning is well-studied for kernels and domain-specific libraries, a current research grand challenge is how to extend these methodologies and tools to significantly larger sequential and parallel applications. In this context, we present the ROSE source-to-source outliner, which addresses the problem of extracting tunable kernels out of whole programs, thereby helping to convert the challenging whole-program tuning problem into a set of more manageable kernel tuning tasks. Our outliner aims to handle large scale C/C++, Fortran and OpenMP applications. A set of program analysis and transformation techniques are utilized to enhance the portability, scalability, and interoperability of source-to-source outlining. More importantly, the generated kernels preserve performance characteristics of tuning targets and can be easily handled by other tools. Preliminary evaluations have shown that the ROSE outliner serves as a key component within an end-to-end empirical optimization system and enables a wide range of sequential and parallel optimization opportunities.
引用
收藏
页码:308 / +
页数:3
相关论文
共 50 条
  • [1] Source-to-source Prolog program compression
    Devienne, P
    Parrain, A
    Taillibert, P
    Varennes, S
    LOGIC PROGRAMMING - PROCEEDINGS OF THE 1998 JOINT INTERNATIONAL CONFERENCE AND SYMPOSIUM ON LOGIC PROGRAMMING, 1998, : 205 - 219
  • [2] PROGRAM IMPROVEMENT BY SOURCE-TO-SOURCE TRANSFORMATION
    LOVEMAN, DB
    JOURNAL OF THE ACM, 1977, 24 (01) : 121 - 145
  • [3] Source-to-source translation for code-optimization
    Chowdhary, K. R.
    Purohit, Rajendra
    Purohit, Sunil Dutt
    JOURNAL OF INFORMATION & OPTIMIZATION SCIENCES, 2023, 44 (03): : 407 - 416
  • [4] Source-to-source instrumentation for the optimization of an automatic reading system
    Pereira, P
    Heutte, L
    Lecourtier, Y
    JOURNAL OF SUPERCOMPUTING, 2001, 18 (01): : 89 - 104
  • [5] Source-to-Source Architecture Transformation for Performance Optimization in BIP
    Bozga, Marius
    Jaber, Mohamad
    Sifakis, Joseph
    IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2010, 6 (04) : 708 - 718
  • [6] Source-to-Source Architecture Transformation for Performance Optimization in BIP
    Bozga, Marius
    Jaber, Mohamad
    Sifakis, Joseph
    2009 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS, 2009, : 152 - 160
  • [7] Source-to-Source Instrumentation for the Optimization of an Automatic Reading System
    P. Pereira
    L. Heutte
    Y. Lecourtier
    The Journal of Supercomputing, 2001, 18 : 89 - 104
  • [8] POET: A scripting language for applying parameterized source-to-source program transformations
    University of Texas at San Antonio, San Antonio, TX, United States
    Software Pract Exper, 1600, 6 (675-706):
  • [9] A Datalog Source-To-Source Translator for Static Program Analysis: An Experience Report
    Vorobyov, Bernhard Scholz Kostyantyn
    Krishnan, Padmanabhan
    Westmann, Till
    2015 24TH AUSTRALASIAN SOFTWARE ENGINEERING CONFERENCE (ASWEC 2015), 2015, : 28 - 37
  • [10] POET: a scripting language for applying parameterized source-to-source program transformations
    Yi, Qing
    SOFTWARE-PRACTICE & EXPERIENCE, 2012, 42 (06): : 675 - 706