基于事务截止期的动态多粒度封锁机制

多粒度封锁机制提高了数据库系统的并发性,但在实时数据库中,由于事务处理的限时特性,对传统的多粒度封锁机制提出了挑战。综合考虑多粒度封锁机制与事务的截止期,提出了一种基于事务截止期的动态多粒度封锁机制,由事务截止期确定事务冲突级别,当事务冲突到达或降到一定级别后,根据当前加锁粒度决定是否对其进行调整。通过仿真实验证明本机制可减少事务冲突,降低事务错失率及事务重启率,提高了事务并发性和实时性。     

事务内存机制在系统安全中的应用:现状与展望

为了提高并行程序中共享内存数据的读写访问性能,事务内存机制于1993年被提出。因为事务内存机制直接涉及内存数据的读写控制,所以也得到了系统安全研究人员的极大关注。2013年,Intel公司开始支持TSX（Transactional Synchronizatione Xtension）特性,第一次在广泛使用的计算机硬件中支持事务内存机制。利用事务内存机制的内存访问跟踪、内存访问信号触发和内存操作回滚,以及Intel TSX特性的用户态事务回滚处理、在Cache中执行所有操作和硬件实现高效率,研究人员完成了各种的系统安全研究成果,包括：授权策略实施、虚拟机自省、密钥安全、控制流完整性、错误恢复和侧信道攻防等。本文先介绍了各种基于事务内存机制的研究成果;然后分析了现有各种系统安全研究成果与事务内存机制特性之间的关系,主要涉及了3个角度：内存访问的控制、事务回滚处理、和在Cache中执行所有操作。我们将已有的研究成果的技术方案从3个角度进行分解,与原有的、不基于事务内存机制的解决方案比较,解释了引入事务内存机制带来的技术优势。最后,我们总结展望了将来的研究,包括：硬件事务内存机制的实现改进,事务内存机制（尤其是硬件事务内存机制）在系统安全研究中的应用潜力。     

移动分布式实时嵌套事务提交

在移动分布式计算环境中,事务移动性和无线网络固有的缺陷使得传统的分布式实时事务管理机制不足以支持移动分布式实时事务的执行,故有必要为移动实时事务研究新的事务处理机制,以提高其成功率.着重研究移动实时事务的提交机制.首先,通过分析移动分布环境中实时事务的特点给出了一个基于功能替代的移动实时嵌套事务模型.然后,提出了一个基于此模型的三层提交结构以及能够保证移动实时事务原子性和结构正确性的三阶段实时提交协议3PRTC(three-phase real-time commit).性能测试表明,所提出的事务模型及其提交机制能够提高实时事务的成功率.     

多级多版本数据库管理系统全局串行化

多级调度应该保证事务历史可串行化,满足多级安全特性,不会引入隐通道,并保证高级别事务不会因为无限等待而"饿死".与其他多级数据管理系统调度机制相比,多级多版本时戳调度机制满足上述要求,但该机制存在两个问题,一是事务可能读旧版本,二是要求调度器是可信进程.提出一种多级多版本全局时戳调度机制(MLS_MVGTO),以及依据事务快照生成其全局时戳的基本步骤.给出了预知只读事务信息时的两种改进方法.MLS_MVGTO机制生成的事务历史可串行化,不引入隐通道等,并且该方法避免引入一个全局可信的调度器,并通过对只读事务的深入分析,允许事务读新版本.     

Web服务事务中的补偿机制研究与实现

可靠的web服务事务机制是面向服务的架构（SOA）中不可缺少的要素之一,它本身也需要有一定的恢复机制,其中非常重要的技术就是事务补偿。结合Web服务事务的特点,以及数据库系统中的触发器技术,可以为Web服务的事务处理模型提供一个半自动的事务补偿机制。     

移动实时嵌套事务的并发控制

在移动计算环境中，事务移动性和无线网络固有的缺陷使得传统分布式实时事务管理机制不足以支持移动实时事务的执行，故有必要为移动实时事务研究新的事务处理机制以提高其成功率．该文着重研究移动实时事务的并发控制机制．首先，该文给出了一个考虑事务定时限制以及移动性的嵌套事务模型．然后，为减少移动分布式环境中解决数据冲突的开销，该文研究了一种结合优先级夭折和优先级继承的基于封锁的并发控制协议PAI-2PL．当高优先级事务被低优先级事务阻塞时，对于相同家族事务，采用优先级继承方法解决冲突；而对于不同家族事务，则夭折重启低优先级事务．另外，为减少由于断接所引起的无效阻塞，PAI-2PL允许低优先级事务夭折处于断接状态的高优先级事务．通过性能测试，表明所提出的事务模型及并发控制机制能提高实时事务的成功率．     

一种适合开放式环境下协作设计事务的并发机制

研究了开放式环境下协作设计事务的特点,分析现有的分布式并发控制机制的不足之处,提出一种适合开放式环境下协作设计事务的并发控制机制。该机制不仅使用户可以快速得到查询结果,而且有效提高了协作设计事务的并发度。     

面向服务的企业集成体系中事务可靠性研究

为了解决面向服务的企业集成体系中事务可靠性问题,提出了事务可靠的基于Web服务的企业集成体系;借鉴扩展事务模型的思想和事务工作流技术,针对面向服务的企业集成体系提出了一种层次结构的事务机制,该事务机制满足企业集成体系的可靠性和一致性要求,并且解决了Web服务的异构性和自治性所带来的问题.     

一种适合开放式环境下协作设计事务的并发机制

研究了开放式环境下协作设计事务的特点,分析现有的分布式并发控制机制的不足之处,提出一种适合开放式环境下协作设计事务的并发控制机制.该机制不仅使用户可以快速得到查询结果,而且有效提高了协作设计事务的并发度.     

一种基于强可有序化标准的长事务调度算法

现有的长事务并发机制在解决并发冲突和回滚时往往需要依赖于人工干预,且故障恢复的代价较高．提出了一种面向长事务的调度正确性标准——强可有序化标准,并提出了基于该标准的长事务调度算法．该算法利用事务的语义知识以提高事务的并发效率,同时使得长事务的恢复机制大为简化,且回滚代价大大降低．实验结果表明该算法对长事务具有较好的并发处理效果和恢复效率．     

基于Savepoint机制和日志的协作设计事务的恢复方法

给出了一个协作设计事务模型,介绍了一种新的保存机制——savepoint机制,然后在此基础上提出了一个基于savepoint机制和日志的协作设计事务恢复处理方法。     

BTP和WS—C/T规范中两种高级事务模型的比较

本文从业务逻辑与事务协议的耦合程度、协议的扩展性、是否支持补偿机制、是否支持时间约束、是否支持启发式报告机制等方面对两个事务协议的高级事务模型:业务活动模型和内聚模型进行系统地比较,认为采用业务活动模型的结构和补偿机制,加上内聚模型的一些细节上的考虑,如时间约束和启发式报告等的详细描述,将得到一个更加适合当前实际环境的事务模型。     

BTP和WS-C/T规范中两种高级事务模型的比较

从业务逻辑与事务协议的耦合程度、协议的扩展性、是否支持补偿机制、是否支持时间约束、是否支持启发式报告机制等方面对两个事务协议的高级事务模型:业务活动模型和内聚模型进行系统地比较,认为采用业务活动模型的结构和补偿机制,加上内聚模型的一些细节上的考虑,如时间约束和启发式报告等的详细描述,将得到一个更加适合当前实际环境的事务模型。     

虚拟样机协同设计并发控制策略研究

针对虚拟样机协同设计中数据量大、事务长、多层嵌套的问题 ,提出了一种基于事务语义的并发控制策略,阐述了并发控制机制中事务结构、事务提交、锁机制和冲突协调等关键性问题。根据数据要求生成复制事务,事务发生改变后 ,其他站点能够实时显示图形、实时读取数据。实例证明 ,基于事务语义的并发控制策略保证协同用户自由地操作共享资源 ,提高了并发控制的可靠性和数据的一致性。     

计算机辅助协同设计系统并发控制机制的研究

介绍了采用图形数据库组织与管理数据的方法,阐述了基于语义的并发控制机制中事务结构、事务提交、锁机制和冲突协调等关键问题．最后提出了事务管理器的结构模型,并对事务的处理流程进行了剖析。     

基于级联深度的主动实时乐观并发控制协议

主动实时数据库因结合了时间限制与主动机制而使系统事务的并发控制变得更为复杂。主动规则的引入使事务触发新的事务且在执行上具有多种耦合方式,传统的实时并发控制策略无法对具有复杂执行模式的事务进行有效调度,而基于主动数据库的并发控制机制也没有考虑事务的实时性问题。通过对事务不同耦合方式的实时要求及事务间冲突关系进行分析,提出了新的主动实时数据库乐观并发控制方法,对不同事务级联深度进行评估,结合事务执行的时间信息对冲突事务进行动态调整串行化顺序。理论分析与实验证明,能在保证事务可串行性的同时降低了不必要事务重启个数,更好地满足系统的实时性。     

多数据库系统中的一致性维护

在多数据库环境中存在着全局事务和局部事务,它们必须相互协作,从而为应用程序提供一致性的数据。为了维护多数据库系统（MDBS）的一致性,提出一种事务管理机制。该机制基于扩展事务的原理,对全局子事务和局部事务进行扩展,并为各个局部数据库引进一些控制表。局部数据库管理系统（LDBMS）和局部数据库和控制表之上执行扩展务,这些扩展事务负一局可串行性及事务的恢复。由于它不依赖于LDBMS的各种特征,因此该方法易于实现,是实用的。     

BTP和WS-C/T规范中两种高级事务模型的比较

从业务逻辑与事务协议的耦合程度、协议的扩展性、是否支持补偿机制、是否支持时间约束、是否支持启发式报告机制等方面对两个事务协议的高级事务模型:业务活动模型和内聚模型进行系统地比较,认为采用业务活动模型的结构和补偿机制,加上内聚模型的一些细节上的考虑,如时间约束和启发式报告等的详细描述,将得到一个更加适合当前实际环境的事务模型.     

传感器网络中协作实时数据库事务的提交控制

传统的事务模型由于其严格的ACID特性无法适应传感器网络中协作事务的实时性要求.因此着重研究传感器网络中协作实时数据库事务的提交机制.首先,分析传感器网络中实时数据库应用的协作特性,放松事务的严格ACID要求,运用控制区域的概念提出一种基于事务的行为语义控制区域的事务模型.然后,给出该模型的提交、回滚、可见规则及能保证数据库一致性和协作事务实时性的三阶段提交协议,并通过补偿事务保证外化信息准确性.性能测试表明,该模型及提交机制提高了采集数据的外化率和协作实时事务的成功率.     

网格环境下的一种事务协调机制及其补偿技术

事务处理是网格计算能否投入实际应用尤其是商业应用的关键技术之一，用于网格环境下的事务处理必须同时提供协调短时操作和长时间的商业活动的能力，基于Gtobus Toolkit和代理技术，提出了一种能够同时管理原子事务和聚合事务的事务协调机制，研究了相应的可以容错各种失败的协调算法，通过自动产生和执行补偿事务，聚合事务协调机制可以满足网格计算中对长事务的处理要求。