如何基于CAP模型设计企业级真正高可用的分布式锁？