实时数据库中的可推测并发控制算法

可推测并发控制是一种新的并发控制方法，特别适合于实时数据库系统。可推测并发控制使用潜在冗余计算以确保尽可能早地发现和采纳可串行化调度，因而增加满足严格时问限制条件的实时性。本文中，首先阐述了基于scc类算法的家庭成员scc-ns算法。接着讨论了根据要求资源量的3个scc-ns算法和它们执行的推测级别。最后，提供了建立可推测和实时性的一些模拟结果。