论文部分内容阅读
实时系统越来越受到关注,正成为研究的热门领域,在国防、航空航天、自动控制等方面应用极为广泛。实时系统不仅要保证逻辑的正确性,而且要在确定的时间内提供正确的结果,否则就会导致整个系统失败,甚至引起灾难性后果。由于实时系统对时间特殊甚至是苛刻的要求,使得系统调度和系统容错成为该领域最重要的研究内容之一。本文以经典实时系统容错调度算法为理论依据,设计了基于不精确计算模型的启发式容错调度算法,有效改善实时系统的容错性能。其主要研究工作体现在以下几个方面: 考虑到经典实时容错调度算法无法直接处理系统超负荷(过载)的情况,设计了基于不精确计算模型(Imprecise Computation Model,ICM)的高效实时容错调度算法(Maximum Crucial First,MCF)。ICM模型为系统超负荷任务调度提供了一个比较灵活的框架,通过适当降低任务的计算精度来换取执行时间,使任务能在时间约束之内得出基本可用的结果,任务所获服务时间越长,其结果的精度越高。在MCF调度算法中利用单调速率调度算法决定强制性任务的关键级别,利用最早时限优先调度算法和最短空闲时间优先调度算法进一步确定关键集合中的任务优先级。该算法充分结合了静/动态容错调度算法的优点,最大限度地利用处理机。 现实世界中的实时任务具有关键时间限制的特点,利用ICM模型,以最大回报率,最小响应时间,最小误差为目的,寻找划分强制性实时任务和可选择性实时任务的最佳调度点,设计了基于不精确计算模型ICM的Optimal-Point容错调度算法。算法保证实时任务顺利调度的同时,最大限度地满足系统对回报率、响应时间和误差上的需求。 随着计算机网络规模的增大和复杂性的增加,当网络中某个组件失效时,网络管理系统必须迅速找到故障并及时排除。本文研究了基于简单网络管理协议(Simple Network Management Protocol,SNMP)的不精确计算模型ICM的实时网络容错系统软件设计,满足数字图像在网络传输中的高质量要求。