空军工程大学学报（自然科学版）
空軍工程大學學報（自然科學版）
공군공정대학학보（자연과학판）
JOURNAL OF AIR FORCE ENGINEERING UNIVERSITY (NATURAL SCIENCE EDITION)
2013年
5期
48-52
,共5页
胡延苏%南秦博%高昂%慕德俊
鬍延囌%南秦博%高昂%慕德俊
호연소%남진박%고앙%모덕준
VxWorks%软件容错%检查点%任务恢复
VxWorks%軟件容錯%檢查點%任務恢複
VxWorks%연건용착%검사점%임무회복
VxWorks%software fault tolerance%checkpoint%task recovery
软件容错技术是保证系统高可靠性及高可信性的有力工具.设计并实现了一种在VxWorks系统下基于检查点的任务恢复机制.通过对VxWorks系统下检查点文件内容的分析,采用3种方法来解决检查点的任务恢复问题:基于内存预先分配的主动内存管理,解决任务恢复时数据内存地址变化的问题;建立系统内核对象池,实现支持多任务之间同步和通信的内核对象的恢复;设计用户层任务恢复中间件,实现用户级检查点设置和任务恢复.最后设计基于VxWorks和PowerPC的计算平台原理样机,通过对单任务、多个单任务、多任务通讯、以及多任务协调工作4个测试用例的分析表明,所设计的基于检查点的任务恢复实现方案能正确保存任务关键信息及保证任务恢复的正确性和一致性.
軟件容錯技術是保證繫統高可靠性及高可信性的有力工具.設計併實現瞭一種在VxWorks繫統下基于檢查點的任務恢複機製.通過對VxWorks繫統下檢查點文件內容的分析,採用3種方法來解決檢查點的任務恢複問題:基于內存預先分配的主動內存管理,解決任務恢複時數據內存地阯變化的問題;建立繫統內覈對象池,實現支持多任務之間同步和通信的內覈對象的恢複;設計用戶層任務恢複中間件,實現用戶級檢查點設置和任務恢複.最後設計基于VxWorks和PowerPC的計算平檯原理樣機,通過對單任務、多箇單任務、多任務通訊、以及多任務協調工作4箇測試用例的分析錶明,所設計的基于檢查點的任務恢複實現方案能正確保存任務關鍵信息及保證任務恢複的正確性和一緻性.
연건용착기술시보증계통고가고성급고가신성적유력공구.설계병실현료일충재VxWorks계통하기우검사점적임무회복궤제.통과대VxWorks계통하검사점문건내용적분석,채용3충방법래해결검사점적임무회복문제:기우내존예선분배적주동내존관리,해결임무회복시수거내존지지변화적문제;건립계통내핵대상지,실현지지다임무지간동보화통신적내핵대상적회복;설계용호층임무회복중간건,실현용호급검사점설치화임무회복.최후설계기우VxWorks화PowerPC적계산평태원리양궤,통과대단임무、다개단임무、다임무통신、이급다임무협조공작4개측시용례적분석표명,소설계적기우검사점적임무회복실현방안능정학보존임무관건신식급보증임무회복적정학성화일치성.
