构建弱动态仿射程序精确多面体模型的又一方法
编程语言
2015-01-19 v1
摘要
如果唯一的控制结构是{\tt do}-loops和结构化{\tt if}s，且循环计数器边界、数组下标和{\tt if}-条件是外围循环计数器和可能的一些整型常量的仿射表达式，则通常可构建精确多面体模型（PM）。在更通用的动态控制程序中，允许任意{\tt if}s和{\tt while}s，通常的数据流分析一般只能是模糊的。当PM仅用于指导并行化变换时这不成问题，但对于将源程序转换为依赖PM的其他计算模型（CM）（如我们的数据流CM版本或著名的KPN）则不够充分。本文提出了一种构建精确多面体模型的新方法，并对精确PM的概念进行了扩展，从而让我们能以自然方式添加所有与数据相关条件有关的处理。目前，我们的系统仅允许输入程序中出现任意{\tt if}s（而非{\tt while}s）。所得多面体模型可轻松输出为具有数据流计算语义的等价程序。
引用
@article{arxiv.1501.03839,
title = {Yet Another Way of Building Exact Polyhedral Model for Weakly Dynamic Affine Programs},
author = {Arkady Klimov},
journal= {arXiv preprint arXiv:1501.03839},
year = {2015}
}
备注
8 pages, 11 figures, was submitted to IMPACT-2015 (however was not accepted)