简历
在越来越多的计算系统中，资源使用的估计和控制是一个重要的挑战。特别是，在物联网、云计算、健康、交通和机器人等各种应用中，对时间和能量的要求越来越高。与此同时，并行计算，特别是（异构）多核平台，已成为计算机体系结构中的主导范式。预测此类平台上的资源使用情况是一项艰巨的挑战。静态资源分析的大多数工作都集中在顺序程序上，而在并行程序的分析方面，或者更具体地说，在并行逻辑程序的分析上，进展相对较少。我们提出了一种新颖、通用和灵活的框架，用于建立成本方程/关系，这些方程/关系可以被实例化，用于对各种资源、平台和执行模型的并行逻辑程序进行资源使用分析。该分析估计了作为输入数据大小函数的并行程序（不执行它）的资源使用的上下限。此外，它还推断出其他有意义的信息，以更好地利用和评估系统的潜在和实际并行性。我们开发了一种解决并行程序分析中出现的涉及最大函数的成本关系的方法。最后，我们实例化了我们用于分析具有独立和并行性的逻辑程序的一般框架，报告了在CiaoPP系统中的一个实现，并提供了一些实验结果。据我们所知，这是并行逻辑程序成本分析的第一种方法。
