DDS并行模型及其形式化

• 作者: 刘真环 王驹 赵荣盛 陈艳 韦立
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: DDS并行模型 全局调度算法 分离逻辑 时段演算 形式化
• 年，卷（期）: 2009,（6）
• 所属期刊栏目: 理论计算机科学
• 页码范围: 1406-1413
• 页数: 8页
• 分类号: TP301
• 字数: 6922字
• 语种: 中文
• DOI: 10.3724/SP.J.1001.2009.03424

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王驹	广西师范大学计算机科学与信息工程学院	53	458	11.0	19.0
2	韦立	广西师范大学数学科学学院	9	43	4.0	6.0
4	陈艳	广西师范大学数学科学学院	16	56	4.0	7.0
5	刘真环	桂林空军学院教研部	1	4	1.0	1.0
11	赵荣盛	广西师范大学数学科学学院	1	4	1.0	1.0