两段式封锁是可串行化的（）条件。