做分布式服务端是直接引入维护一致性的基础设施，还是用 redis 实现一个简单的分布式锁？

本文先介绍传统关系数据库中事务的 ACID 特性，再介绍分布式系统中的经典理论——CAP 定理和 BASE 理论。