收藏本站
《空军工程大学学报(自然科学版)》 2013年05期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

VxWorks中任务恢复机制的设计与实现

胡延苏  南秦博  高昂  慕德俊  
【摘要】:软件容错技术是保证系统高可靠性及高可信性的有力工具。设计并实现了一种在VxWorks系统下基于检查点的任务恢复机制。通过对VxWorks系统下检查点文件内容的分析,采用3种方法来解决检查点的任务恢复问题:基于内存预先分配的主动内存管理,解决任务恢复时数据内存地址变化的问题;建立系统内核对象池,实现支持多任务之间同步和通信的内核对象的恢复;设计用户层任务恢复中间件,实现用户级检查点设置和任务恢复。最后设计基于VxWorks和PowerPC的计算平台原理样机,通过对单任务、多个单任务、多任务通讯、以及多任务协调工作4个测试用例的分析表明,所设计的基于检查点的任务恢复实现方案能正确保存任务关键信息及保证任务恢复的正确性和一致性。

手机知网App
【参考文献】
中国期刊全文数据库 前7条
1 李祁;郭天杰;邢翠芳;;基于VxWorks的1553B总线软件设计及实现[J];火力与指挥控制;2010年05期
2 张悠慧,汪东升,郑纬民;Solaris系统多线程检查点设置与卷回恢复[J];计算机工程与应用;2000年08期
3 王春露,汪东升;Unix进程检查点设置关键技术[J];计算机工程与应用;2002年01期
4 杨晖;陈闳中;;支持文件迁移的Linux检查点机制的实现[J];计算机工程;2010年03期
5 陆阳;王强;张本宏;诸葛战斌;;计算机系统容错技术研究[J];计算机工程;2010年13期
6 李毅,周明天;Minix进程检查点机制的实现[J];计算机应用;2003年01期
7 张杰智;任国林;;一种基于信道不可靠环境的协调式检查点协议[J];计算机技术与发展;2008年02期
【共引文献】
中国期刊全文数据库 前10条
1 周志久;刘波;胡严苏;;VxWorks中任务恢复机制的设计与实现[J];工业控制计算机;2013年09期
2 毛文涛;金文标;牟俊;邓通;;Apache服务器集群中套接字迁移的研究与实现[J];计算机工程与应用;2006年17期
3 李海山;欧中红;杨升春;袁由光;;基于COTS的容错服务器及其故障恢复技术[J];计算机工程;2007年08期
4 李旭东;张春霞;林曙光;林星;;基于WRK的多文件句柄进程的冷冻与解冻[J];计算机工程;2010年20期
5 蒲英;马满福;牛增轩;;网格调度中的QoS参数容错[J];计算机工程;2011年07期
6 刘道宏;雷航;郭文生;;嵌入式操作系统进程监测器的设计与实现[J];计算机工程;2011年09期
7 黄涛;陈祥献;黄海;;基于三取二冗余结构的安全计算机系统[J];计算机工程;2011年18期
8 刘翠英;高胜法;王慧丽;;一种高效的协调式检查点算法[J];计算机工程;2011年23期
9 裴晓强;王意洁;王媛;;一种容错的数据中心网络结构[J];计算机工程;2012年08期
10 杨叔寅;秦晨飞;黄正峰;梁华国;;基于内建自测的软错误与老化在线检测[J];计算机工程;2012年08期
中国博士学位论文全文数据库 前4条
1 梁鸿;基于地震资料处理的计算网格技术的研究[D];中国石油大学;2008年
2 李海山;面向恢复的容错计算技术研究[D];哈尔滨工程大学;2007年
3 田贺祥;微小卫星综合电子系统及其关键技术研究[D];清华大学;2009年
4 徐振朋;移动计算环境下检查点回卷恢复容错技术研究[D];哈尔滨工程大学;2011年
中国硕士学位论文全文数据库 前10条
1 刘振兴;基于移动无线网络的异步检查点算法的研究[D];哈尔滨工程大学;2010年
2 闫新河;云计算下自主诊断与自我修复研究[D];电子科技大学;2011年
3 张旻佳;虚拟集群环境下多虚拟机协同检查点容错系统[D];华中科技大学;2010年
4 张程烨;面向星载计算的局部检查点机制的研究与实现[D];国防科学技术大学;2011年
5 朱非甲;分布式环境下的医学图像处理平台研究[D];哈尔滨理工大学;2011年
6 张黎军;PDA线务通的研究与实现[D];西北工业大学;2003年
7 王建平;PDA线务通通信协议的研究与实现[D];西北工业大学;2003年
8 李洪源;集群系统中高可用调度器的研究与实现[D];国防科学技术大学;2003年
9 胡兵全;基于Windows的双机热备系统的设计与实现[D];华中科技大学;2004年
10 张宇;基于PVM的机群容错方法研究与实现[D];重庆大学;2005年
【二级参考文献】
中国期刊全文数据库 前10条
1 朱明程,温粤;FPGA动态可重构数字电路容错系统的研究[J];东南大学学报(自然科学版);2000年04期
2 陆阳;张本宏;魏臻;韩江洪;;“二乘二取二”和“双模冗余-比较”结构对比研究[J];电子测量与仪器学报;2009年03期
3 赵月琴;基于BU-61580的嵌入式1553B终端设计[J];航空兵器;2004年04期
4 傅忠传;陈红松;崔刚;杨孝宗;;处理器容错技术研究与展望[J];计算机研究与发展;2007年01期
5 ;MICROTHREAD BASED (MTB) COARSE GRAINED FAULT TOLERANCE SUPERSCALAR PROCESSOR ARCHITECTURE[J];Journal of Electronics;2006年03期
6 王春露,汪东升;Unix进程检查点设置关键技术[J];计算机工程与应用;2002年01期
7 龙翔,梁震,陈瑾,聊鸿斌;Linux中检查点(Checkpoint)的核心支持——ckpt文件系统的设计[J];计算机工程与应用;2002年06期
8 刘耀,胡越明,金利峰;高可靠计算机系统的容错技术[J];计算机工程;2004年S1期
9 戴永涌;基于Myrinet的检查点一致性设计与实现[J];计算机工程;2005年22期
10 魏晓辉,鞠九滨;分布式系统中的检查点算法[J];计算机学报;1998年04期
【相似文献】
中国期刊全文数据库 前10条
1 谢李李,乐慧康,陈义平;VxWorks下声纳基阵稳定控制系统的软件实现[J];工业控制计算机;2004年09期
2 万逸珠,戚文芽;嵌入式实时操作系统Vx Works的内存管理方案[J];信息工程大学学报;2004年04期
3 张保山;VxWorks下基于BSD4.4规范的网络程序设计[J];情报指挥控制系统与仿真技术;2002年12期
4 殷玉喆,徐英莹,王捷,赵志丹,王建平;ARM7-VxWorks的网络化实时彩色分析虚拟仪器[J];单片机与嵌入式系统应用;2005年03期
5 耿锐,王闵;Vx Works中的中断应用设计要点[J];微机发展;2005年05期
6 尚涛,施亮,吴智铭;实时操作系统VxWorks下I/O设备驱动程序的编写技巧[J];微计算机信息;2001年05期
7 赵锋,卢锡城,朱珂;实时操作系统VxWorks下的路由器驱动程序设计[J];计算机工程;2003年05期
8 包牧,马齐爽;基于VxWorks的EICAS系统软件研究[J];微计算机信息;2004年05期
9 张万生,邢涛,刘尉悦,冯海涛,张俊杰,乔崇,王砚方;基于VxWorks的多DSP系统的多任务程序设计[J];单片机与嵌入式系统应用;2001年06期
10 李芸,易志强,朱小富,王匡;Vx Works环境下IP-CATV网关驱动程序的设计与实现[J];中国有线电视;2003年11期
中国重要会议论文全文数据库 前10条
1 周治国;崔国辉;刘志文;;基于S3C2440 NandFlash VxWorks启动及性能分析[A];全国第4届信号和智能信息处理与应用学术会议论文集[C];2010年
2 叶长城;郭旭斌;王忆文;;面向S3C2440平台的VxWorks系统移植[A];第十五届计算机工程与工艺年会暨第一届微处理器技术论坛论文集(A辑)[C];2011年
3 王晋东;董文超;张恒巍;李楠;;VxWorks系统访问控制机制设计与实现[A];全国第21届计算机技术与应用学术会议(CACIS·2010)暨全国第2届安全关键技术与应用学术会议论文集[C];2010年
4 王志淋;厉海燕;李新明;;Linux应用程序兼容技术研究[A];’2004计算机应用技术交流会议论文集[C];2004年
5 安刚;李育;应孝岩;高亚奎;;基于VxWorks的PowerPC多CPU系统在飞行仿真中的应用[A];第五届全国仿真器学术会论文集[C];2004年
6 刘艳秋;安军社;李扬;孙辉先;;智能化、高可靠、可重构计算机的软件设计与实现[A];中国空间科学学会空间探测专业委员会第十六次学术会议论文集(下)[C];2003年
7 方晨;张育平;谷青范;;规则引擎在操作系统可配置技术中的应用研究[A];中国通信学会第六届学术年会论文集(中)[C];2009年
8 梁冰;胥布工;;嵌入式实时操作系统VxWorks中液晶模块的应用[A];中南六省(区)自动化学会第24届学术年会会议论文集[C];2006年
9 张军;王帆;;基于Vxworks的串口通信程序设计与实现[A];2005川渝地区自动化与电控技术学术年会论文集[C];2005年
10 倪世道;;基于VxWorks的相控阵雷达系统软件开发[A];计算机技术与应用进展——全国第17届计算机科学与技术应用(CACIS)学术会议论文集(下册)[C];2006年
中国重要报纸全文数据库 前3条
1 马霞;风河开发者区域大会举行[N];科技日报;2009年
2 ;软件系统提升医疗设备智能化网络化水平[N];中国电子报;2009年
3 ;数字图书录入快又省[N];中国计算机报;2002年
中国博士学位论文全文数据库 前2条
1 柏旭光;航空光电平台数字集约化技术研究[D];中国科学院研究生院(长春光学精密机械与物理研究所);2010年
2 马民;分布式交互仿真中容错和实时技术研究[D];国防科学技术大学;2006年
中国硕士学位论文全文数据库 前10条
1 石丽娜;基于VxWorks的水下目标识别系统研究[D];哈尔滨工程大学;2010年
2 高晓晔;基于嵌入式操作系统VxWorks的目标测定仪软件开发[D];南京理工大学;2004年
3 王浩亮;基于MPC8260和VxWorks的嵌入式系统的开发和研究[D];天津大学;2004年
4 张克旺;支持AOS应用的嵌入式操作系统研究[D];西北工业大学;2004年
5 赵大为;小波域数字水印算法与应用研究[D];南京航空航天大学;2005年
6 仵伟;基于VxWorks的嵌入式web系统的研究与设计[D];西南交通大学;2006年
7 陈林;基于VxWorks的数话同传系统的设计与实现[D];南昌大学;2006年
8 管志伟;基于Vxworks和IBM405EP的排队管理系统[D];电子科技大学;2008年
9 曹晗;基于SPARC平台的VxWorks虚拟化技术研究[D];哈尔滨工业大学;2010年
10 吕广强;基于VxWorks的星载软件设计及其一体化测试平台[D];哈尔滨工业大学;2007年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026