并发系统中基于优先级的调度分析 - 计算机科学.pdf

Vo1. 43 No. 11A 第 43 卷第11A 期 计算机科学 2016 年 11 月 Computer Science Nov 2016 并发系统中基于优先级的调度分析 朱振宇张仕蒋建民吴亚洲杨启帆 (福建师范大学数学与计算机科学学院福建省网络安全与密码技术重点实验室 福州 350007) 摘 要 当前复杂的并发系统多采用模块化、逐步求精和信息隐藏等非形式化的原则来指导系统的开发，而这些指导 原则抽象且无法保证分解系统的正确性。为此，对基于优先级控制的系统分解方法展开研究，提出一种系统分解的方 法，并在理论上证明该分解方法的正确性。首先采用基于事件的行为模型对系统进行建模;接着定义调度、调度策略 和调度策略正确性的概念;然后研究调度策略的分解方法，并证明了调度策略分解方法的正确性;最后根据该方法，开 发出一种支持依赖模型建模和调度策略分解的房、型工具，通过实例的演示，说明了使用该方法可以把系统分解成若干 个子系统，材、而设计出正确和有效的调度策略，以达到正确分解系统的目的。 关键词优先级，调度策略，分解，正确性 中图法分类号 TP316 文献标识码 A Analyzing Scheduling ßased on Priority in Concurrent Systems ZHU Zhen-yu ZHANG Shi JIANG Jian-min WU Ya-zhou YANG Qi-fan (Fujian Provincial Key Laboratory of Network Security and Cryptology ,College of Mathernatics and Computer Science , Fujian No口nal University ,Fuzhou 350007 ,China) Abstract Due to the complexity of the concurrent system ,it is difficult for engineers to develop a complex system as a whole directly. They often apply informal principles , such as modular , stepwise refinement and information hiding , to guide system development. These guidelines are abstract and can t guarantee the correct decomposition of system. In this paper ,we focused on the system decomposition method based on priority ,proposed a method to decompose the sys tem , and proved its correctness. First ,we modeled system with an event-based behavioral mode l. Next ,based on such a model ,we formally defined the schedule ,the scheduling policy and the correctness of a scheduling policy. After that ,we proposed a method for decomposing schedule policy ,