现代事务的事务集群模型研究.pdf

计算机科学2002V01．29N9-．8(增刊) 现代事务的事务集群模型 ATransaction—SetModelfor AdvanceTransaction 陈明 (上海水产大学计算机学院 上海200090) We Abstract atransactionmodelinthis modelcharacterizesthe present paper．The properties ofadvances as anddurabili— transaction，such isolation，set atomicity，set generalized consistency withother ty．After advancetransactionmodels，wealsodiscussthefinenessconcur— comparing rent technology． Advance transaction，Versiondatabase，Generalized Keywords atomicity，Setisolation，Coop— erative commitset，Set consistency，Setserializability 型中也定义类似的补偿步骤，但补偿步骤是补偿夭 1．引言 折步骤前的所有提交步骤的结果，即一次性补偿。这 传统事务模型中事务是数据库系统的基本工作 两个模型的特点是结果的补偿性。另外，都允许其他 单元，具有原子性、隔离性、一致性和持久性(简称 事务存取中间结果，这将提高并发度。 其缺点是：1．采用传统的加锁机制，由予现代事 ACIDn~3])。这四种特性使得传统事务能保证数据 库从一种一致性状态转到另一种一致性状态。而恰 务的长寿性，加锁将影响事务的并发性。2．一个步骤 恰是ACID特性影响了传统事务模型在现代数据库 领域应用，因为这些应用往往包含有一些长寿的、彼 所有活动事务都将Aborted。 此合作的、嵌套的或有内部结构的活动。 2．2 Split—Join模型 长寿是指应用的持续时间长。嵌套是指彼此有 数据的交换和功能的嵌套。现代事务本身就是存活 分解成两个申行执行的互相独立新事务。这种模型 期长的事务，嵌套的事务[2J~6]，现代事务不一定具 就是Split—Join模型。显然，它支持事务的动态重 有原子性、隔离性等传统特性。本文将现代事务分解 构，并且支持广义原子性。其缺点也是采用传统的加 成事务树，提出版本数据库的概念和事务模型的构 锁机制并且系统崩溃后，所有活动事务都将Abort— 架。并对应于传统事务的ACID属性提出广义原子ed。 性、集群隔离性和集群一致性等概念。 2．5嵌套事务 一