12.4.1 串行调度和可串行性