【摘 要】
：
作为一种流行的软件容错机制，检查点与恢复技术的实现模式有两种：用户级和系统级。首先阐述了两者的区别，然后根据Linux可加载内核模块机制提出了一种基于Linux内核的进程检查点
【机 构】
：
哈尔滨工程大学计算机学院高可信计算技术研究中心
【基金项目】
：
本文受国家自然科学基金（60873138）资助.
论文部分内容阅读
作为一种流行的软件容错机制，检查点与恢复技术的实现模式有两种：用户级和系统级。首先阐述了两者的区别，然后根据Linux可加载内核模块机制提出了一种基于Linux内核的进程检查点与恢复实现方法。利用Linux内核线程实现了检查点与恢复内核模块，并基于此内核模块在用户层构造了一检查点函数库，为用户提供了相应接口。用户通过组合使用这些接口可以高效地实现具体检查点与恢复算法。
其他文献
摘 要：促进课堂交际的一个重要手段就是学生之间的互动学习，本文论述了中学英语课堂教学中学生之间的互动学习的意义及教师应如何促进学生之间的互动。关键词：英语课堂； 互动学习； 积极主动； 交际中图分类号：G623.2 文献标识码：A 文章编号：1006-3315（2011）3-007-001一、学生互动学习的意义在中学英语课堂教学中，学生之间的互动学习是课堂交际的一个重要组成部分。在这种学习方式中，
指纹识别技术是指通过计算机,利用人体所固有的指纹生理特征来进行个人身份鉴定的技术。它本质上是模式识别技术的一个分支。指纹图像增强技术可以有效地加强指纹的脊线特征,确保特征提取算法的性能对指纹图像的质量具有足够的鲁棒性,为指纹细节的提取和匹配识别奠定可靠的基础。依据Gabor滤波器能够同时对图像局部结构的方向和空域频率进行解析的特性,介绍了一种基于二维Gabor滤波的指纹图像增强方法,提出了利用So
随着国内整个社会生产以及人们的社会生活对设计专业人才需求的加大,国内很多工科、综合性大学纷纷开始设立设计艺术专业,成为设计艺术人才培养的重要阵地。在众多工科、综合
随着媒介竞争逐步向品牌竞争演化,如何创建并打响品牌是教育期刊生存与发展的必由之路。由于教育期刊长期定位于内向性、非营利性,这导致其品牌建设与营销意识薄弱。鉴于此,
为了解决场景中可能发生的运动模糊、快速移动、尺度变化、光照变化、目标遮挡、复杂背景等场景变化问题,融入背景感知可以有效地提高视觉跟踪算法的鲁棒性.提出了基于加权背景感知框架的相关滤波(WBACF)视觉跟踪算法.根据背景中不同区域与跟踪目标运动相似度的大小,赋予背景区域不同的权值,计算权值矩阵,从而训练相关滤波器.通过在基准测试集OTB-50和OTB-100(部分)上进行实验,结果表明WBACF框架
中式烹调注重色香味俱全,所以在烹调的过程中运用配菜技术对整个烹调效果具有非常重要的影响。基于此,文章详细分析了配菜的作用,研究了配菜技术运用于中式烹调中的具体策略,
目的观察人参皂苷Rb1、Rc对sD大鼠胚胎脑发育及谷胱甘肽过氧化物酶（61utathione peroxidase，GPx）基因表达的影响。方法实验选用全胚胎体外培养方法，根据Van Maele-Fabry等制定的
为了在协作学习系统中实现学习者Agent之间的有效合作，通过引入一种新的合作机制——同学关系网模型（Schoolmate Relation Web Model），来构建学习系统中学习者Agent之间的同学联
吡喹酮是目前治疗和预防性治疗血吸虫病的高效、低毒药品,但在治疗血吸虫病过程中也存在着一定的不良反应,一般常见的不良反应有腹痛、腹泻、头痛、头晕、头昏等短暂性反应,
Internet拓扑，尤其是AS级拓扑，是目前研究的热点问题。研究Internet拓扑的演化趋势，可以更好地了解网络的内在连接机制。基于CAIDA项目授权的海量数据（数据采集时间为2004年1月至