CovaTM及其实现

以原子性、一致性、隔离性和持久性为特征的传统事务模型在满足协同应用的需求方面存在诸多局限 .为了解决这一问题 ,该文提出了一种新的协同事务模型CovaTM ,它将协作过程的一次执行看作一个事务 ,对应的活动看成子事务 .CovaTM提供了复杂而灵活的控制流 ,放松了传统事务的原子性和隔离性的要求 ,能够支持协作 .该文介绍了CovaTM的具体实现机制 。