正确性与灵活性是并发设计永恒的权衡

更新丢失和不一致读都属于正确性（安全性）层面的失败——只要严格规定同一时刻只允许一个人操作某份数据，这两个问题理论上都能被彻底消灭。但这个”解法”的代价是把并发处理的灵活性（有多少并发活动能同时进行）压到最低，因此对任何并发系统而言，光谈正确性是不够的：正确性和灵活性是一对此消彼长的量，具体牺牲多少正确性去换取多少灵活性，要看失败一旦发生的严重程度、失败发生的可能性，以及业务对并发处理数据的实际需求有多迫切。并且解决方案本身也不是免费的午餐——任何用来防止更新丢失/不一致读的控制机制，都会引入它自己的一套新问题（虽然通常没有原来那么严重）。这也带来一个容易被忽视的推论：如果某个场景本身能容忍偶尔发生更新丢失或不一致读（后果轻微、发生概率低），那么完全可以不引入任何并发控制机制——这种情况虽然少见，但确实存在，不必为了”理论正确”而对所有数据一视同仁地上锁。