实时协同编辑系统的容错流量控制研究

为了有效利用网络带宽、降低网络流量,并在保持逻辑向量时钟的检查点全局一致基础上,使得系统在恢复复制进程时,做到网络流量小、等待时间短、用户费用少,容错系统将依据编辑文档的编辑距离、编辑相似度,以最小的代价为恢复进程提供最新检查点和最新文档,实现广域网环境下优化的实时协同编辑系统。提出流量控制的算法,并通过OPNET建模和实验测试,对整个系统容错时的流量进行了分析。     

实时多任务并行计算系统的容错技术

容错技术是实时多任务并行计算系统设计中必须解决的一个关键难点。针对实时多任务并行计算系统的高可靠性和高效性的要求,介绍了计算机系统可靠性和容错技术的基本概念、基本方法和基本思想,在检查点技术和卷回技术的基础上,提出了进行多层次、多角度的并行容错计算机系统设计和解决中途消息和孤立消息的相关方案,给出了相应的模型和技术评估,通过仿真实验证明了该模型的有效性。     

基于Web的实时协同编辑系统中的一致性控制

作为CSCW的一个重要应用领域,协同编辑系统近年来有了长足的进步,各种此类系统相继出现并投入了使用,但是,大部分系统由于不能很好地解决一致性问题,目前大多不支持脑风暴方式的编辑,主要介绍如何利用GOTO算法在基于WEB的实时协同编辑系统中解决一致性问题,其中包括了对系统结构、系统一致性问题、GOTO算法、操作相关性检测及操作转换的介绍,最后,对基于GOTO算法的实验系统WRCES进行了简单的介绍。     

面向云应用系统的容错即服务优化提供方法

通过提供高效且持续可用的容错服务以保障云应用系统的可靠运行是至关重要的.采用容错即服务的模式,提出了一种优化的云容错服务动态提供方法,从云应用组件的可靠性及响应时间等方面描述云应用容错需求,以常用的复制、检查点和NVP（N-version programming）等容错技术为基础,充分考虑容错服务动态切换开销,分别针对支撑容错服务的底层云资源是否足够的场景,给出可用容错即服务提供方案的最优化求解方法.实验结果表明,所提方法降低了云应用系统支付的容错服务费用及支撑容错服务的底层云资源的开销,提高了容错服务提供商为多个云应用实施高效、可靠容错即服务的能力.     

实时协同文本编辑系统中共享文档的一致性维护

在分布式实时协同编辑系统中共享文档被复制到一组协作参与者处,如何维护共享文档的一致性成了一个重大挑战。本文在借鉴以往研究经验的基础上,提出了一种新的一致性维护算法FOPT。文中给出了该算法的详细描述并结合实际例子做了分析。     

实时协同编辑系统共享工作空间的研究

结合Web和CORBA技术的优势对实时协同编辑系统的共享工作空间进行研究,论述了共享工作空间应具有的功能特点和行为特征,并给出了建立共享工作空间方案。     

复制式协同图形编辑环境中复合Undo操作语义一致性维护研究*

复制式架构下的二维CAD协同图形编辑环境中,用户界面所发出的Undo操作从语义上讲是针对复合操作本身的,但传统的一致性维护算法是基于原子操作的,对Undo操作的支持也是以原子操作为单位的,这样就会导致复合Undo操作的语义不一致性问题。分析了CAD图形编辑环境中复合操作的类型及Undo操作的执行前提,讨论了Undo操作存在的情况下的冲突定义,提出了基于版本分裂机制的冲突解决策略,并描述了复合Undo操作在本地和远程站点的执行流程及主要算法。最后通过实例分析证明了该方法的有效性。     

基于进程拷贝的服务器容错恢复机制

永久故障恢复机制是焦点问题,提出进程拷贝（Process Copy）的思想。通过修改和扩展Linux内核功能,在操作系统级实现了进程拷贝机制,并应用该机制实现了永久故障的恢复。     

实时异构系统中的积极复制容错调度算法

在设计实时异构系统中的容错调度算法时,既要考虑到实时性的约束,又要最大化系统的可靠性.此外,异构系统中的并行应用调度问题已经被证明了是NP完全问题.现有的容错调度算法大多采用复制技术来提升系统的可靠性,但是任务的多次执行会导致应用执行时间变长,系统实时性下降.为此,提出了一个基于积极复制技术的容错调度算法,该算法连续的复制任务集中对当前系统实时性影响最小的任务,然后将任务集中的所有任务调度至最早完成的处理器,用以在满足实时性约束的同时,提升系统的可靠性.实验表明,相比于同样着眼于实时异构系统的DB-FTSA算法,该算法在实时性约束严格的情况下,可靠性有较大提升.     

基于检查点机制的容错实时调度算法CP-PRA

时间冗余作为容错的重要手段被广泛应用于安全关键实时系统中。传统容错调度算法为失败任务的重运行(Re-execute)预留了大量的空闲时间,但是重运行的使用会降低系统的资源利用率。提出了一种基于检查点机制的容错调度算法CP-PRA,通过降低错误恢复需要的时间,可以有效地提高系统的资源利用率。给出了该算法的可调度奈件,并证明了其算法的正确性。     

适用于实时协同编著系统的并发控制研究

实时协同编著系统是最受欢迎的实时ＣＳＣＷ应用系统之一，适用于实时协同编著系统的并发控制用于解决参与协同工作用户对共享对象操作时存在的冲突问题。本文对这种新的并发控制与适用于分布式数据库系统等的传统并发控制进行了比较，讨论了一些适用于实时协同编著系统并发控制方法的新评价参数，分析了传统并发控制方法应用到实时协同编著系统时所遇到的问题。最后，我们介绍了一些文献中已有原型系统所使用的并发控制方法。     

协同图形编辑系统设计与实现

给出了基于图形对象的协同编辑系统的操作冲突／相容关系及其基于逻辑时间钟的检测方法和一致性保证算法。在此基础上,讨论了一个实时协同图形编辑系统的设计方面有关的关键技术。实验结果表明,该方法是可行和有效的。     

协同编辑系统CoEditor的人-人交互界面研究

通过协同编辑系统ＣｏＥｄｉｔｏｒ和传统编辑器的２种交互界面异同对比,论述了提出人－人交互界面的必要性,并指出除继承人－机交互界面的一些功能外,人－人交互界面至少还应具备下列３类新的功能,（１）支持群体协同工作,（２）了解整个协同过程,（３）“人感”的操作感觉。     

NFRL:一种分布系统的实时容错调度算法

在硬实时系统的应用中,如果硬实时任务不能在规定的时限完成,将会产生人员伤亡, 失等严重后果,为了保证在系统出错的情况下,硬实时任务仍然在能戴止时限之前完成,必须研究实时容错技术。本文从实时容错调度算法的角度出发,提出一种基于分布式系统的实时容错调度算法,并研究了该算法的时间复杂度,同时给出一个实例说明该容错调度算法的调度过程。这种容错调算法称为“无容错需求后调度算法（ＮＦＲＬ）,该实时容错调度算法     

柔性协同事务模型

提出了一个ＣＳＣＷ领域中的高级事务处理模型－柔性协同事务模型ＦＣＴＭ。首先给出协同事务的定义。并描述协同事务的状态,然后从协同事务的状态角度刻画协同事务之间、协同事务与外部环境之间的复杂依赖关系,最后用协同事务的状态依赖描述可串行化正确性准则。ＦＣＴＭ的优点在于用户能够根据不同的ＣＳＣＷ应用领域的需求,灵活地定义协同事务的状态和状态依赖。     

计算机支持的协同教学环境

本文首先分析了计算机支持的协同教学的特点,然后给出了一种基于代理的协同教学环境,并阐述了在此环境下协同教学的工作过程。     

一种基于多处理机的容错实时任务调度算法

容错是实时系统的重要要求,在实时系统中,若一个实时任务没在规定的时间期限内完成,则认为系统出现错误,针对多处理机实时系统提出了一种容错调度算法．算法采用了任务的主从备份技术和Ｆｉｒｓｔ－ｆｉｔ启发式方法,通过为可能因处理机故障而执行失败的实时任务预留重新运行的时间来实现容错功能;并通过对预留时间段的重叠利用和无错时预留时间的回收分配,来提高处理机的利用率和系统对任务的接收率．模拟结果表明算法是有效     

群组安全协同多会话交谈系统设计与实现

介绍了基于组播的安全协同多会话交谈系统的设计与实现。讨论了组播技术涉及到的安全问题：信息的完整性、密钥管理、密钥分发等．提出一种新的基于组播的安全群组通信的模型及策略,并引入到协同多会话交谈系统中,对提出的模型和策略进行了验证。     

基于文档目录树的WWW文档协同写作机制

协同写作是ＣＳＣＷ的一个重要研究领域。文中针对ＷＷＷ文档的协同写作提出了一种文档目录树技术,不权为ＷＷＷ文档扩充了表示其全局结构的层次式目录结构,还为文档的分工协作写作提供了良好的数据组织结构。文中详细讨论了基于文档目录树结构对一个ＷＷＷ文档进行协同写作时的协同机制,研究了多用户界面设计、协作方式、以及使用“目录路径锁定法”实现的并发控制等主要技术。