朱振宇
- 作品数:1 被引量:2H指数:1
- 供职机构:福建师范大学数学与计算机科学学院更多>>
- 发文基金:国家自然科学基金国家高技术研究发展计划福建省自然科学基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 并发系统中基于优先级的调度分析被引量:2
- 2016年
- 当前复杂的并发系统多采用模块化、逐步求精和信息隐藏等非形式化的原则来指导系统的开发,而这些指导原则抽象且无法保证分解系统的正确性。为此,对基于优先级控制的系统分解方法展开研究,提出一种系统分解的方法,并在理论上证明该分解方法的正确性。首先采用基于事件的行为模型对系统进行建模;接着定义调度、调度策略和调度策略正确性的概念;然后研究调度策略的分解方法,并证明了调度策略分解方法的正确性;最后根据该方法,开发出一种支持依赖模型建模和调度策略分解的原型工具,通过实例的演示,说明了使用该方法可以把系统分解成若干个子系统,从而设计出正确和有效的调度策略,以达到正确分解系统的目的。
- 朱振宇张仕蒋建民吴亚洲杨启帆
- 关键词:调度策略