5.3 隔离与不变性