摘要
本文将延迟等待的方法引入到该协议中,并阐明此改进协议能减少重新启动的次数,具有免级联夭折的特性。可串行化只是正确运行的充分不必要条件,本文给出一类不满足可串行条件的正确运行的形式化描述,并阐明延迟多版本时间戳协议可接受此类运行。
This paper introduces the method of delay and wait into the Multi - version Timestamp concurrence control protocol,and points out this can reduce the number of aborting. Serializability is only the sufficient condition of correct concurrent execution. This paper provides a formal description of a type of correct concurrent execution that are not serializable. And the fact that the new protocol can accept this type of execution is proved at last.
出处
《计算机与数字工程》
1998年第5期26-29,共4页
Computer & Digital Engineering