通过静态分析和剖析实现逻辑程序的执行时间估计
摘要：静态分析方法已经被提出，可以推断出程序的解析或约简的次数上限。这些方法的优点是独立于程序执行的平台，并且已经在多个应用中证明了它们的有用性，例如并行执行中的粒度控制。然而，在分布式计算场景中，涉及到具有不同能力的平台时，需要用包含平台特征的度量来表达成本。特别是，能够推断实际执行时间的上下限是非常有趣的。基于这个目标，我们提出了一种方法，结合了编译时的成本上限分析和一次性的平台性能分析，以确定给定平台上某些参数的值。这些参数用于校准成本模型，并且从那时起，该模型能够静态地计算过程的时间上限函数，并且能够在给定平台上对这些过程的执行时间进行相当高的准确性预测。该方法已经在CiaoPP系统中实现和集成。
作者：Edison Mera, Pedro Lopez-Garcia, German Puebla, Manuel Carro, Manuel Hermenegildo
论文ID：cs/0701108
分类：Programming Languages
分类简称：cs.PL
提交时间：2007-05-23