广播环境中的Q可串行化实时并发控制

研究了实时广播中的数据一致性问题。传统冲突可串行化并发控制协议对非对称通信的广播环境来说过于严格且不必要。为此,提出使用Q可串行化：形式化定义了Q可串行化,证明了它虽比传统冲突可串行化宽松但能始终保证数据一致性,基于可动态调整串行化顺序的时标段排序方法给出了相应的并发控制协议。实验结果表明：新协议可显著降低平均响应时间,使更多移动实时事务满足截止期要求。     

实时广播环境中的弱可串行化并发控制

1.引言随着便携计算机及无线通讯技术的快速发展,移动计算已经成为现实,其中主要采用数据广播方法进行数据发布。广播模式的一个显著特征是通讯的不对称性,即下行带宽比上行带宽宽很多。诸如实时交通信息和导航系统、实时股票交易系统等许多先进的移动信息服务系统需要使用笔记本、膝上电脑等来访问大量的一致且流行的实时数据。然而,由于客户机可用于与服务器通讯的上行带宽的严重限制,传统的并发控制协议显得过于严格、不必要、不可行,这就需要我们研究新的适宜于广播环境的高效的并发控制机制。     

实时数据库的准一致性可串行化并发控制

可串行化的并发控制对传统应用是合适的,它旨在确保数据的“绝对正确”性,然而在实时数据库中,事务的定时限制往往比数据的“绝对正确”性更重要。为此,本文提出了新颖的准一致性可串行化的并发控制策略,文中着重讨论了准一致性可串行化的有关概念与理论,调度的可准一致性可串行化的判别方法,并发控制协议以及在事务的准一致性可串行化并发执行中不一致性传播放大的控制策略。     

数据广播中T-可串行化移动实时事务并发控制

研究了实时数据广播环境中的一致性维护问题。由于广播环境的非对称通讯特性,传统可串行化并发控制方法过于严格而不必要;现有放松可串行化方法都会导致数据库受限不一致、使各个用户读取受限不一致数据。提出了使用?子-可串行化并发控制,首先形式化定义了?子-可串行化正确性准则,证明了它虽比传统可串行化宽松但能始终保证数据一致性,使各个用户始终读取一致性数据,进而给出了相应的并发控制协议。实验结果表明,新协议可显著降低平均响应时间,使更多移动实时事务满足截止期要求。     

数据广播中т-可串行化移动实时事务并发控制

研究了实时数据广播环境中的一致性维护问题。由于广播环境的非对称通讯特性,传统可串行化并发控制方法过于严格而不必要;现有放松可串行化方法都会导致数据库受限不一致、使各个用户读取受限不一致数据。提出了使用т-可串行化并发控制,首先形式化定义了т-可串行化正确性准则,证明了它虽比传统可串行化宽松但能始终保证数据一致性,使各个用户始终读取一致性数据,进而给出了相应的并发控制协议。实验结果表明,新协议可显著降低平均响应时间,使更多移动实时事务满足截止期要求。     

CSCW研究中关键技术分析

1 CSCW概述 1.1CSCW的要领及分类“计算机支持协同工作”(Computer Supported Cooperative Work,CSCW)是一种将人类合作行为     

CSCW环境下基于角色的并发控制策略

有协作就有并发,并发控制是CSCW系统的关键技术之一。本文结合白板在CSCW中的应用,提出了一种适用于白板及其它CSCW应用的基于角色的并发控制模型,并给出了形式化描述及相关算法。     

拓扑排序在并发控制可串行化算法中的应用

并发控制是分布式数据库管理系统的重要组成部分,并发控制用来控制多个事务的并发运行,避免它们之间的相互干扰,保证每个事务都产生正确的结果。该文从构造并发控制可串行化的前趋图出发,利用拓扑排序进一步研究了并发控制可串行化的算法,详细阐述了冲突可串行和状态可串行化的测试算法并运用在实例中。该算法可以作为并发控制可串行化的正确性准则,在实际中,应结合其它算法共同运用。     

基于准一致性可串行化的并发控制协议

人们基于准一致性可串行化的正确性标准，提出了一种乐观并发控制协议，提高了事务执行的并发度，更有利于实时事务定时限制的满足。     

CSCW系统中的并发控制策略研究

并发控制是CSCW系统的关键技术之一,旨在解决由于多用户同时操作可能产生的冲突.本文首先分析了CSCW系统的并发控制问题产生的原因,然后简要介绍了CSCW系统中常用的并发控制方法,之后评述了几种典型的并发控制方法的改进策略,并在实例中应用操作转换方法和文档标注方法而对其进行了对比分析.     

集中式CSCW环境中对实时共享对象的并发控制算法

在实时CSCW环境中，必然存在多个用户都需要同时访问的共享对象，系统必须对用户访问对象的操作做出实时的响应，以使对象的变化与用户的期望相一致，本文提出了一种解决并发控制的方法，目标是在并发和实时的情况下实现多客户感知的对象一致性，算法基于变换和用户期望，利用前向变换来构建对象的历史记录。     

一种适用于协同设计环境的分布式存储系统

设计并实现了一种适用于协同设计环境的分布式存储系统。本存储系统使用基于"拷贝——修改——合并"的应用模式来解决协同设计中并发写入的冲突问题,使得协同设计软件可以使用本地的数据,各设计人员的设计工作可以并行进行,提高了工作效率。系统包括唯一的元数据服务器(管理虚拟命名空间)和若干数据服务器,为使用特定客户端库的客户机(执行协同设计)提供服务,具备良好的可扩展性。存储系统还设计了一种特殊的文件格式,将一个设计文件数据的多个版本以追加的方式保存在同一个文件内,从而在提供多版本机制的同时,支持增量式数据同步,进一步提高了系统的性能。另外,系统的分布式锁机制可以支持崩溃恢复。     

CSCW系统中的并发控制机制的研究

并发控制是CSCW系统的关键技术之一,旨在解决由于多用户同时操作可能产生的冲突,它与传统分布式系统的并发控制存在很大的差别。该文首先讨论了CSCW系统的并发控制机制的特点和功能需求,接着简要介绍了CSCW系统中各种并发控制方法,评述了其优缺点,着重研究了各种并发控制方法对用户接口的影响。最后,从设计实际CSCW系统的角度出发,讨论了选择和设计合适的并发控制算法应重点考虑的要素。     

异构分布式CSCW委托授权模型及其访问控制

基干角色和活动的重要特性,提出了一种面向CSCW环境基于角色-活动并具有时序特征和约束规则的委托授权模型RABDM for CSCW,以及CSCW访问控制体系架构和委托授权工作机制。该模型解决了基于CSCW图形图像协同处理实际应用中访问授权过于集中的问题,实现了分布式和动态时序性等特征。     

分布式数据库并发控制方法研究

并发控制机制是数据库事务管理中重要的组成部分,是衡量一个数据库系统功能强弱和性能好坏的重要标志之一。分布式并发控制的目的是保证分布事务和分布式数据库的一致性,实现分布事务的可串行性,使事务具有良好的并发度以保证系统具有用户满意的效率。本文首先就分布式数据库并发事务的可串行化进行探讨并在此基础上提出分布式数据库并发控制的基本方法。     

分布式数据库并发控制方法研究

并发控制机制是数据库事务管理中重要的组成部分，是衡量一个数据库系统功能强弱和性能好坏的重要标志之一。分布式并发控制的目的是保证分布事务和分布式数据库的一致性，实现分布事务的可串行性，使事务具有良好的并发度以保证系统具有用户满意的效率。本文首先就分布式数据库并发事务的可串行化进行探讨并在此基础上提出分布式数据库并发控制的基本方法。     

基于角色的CSCW系统访问控制模型

针对现有的方法不能很好地满足CSCW系统对访问控制提出的新的需求,该文提出了一个基于角色的CSCW系统访问控制模型RBCSAC(role-based collaborative systems access control).该模型形式化地描述了数据、操作、权限、角色和用户等要素及其相互间的关系,提供访问控制信息的记录方法,通过分配和取消角色来完成对用户权限的授予和取消,并且提供了角色分配规则和操作合法性检查规则.该模型针对CSCW系统的多用户、交互、协作、实时、动态等特性,能较好地满足CSCW系统对访问控制的需求.     

分布式虚拟环境中基于同步控制的预测研究

目前,基于同步控制的预测研究都是根据位置不变的实体划分区域,然后再预测区域内化身与这些实体之间的交互。提出一种新的预测机制,它能预测化身与运动实体（包括静止实体）之间的交互,配合适当的多播通信机制,该方法就能很容易地扩展到大场景多化身的系统中。文中详细讨论了预测机制及其实现方法。     

CSCW环境下的用户权限分配方法

文章通过外贸企业管理信息系统的实际特点,提出了一种适用于CSCW环境下的兼具实用性与灵活性的用户权限管理方法。这种权限管理方法从应用系统任务单元的划分和数据信息两个方面对用户的访问权限进行了控制,灵活地支持了有协同工作需求的企业管理业务的完成。     

分布式虚拟环境中实体组同步控制研究

在分布式虚拟环境中，大多数同步控制算法研究的对象是一个孤立的实体，该实体与场景中其它实体没有任何关系。但虚拟世界里显然存在相对独立的实体组，在同一组内，实体间有直接依赖的空间位置关系。针对这一现状，提出了一个新的同步控制实现机制，在保证虚拟环境一致性和健壮性的前提下，最大限度地开发实体组内的同时性。