并发实时系统的模型及其形式化

摘要

并发实时系统指多处理器环境下有实时要求的并发计算系统。 本文第一章中介绍了一般实时系统的发展。实时系统领域的研究者通常考虑有周期性截止期的任务,任务调度问题是实时系统研究的重点，这一领域的研究成果包括有效的调度算法及相关定理，如著名的Liu－layland 定理。 在第二章中引入空间因素，提出了扩充的多处理器实时系统，建立了有空间限制的并发实时系统的模型。在这个模型中，每个任务Pi的运行需要一定的空间Vi(t)（这个空间可以是常量或变量），但所提供的空间的总量D是有限的。在这一框架下，我们能清楚地刻画并行和并发，而且能获得有效的调度算法。 在第三章中讨论了并行模型，运用时段演算、分离逻辑的语言给出并行模型的形式化描述。并得到一些定理。 在第四章中讨论并发模型。当任务Pi占用的空间Vi(t)是变量时，就得到并发模型。