文摘

自动转换顺序程序有效执行并行计算机上包含了一系列的分析和重组的输入。这些分析都是基于计算数组部分,紧凑的描述一个范围的数组元素。数组部分描述的数组元素集读或写的程序语句。这些部分可以使用形状描述符紧代表等常规部分,简单的部分,或广义凸区域。然而,如联盟执行二进制操作这些表示不满足一个简单的闭包性质,例如,如果操作数联盟是凸的,结果可能是凸。近似是诉诸于为了满足这个闭包性质。这些近似不精确的分析和介绍,此外,不精确造成连续操作有一个累积效应。延迟合并技术建议和使用在一些现有的分析近似的影响降到最低。然而,这种方法并不能保证一个确切的解决方案一般设置。本文提出了一种广义技术精确计算联盟可以克服这些不精确。