阿尔伯特·科恩;西尔万·吉尔巴尔;奥利维尔·特曼 简化程序转换组合的多面体方法。 (英语) Zbl 1096.68592号 Danalotto,Marco(编辑)等人,《2004年欧洲药典》,并行处理。2004年8月31日至9月3日在意大利比萨举行的第十届国际欧巴会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22924-8/pbk)。计算机科学课堂讲稿3149292-303(2004)。 摘要:我们希望通过提高循环转换的健壮性和简化长序列中的循环组合来扩展循环重组编译器的有效性。我们提出了一个正式且实用的程序转换框架。我们的框架非常适合于迭代优化技术,不仅可以搜索给定转换的适当参数,还可以搜索程序转换本身,尤其是程序转换的组合。该框架基于循环和语句的统一多面体表示,允许在不引用语法程序表示的情况下应用广义控制和数据转换。我们框架的关键是明确区分每个程序转换对三个独立组件的影响:迭代域、迭代调度和内存访问功能。广义转换的组合基于特定于表示的每个组件的规范化规则。我们的技术是在Open64/ORC之上实现的。关于整个系列,请参见[Zbl 1056.68005号]. 引用于1文件 MSC公司: 第68页第20页 编译与解释理论 软件:FADA库;海洋 PDF格式BibTeX公司 XML格式引用 \textit{A.Cohen}等人,Lect。注释计算。科学。3149、292--303(2004年;Zbl 1096.68592) 全文: DOI程序