一种高可用性的工作流长事务模型

工作流事务模型是工作流管理系统的关键因素之一。根据实际项目解决问题的需要提出了一种新的3层工作流长事务模型。结果表明,此模型可以极大地提高系统的可用性及并发性。     

协同CAD系统中的并发控制机制

并发操作是协同CAD系统中至关重要的问题。该文提出了并发操作控制机制的设计原则,阐述了基于语义的并发控制机制利用嵌套事务来解决传统图档事务并发控制中的数据一致性低、中间版本不易维护等问题,结合实际给出了博士CAD系统中并发控制的系统模型,并作了相应的说明。     

在客户端处理Oracle的数据行加锁问题

在网络数据库的数据处理过程中,需要保证数据的完整性、多事务的并发性和数据的一致性。网络(多用户)数据库应用系统中,常会遇到多个事务同时请求修改同一数据。数据库的并发性处理保证数据库系统能够合理有效地处理多个事     

网格环境下多数据源并发控制的研究

为了有效地控制和实现网格用户的并发操作，提出了一种基于可变周期的任务序列重建的并发控制算法，用来保证网格用户访问的并发性和并行性；同时提出服务一致法和服务跟踪法，用来维护数据源数据的一致性和客户端显示信息与数据源数据的一致性，这也体现了网格数据的易变性和系统的可适应性。     

考虑工程图形协同应用特点的并发控制研究

并发控制是CSCW系统的关键技术，没有统一标准，通常要根据协同应用的特点来构造。文中以CAD系统内部数据库拓扑结构的一致性作为显示一致性的基础，适时放宽整体一致性模型中的事件定义条件和一致性判定条件，提出一种改进的整体一致性模型。按照该模型的事件关系定义，通过图形对象全局ID标识的一致性维护和添加操作的相关性分析，提出一种添加操作优先的并发控制策略。基于上述模型和策略，研究了一种偏复制式混合体系结构下的悲观和有限乐观的并发控制方法，以及相应的并发控制协议实施技术。工程实践证明，这些并发控制模型、策略、方法和技术充分考虑了工程图形数据结构及其协同应用特点，从而有效地支持设计过程中的人人交互。     

基于多代理的数据库并行事务处理模型

为了优化一般数据库管理系统的事务处理能力,提出了一种数据库事务并行处理算法。基于多代理技术,建立了一种数据库并行事务处理模型,该模型可以自动识别数据库事务的类别并分配相应的事务代理。通过多代理工具Jade实现了该模型中如事务类型的判别、事务代理的分配、代理的事务处理、结果的返回等基本功能。仿真实验结果表明,对比于传统的单任务事务处理方式,该模型是一种提高数据库事务处理能力的有效方案。     

协同设计中以实体为中心的并发操作控制机制

并发操作控制机制是协同设计中的重要问题，其实质是解决操作冲突并提供无冲突操作；而一致性、响应性和并发性是其中三个重要但互斥的需求．因此，并发操作控制机制的焦点是在保证一致性前提下，以最小响应时间和最大并发程度，解决操作冲突．文中提出了并发操作控制机制的重要设计准则，并进一步提出一种以实体为中心的并发控制机制及其形式化定义和总体实现．该机制以冲突消除取代冲突避免，通过本地操作、服务器端操作确认和复制同步三个步骤，实现松散WYSIWIS原则；其中本地操作改善响应性；服务器端操作确认最大化并发性；复制同步保证一致性．     

多数据库事务处理模型中局部代理的设计与实现

在多数据库事务处理模型中，局部代理提供了全局事务管理层与局部数据库系统的接口，它使多数据库系统能够对分布在不同站点的局部数据库进行透明访问。文中提出了基于两阶段代理（２ＰＣＡ）的局部代理模型，它集成了支持两阶段提交或单阶段提并的数据库系统、以及并不支持事务提交协议的文件系统。文中还介绍了采用专用接口和ＯＤＢＣ两种实现局部代理的方法。文中着重介绍了使用ＯＤＢＣ方法的具体实现，并对两种方法实现的局部代     

许可链下的事务并行执行模型

现有的许可链系统大多采取串行的事务执行方式，无法利用多核处理器的性能优势。在共识算法性能较高的许可链中，这种串行的事务执行方法将会成为性能瓶颈。为降低排序-执行-验证架构的许可链中事务执行的时间开销，文中提出了两种事务并发模型。首先，提出了基于地址表的并行执行模型，通过静态分析的方法将事务的读写集映射到地址表中，并利用地址表构建调度图实现无数据冲突的事务并行执行；其次，针对静态分析方法不适用于读写需求复杂的应用场景，提出了基于多版本时间戳排序的并行执行模型，领导者节点使用多版本时间戳排序算法并行地预执行事务并将调度图以事务依赖三元组的形式存储入区块，所有验证节点通过事务依赖三元组进行调度，在保证一致性的前提下实现事务的并行执行；最后，在Tendermint中实现了所设计的两种事务并发模型，并进行了事务执行阶段性能测试和多节点性能测试。实验结果表明，相比串行执行，所提模型在单节点8线程时的事务执行时间分别减少了68.6%和28.5%,4节点8线程时区块链吞吐量分别提升了约43.4%和19.5%。     

移动复制数据库系统冲突检测及消解策略

复制技术是提高移动库系统性能的一项关键技术，该文提出了一种新的移动复制数据库系统模型－事务级吉果集传递（TLRSP）移动复制模型，重点分析了该模型中的冲突检测及消解策略，并给出具体的实现算法，TLRSP移动复制模型允许移动用户在系统断连时存取数据库的本地副本并提交事务，重新连接时进行冲突的检测及消解，同时进行事务结果集的合并，最后通过增量刷新的方式进行同步处理，使得系统最终收敛于一致性的状态。此外，通过引入简化的事务日志，数据牌本号以及权限控制等概念，TLRSP模型有效地降低了移动数据库系统的资源消耗，保证了数据库的一致性，从而为移动数据库系统复制提供了一个可行的解决方案。     

实时数据库事务的调度与并发控制

实时数据库的核心问题是事务的处理既要确保数据的一致性,又要保证事务的正确性,而它们都与定时相关联。本文对混合实时事务的真实时和非实时部分加以区别定义,建立了混合实时数据库模型,并分析了混合实时事务的调度与并发控制,可以更好地满足实时性时间约束需求,从而提高系统效率。     

FM-Que移动事务模型

在移动计算环境中,传统数据系统的事务处理模型不能较好地支持移动事务的处理,故有必要研究支持移动计算环境的移动事务模型及事务处理协议。针对移动计算环境的特点,提出了FM-Que移动事务处理模型及其处理协议。FM-Que模型通过采用事务队列机制,固定子事务和移动子事务思想来支持事务移动性和频繁断接性,采用多版本预提交方式来维护数据一致性。     

基于数据库事务的土地利用变更事务模型研究*

通过对现行各种事务模型的分析,根据土地利用信息系统中土地利用变更的特点,结合分支汇合事务模型的思想,提出了基于数据库事务的土地利用变更事务模型,详细阐述了在此模型下变更事务的实现机制。实践证明,土地利用变更事务模型不仅确保变更后数据的一致性和完整性,而且能实现历史数据的恢复。     

多区块链交易分发和事件处理的系统方案

在基于拜占庭容错协议设计的区块链系统中,系统的效率和性能较低,限制了区块链的应用与发展。提出了一种基于多区块链系统支持交易分片和事件处理的系统方案。该方案中,系统被划分为应用客户端、处理系统、各区块链3个层面。应用客户端用于发送交易请求和接收感兴趣的事件, 处理系统进行交易的分发和事件处理 ,各区块链用于区块链内部处理交易请求和事件 。处理系统适配区块链数量可变和不可变的两类多区块链系统,设计了选择区块链的两种策略,即映射关系表和哈希一致性,两种策略在交易分发时依据负载均衡、单调性和一致性的原则,并基于交易的业务类型和业务类型内部ID号把交易请求分发到合适的区块链。每个区块链与处理系统内部的交易调用客户端、事件和消息流客户端建立一一对应关系;每个应用客户端与处理系统内部的交易应用调用服务端、交易应用事件连接服务端、事件消息流服务端交互,发送交易的请求并获取交易的结果。对交易分发的方案和事件处理进行具体的设计,并对系统的整体方案进行了基本的测试和验证。     

传感器网络中数据融合过程的事务分析与建模

传感器网络是计算机科学技术的一个新的研究领域,它综合了传感器技术、嵌入式计算技术、分布式信息处理技术和通信技术,能够协作地实时监测、处理各种环境或监测对象的信息并传送给用户,具有十分广阔的应用前景。本文以面向事务的观点,基于事务工作流模型,结合数据的时间特性、事务流的依赖关系及数据与事务流间的相互关联,提出事务的控制区域的概念并给出一种基于应用事务的行为语义控制区域的事务模型,为传感器网络数据融合过程提供一个适当的正式模板;给出该模型的提交、回滚、可见定理及规则;通过性能测试,表明该模型提高了数据的相对外化率;模型主要解决了在分布的多用户环境下系统如何控制应用,保证应用语义逻辑的一致性。     

一种普适环境下面向服务的事务处理模型

普适环境具有高移动、极端异构、高自治和开放性的特点,普适环境下的服务组合因其突出的动态性问题,为保证对整个服务运行结果的可靠性和一致性,引入事务处理的机制来进行管理。提出一种在普适环境下面向服务的事务处理模型,在服务的发现、组合及运行中引入事务机制来协调管理,保证了服务组合的可靠一致性,并讨论了模型的系统架构和各模块组成,及应用场景。     

事务处理技术综述

事务处理技术是保证信息可靠性和一致性的重要技术。事务是具有ACID(atomicity,consistency,isolationanddurability)特性的原子操作序列,它的概念最早来源于数据库管理系统,用来保证应用程序对数据库访问的一致性和可靠性。在早期应用中,商用DBMS系统内部集成的事务管理器提供应用所需的事务处理功能。随着网络技术的发展以及应用需求的变化,以往集中式应用演化发展为网络分布应用,数据和处理分布在不同的计算机上。此时事务管理功能由专门的中间件(例如事务监控器)提供,事务处理技术也发展为分布式事务处理。     

基于三层结构交易中间件系统设计

介绍了三层结构交易中间件体系结构的系统实现模型，论述了在该模型下通信层和交易调度层的设计思路和实现方法，给出了交易调度层动态优先级算法的实现思路。     

A taxonomy of correctness criteria in database applications

Whereas serializability captures database consistency requirements and transaction correctness properties via a single notion, recent research has attempted to come up with correctness criteria that view these two types of requirements independently. The search for more flexible correctness criteria is partily motivated by the introduction of new transaction models that extend the traditional atomic transaction model. These extensions came about because the atomic transaction model in conjunction with serializability is found to be very constraining when used in advanced applications (e.g., design databases) that function in distributed, cooperative, and heterogeneous environments. In this article we develop a taxonomy of various correctness criteria that focus on database consistency requirements and transaction correctness properties from the viewpoint of what the different dimensions of these two are. This taxonomy allows us to categorize correctness criteria that have been proposed in the literature. To help in this categorization, we have applied a uniform specification technique, based on ACTA, to express the various criteria. Such a categorization helps shed light on the similarities and differences between different criteria and places them in perspective. Edited by Hector Garcia-Molina. Received September 16, 1993 / Revised June 13, 1994 / Accepted September 17, 1994