同步合作线程的资源控制
摘要：并发交互线程系统资源静态边界的新方法开发 基于合作线程的交互模型和同步轮次（称为实例），我们开发了一种新的方法来静态界定执行系统所需的资源。我们的研究旨在处理同步交互模型，该模型基于协作线程，其执行以特定的实例方式进行。我们的贡献是一种组合静态分析系统，以保证每个实例的终止，并将系统计算出的值的大小与实例开始时的参数大小进行边界化。我们的方法是对针对一阶函数语言设计的方法的推广，该方法依赖于结合了术语重写系统的标准终止技术和基于准解释概念的计算值大小的分析。我们证明这两种方法可以结合使用，以显式多项式边界来界定系统在一个实例期间执行所需的资源。作为第二个贡献，我们引入了一个虚拟机和相关的字节码，从而精确描述系统执行所需的资源。在这个背景下，我们提出了一种适合的控制流分析，使得能够在字节码级别上形成资源控制的静态分析。
作者：Roberto Amadio (PPS), Silvano Dal Zilio (LIF)
论文ID：cs/0512057
分类：Programming Languages
分类简称：cs.PL
提交时间：2007-06-13