CP-PRA:基于检查点机制的容错实时调度算法

来源 :2003中国计算机大会 | 被引量 : 0次 | 上传用户:zpbaqq1314
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
时间冗余作为容错的重要手段被广泛应用于安全关键实时系统中.传统容错调度算法为失败任务的重运行(Re-execute)预留了大量的空闲时间,但是重运行的使用会降低系统的资源利用率.本文提出了一种基于检查点机制的容错调度算法CP-PRA,通过降低错误恢复需要的时间,可以有效的提高系统的资源利用率.本文给出了该算法的可调度条件,并证明了其算法的正确性.
其他文献
新一代传输层协议SCTP是流控制传输协议(Stream Control Transmission Protocol),提供面向关联的端到端的可靠消息流传输,它具有许多原有传输层协议TCP、UDP所不具备的新特性
本文主要讨论SDM和GIS数据库的集成技术.本文中,提出了距离方向连接索引(Distance-Direction associated Join Indices,DDJI)的概念及其增量实现方法.DDJI存储了两个对象间的
在这个信息爆炸的时代,掌握基本的信息技术,能够进行信息处理是学生必须要掌握的基本技能,然而,当前的高中信息技术教学没有引起师生的足够的认识,处境比较尴尬,因此,提高信
Two-bit模式通过将复杂操作尽可能放在网络的边界从而实现转发路径的简单性,同时该模式提供一种避免使用流量类型假设的服务和灵活的分配策略.本文使用排队论的方法,通过对Tw
Because of the advanced developments in information technology and networking, a user can easily communicate with others via the Internet. In daily life, users
由IBM、Microsoft及BEA推出的WS-Coordination与WS-Transaction规范是一个利用事务机制对Web服务集成进行协调以保证一致性和可靠性的基础框架.与传统的事务环境一样,当多个
CNN搜索算法昌空开销最大的一步是找出一个新插入点覆盖的所有分点,它直接影响着该算法的效率.本文对如何寻找一个新插入点覆盖的所有分点问题进行了研究,提出了适用于搜索一
数学课程必须根据学生身心发展和数学学习的特点,关注学生的个体差异和不同的学习需求,充分激发学生的主动意识和参与精神,倡导自主学习.
J2ME是目前在无线设备上开发应用的理想平台,利用其提供的网络服务,手机等移动通讯设备可以用C/S方式访问Internet上的所有信息.随着无线通讯技术和地理信息技术的飞速发展,
会议
在小学语文教学中,阅读教学是重点教学内容,阅读能力也是学生必须要具备的能力之一.在小学语文阅读教学中,教师应运用科学的教学方法高质量的进行阅读教学,使学生在课堂上能