1. 全链路异步化，对于无状态共享的系统，能确保所有线程永远不会被阻塞，cpu 永远在高效运行；2. 对于有状态共享的系统，通过 CAS 对共享状态加轻量级锁，确保共享状态的访问具有唯一性，执行 CAS 操作失败的线程依然不会阻塞，依然能处理其他任务，最终 cpu 依然在被高效利用。这就是非形式化证明！

@zhh-4096

如何证明：一个全链路异步化的系统 + CAS 实现的轻量级锁，就是最完美的并发控制系统？这个证明留给网友去思考，当你想通了这个证明，任何需要处理并发问题的系统都能迎刃而解。 ​​​