论文部分内容阅读
在分布式环境中,为了保持数据的一致性和完整性,必须实现事务管理机制,但全局事务管理在保证事务的原子性和正确性的同时,还必须维护局部系统的自治性。该文描述了一种简单的全局事务管理算法,它利用一个令牌式的全局事务队列,强制全局事务有序启动。同时在将子事务委托给LDBMS执行之前使用意向锁来模拟2PL。这样既保证了全局事务的正确性,同时也使得LDBMS的自治性得到体现。在该文的最后,对算法的正确性进行了论证,并讨论了在支持分布式应用的CASE工具FORMCASE中的实现策略。