设置进程检查点的嵌入式容错系统设计

针对嵌入式Linux系统的特点,通过设置检查点(checkpoint)实现ARM平台进程级容错。在检查点工作时,通过/proc文件系统与内核进行交互,实时地获取与进程有关的PID、CPU状态以及内存信息,并保存在存储介质中。当进程出现故障后,将上述与进程有关的状态信息进行恢复,从而实现进程级容错。实验表明,该进程级容错系统有较好的容错能力,极大地缩短了进程恢复的时间。     

动态检查点容错技术研究

检查点技术是目前普遍使用的一种系统容错方法,能够有效地提高系统运行效率.在传统检查点技术的基础上提出了面向节点瞬时故障的动态检查点容错技术,通过对节点及其运行进程的实时监控数据的分析,给出检查点的引入、保存、恢复和取消的时机.由于检查点技术在实施过程中会影响部分系统运行效率,该技术主要面向可能被瞬时故障影响且运行长时进程的节点.     

Unix进程检查点设置关键技术

Unix进程的检查点设置是实现分布/并行系统容错、重播调试、进程迁移、系统模拟和作业切换等功能的基础。该论文主要论述UNIX进程检查点基本信息的保存与恢复、文件检查点、检查点信息的优化等关键技术,最后介绍Libckpt、Condor以及自行设计的Libcsm等检查点设置工具。     

Linux下系统V共享内存的保存与恢复

设置检查点是保存和恢复进程运行状态的一种重要技术,是实现容错、卷回调试和进程迁移的重要手段。本文研究了全透明检查点系统Epckpt在系统Ⅴ共享内存方面的实现方法和不足,给出了自己的改进,从而更好地实现了系统Ⅴ共享内存的保存与恢复。     

NS-2检查点的实现与性能分析

检查点是一种重要的系统容错机制,可以对运行进程的状态进行保存与恢复.本文通过链接Condor系统的检查点库,在网络模拟器NS-2中实现了用户级透明检查点.提高了NS-2的容错能力,以及在长时间模拟方面的性能.并通过特定网络模拟场景中的实验测试,对网络拓扑中节点、链路的数量对检查点时空开销的影响进行了分析.     

基于Linux内核的进程检查点系统设计与实现

作为一种流行的软件容错机制,检查点与恢复技术的实现模式有两种:用户级和系统级.首先阐述了两者的区别,然后根据Linux可加栽内核模块机制提出了一种基于Linux内核的进程检查点与恢复实现方法.利用Linux内核线程实现了检查点与恢复内核模块,并基于此内核模块在用户层构造了一检查点函数库,为用户提供了相应接口.用户通过组合使用这些接口可以高效地实现具体检查点与恢复算法.     

超步透导的回卷恢复

工作站机群系统已成为分布式并行处理发展的主流方向之一 .随着机群系统应用领域的逐渐拓展和规模的不断扩大 ,人们对其可靠性的要求日益提高 .设计高可靠的群机系统 ,需要着重研究其系统容错技术 .本文叙述了并行异构环境回卷恢复和检查点派生 .实现透明的可移植容错和负载均衡能力 .避免调整检查点就可以构成全局一致性状态 .不仅使 BSP应用程序自治容错能力 ,而且能够在机群 (Clusters)间迁移 ,保持系统负载均衡 .重点介绍检查点设置、检查点派生、卷回、进程迁移技术     

Linux中检查点(Checkpoint)的核心支持——ckpt文件系统的设计

检查点(Checkpoint)是一种软件容错机制,它的目的是提高系统可靠性、减少运算损失,同时检查点机制也是并行系统中进程迁移和负载平衡的基础。在一些检查点系统中,由于对进程的状态检查/状态恢复只具有用户级支持,所以有许多局限性,比如不能完成进程外部状态检查。而在作者的设计与实现中由于具有了核心级的支持,所以能够充分地克服这些局限性。     

超步诱导的回卷恢复

工作站机群系统已成为分布式并行处理发展的主流方向之一，随着机群系统应用领域的逐渐拓展和规模的不断扩大，人们对其可靠性的要求日益提高，设计高可靠的群机系统，需要着重研究其系统容错技术，本文叙述了并行异构回卷恢复和检查点派生，实现透明的可移植容错和负载均衡能力，避免调整检查点就构成全局一致性状态，不仅使BSP应用程序自治容错能力，而且能够在机群（Clusters）间迁移，保持系统负载均衡，重点介绍了检查点设置，检查点派生、卷回、进程迁移技术。     

基于虚拟文件操作的文件检查点设置

实现分布/并行系统容错的基础是单进程检查点设置和卷回恢复技术,而对活动文件信息进行保存和恢复则是这种技术的重要方面.提出一种虚拟文件操作策略,实现了对用户文件的检查点设置,有效地解决了发生故障时用户文件内容与进程全局状态的不一致的问题.该方法通过文件块式管理、检查点分布操作等技术,使得在空间开销、正常运行时间、恢复时间等性能指标上优于其他方法,并且具有对用户透明、可最大限度地保留已完成工作的特点.     

A design for a text editor

This paper describes a program for editing text on the Titan (prototype ICL Atlas II) computer at Cambridge University The program is an essential part of the multiple-access system that is in operation on that computer, although it is also used non-interactively through the more conventional job-shop system. The program, EDIT, has also been implemented on an IBM 1130 and an IBM 360/65 Among the facilities provided by this program are the basic operations of text replacement, insertion and deletion Editing operations may be specified either by line number or by reference to a particular context The program is a compromise between a low cost, high-speed system and the flexible multi-function editor that is demanded by users from all departments of the University.     

协同编辑器中版本管理的设计与实现

协同编辑系统支持多人同时对同一文档进行操作,其中的版本控制问题与单用户编辑器相比显得更为复杂,尤为重要。然而已有的协同编辑系统基本上都未考虑版本控制问题。该文主要讨论现已开发的协同编辑器CoEditor中的版本管理功能的设计与实现。考虑到空间和时间效率以及协同工作的需要,这里以差值保存文档内容,通过版本字典、操作的置换和冲突检测等技术实现了版本管理的主要功能。     

图形编辑过程冲突消解策略研究

冲突是协同图形编辑系统中的常见现象,合理地解决冲突是图形协同编辑的关键问题。讨论了协同图形编辑系统冲突消解问题,主要研究内容包括基于时间和空间干涉的冲突检测策略、交互事务分组策略,以及基于事务相关树的冲突消解策略。最后以手势为交互手段开发了一个采用冲突消解策略的协同图形编辑原型系统,目前该系统已经试用。     

公文编辑处理系统的设计与实现

为了提高行政机关的办公效率，加快公文处理的速度，开发了一套适合于各类公文的自动编辑处理系统。本系统可以为各类公文自动提供公文模版。并实现公文的自动编辑处理，既方便了用户的使用，也提高了公文的制作效率。     

一种面向下一代互联网的广域网智能存储系统

广域网智能存储系统针对下一代互联网数据急剧增长、网络资源难以管理和使用的问题,采用多层次、可扩展的分布式存储模式,从改进体系结构着手来提高网络存储系统的性能。其存储管理遵循存储管理计划规范(SMIS),并针对复杂网络环境下的元数据管理和数据传输问题,提出了有效的负载均衡策略和高速安全的存储中间件解决方案,不仅降低了存储管理开销,加快了数据传输速度,同时也实现了命令与数据分流、扩容与增速同步的目标,从而大大提高了整个存储系统的性能。     

百度百科词条编辑时间间隔的幂律分布研究

针对百度百科词条收集百科特色词条以及普通词条的编辑历史数据,从整体编辑历史时间间隔和用户编辑历史时间间隔两方面对两组词条分析其分布。通过最大似然估计法计算参数以及似然比检验法对结果进行检验,结果显示特色词条的整体编辑历史时间间隔分布服从双幂律分布,前半段的参数近似等于1.1,后半段参数均大于2;用户编辑历史时间间隔服从单幂律分布,参数近似等于1.1。普通词条的整体编辑历史时间间隔分布服从单幂律分布,参数近似等于1.1;用户编辑历史时间间隔服从单幂律分布,参数近似等于1.1。     

一个适用于协同编辑环境的工作流系统的设计与实现

提出了一个应用于协同编辑环境中的工作流系统的设计方案,详细阐述了该系统的设计和实现细节.该系统具有一定的通用性,适用于其它相关的应用领域.     

基于Edius5的影视制作

Edius5是工作在PC平台上的制作视频内容的非线性编辑软件,它提供了无限的视频、音频、字幕和图文界面,可进行不同格式、不同制式、不同分辨率素材的混合编辑。优秀的编／解码技术和可升级的无限实时能力,延长了该软件的生命周期,可自定义的操作界面和快捷键为视频编辑带来了极大的便利,既使是初学者也可以依靠图标按钮上的功能描述,以简单的方式来轻松地操作这个系统。     

计算机协同支持下虚拟编辑环境的研究设计

为了使新闻媒体制作单位的编辑部虚拟化,与新闻采编网络相结合,本文提出了计算机网络协同支持下的虚拟编辑环境的概念,明确了系统需求,对系统地结构做了总体研究设计,并指出了设计中的技术要点。     

多媒体协同编辑中共享粒度的研究与实现

首先阐述了协同编辑和共享粒度(Sharing Granularity)的概念,以及两者之间的关系.并通过作者参与设计的一个协同编辑的实验系统(Swan Editor)具体阐述了共享粒度的设计思想及实现方式.最后进一步讨论了共享粒度的意义以及与协同工作系统中其他研究内容的关系.