基于2阶段锁和串行图的多级事务调度算法

摘要

多级事务环境中安全性标准的引入对传统的基于2阶段锁的调度提出了很大的挑战.为了解决2阶段锁和安全性需求之间的冲突,将2阶段锁调度限制在单个安全级内部,并且在高级事务读取低级数据时使用"软锁"以消除隐通道.引入串行图确保了多级事务在不同安全级上的事务节串行化顺序的一致性,实现了多级事务调度的可串行化.描述了算法的实现过程,证明了该算法满足多级事务的A-CIS性质.与已有的算法相比,该算法具有较高的事务吞吐量,并且能够保证多级事务调度的正确性.