移动事务处理中间件的研究与设计

移动计算环境下,传统的事务处理中间件已不再适用,移动事务所具备的特性应设计支持移动计算环境的移动事务处理中间件.基于FM-Que移动事务模型,采用组件软件模型设计了移动事务处理中间件,此中间件达到两方面的效果:移动环境的复杂特征和变化对应用透明,移动事务应用可以类似常规应用一样进行开发;应用程序可以利用中间件方便的了解上下文环境信息,有效地实现应用相关的自适应.     

移动数据库系统乐观事务处理策略

在移动数据库系统中，计算平台的移动性，频繁的断接性以及长事务等特性使得传统的事务处理模式不再适用，为了解决移动数据中的事处处理问题，提出了一种新的移动事务处理模型－乐观两阶段提交移动事务模型（O2PC－MT），该模型采用乐观并发控制与两阶段提交协议相结合的方法，对移动事务的长事务特性提供了灵活与有效的支持，此外，该模型允许移动计算机分多发送中务操作，且在事务执行过程中可以任意移动，从而提供了对交互式事务及随意移动性的支持，实验结果表明，与基于两段锁协议及其变形的其它移动事务处理模型相比，O2PC－MT提高了系统的事务吞吐率并改善了系统的总体性能。     

移动计算中基于权值的自适应事务处理模型

在综合分析现有事务模型的基础上，提出了一种根据事务提交所处的网络环境和事务是否访问热点数据，自动选择子事务处理模型的基于权值的自适应移动事务处理模型——AMTMBW。实验证明，新的事务处理模型在移动事务的撤销率，移动事务的执行时间等方面与其他模型相比，其性能都有较大的提高。     

乐观并发协议在移动计算环境中的应用

在移动计算环境中,基本乐观并发协议的事务处理存在并发度低和重启率高等问题。为此,提出一种适用于移动计算环境的乐观事务并发协议――基于数据读写时间戳的乐观并发控制协议。仿真实验表明,该协议可以提高事务处理的并发度,降低事务重启概率,与基本乐观事务并发控制协议和基于时间戳的乐观事务并发控制协议相比,该协议更适用于移动计算环境。     

移动事务处理技术研究进展

在移动计算环境中,移动用户能够随时随地访问所需的信息,移动计算环境应提供相应的事务处理能力。但是,由于移动计算环境的限制,移动事务不完全等同于传统事务。提出了移动事务的概念和特征,分析了移动事务处理的目标,讨论了典型的移动事务模型,并对这些移动事务处理模型进行了比较和总结。     

移动分布式数据库中的实时事务处理

提出了移动事务实时提交协议(MTRTC)和多版本乐观并发控制协议(MVOCC)处理移动分布式实时事务。MVOCC有效性检查分为局部有效性检查和全局有效性检查，采用动态调整串行次序，避免了不必要的事务重启动，改善了只读事务的响应时间。MTRTC是一个实时提交协议，减少了通信信息。实验结果表明结合MVOCC和MTRTC事务处理协议优于其它事务处理协议。     

基于移动数据库的事务处理模型的研究

对移动数据库的关键技术之一事务处理进行了分析与探讨。在分析现有移动事务处理模型的基础上，结合研究开发的嵌入式移动数据库系统SwiftDB，提出增加接入代理层的事务处理系统结构，并根据移动计算环境的特点和具体应用需求，分析了移动节点上事务状态，改进两级复制模型的移动事务解决方案。     

移动数据库事务处理模型研究

移动数据库系统必须提供移动事务处理能力，以满足移动应用的需求。但是，移动计算环境的特点以及一些新型移动应用的出现，使得传统的ACID特性已不足以描述移动事务。本文在分析移动事务与传统数据库中事务的不同之处的基础上，重点讨论移动数据库事务处理模型，包括移动事务处理模型基本要素、特性、分类以及未来发展方向。     

移动数据库的事务处理关键技术研究与分析

移动事务的移动性、频繁断接性等特点使传统的事务处理技术已不能适应移动环境,因此设计一个适应移动数据库环境的事务模型是移动事务处理关键.本文在分析移动事务的特点和移动事务处理典型结构基础上,主要论述设计移动事务模型必须要解决的移动事务的过区切换、断接处理、同步复制、故障恢复等四个关键技术的研究现状和原理分析.     

一种基于移动环境的混合乐观实时事务处理策略

随着移动计算技术的快速发展，移动环境下涉及到实时事务处理的应用需求正逐渐增长．由于移动环境下固有特性：高的网络延迟、频繁的断接性和移动性等，采用传统的事务处理技术，在移动环境下很难满足事务的截止期要求．提出了一种基于高优先级两段锁的混合乐观实时事务并发控制协议(HORTCC—SHP2PL)．该协议在移动实时事务处理中将乐观并发控制和高优先级两段锁结舍起来，利用两阶段提交协议实现移动实时事务的全局提交．为了进一步减少移动实时事务重启的数目．在并发控制协议中引入了相似性的概念．仿真实验显示．与分布式高优先级两段锁(HP2PL)比较，HORTCC—SHP2PL明显地减少了实时事务错过截止期的比率，提高了事务的并发度，能更好的满足移动实时事务截止期的要求．     

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

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

移动事务处理关键技术研究

移动事务处理是移动计算系统的一个基本功能,但是,移动计算系统固有的客户机的移动性、频繁的网络断接以及资源有限等特点限制了传统事务处理技术在移动系统的应用,因此,改进传统事务处理的方法使之适应移动计算的要求是提高移动事务效率的关键.介绍了移动事务的概念,分析了移动事务的特点以及移动事务处理的基本要求,提出了解决移动事务移动性、频繁断接性和数据一致性的关键技术.     

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

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

CCPP: 一个并发C++语言的设计与实现

并发面向对象语言ＣＯＯＬ（ｃｏｎｃｕｒｅｎｔｏｂｊｅｃｔ－ｏｒｉｅｎｔｅｄｌａｎｇｕａｇｅ）是一种有效的并发程序设计语言．本文提出了一种并发对象模型（ＣｏｎｃｕｒｅｎｔＣ＋＋，ＣＣＰＰ）及其语言．在ＣＣＰＰ并发对象模型中，所有对象都是并发对象，对象间的通讯都采用异步消息发送方式．对象间的同步采用“需要时等待”策略，同一对象内并发线程间的同步用路径表达式描述．ＣＣＰＰ语言是对Ｃ＋＋语言的扩充，采用预编译方法实现．ＣＣＰＰ语言允许并发／顺序代码重用.     

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

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