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