【摘 要】
：
软件容错技术是保证系统高可靠性及高可信性的有力工具.设计并实现了一种在VxWorks系统下基于检查点的任务恢复机制.通过对VxWorks系统下检查点文件内容的分析,采用3种方法来
【机 构】
：
西北工业大学自动化学院,空军工程大学训练部
【基金项目】
：
国家自然科学基金资助项目(61203233)
论文部分内容阅读
软件容错技术是保证系统高可靠性及高可信性的有力工具.设计并实现了一种在VxWorks系统下基于检查点的任务恢复机制.通过对VxWorks系统下检查点文件内容的分析,采用3种方法来解决检查点的任务恢复问题：基于内存预先分配的主动内存管理,解决任务恢复时数据内存地址变化的问题;建立系统内核对象池,实现支持多任务之间同步和通信的内核对象的恢复;设计用户层任务恢复中间件,实现用户级检查点设置和任务恢复.最后设计基于VxWorks和PowerPC的计算平台原理样机,通过对单任务、多个单任务、多任务通讯、以及多任务协
其他文献
近年来,基于VxWorks的USB系统广泛地应用于嵌入式系统中。对VxWorks操作系统的体系结构、嵌入式USB系统、USB主机协议栈等方面进行了详细的分析,为开发基于VxWorks的USB驱动
目的分析护理小组工作模式在PICC安全管理中的应用。方法选取该院2016年2月—2018年2月收治的74例PICC患者为研究对象,2016年2月—2017年2月收治的37例为对照组,2017年2月—2
特色农产品经济是带动地方经济,增加农民收入的重要途径。标准化是提升陕西特色农产品产业化水平,增强其竞争力的必要手段。通过对陕西特色农产品标准制定情况、标准执行情况
在室内空间环境的设计中,灯光的运用是空间气氛营造的主要方法。在了解灯光的属性的前提下如何运用光影效果烘托主题,使空间具有层次感、立体感,是光影对于室内空间环境设计
本文以地方博物馆资源为依托,探讨如何将博物馆资源与小学美术活动有效结合,构建切实可行的教学模式与提出建议。以信阳市为例分析博物馆资源与小学美术融合面临的困境及提供
选取2014年年2月-2017年2月115例糖尿病患者,选取同期体检的115名健康人群为对照组,分别测定所有受试者的血清尿酸和血脂指标,并将检验结果进行对比分析。结果与对照组比较,
毒饵喷撒机作业过程中,经常会出现落料器堵塞或排毒饵器卡滞等现象,若该现象未能及时发现和排除,会影响毒饵喷撒机的正常工作。为了提高毒饵喷撒机适用性和整体工作性能,该文
采用50年（1956～2005年）系列的降水资料，分析了韶关市的气候特点、降水成因及其时空分布规律。结果表明，韶关市降水主要集中在春末夏初季（4～7月），流域内降水分布不均，容易发生干旱和洪涝
目的评价血管回声跟踪技术对高脂血症患者颈动脉弹性的诊断价值。方法应用血管回声跟踪技术检测51例高脂血症患者及30例对照组正常人双侧颈动脉,获取颈动脉弹性指标,包括颈动
近年来,我国的信息产业得到快速发展,作为信息产业的核心,软件业是推动着我国国民经济发展的基础性产业,也是推动世界经济发展的重要动力.因而促进软件业的发展是我国经济提