全部 标题 作者
关键词 摘要

OALib Journal期刊
ISSN: 2333-9721
费用:99美元

查看量下载量

相关文章

更多...

多处理器任务调度算法tds的建模与验证

Keywords: 多处理器调度算法,线性时序逻辑,模型检测,扩展i3iichi自动机

Full-Text   Cite this paper   Add to My Lib

Abstract:

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

Full-Text

Contact Us

service@oalib.com

QQ:3279437679

WhatsApp +8615387084133