HyperMetro是通过（）确保数据一致性。