結果 : types of consistency models in distributed systems