穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。;吐温·巴斯滕;米歇尔·乔德隆 PARS:一种处理资源和调度程序的进程代数方法。 (英语) Zbl 1171.68575号 Alexander,Michael(编辑)等人,《并行和分布式处理的进程代数》。佛罗里达州博卡拉顿:CRC pRESS(ISBN 978-1-4200-6486-5/hbk)。查普曼和霍尔/CRC计算科学系列,331-358(2009)。 小结:本章结构如下。我们分三部分定义了PARS的语法和语义。在第10.2节中,我们为具有资源消耗概念的流程规范构建了一个具有异步相对密集时间(即,具有交错时序转换的可能性)的流程代数。如前所述,我们认为时间异步与此相关,并且在这种情况下很有用,因为它对由于资源争用(例如在单个或几个CPU上实现多个并行组合)导致的可能延迟进行了建模。然后,在第10.3节中,为作为资源提供者的调度器开发了类似的进程代数理论。随后,在第10.4节中,定义了调度程序对进程的应用以及调度系统的组成。为了说明我们的方法的用法,我们从每一节的文献中给出了一些例子。最后,第10.5节总结了结果并提出了未来的研究方向。关于整个系列,请参见[Zbl 1155.68003号]. 引用于1文件 MSC公司: 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 68平方米 计算机系统中的性能评估、排队和调度 关键词:时间不同步 PDF格式BibTeX公司 XML格式引用 \textit{M.R.Mousavi}等人,in:并行和分布式处理的进程代数。佛罗里达州博卡拉顿:CRC pRESS。331-358(2009年;Zbl 1171.68575)