论文部分内容阅读
为了保证长运行时间软件的实时性要求，本文针对双机冗余系统，采用检查点设置与卷回恢复的方法提出了一种系统模型，同时为使任务的完成时间最短而给出了如何确定检查点设置周期的方法。文章最后进行了数学分析并给出了模拟结果比较。
实时双机系统中检查点设置周期的选择
【摘 要】
：
为了保证长运行时间软件的实时性要求，本文针对双机冗余系统，采用检查点设置与卷回恢复的方法提出了一种系统模型，同时为使任务的完成时间最短而给出了如何确定检查点设置周期的
【机 构】
：
国防科技大学计算机学院
【出 处】
：
计算机工程与科学
【发表日期】
：
2001年1期
其他文献
本文介绍模糊推理协处理器VLSI芯片F200的设计, 给出了详细的芯片设计流程,并重点讨论了有关芯片的可测试性设计、设计验证和测试等问题.
<正> 本发明是关于除去大豆粉中令人不快的豆腥味和酱味的制造方法。将大豆蛋白质作为食品时,应限制其特有的不快的腥味和苦味成分。除去这种不快的豆腥味和苦味成分(以下简
本研究以大豆为原料,用物理和发酵方法生产大豆乳酸菌饮料。此法生产的饮料呈乳白色,无豆腥味,有乳酸发酵产生的芳香味,口感细腻。该饮料有较高的营养价值;含活体乳酸菌,有保
计明现为高级工艺美术师，江西省工艺美术师，中国工艺美术学会会员，江西省美术家协会会员，珠山陶瓷艺术中心专业画师，景德镇陶瓷公司特聘设计师。首批景德镇陶瓷艺术高级培训班结业
宗教朝圣是最早的旅游形式之一,其神秘性和传承性吸引了众多宗教信徒与非宗教信仰游客。宗教旅游内容丰富,形式多样,有众多的活动和仪式,有着强大的吸引力。特别是集各种宗教
本文提出了一种硬件虚拟接口结构(HVIA),介绍了一个基于HVIA的系统域网络(HVIA-Net),并比较了HVIA与VIA的性能.
“营改增”是我国最近几年的重头戏,从2012年1月1日,“营改增”从部分行业,部分地区开始试点,到2016年5月1日起,在全部行业,全国范围推行。自此,保险业最终纳入试点范围,由缴