一致性的基本框架,可以为设计一致性协议提供基本的条件