并发系统中基于优先级的调度分析

• 作者: 吴亚洲 张仕 朱振宇 杨启帆 蒋建民
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 优先级 调度策略 分解 正确性
• 年，卷（期）: 2016,（z2）
• 所属期刊栏目: 软件工程与数据库技术
• 页码范围: 523-528,535
• 页数: 7页
• 分类号: TP316
• 字数: 9384字
• 语种: 中文

摘要

当前复杂的并发系统多采用模块化、逐步求精和信息隐藏等非形式化的原则来指导系统的开发,而这些指导原则抽象且无法保证分解系统的正确性.为此,对基于优先级控制的系统分解方法展开研究,提出一种系统分解的方法,并在理论上证明该分解方法的正确性.首先采用基于事件的行为模型对系统进行建模;接着定义调度、调度策略和调度策略正确性的概念;然后研究调度策略的分解方法,并证明了调度策略分解方法的正确性;最后根据该方法,开发出一种支持依赖模型建模和调度策略分解的原型工具,通过实例的演示,说明了使用该方法可以把系统分解成若干个子系统,从而设计出正确和有效的调度策略,以达到正确分解系统的目的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张仕	福建师范大学数学与计算机科学学院福建省网络安全与密码技术重点实验室	21	116	4.0	10.0
2	蒋建民	福建师范大学数学与计算机科学学院福建省网络安全与密码技术重点实验室	10	11	2.0	3.0
3	朱振宇	福建师范大学数学与计算机科学学院福建省网络安全与密码技术重点实验室	1	1	1.0	1.0
4	吴亚洲	福建师范大学数学与计算机科学学院福建省网络安全与密码技术重点实验室	3	1	1.0	1.0
5	杨启帆	福建师范大学数学与计算机科学学院福建省网络安全与密码技术重点实验室	3	1	1.0	1.0