填空題兩段式封鎖是可串行化的（）條件。