首页> 外文期刊>Science of Computer Programming >Specifying and executing optimizations for generalized control flow graphs
【24h】

Specifying and executing optimizations for generalized control flow graphs

机译:为通用控制流程图指定和执行优化

获取原文
获取原文并翻译 | 示例

摘要

Optimizations performed by compilers, usually expressed as rewrites on program graphs, are a core part of modern compilers. However, even production compilers have bugs, and these bugs are difficult to detect and resolve. In this paper we present Morpheus, a domain-specific language for formal specification of program transformations, and describe its executable semantics. The fundamental approach of Morpheus is to describe program transformations as rewrites on control flow graphs with temporal logic side conditions. The syntax of Morpheus allows cleaner, more comprehensible specifications of program optimizations; its executable semantics allows these specifications to act as prototypes for the optimizations themselves, so that candidate optimizations can be tested and refined before going on to include them in a compiler. We demonstrate the use of Morpheus to state, test, and refine the specification of a variety of transformations, including a simple loop peeling transformation for single-threaded code and a redundant store elimination optimization on parallel programs.
机译:由编译器执行的优化(通常表示为程序图的重写)是现代编译器的核心部分。但是,即使是生产编译器也存在错误,并且难以检测和解决这些错误。在本文中,我们介绍Morpheus(一种用于程序转换的正式规范的领域特定语言),并描述其可执行语义。 Morpheus的基本方法是将程序转换描述为具有时间逻辑方面条件的对控制流程图的重写。 Morpheus的语法允许使用更清晰,更易理解的程序优化规范。它的可执行语义允许这些规范充当优化本身的原型,因此可以在将候选优化包含在编译器中之前对其进行测试和优化。我们演示了Morpheus的使用来陈述,测试和完善各种转换的规范,包括针对单线程代码的简单循环剥离转换以及对并行程序的冗余存储消除优化。

著录项

  • 来源
    《Science of Computer Programming》 |2016年第15期|2-23|共22页
  • 作者单位

    Department of Computer and Information Science, University of Pennsylvania, Levine Hall, 3330 Walnut Street, Philadelphia, PA 19104-6309, United States;

    Department of Computer Science, University of Illinois at Urbana-Champaign, Thomas M. Siebel Center, 201 N. Goodwin, Urbana, IL 61801-2302, United States;

    Department of Computer Science, University of Illinois at Urbana-Champaign, Thomas M. Siebel Center, 201 N. Goodwin, Urbana, IL 61801-2302, United States;

    School of Computing, University of Utah, 50 S. Central Campus Drive, Room 3190, Salt Lake City, UT 84112, United States;

  • 收录信息 美国《科学引文索引》(SCI);美国《工程索引》(EI);
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类
  • 关键词

    Optimizing compilers; Program transformations; Temporal logic; SMT solvers;

    机译:优化编译器;程序转换;时间逻辑;SMT求解器;

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号