Set and Relation Manipulation for the Sparse Polyhedral Framework
Set and Relation Manipulation for the Sparse Polyhedral Framework
复制标题
稀疏多面体框架的集合和关系操作
DOI：
10.1007/978-3-642-37658-0_5
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
C. Olschanowsky
中科院分区：
文献类型：
--
作者：
M. Strout;Geri Georg;C. Olschanowsky
稀疏的多面体框架（SPF）通过使用未解释的函数呼叫抽象来扩展多面体模型，以编译运行时重新排序转换的编译时间规范，例如循环和数据重新排序以及稀疏的平铺方法，以安排跨回路的不规则迭代集合集合。多面体模型代表具有多面体工会的不完美嵌套环中的迭代点集，并代表具有仿射函数的循环转换，并应用于此类polyhedra集合。现有工具（例如ISL，Cloog和Omega操纵多面体集和仿射功能），但是可以代表某些约束的设置和功能的能力，其中某些约束包括诸如SPF中所需的函数呼叫，例如SPF中所需的呼叫是不存在的或严格限制的。本文介绍了用于操纵集合和与未解释的功能符号的关系的算法，以实现稀疏的多面体框架。该算法已在开源的C ++库中实现，称为Iegenlib（Inspector/executor Generator库）。
The Sparse Polyhedral Framework (SPF) extends the Polyhedral Model by using the uninterpreted function call abstraction for the compile-time specification of run-time reordering transformations such as loop and data reordering and sparse tiling approaches that schedule irregular sets of iteration across loops. The Polyhedral Model represents sets of iteration points in imperfectly nested loops with unions of polyhedral and represents loop transformations with affine functions applied to such polyhedra sets. Existing tools such as ISL, Cloog, and Omega manipulate polyhedral sets and affine functions, however the ability to represent the sets and functions where some of the constraints include uninterpreted function calls such as those needed in the SPF is non-existant or severely restricted. This paper presents algorithms for manipulating sets and relations with uninterpreted function symbols to enable the Sparse Polyhedral Framework. The algorithms have been implemented in an open source, C++ library called IEGenLib (The Inspector/Executor Generator Library).