HDFS访问中间件的事务设计与实现

针对Hadoop分布式文件系统(HDFS)不支持事务导致其故障恢复比较复杂的问题,提出一种支持事务的HDFS访问中间件的设计方案。该方案在对HDFS进行数据访问时还能提供事务支持。首先,分析访问HDFS的应用系统的事务需求,从HDFS事务流程、事务日志和事务恢复3个方面进行描述。其次,设计HDFS访问中间件的事务流程和体系架构。再次,根据设计方案,采用J2EE技术进行系统实现。最后,设计一个实例来测试中间件的设计和实现,通过这个实例说明,该中间件能有效地简化HDFS的数据访问和事务故障恢复的过程。     

支持断接的移动实时事务调度

在移动计算环境中,事务移动性和频繁断接使得传统实时事务调度机制不足以支持移动实时事务的执行。该文给出了一个支持无线网络频繁断接的软实时事务调度协议SSRTD。该协议是基于事务具有扩展截止期和结果相似性进行设计的,并可根据移动主机的连接状况决定事务执行结果的发送时间。通过性能测试,表明所提出的调度策略能提高移动实时事务的成功率。     

C／S结构EDB的锁管理系统设计和实现

根据C／S结构工程数据库的结构特点,并发控制的作用和特点探讨了一种C／S结构工程数据库管理系统中的锁管理子系统的设计和实现方法。该方法支持“长”事务,多副本和意向锁。在某种程度上提高了工程数据库系统的开发性,并对降低系统开销有一定帮助。     

支持分布式合作实时事务处理的协同检验点方法

在实时事务执行时，事务故障或数据竞争会导致事务重启，为减少事务重启损失的工作量，可以采用检验点技术保证事务的时间正确性．在一类分布式实时数据库应用中，不同结点的事务通过消息交换形成合作关系，为保证合作事务间的全局一致性，当某一事务记检验点时，相关事务也要记检验点．传统协同检验点方法没有考虑应用的定时约束，不能很好地支持分布式合作实时事务处理．该文提出了一种基于图论的协同检验点方法，利用在每个计算结点上为每个合作事务集维护的局部有向图，使用一个基于图论的计算过程标识出应记检验点的事务，该方法既具有最小协同检验点特性，又使全局检验点的时延最小．实验表明该算法减少了全局检验点时延，有利于实时事务截止期的满足．     

基于规则的软件过程事务模型

事务管理是过程工程环境(PSEE)的一个关键技术.近年来,提出了不少高级事务模型支持长事务.然而,由于软件过程事务处理的特殊性,这些模型只能反映其中一部分需求,而且大多数多层的合作事务模型还不够稳定,无法应用于商业,这对PSEE的事务机制提出了挑战.基于此,提出了一个基于规则的软件过程事务模型E-Process/TM,能够较好地刻画软件过程的特征,即用户交互性、长周期、迭代式过程和数据共享的多用户协作.基于用户可自定义的正确性规则,E-Process/TM提供了良好的灵活性和开放性.目前,该模型已在商业PSEE产品中得以实现,并成功地应用于实践中     

分布式工程数据库系统中事务提交机制的研究

分布式工程数据库事务的特性不同于常规的分布式事务,基本的两阶段提交（B2PC）的协议已不适用,文中建立了基于嵌套结构的分布式工程数据库事务管理子系统的体系结构,并提出了适用于分布式工程数据库的事务两阶段提交协议,包括协议的原理,算法以及对故障的处理方法,能够较好地支持分布式工程设计过程的进行。     

事务监控器的Web服务支持

事务监控器是开发、部署、监控和管理分布式事务性应用的基础平台。随着Internet和企业应用集成的发展，许多应用要求能通过广域网访问部署于事务监控器上的服务，同时能与其它分布式系统互操作，但传统的事务监控器作为一种封闭的结构，对此支持不足。Web服务是一种新的分布式组件标准，可方便地部署于广域网上并灵活地进行企业应用集成，本文提出了事务监控器支持Web服务的一个可移植的设计框架TP-WS，可以在符合X／Open DTP模型的事务监控器中支持Web服务。本文设计现已应用到事务监控器ISTX2．0中。     

基于集成模式的电子文件管理最佳实践规范(一)

一、前言1、背景电子文件是个人和机构处理各类电子事务活动过程中形成、保管和利用的电子证据信息,是机构直接的和共同的记忆。成功的电子文件管理可以支持事务活动的高效合作和信息交换,提高个人、部门和机构间的协同能力;支持基于事实的政策制定;支持信息政策法规的有效实施;支持机构的知识管理、创新管理和基于证据的机构治理。     

事务体系结构的操作系统支持

随着多核芯片的广泛应用,开发线程级并行变得至关重要。事务可以使编程者通过非常简单的多线程编程模型来实现并行,事务存储(TM)可以简单地实现事务执行的原子性和独立性。本文介绍了目前的主流事务存储系统TCC、LogTM、PTM,分析了各自的系统结构和相应的操作系统支持,并在此基础之上揭示了事务存储系统的硬件设计和操作系统支持之间的关系,最终总结得到了TM发展的一些基本规律和特点。     

事务工作流WfSaga及其建模工具

以扩展事务模型Saga和Flexible为基础,引入可替换事务和平凡事务等事务种类,借用传统事务恢复机制"保存点"的思想,提出了支持分布式工作流应用的可靠事务工作流模型WfSaga,以Java图形操作为基础,设计了图形化建模工具并用基于XML的过程定义语言对模型进行了描述,最后对模型的正确性验证进行了讨论.     

工程数据库中一种支持合作设计事务的并发控制机制

长期性，合作性与用户控制是工程设计环境对数据库事务的新要求，传统的并发控制机制缺乏支持，文中提出了嵌套二阶段有序相容性锁协议以嵌套事务模型为基础，以有序相容性封锁为并控制手段，能够较好地支持上述要求，此外由于该协议是基于二阶段封锁协议，因此易于在现有ＤＢＭＳ中通过扩充来实现，是一个实用的并发控制机制。     

一种支持工程设计事务的乐观并发控制方法

传统乐观并发控制方法对工程设计事务支持较弱。该文以嵌套事务模型为基础并结合检入＝检出机制,提出一种改进的乐观并发控制方法,能够较好地解决传统乐观并发控制方法在工程设计务应用上存在的问题并提高了事务的并发度。     

Semantic Based Concurrency Control of Open Nested Transactions in Active Object Oriented Database Management Systems

Active object oriented database management systems (AODBMS) are finding increasing application in different application domains and especially for cooperative and long duration activity management. In this paper, we propose a concurrency control mechanism for open nested transactions in an AODBMS. It exploits the semantics of the transactions to achieve controlled cooperation and concurrency among the transactions. Atomic AODBMS transactions are treated as base transactions. A complex transaction type is formed from a collection of base and complex transactions, a set of detached mode ECA rules and a state transition model. The cooperation semantics of a complex transaction type with other complex transaction types is specified by associating with each state of a complex transaction, a set of cooperating complex transaction types. The abort semantics of a complex transaction type is specified by means of compensating base transactions. We define a correct class of schedule called CoopComp-schedule which satisfies the state transition semantics of the individual complex transactions and also maintains the cooperation and compensation semantics of the individual complex transactions within the generated schedule. A concurrency control scheme called NP-QuadLock for generating only CoopComp-schedules has been provided. The proof of correctness of the proposed concurrency control mechanism is also given.     

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

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

高级数据库系统中基于语义的并发控制

This paper surveys the semantic-based concurrency control for advanced database systems, which aimed to eliminate the limitation of conventional concurrency control and to meet the requirements of advanced database applications. Covered in the paper are those approaches that using transaction semantic,that using abstract data type semantic, and that supporting for cooperation. The current situation and the future directions of the semantic-based concurrency control are also analysized.     

电子CAD框架系统的长事务处理和网络版本管理

用面向对象方法管理框架系统中的工程和设计数据已成为大多数人的共识．本文对该系统中的Ｓｅｒｖｅｒ／Ｃｌｉｅｎｔ结构和并发控制、长事务管理、网络上的对象版本管理等进行了论述，提出了想法和实现．该系统已应用到电子ＣＡＤ框架系统中．     

对象库的并发控制

本文提出了适于工程设计环境的并发控制技术－－动态确认并发控制模式。与传统商业应用相比,该环境中的事务持续时间一般很长,因此它需要新的并发控制技术。动态确认是乐观的并发控制模式,避免了对数据长时间的上锁。它产生的操作是“关于数据库可串行化的”,即认为只要产生相同结果,则该调度就和从同一初始数据库状态开始执行的事务串行操作等价。显然,这个串行化标准是弱于通用串行化标准的。     

工程数据库管理系统对设计过程的支持

工程设计过程具有长久性，试探性和协作性的特点，常规商用事务处理的概念和方法无法满足工程设计过程的需求，本文描述我们自行研制的工程数据库管理系统ＯＳＣＡＲ的事务管理模型，给出了ＯＳＣＡＲ的支持工程设计过程的三个核心机制，即检入／检出／保存／回退及通知。     

一个基于SQL的并发控制机制

传统的读写事务模型（由ｒｅａｄ（ｘ）和ｗｒｉｔｅ（ｘ）序列组成）不能使调度机制充分利用应用程序的语义信息对事务进行灵活调度，从而不能有效提高系统的并发度．本文根据ＳＱＬ语言的操作语义，给出了基于ＳＱＬ的事务模型．利用这种事务模型并结合２ＰＬ方法，设计了并发控制机制：Ｃｏｎｄｉｔｉｏｎ—ｌｏｃｋｉｎｇ．这个机制可以：（１）避免数据库中的幽灵（ｐｈａｎｔｏｍ）问题，（２）利用应用程序的语义信息和完整性约束提高系统的并发度，（３）减少发生死锁的机会．因此，这是一个实用的并发控制机制．     

一种基于扩充相容性封锁的多版本两阶段封锁协议

分析了现有的分布式并发控制机制的不足，提出一种基于有序相容性多粒度的多版本两阶段封锁协议，并对其正确性进行了证明。分析表明，该协议可有效提高协作设计事务的并发度，比较适合于开放式的协同设计环境。