Composable, sound transformations of nested recursion and loops
Composable, sound transformations of nested recursion and loops
复制标题
嵌套递归和循环的可组合、健全的转换
DOI：
10.1145/3314221.3314592
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Kulkarni, Milind
中科院分区：
文献类型：
--
作者：
Sundararajah, Kirshanthan;Kulkarni, Milind
调度转换会重新排序程序的操作，以提高局部性和/或并行性。多面体模型是为基于循环的程序编写和应用实例明智的调度转换的通用框架，但对于递归程序没有类似的框架。本文提出了一种在嵌套递归程序中编写和应用调度转换（如内联、交换和代码移动）的方法。本文描述了该方法的各个阶段——表示动态实例、组合和应用变换、推理正确性——并表明这些技术可以验证组合变换的健全性。
Scheduling transformations reorder a program’s operations to improve locality and/or parallelism. The polyhedral model is a general framework for composing and applyinginstance-wisescheduling transformations for loop-based programs, but there is no analogous framework for recursive programs. This paper presents an approach for composing and applying scheduling transformations—like inlining, interchange, and code motion—to nested recursive programs. This paper describes the phases of the approach—representing dynamic instances, composing and applying transformations, reasoning about correctness—and shows that these techniques can verify the soundness of composed transformations.
登录
查看更多内容
动态指针对齐：基于指针的并行计算的平铺和通信优化
DOI：
--
发表时间：
1997
期刊：
ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming
影响因子：
--
作者：
Xingbin Zhang;A. Chien
通讯作者：
A. Chien
影响因子：
2.5
作者：
GRIFFITHS, TV
通讯作者：
GRIFFITHS, TV
DOI：
10.1145/178243.178262
发表时间：
1994-06
期刊：
--
影响因子：
--
作者：
J. Hummel;L. Hendren;A. Nicolau
通讯作者：
J. Hummel;L. Hendren;A. Nicolau
影响因子：
1.4
作者：
M. Strout;Alan LaMielle;L. Carter;J. Ferrante;Barbara Kreaseck;C. Olschanowsky
通讯作者：
C. Olschanowsky
影响因子：
2.9
作者：
Youngjoon Jo;Milind Kulkarni
通讯作者：
Milind Kulkarni