避免协调是构建分布式系统的基本要素，乐观假设避免协调，悲观假设需要协调。示例包括缓存的最终一致性和乐观并发控制。租约是悲观和乐观的结合，通过明确假设类型，可以优化协调的时机和原因。
完成下面两步后，将自动完成登录并继续当前操作。
