论文部分内容阅读
现有的各种用于多级事务调度的算法都主要是采用锁机制来解决的,在多级安全系统环境中,正是这个锁机制使得系统在高低安全级事务发生读写冲突时无所适从,从而使得这些算法都只能各自处理某些类多级事务。针对这些缺陷,文中提出了一种有效的、无需对数据上锁的多级安全事务调度算法———多版本快照算法。算法通过消除多版本串行化图(Multiversion Serialization Graph,MSG)中出现环的方法来达到并行事务的可串行化。文中还证明了算法的正确性,并对算法的安全性进行了分析。