Java并发编程深度解析：把AQS、CAS、死锁一次性讲透，让面试官无话可说

Java并发编程深度解析：把AQS、CAS、死锁一次性讲透，让面试官无话可说

🔥写在前面：本文全程干货，预计阅读时间30分钟。文章末尾有我整理的「并发编程避坑清单」，来自我踩过的真实坑，建议先收藏慢慢看。

⚠️适用人群：准备跳槽的Java工程师、想深入理解并发本质的开发者、正在排查线上死锁问题的运维同学。

一、先灵魂拷问：你真的理解并发吗？

在开始讲技术之前，我想先问你几个问题：

1. synchronized和ReentrantLock有什么区别？
2. 为什么阿里规范里强制要求开发者使用CountDownLatch而不是Object.wait/notify？
3. 死锁的四个必要条件是什么？你线上遇到过死锁吗？怎么排查的？

如果这三个问题你回答不上来，那这篇文章就是为你准备的。

我的经历：21年双十一，凌晨2点接到电话，订单服务全面超时，P99延迟从正常的80ms飙到了30秒。排查了2个小时，最后发现是一个并发更新库存的接口触发了死锁——两个线程互相持有对方的锁，等待对方释放。这就是为什么我今天要把并发编程讲透，不是为了面试，是为了不踩生产事故。

二、CAS：并发编程的基石

2.1 什么是CAS？

CAS全称Compare And Swap（比较并交换），是CPU提供的原子操作指令。听起来高大上，我用大白话解释：

你去银行取钱，账户余额1000元，你想取500。CAS的操作是：先读取余额1000，然后只有当余额==1000时才执行扣款。如果在这个过程中有人改了余额（比如充了100），CAS会失败，然后你重新读取（1000+100=1100），再重试。

这就是乐观锁的核心思想。

2.2 Java中的CAS实现

/** * 典型的CAS使用场景： AtomicInteger的incrementAndGet() * 这个方法是线程安全的，不需要加锁 */publicfinalintincrementAndGet(){for(;;){intcurrent=get();// 1. 读取当前值intnext=current+1;// 2. 准备新值if(compareAndSet(current,next)){// 3. CAS原子替换returnnext;// 4. 成功就返回}// 5. 失败就重试（自旋）}}

为什么不用synchronized？

// 用synchronized实现（性能差，每次只能一个线程进入）publicsynchronizedintincrement(){return++value;}// 用CAS实现（无锁，性能高，并发能力更强）publicfinalintincrement(){returnUNSAFE.getAndAddInt(this,VALUE_OFFSET,1)+1;}

2.3 面试现场：CAS的三大问题

面试官可能这样问：

“CAS有ABA问题，你知道怎么解决吗？”

普通回答：

“ABA问题是指…可以用版本号解决…”

满分回答（带实战）：

"ABA问题确实存在。比如线程A读取栈顶是A，准备出栈，这时候线程B把A出栈又压入C，再压入A。线程A回来发现栈顶还是A，就出栈了——但实际上B已经动过了。

线上我们遇到过一个case：用户下单时用CAS校验库存，买了100件商品。库存从100→0→100，线程以为没变化就重复扣了两次。后来用AtomicStampedReference加了版本号解决：

// 带版本号的CAS，防止ABA问题AtomicStampedReference<Integer>stock=newAtomicStampedReference<>(100,1);// 扣库存时同时检查版本号publicbooleandeductStock(intcount){int[]stamp=newint[1];Integercurrent=stock.get(stamp);if(current<count)returnfalse;returnstock.compareAndSet(current,current-count,stamp[0],stamp[0]+1);}```"

三、AQS：JDK并发工具的"发动机"

3.1 从一个问题出发

先思考：为什么JDK里的ReentrantLock、CountDownLatch、CyclicBarrier、Semaphore都能实现各种复杂的同步功能？它们底层是怎么做到的？

答案：它们都基于同一个"发动机"——AbstractQueuedSynchronizer，简称AQS。

3.2 AQS的工作原理

我用图来说明：

┌─────────────────────────────────────────────────────────────┐ │ AQS 队列同步器 │ ├─────────────────────────────────────────────────────────────┤ │ │ │ ┌──────────┐ state=0（资源可用） │ │ │ 线程A │ ───────────────────────────────────────────▶│ │ └──────────┘ 获取锁成功 │ │ │ │ ┌──────────┐ state=1（资源被占用） │ │ │ 线程B │ ───▶ 加入CLH队列，等待唤醒 │ │ └──────────┘ │ │