【24h】

The power test for data dependence

机译:数据依赖性的功率测试

获取原文
获取原文并翻译 | 示例
           

摘要

A data dependence decision algorithm called the power test is introduced. The power test is a combination of the extended GCD algorithm and the Fourier-Motzkin method to eliminate variables in a system of inequalities. This is the first test that can generate the information needed for some advanced transformations, and that can handle complex simultaneous loop limits. Previous work in data dependence decision algorithms is reviewed. Some examples which motivated the development of this test are examined, including those which demonstrate the additional power of the power test. Although it may be too expensive for use as a general-purpose dependence test in a compiler, the power test has proved useful in an interactive program restructuring environment.
机译:介绍了一种称为功率测试的数据依赖决策算法。功效检验是扩展GCD算法和傅里叶-莫兹金方法的结合,用于消除不等式系统中的变量。这是第一个可以生成某些高级转换所需信息并且可以处理复杂的同时循环限制的测试。数据依赖决策算法的先前工作进行了审查。研究了一些激励该测试开发的示例,包括那些演示了功率测试的附加功能的示例。尽管在编译器中用作通用依赖项测试可能太昂贵了,但是电源测试已证明在交互式程序重构环境中很有用。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号