DDS并行模型及其形式化

摘要：

DDS(deadline-driven scheduler)模型是实时系统研究中的一个经典模型,但其原始设置中未提及空间因素.在DDS模型的原始设置上进行扩展,给出了DDS并行模型并在该模型设置下研究带空间限制的任务调度问题.提出了极大空间相容组的概念,并给出了全局调度算法和该算法可行的条件.最后还引入分离逻辑的思想对时段演算进行扩充,得到了新的形式系统DC*,利用DC*把DDS并行模型形式化.

关键词：DDS并行模型、全局调度算法、分离逻辑、时段演算、形式化

所属期刊栏目：20

分类号：TP301(计算技术、计算机技术)

资助基金：the National Natural Science Foundation of China under Grant Nos.60573010, 60663001;the Innovation Project of Guangxi Graduate Education of China under Grant No.2007106020701M52

在线出版日期：2009-07-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：1406-1413