基于全局目录的分布式数据库数据一致性算法

针对分布式数据库中数据的分布性、事务执行的分布性和一些不可预测的软件错误和硬件故障等原因导致的数据不一致性问题,指出解决这些问题尚存在的困难,分析了消息队列法、事务控制法、复制控制法等分布式数据库中维护数据一致性的三种主要方法的缺点。在全局目录和分布式两阶段提交协议的基础上,提出了基于全局目录的分布式数据库数据一致性控制算法。该算法增强了分布式数据库中数据的一致性,节省了网络带宽,也提高了事务处理能力。     

基于非阻塞的分布式事务提交协议的实现

为了解决两阶段提交(2PC)协议通常存在可靠性低、效率差、易阻塞的问题以及三阶段提交(3PC)协议实现的复杂性问题,提出一个改进的基于非阻塞的两阶段提交协议的实现方案。通过采用消息中间件和观察者节点的架构设计,较好地解决了这些问题,具有一定的商用和工程价值。     

一种基于非阻塞的分布式数据库原子提交协议

针对现今先进的分布式系统在效率和容错方面日益增加的需求,引入了心跳故障检测器的概念来解决合意问题,提出了一种基于非阻塞的分布式数据库事务原子提交协议。协议的提交只需两步操作,在保证非阻塞的同时,大大降低了事务提交的成本,甚至在有广播网的情况下进一步降低了通信开销。通过证明和比较,提出的协议具有可行性、实用性。     

基于心跳技术的3阶段提交协议

在数据库技术的发展过程中,事务机制一直是个热点和关键技术,在分布式数据库尤其如此。该文概述了分布式数据库中事务提交的主要算法,并提出了基于“心跳技术”的另一种三阶段提交协议。采用该技术使得对于大多数站点来说,事务的提交机制更为简单灵活有效。     

DDBMS的两阶段提交协议中阻塞问题的解决方案

传统的两阶段提交协议在分布式数据库管理系统的事务处理中得到广泛运用，较好地保证了分布事务的一致性和数据的一致性。然而,这个协议会出现阻塞问题，严重影响系统资源的利用率。针对这个弱点从事务的分类处理、快照技术、通信结构、终结协议等方面进行探讨，提出五种解决方案，并且分析了这些方案的适用场合。     

使用π-演算验证两阶段提交协议

两阶段提交协议是最简单且最常用的原子提交协议,该协议使分布式事务的提交具有原子性和持久性。在本文中,我们使用π-演算对两阶段提交协议进行描述,并对其正确性进行了证明,进一步体现了π-演算对于描述进程通信及并行性的独特优势。     

层次型分布式数据库数据一致性的实现

本文研究了分布式数据库的分类及层次型分布式数据库的组成，提出了解决层次型分布式数据库数据一致 性的方法．详细讲解了数据传输、文件转换、任务提交等保证数据一致性的过程。     

基于CPN的两阶段提交协议建模

CPN(Colored Petri Net)是一种面向图形的语言,用来仿真和验证系统,尤其适用于复杂的分布式系统。简单介绍分布式事务处理协议中的两阶段提交协议,提出一种基于CPN的两阶段提交协议建模和分析方法,完整阐述两阶段提交协议的建模过程和模型验证方法,清晰直观地分析模型的仿真结果,形象地表现两阶段提交协议的一致性。利用CPN模型对两阶段提交协议性能的分析,为进一步研究两阶段提交协议提供了一种新的手段。     

分布式数据库系统SUNDDB的设计与实现

本文介绍了分布式数据库系统SUNDDB的研制情况。SUNDDB采用联合型体系结构,以集中式的进程结构来完成事务处理。用户对数据对象可以独立命名,系统具有较强的结点自治性。在查询优化中,综合考虑了查询过程中的局部处理代价、传输代价等因素。在事务管理中,采用了改进的主复本并发控制方法及两阶段提交协议,以保证事务的原子性及数据库的一致性。     

移动分布式实时数据库中并发控制框架

在移动分布式数据库系统中采用三层结构，提出了DMVOCC-DA-2PLV（Distributed Multiversion Optimistic Concurrency Control—Dynamic Adjustment of Serialization Order-Two-Phase Local Validation）协议处理移动分布式实时事务。移动实时事务处理分两阶段进行。第一阶段在移动主机（MHs）上处理，并进行局部部分有效性检查性确认，使用向后有效性确认机制，与在服务器提交事务进行有效性确认。及早地检测数据冲突，节省了处理和通信资源。第二阶段在服务器处理，通过局部部分有效性确认的事务，提交到服务器进行局部最终有效性确认。协议消除了移动只读事务和移动更新事务的冲突，使用多版本动态调整串行次序技术，避免了不必要的事务重启动。如果移动只读事务所有读数据项通过局部部分向后有效性确认，则可提交，大大降低了移动只读事务的响应时间。在全局有效性确认中对分布更新事务进行检查，以保证分布串行性。通过模拟仿真，对DMVOCC-DA-2PV协议进行了性能测试，并与DTO-2PC和DHP-2PL进行了比较。实验结果表明DMVOCC-DA-2PV并发控制协议要优于其它协议。     

一种网格协同设计事务提交协议的研究

根据协同设计任务的特点,借鉴人们日常工作中协同设计项目的做法,提出一种网格协同设计环境下事务提交协议及其故障处理机制.该协议通过取消传统两阶段提交协议中的投票阶段,使参与者不必等待协调者的命令就可自行决定是提交还是终止.协议考虑任务的时限要求和质量要求,允许参与者自行决定是否参与协同设计,并允许参与者中途退出协同设计,从而放松了对事务的原子性要求.最后,从原子性、时限性、适应性等方面对提出的协议进行正确性证明;实验结果和性能分析验证了该协议的有效性和可行性.     

面向网格环境的事务提交协议的研究

提出一种面向网格的事务提交协议-ENP.该协议取消了两阶段提交(2PC)协议中的投票阶段,参与者无需向协调者发送COMMIT消息,可自行决定提交而不必等待协调者的COMMIT命令.如果参与者操作失败,则其向协调者发送abort消息后可自行终止,不必等待协调者发来的ABORT命令.性能分析和实验结果表明,该协议放松了对事务原子性的要求,可以降低提交协议的消息复杂度和日志复杂度,保证了网格环境中事务状态的一致性,满足了各参与者和资源的自治性要求.     

一个带有时限的工程设计事务提交协议

通过分析协作设计活动的特点,给出了一个协作设计事务模型,并在此基础上提出了一个带有时限的工程设计事务两阶段提交协议,包括协议描述及故障处理。分析表明,带有时限的工程设计事务提交协议的性能在所有情况下优于基本两阶段提交协议。     

原子和公平匿名的电子交易协议的研究

基于公平盲签名技术、两阶段提交技术以及混合加密和数字签名技术,该文首次提出了一个能同时实现原子性和公平匿名性的电子交易协议。协议除了具有很好的原子性和匿名性外,对于非法的交易还提供了疑点追踪。文章详细描述了协议的工作过程,并分析了协议的原子性和匿名性。     

一种改进的2pc协议及其性能

提出了一种改进的事务提交协议pg2pc(谨慎成组两阶段提交协议),支持成组全局事务处理,与传统的2pc相比降低了事务提交过程的消息量,提高了事务处理的吞吐量和可靠性,同时对节点故障问题提出解决方案。     

一种改进的分布式实时事务调度协议

分布式实时事务调度协议用于实现事务间读写的并发控制,以满足事务的一致性与隔离性要求.本文改进了动态调整时间间隔的乐观并发控制协议,提出了一种分布式实时事务调度协议DOCC-DATI,协议分为读阶段、等待阶段、准备阶段和提交阶段.协议在读阶段和等待阶段利用事务的优先级信息,动态调整事务的串行化顺序,使高优先级事务优先进入验证阶段,并通过阻塞机制避免部分低优先级事务的不必要重启.由于分布式环境下处于准备阶段的数据不可访问,这将增加事务的阻塞时间,因此本文允许处于准备阶段的事务借出数据给低优先事务.为避免传统的两阶段提交协议中由单点故障而导致的实时事务阻塞,本文通过Paxos一致性算法提交分布式实时事务.提议的方法在一个模拟的分布式实时数据库环境中得以应用,显示出了优良的结果.     

分布式数据更新的用户实现

分布式数据库技术是数据库系统的一个热门课题，本文首先描述了一个分布式数据库系统应当具有的特性，然后结合当前流行的Client／Server体系结构数据库应用前端开发工具PowerBuilder，给出了用户在自己编程实现一定的分布式特性时，采用两阶段提交方式实现分布式数据更新的方法。     

电子支付协议的原子性研究综述

原予性是设计电子支付协议时应考虑的重要性质。文章介绍了电子支付系统的原予性概念,分析了一些重要电子支付协议的原予性,论述了原予性电子支付协议的实现策略,描述了两个著名的原予性电子支付协议——NetBill和Anonymous Atomlc Transaction Ptotocol的协议实现,基于两阶段提交策略提出了一种新的原予性实现方法并用于构造原予性电子合同签署协议,就复杂电子交易模式的原予性支付问题进行了探讨,指出了电子支付原予性研究的最新发展和亟待解决的公开问题。     

带有公平电子合同的交易协议

基于原子的公平匿名交易协议,采用两阶段提交的思想,通过可信第三方TTP(trusted third party)来控制交易的提交。在进行大量交易时,TTP会成为瓶颈。文中在原协议的基础上进行改进,引入了公平电子合同,改变交易提交方式,减少了TTP的工作量,但并没有破坏其原子性和公平匿名性,同时交易后产生的电子合同可具有传统交易合同的作用。     

分布式数据库系统结点失败下无阻塞的提交协议

分布事务的原子性由分布事务的提交协议来保证。提交协议使公布事务在其执行结点上要么都一致地提交,要么都一致地夭折。如果一个分布事务的提交协议在系统失败时有可能致使某些分布事务的终止或继续运行依赖于此系统失败后的恢复,那么称此提交协议是有阻塞的。本文从提交协议的系统开销和阻塞程度两方面比较了目前常用的几种提交协议,描述了在结点失败下的无阻塞提交协议:带终止协议的三阶段提交协议。同时,本文还提出了在结点失败期间系统的处理策略,给出了保存失败给点悬挂动作以达到屏蔽结点失败的新方法。