美团java后端面试-乐观锁vs悲观锁

前言在多线程编程和高并发系统设计中数据一致性是悬在开发者头顶的达摩克利斯之剑。当多个用户或线程同时尝试修改同一份数据时如何避免数据错乱就成了必须解决的问题。锁机制应运而生而乐观锁与悲观锁则是并发控制领域两种最基础、最典型的策略。它们不仅代表了不同的技术实现更蕴含着两种截然不同的设计哲学。本文将深入探讨两者的核心思想、实现原理、优缺点及适用场景。一、核心思想两种世界观的对立悲观锁的名字已经揭示了它的世界观悲观、谨慎、防御。它基于一种最坏的假设——认为多个线程同时修改共享数据的概率很高冲突是常态而非例外。因此在操作任何共享资源之前悲观锁都会先进行加锁操作确保只有获得锁的线程可以访问数据其他线程必须排队等待。这种机制本质上是将并发操作强行转为串行操作以绝对的顺序性来换取数据的绝对安全。在悲观锁看来与其冒着数据出错的风险并行不如稳妥地一个个来。与悲观锁的保守不同乐观锁则秉持一种乐观、进取的态度。它假设多线程同时修改同一数据的概率很低冲突只是小概率事件。因此它并不提前加锁而是鼓励线程直接操作数据。只有当线程准备提交修改的那一刻它才会去检查数据是否被他人动过。如果检测到冲突乐观锁不会去阻塞或等待而是让操作失败并回滚通常由业务层决定是否重试。这种机制类似于git的版本管理大家各自在本地分支工作只有在push时才发现冲突需要先pull解决冲突再push。对比维度 悲观锁 乐观锁核心假设 冲突必然发生安全第一 冲突概率较低效率优先加锁时机 读取数据前 更新数据时检测冲突并发策略 阻塞等待串行执行 无阻塞但需重试机制典型代表 数据库行锁、synchronized 版本号机制、CAS算法二、实现机制与代码逻辑悲观锁的实现悲观锁通常依赖于底层系统或数据库提供的原生锁机制。数据库层面的悲观锁在关系型数据库中最常见的实现是SELECT … FOR UPDATE。在一个事务中执行此语句后数据库会对查询结果集的行加锁。其他事务如果试图更新这些行或者执行另一个SELECT … FOR UPDATE都会被阻塞直到原事务提交或回滚。例如在电商系统中扣减库存时通常会先开启事务然后通过FOR UPDATE锁住库存记录读取当前库存计算新库存执行UPDATE最后提交事务。这一过程虽然保证了数据准确但在高并发下会导致大量线程排队吞吐量下降。编程语言层面的悲观锁在Java中synchronized关键字和ReentrantLock类都是悲观锁的实现。它们确保在同一个时刻只有一个线程能执行被保护的代码块。当一个线程进入同步块其他试图进入的线程会被挂起进入阻塞状态直到锁被释放。乐观锁的实现乐观锁通常由应用程序自身实现无需数据库内置的排他锁。版本号机制这是最经典的方式。在数据表中增加一个整数类型的version字段。读取数据时将version一起读出。执行更新操作时SQL语句如下sqlUPDATE table_nameSET value ‘新值’, version version 1WHERE id 某值 AND version 旧版本号;程序通过检查Affected rows来判断是否更新成功。如果返回0说明在此期间version已被其他线程修改操作失败。业务层需要捕获这个失败并决定是重试整个操作还是放弃。这种方式适用于读多写少的场景如文章阅读量的更新。时间戳机制与版本号类似使用时间戳字段来判断数据的新旧。更新时要求当前时间戳必须等于读取时的时间戳。但由于时间戳在极短时间内可能重复或产生误差其可靠性不如版本号。CAS算法在无锁编程领域Compare-And-Swap是一种硬件级别的乐观锁实现。它是一个原子指令包含三个操作数内存地址V、旧的预期值A和新值B。只有当V的值等于A时处理器才会将其更新为B。Java的java.util.concurrent.atomic包下的原子类如AtomicInteger正是基于CAS实现的。CAS避免了用户态锁的上下文切换开销但在高并发下可能会导致ABA问题即值从A变成B又变回ACAS误认为未改变通常需要通过版本号如AtomicStampedReference来解决。三、深度剖析优缺点与适用场景选择乐观锁还是悲观锁是一场关于一致性、并发性、复杂度和业务场景的综合博弈。悲观锁的优劣与场景优点强一致性通过严格的锁机制保证了数据在任何时刻的准确性避免了脏读、不可重复读和幻读。使用简单对开发者来说逻辑直观易懂。在冲突严重的场景下避免了复杂的重试逻辑。缺点性能开销大锁的获取和释放、线程的挂起和唤醒都是昂贵的操作涉及内核态与用户态的切换。死锁风险如果加锁顺序不当容易造成死锁需要开发者谨慎设计。降低并发度阻塞机制严重限制了系统的吞吐量。适用场景写多读少、冲突严重的场景。例如金融系统中的账户扣款、秒杀活动中的库存扣减、机票预订系统的座位锁定。这些场景数据敏感度高冲突概率大宁愿牺牲一点并发也要保证数据绝对正确。乐观锁的优劣与场景优点高并发性能无需等待和阻塞大大提高了系统的吞吐量特别适合读操作远多于写操作的场景。无死锁问题因为没有持有锁自然避免了死锁的发生。轻量级CAS操作直接在硬件层面完成开销远小于线程挂起。缺点ABA问题如前所述CAS可能无法感知中间的变化过程。高竞争下性能下降如果冲突频繁大量的操作会失败并不断重试反而会浪费CPU资源导致性能不如悲观锁。一致性较弱只能保证最终一致性在事务隔离级别上不如悲观锁严格。适用场景读多写少、冲突概率低的场景。例如博客文章阅读量统计、社交媒体的点赞功能、配置文件更新、用户资料浏览。在这些场景中大家同时修改同一条数据的概率很低使用乐观锁能最大化利用系统资源。四、总结与选型建议悲观锁与乐观锁并非水火不容而是相辅相成的并发控制手段。它们分别代表了“预防”与“容忍”两种系统设计哲学。在实际的架构设计中理智的做法往往是混合使用。例如在一个电商系统中对于秒杀的核心库存由于冲突率极高可以使用数据库的行锁悲观锁或分布式锁来严防死守确保不超卖。对于生成订单后的商品销量更新可以采用乐观锁版本号进行异步更新允许偶尔的重试提升用户体验。对于用户购物车中商品信息的冗余更新可以使用CAS操作保证原子性。理解这两种锁的本质有助于开发者在面对复杂的业务场景时跳出技术的表象从并发控制的底层哲学出发做出最适合当前业务约束的技术决策。