重新执行
这个过程就叫做重新执行(re-execution )。由于此时act动作的所有副作用都还没有真正
再次执行
这称为再次执行(re-execution) 由于act 执行的效果还没有提交(没有对实际变量做任何修改),可 以保证再次执行是安全的 本科生讨论班报告(5)并发之美 北京大...
鼓励执行计划的重用性