|
计算机科学 2012
多处理器任务调度算法tds的建模与验证Keywords: 多处理器调度算法,线性时序逻辑,模型检测,扩展i3iichi自动机 Abstract: 在多处理器系统中,一个应用所要完成的任务可以分配给同一个处理器处理,也可以分配给多个处理器处理,所以传统的测试方法难以满足多处理器任务调度算法的验证。在此,提出一个基于扩展i3iichi自动机的形式化模型,并用该模型来描述多处理器任务调度算法tds(taskduplicationbasedscheduling);用线性时序逻辑描述出算法i'ds期望的一些性质;最后在该模型上验证了这些性质。该方法有效地克服了传统测试的局限性,保证了多处理器任务调度的可靠性。
|