1. 先搞清楚:高并发到底在解决什么问题
经常有同学跑来问我:"Java高并发怎么学?是不是背八股文就够了?"我说你先回答我一个问题:你们业务被流量冲击的时候,系统是慢、是挂、还是直接内存溢出?这三个答案对应的是完全不同的技术方案。如果连问题本身都没定义清楚,学再多并发工具也是散装知识。
我最早接触高并发是很多年前的一次线上事故。当时一个促销活动刚上线,流量比日常涨了几十倍,数据库连接池被打满,接口从平均50ms直接飙到3秒,然后雪崩式地出现一堆超时和报错,最后整个订单服务不可用。复盘的时候发现,锅不在某个单独环节,而在"每一层都没有做容量设计"。从那以后我明白了一个道理:高并发不是一个技术点,是一整套系统工程。
从定义上说,高并发就是单位时间内系统要处理的请求量非常大,导致计算资源、存储资源、网络资源被激烈争抢。它最核心的两个指标是:
- 吞吐量(QPS/TPS):每秒能处理多少个请求或事务。
- 延迟(RT/响应时间):一个请求从发起到收到响应需要多少毫秒。
两者之间有个经典公式:QPS ≈ (1000ms / RT) × 并发线程数。这个公式看起来简单,实际上蕴含了高并发优化的所有秘密。你的RT是50ms,单线程每秒能处理20个请求,开20个线程就能扛400 QPS。但如果RT涨到500ms,同样20个线程只能扛40 QPS。所以高并发优化的本质,要么降低RT,要么合理提高并发度,要么两者都做。
但"并发数是不是越高越好"?当然不是。我刚工作那会儿也觉得线程池开得越大越厉害,后来压测发现线程数超过某个临界点,吞吐量反而往下掉。原因是线程太多会导致频繁的上下文切换,CPU在"切换工作"上花的时间比"干活"还多。这就是高并发里的"木桶效应"——每个环节都有物理上限,你优化了A环节,瓶颈会跑到B环节。
那怎么定位瓶颈在哪?我建议从一次完整的请求链路去看。以最简单的场景为例:用户点了一个按钮,请求经过DNS解析、网关路由、应用服务的Controller、Service、Dao,再到数据库返回结果。你可以在压测时逐层加日志或采样,看时间都花在哪个环节。常见瓶颈:数据库连接池耗尽、缓存频繁失效导致大量请求击穿到DB、JVM频繁Full GC导致应用停顿、线程池队列被占满后的拒绝策略触发。找到瓶颈比堆机器的优先级高得多——很多所谓"高并发方案",本质上是在正确的位置放了正确的缓存和队列。
还有人问:为什么高并发方案都在Java这里讨论得最热闹?一方面Java在互联网业务后端存量巨大,大厂核心交易链路大量使用Java系技术栈;另一方面Java生态里并发工具非常完整,从synchronized、JUC到Netty、Spring WebFlux,覆盖了从多线程基础到高性能网络IO的完整链路。这也是我写这篇东西的目的:把基础工具、底层原理、分布式方案、面试考核串成一条线,让你读了之后能真正落地,而不是背了一堆名词。
需要模型API调用? 免费领10W Token,多模型网关一键接入 Claude、DeepSeek 等主流模型。
2. 线程池与异步化:最常被问也最常被用错的并发基础
2.1 线程池参数怎么定?先讲流程再讲公式
ThreadPoolExecutor是Java并发里出现频率最高的类之一,面试必问,平时也是真用。但大多数人只背了参数含义,没搞懂任务提交的完整流转逻辑。我先把流程给你捋一遍:
- 提交任务时,如果当前工作线程数小于corePoolSize,创建新线程执行任务。
- 如果工作线程数已经达到corePoolSize,任务放入workQueue队列等待。
- 如果队列满了,判断当前线程数是否小于maximumPoolSize,是则继续创建线程执行任务。
- 如果线程数已经达到maximumPoolSize且队列也满了,执行RejectedExecutionHandler拒绝策略。
很多人忽略一个点:这个顺序决定了线程池的行为是"先排队后扩线程"。也就是说corePoolSize设10、maximumPoolSize设20、队列容量1000,那么前1000个任务都进队列,只有队列满了才开始创建第11到第20个线程。如果你的业务是短平快的请求,队列设置太大,线程数可能一直打不满,堆个几千任务在那儿排队,RT就上去了。
关于参数设置,网上有一套经验公式:
- CPU密集型任务:corePoolSize = CPU核数 + 1。因为这类任务大部分时间在计算,线程数超出核数意义不大,多出来那个是在某些线程因缺页中断或暂停时顶上用的。
- IO密集型任务:corePoolSize = CPU核数 × 2。因为IO任务阻塞时间长,CPU大部分在等待,换更多线程进来利用CPU空闲时间。
- 更精确的估算:线程数 = CPU核数 × (1 + IO等待时间 / CPU计算时间)。你可以通过埋点打日志统计出一个方法里"计算耗时"和"等待耗时"的占比,代入公式算。
核心线程数是否要设置得很大?不少项目上来就设200个核心线程,觉得这样"并发能力强"。实际上一个线程默认就要占约1MB的栈空间(取决于-Xss配置),200个线程光栈就吃掉200MB,加上上下文切换开销,系统会变得非常迟钝。我见过的生产环境里,大部分业务线程池的核心线程数在10~50之间就已经能扛住相当高的流量。
还有一个特别容易踩的坑:拒绝策略的选择。JDK内置四种:
| 策略 | 行为 | 适用场景 |
|---|---|---|
| AbortPolicy | 抛RejectedExecutionException | 不希望静默丢弃任务时 |
| CallerRunsPolicy | 由调用者线程直接执行该任务 | 不想丢任务、可接受减速 |
| DiscardPolicy | 直接丢弃任务 | 可容忍丢任务的场景 |
| DiscardOldestPolicy | 丢弃队列中最老的任务,再提交 | 优先处理新任务时 |
实际生产中我优先推荐CallerRunsPolicy。它的好处是:当线程池满时不会丢任务,而是让提交任务的线程(比如Tomcat的工作线程)自己去执行,这相当于天然把压力往上游推,起到"背压"效果,而且不会因为任务被丢弃导致数据不一致。相比之下,AbortPolicy在线上很容易因为瞬时流量直接抛出异常,导致大量接口报错。
再提醒一点:不要用Executors快捷工厂方法。newFixedThreadPool和newSingleThreadExecutor底层用的是无界LinkedBlockingQueue,任务无限堆积会导致内存溢出,正好呼应那个OOM报错(outofmemoryerror: insufficient memory)。newCachedThreadPool用的是SynchronousQueue,来了任务就建线程,高峰时可能创建出成千上万个线程。生产环境一定要自己new ThreadPoolExecutor,把参数显式控制住。
2.2 异步化改造:CompletableFuture如何编排多个依赖请求
高并发场景里,很多请求慢不是因为本身计算量大,而是因为同步等待了太多下游接口。比如我去查用户详情页,需要调用户服务、订单服务、优惠券服务,串行调用每个要200ms,加起来600ms。如果并行调用,总耗时直接降到200ms,RT降了3倍。
Java里最早的Future可以实现并行,但有个硬伤:future.get()是阻塞的,虽然任务并行跑了,你还是要在那儿等结果。等到结果后想串接下一步逻辑,又得重新提交新任务,代码绕来绕去。JDK8引入的CompletableFuture把异步编排做到位了,它的核心思路是给异步任务挂"回调",任务完成时自动触发下一个动作。
我用一个实际场景演示。假设订单详情页需要并行查三个服务:
java复制CompletableFuture<UserInfo> userFuture = CompletableFuture.supplyAsync(() -> userClient.getUser(userId), executor);
CompletableFuture<List<Order>> orderFuture = CompletableFuture.supplyAsync(() -> orderClient.getOrders(userId), executor);
CompletableFuture<List<Coupon>> couponFuture = CompletableFuture.supplyAsync(() -> couponClient.getCoupons(userId), executor);
CompletableFuture<UserDetailVO> resultFuture = CompletableFuture.allOf(userFuture, orderFuture, couponFuture)
.thenApplyAsync(v -> {
UserInfo user = userFuture.join();
List<Order> orders = orderFuture.join();
List<Coupon> coupons = couponFuture.join();
return UserDetailVO.builder()
.user(user)
.orders(orders)
.coupons(coupons)
.build();
}, executor);
return resultFuture.get(3, TimeUnit.SECONDS);
这里有三个实战细节:
- 一定要传Executor。如果不传,supplyAsync默认用ForkJoinPool.commonPool。这是个全局共享的公共池,池大小是CPU核数减1。多个服务共用它,高并发下任务会互相挤占,非常容易拖垮。我见过不少线上事故就是"明明用了异步,怎么比同步还慢",查到最后全是commonPool被占满。
- allOf + join的用法。allOf等所有任务完成,join是个"安静的get"——它不会抛受检异常,而是会抛出CompletionException包装异常。线上记得在最外层用get(timeout)兜底,防止某个下游超时导致整个协调整合流程无限等待。
- 使用专有线程池。异步执行器不要和业务主线程池混用,建议单独定义。线程参数可以根据下游调用的特点来配,比如都是IO等待型,就按IO密集型的公式来。
异步化虽然好,但也要有节制。异步本质上是"拿线程换RT",每个异步任务都要占用线程资源,大量无节制的异步调用会让线程池和内存双双吃紧。另外,异步化后日志追踪会变难,需要把traceId在父子任务间传透;异常处理也不再是简单的try/catch,每个异步链路都要设计兜底逻辑。我的经验是:只对"没有强事务要求的读链路"做异步化,涉及写库和分布式事务的链路,先保证一致性再说性能。
3. 从JMM到AQS:把并发的底层机制讲透
3.1 为什么加了volatile还是不"立即可见"
你在多线程里最常见的困惑大概是:线程A改了变量,线程B怎么读到的还是旧值?我加volatile了呀?要理解这个问题,得从计算机硬件说起。
CPU的运算速度远快于内存的读写速度,所以现代CPU都有一级、二级、三级缓存。线程执行时会把主存中的变量复制到CPU缓存里,改完后不一定立刻写回主存。也就是说,多个线程各持数据副本时,彼此之间看不到对方的修改。Java内存模型(JMM)就是在这种硬件现实下制定的一套规则,它定义了共享变量在何时对其它线程可见。
关于可见性,主要是三句话:
- volatile修饰的变量,写操作会强制把当前CPU缓存行的数据写回主存,并且让其他CPU核心里缓存的该变量失效,下次必须从主存重新读。
- synchronized在进入同步块时刷新主存数据到工作内存,退出时把修改写回主存。所以synchronized也有可见性语义。
- final修饰的字段在构造函数中初始化完成后,如果引用没有逸出,对其他线程是可见的。
那"加了volatile还是不立即生效"是怎么回事?最常见的原因是:你修改的变量本身不是volatile的,只是它指向的对象内部字段变了。volatile保证的是"引用本身"的可见性,不是"引用指向对象的内部状态"的可见性。比如:
java复制class Config {
volatile Map<String, String> configMap = new HashMap<>();
}
// 线程A执行
config.configMap.put("key", "value"); // 这不是volatile写,改的是Map里的内容
// 线程B执行
config.configMap.get("key"); // 看不见新值
这个场景要把configMap声明为volatile后会怎样?还是不行。因为put操作修改的是HashMap内部结构,并没有写入configMap这个引用变量。正确做法是每次更新都创建新的Map,整体替换引用:
java复制Map<String, String> newMap = new HashMap<>(oldMap);
newMap.put("key", "value");
config.configMap = newMap; // volatile写,其他线程可见
这也是为什么并发编程里始终强调"用不可变对象 + 写时复制"来处理共享状态,比往里塞可变对象安全得多。
另一个常见误解是:volatile保证原子性吗?保证。volatile对单个读/写操作保证原子性,但不保证复合操作(比如i++)的原子性。i++其实是"读i -> 加1 -> 写回i"三个步骤,volatile只保证了每一步的可见性,三个步骤之间还是会被别的线程穿插。要保证复合操作原子性,得用AtomicInteger的CAS或者synchronized。
3.2 synchronized到底锁了什么?Java对象头里的秘密
synchronized可能是Java里最朴素的同步手段,但它的底层实现一点都不朴素。JDK6之后,HotSpot对synchronized做了大量优化,锁的升级路径是:无锁 -> 偏向锁 -> 轻量级锁 -> 重量级锁。很多人面试时能背出这四个状态,但你要理解它为什么这么设计,关键看对象头里的Mark Word。
每个Java对象在内存中都有一个对象头,其中Mark Word区域记录了对象的哈希码、GC分代年龄、锁状态等信息。Mark Word在64位JVM上是64个bit,这些bit在不同状态下有不同的含义:
- 无锁状态:记录哈希码、分代年龄等。
- 偏向锁:记录偏向的线程ID。如果只有一个线程反复进入同步块,就不做真正加锁操作,只记下这个线程ID,效率极高。
- 轻量级锁:记录指向线程栈中锁记录的指针。当第二个线程竞争时,偏向锁撤销,升级为轻量级锁,通过CAS尝试获取锁。
- 重量级锁:记录指向监视器Monitor的指针。竞争激烈时升级为重量级锁,未获取锁的线程进入阻塞队列,涉及操作系统内核态的锁机制,性能最差。
设计思路很清晰:大部分同步代码块在现实运行时,要么只有一个线程访问,要么两个线程交替访问,真正高竞争的锁是少数。所以JVM宁可先做乐观尝试,随着竞争加剧逐级升级,也不愿一上来就用最重的重量级锁。
关于synchronized还有两个经常被追问的特性:
- 可重入性:同一个线程可以多次进入同一个锁。比如一个synchronized方法里调用另一个synchronized方法,不会死锁。实现原理是在Monitor里记录了持有锁的线程和重入计数。
- 锁消除和锁粗化:JIT编译器会分析逃逸情况,如果发现一个对象不会被其他线程访问,就直接把锁消除;如果发现连续几个操作都在重复加同一把锁,比如循环体里的同步块,会把锁的范围粗化,减少加解锁开销。
网上很多文章还在讲"偏向锁一定比轻量级锁快",这个说法已经过时了。JDK15开始默认禁用偏向锁,JDK18中废弃。原因很扎心:偏向锁在撤销时需要安全点STW(Stop-The-World),高竞争场景下频繁撤销反而拖慢性能。所以新版JDK的选择是:默认无锁起步,发现竞争直接用轻量级锁。这给我们的启示是:学习并发原理必须带版本思维,JDK是活的,八股文的结论可能在上一个版本就被推翻了。
3.3 AQS:整个JUC家族的底座
如果说Java并发世界有一个须要彻底理解的核心,那一定是AbstractQueuedSynchronizer。ReentrantLock、Semaphore、CountDownLatch、ReadWriteLock这些工具,底层全都是AQS。
AQS的设计可以用一句话概括:一个volatile的state变量 + 一个CLH变体队列 + 一套模板方法。
- state:表示资源的占用状态。在ReentrantLock里,state表示锁的重入次数;在Semaphore里,state表示剩余的许可数量;在CountDownLatch里,state表示还差的计数次数。
- CLH队列:当线程获取不到资源时,把线程包装成Node节点,挂到这个双向队列里,通过自旋和LockSupport.park阻塞等待。
- 模板方法:AQS定义了一套统一的获取资源/释放资源的骨架,但把tryAcquire、tryRelease等具体逻辑交给子类实现。
以ReentrantLock的非公平锁为例,加锁流程是这样的:
java复制// NonfairSync的tryAcquire核心逻辑(简化版)
final boolean nonfairTryAcquire(int acquires) {
final Thread current = Thread.currentThread();
int c = getState();
if (c == 0) {
if (compareAndSetState(0, acquires)) { // CAS抢锁
setExclusiveOwnerThread(current); // 记录持有线程
return true;
}
} else if (current == getExclusiveOwnerThread()) {
int nextc = c + acquires; // 可重入计数
if (nextc < 0) throw new Error("Maximum lock count exceeded");
setState(nextc);
return true;
}
return false;
}
你能看到,进入lock()后先尝试CAS抢一把,抢不到就进队列等着。这就是"非公平"的体现:新来的线程可以直接和排队线程竞争,而不是老老实实排到队尾。非公平锁的性能通常优于公平锁,因为省去了线程唤醒的上下文切换开销,但代价是等待中的线程可能被饿着。面试经常问二选一怎么选,我一般说:追求吞吐选非公平,要求排队公平选公平,但实际上业务系统很少需要绝对公平。
CountDownLatch和Semaphore在AQS上的差异也值得理解。CountDownLatch初始化时setState(N),每调用一次countDown()就release一次state减1,减到0时唤醒所有等待线程。而Semaphore的acquire是尝试把state减1,如果减完小于0,说明没许可了,线程入队等待。这里的"信号量"非常适合做限流——限制同时操作某个资源的线程数。
我建议每个学并发的人都干一件事:自己写一个用AQS实现互斥锁的Demo,几十行代码就能跑。做完之后你会发现,再看ReentrantLock、Semaphore源码都是同一套逻辑在变化,八股文终于变成了真正理解。
4. 分布式高并发三座山:缓存穿透、击穿与雪崩
4.1 三个"缓存之坑"的现象、原因与解决方案
高并发项目里,缓存是扛住流量的第一道防线,但缓存用的不好,反而会成为事故源头。很多面试题里都有"缓存穿透、缓存击穿、缓存雪崩的区别"这类问题,我讲一个线上例子,三兄弟就全齐了。
去年我帮一个电商朋友排查故障,某天凌晨一波活动流量进来后,商品详情接口突然大量报错。查看监控,Redis的QPS很低,但MySQL的QPS高得离谱。为什么会这样?复盘后发现三条线上问题同时出现:
第一个是缓存穿透。用户疯狂请求一个不存在的商品ID,比如负数、超长ID。缓存和数据库里都没有这条数据,缓存永远miss,请求直接打到数据库,数据库连接被打满。这就叫穿透——缓存这层铠甲被绕过去了。解决方法很直接,两个方案配合用:
- 缓存空值:查询不存在时,在Redis里放一个"空标记",过期时间设短一点,比如60秒。这样同一ID的后续请求就直接命中缓存了。
- 布隆过滤器:在缓存前面加一个基于Bloom Filter的ID过滤器,它用一个bit数组和几个哈希函数来判断ID是否存在。它能100%判断"肯定不存在"的数据,可能误判"存在",但误判率可以控制在1%以内,适合处理海量不存在ID的攻击。
第二个是缓存击穿。有一个热点商品ID,它在Redis里的缓存刚好过期了。下一秒有大量针对这个ID的请求进来,全部miss,全部打到数据库,瞬间把数据库打爆。穿透和击穿的区别是:穿透是"查不存在的数据",击穿是"查询一个存在但缓存刚好失效的热点数据"。
击穿的解法核心是不能让大量请求同时打到DB:
- 互斥锁方案:当缓存失效时,线程尝试获取一个分布式锁(比如Redis的SETNX),只有拿到锁的线程才去查DB并回填缓存,其他线程等待短暂时间后重新读缓存。Redis官方对这个场景有个建议,代码里用Redisson的getLock即可,不用自己造轮子。
- 逻辑过期方案:在缓存value里存一个"逻辑过期时间",比如商品信息缓存30分钟,但value里记录10分钟后过期。实际读取时发现逻辑过期,当前线程直接返回旧值,另起一个线程异步更新缓存。这种方案适合允许短暂数据不一致且追求极高吞吐的场景。
第三个是缓存雪崩。大量key集中在同一时间过期,或者更糟,Redis整个宕掉,所有请求瞬间全部打到数据库。相比穿透和击穿,雪崩的范围是全局性的,杀伤力最大。对策也是分层的:
- 过期时间加随机值:把缓存过期时间设置为"基础时间 + 随机偏移量",比如300秒加0到60秒的随机数,让过期时间分散开,避免群体失效。
- Redis高可用:主从架构 + 哨兵,或者Cluster模式,从部署上保证Redis不整体宕机。
- 多级缓存:本地缓存(如Caffeine)作为一级,Redis作为二级,DB作为三级,即使Redis挂了,本地缓存也能挡掉一部分流量。
- 限流降级机制:在网关层对"依赖Redis查询"的接口设置限流阈值,超过的部分直接返回兜底数据或提示稍后重试。
这里的核心思想也很实在:永远假设下游会挂掉,提前想好降级方案。很多团队只做了缓存,没想"如果缓存挂了怎么办",所以每次Redis抖动都造成线上事故。
4.2 从单机锁到分布式锁:库存扣减的演进
高并发下最经典的业务场景是库存扣减。你有一个商品库存数量,多个并发请求同时扣减,怎么保证不超卖?
如果系统单机部署,用synchronized或者ReentrantLock就能搞定。但现代业务系统动不动就多实例部署,订单服务有3个节点,每个节点各有一把JVM锁,锁到不了另一台机器——A节点线程和B节点线程是可以同时扣库存的。所以必须引入"全局共享"的锁,也就是分布式锁。
分布式锁的实现方案很多,最常用的是基于Redis。我用一个简单的步骤描述这个方案的演进:
第一步:SETNX加锁 + DEL释放锁。最原始的方案,不行。因为没有过期时间,拿到锁的线程挂了,锁永远不会释放,系统死锁。
第二步:SET key value NX PX 30000。加锁时设置过期时间,解决死锁问题,但释放锁时可能误删别人的锁。如果线程A的锁因为业务执行超过30秒自动过期,线程B拿到锁后开始执行,此时线程A执行完手动调DEL,把线程B的锁删了。解决办法是:锁的value放一个唯一标识(比如UUID),删除前先GET比对,是自己的锁才DEL。但"先比较后删除"是两步操作,中间可能插入其他线程的请求,所以要用Lua脚本保证原子性:
java复制// 释放锁的Lua脚本
String script = "if redis.call('get',KEYS[1]) == ARGV[1] then return redis.call('del',KEYS[1]) else return 0 end";
第三步:Redisson的watch dog自动续期。上面的方案还有个痛点:业务执行时间可能超过锁的过期时间,锁提前释放导致并发进来。你可以手动把过期时间设得很长,但那样万一锁持有者挂了,其他线程要等很久才能拿到锁。Redisson的做法是:加锁之后启动一个后台定时任务,每隔锁过期时间的1/3就自动续期,业务执行完释放锁时再把这个任务停下。这把锁的过期时间和业务生命周期绑定到了一起,非常巧妙。
第四步:RedLock的争议。有人会提到RedLock算法——在多个Redis节点上同时加锁,超过一半成功才算加锁成功。很多工程师讨论它是否绝对安全,实际使用中我基本不碰。因为在高可用保证下,单点Redis加锁已经能满足绝大多数业务;RedLock实现复杂,还会带来性能和可用性的双重代价。所谓"分布式锁安全"在工程上从来不是绝对概念,而是你愿意承担多大的失败风险。
回到库存扣减,还有一个更优的方案值得提:用Redis的Lua脚本原子地"查库存 -> 扣减 -> 返回结果",一步完成。其实连分布式锁都可以不用,直接把扣减操作变成Redis原子的:
lua复制-- 扣减库存,返回扣减前的库存
local stock = tonumber(redis.call('get', KEYS[1]))
if not stock or stock <= 0 then
return -1
end
if redis.call('decrby', KEYS[1], ARGV[1]) < 0 then
-- 扣过头了,回滚
redis.call('incrby', KEYS[1], ARGV[1])
return -1
end
return stock - ARGV[1]
Lua脚本在Redis是串行执行的,天然原子。这种方式比"分布式锁+查库扣库存"快得多。而且减库存这种操作本身就是"一锤子买卖",不需要额外锁协调,用原子操作比加锁更契合语义。做完扣减之后,库存数据还可以异步同步到DB,保证最终一致。
5. 高并发消息中间件:Kafka凭什么能扛住海量消息
5.1 顺序写、页缓存与零拷贝:Kafka高吞吐的三板斧
高并发场景下,消息队列几乎是标配,而Kafka又是最常被问到的。很多人问:Kafka处理高并发消息的办法到底靠什么?网上答案千篇一律说"顺序写和零拷贝",但知其然不知其所以然。我拆开聊聊。
先提一个问题:为什么MySQL的随机写那么慢,而Kafka顺序写能每秒写入几十万条消息?机械硬盘也好、SSD也罢,连续地址写入比零星地址写入快一到两个数量级。因为顺序写可以让磁盘的磁头不怎么移动,几乎不用索引查找。Kafka的每个分区是一个有序追加的日志文件,Producer发来的消息就是一个接一个append到文件尾部,这个写入模式天生就是顺序的。
但顺序写还不是最关键的。Kafka的数据其实不一定直接落到磁盘,它大量使用了操作系统的页缓存(Page Cache)。写入时,数据先写Page Cache,由操作系统异步批量刷盘;读取时,如果数据还在Page Cache里,直接内存返回,连磁盘都不用碰。这就像你写作业,先打在手机备忘录里,有空了再统一抄到笔记本上——避免了一次一字地来回翻本子。
然后是零拷贝。传统的一次网络发送文件数据,需要经历:磁盘 -> 内核缓冲区 -> 用户缓冲区 -> Socket缓冲区 -> 网卡,中间至少四次拷贝,其中两次还涉及CPU参与。Kafka用sendfile系统调用,数据直接从内核的文件缓冲区发到网卡,不走用户态,拷贝次数大幅减少,CPU占用率也下来了。用一句话说:零拷贝不是"不拷贝",而是减少"多余的拷贝"和用户态与内核态的切换。
有了这三板斧,Kafka才能做到单机百万级消息吞吐。但用Kafka做业务消息,也要注意几个容易踩的坑:
- 分区数量与吞吐量的关系:Kafka的并行度上限是分区数。一个消费者线程消费一个分区,所以若吞吐不够,先看分区够不够。但分区也不是越多越好,分区太多集群元数据管理开销、文件句柄占用都会上升。
- 批量发送参数:Producer的batch.size和linger.ms直接决定吞吐。默认batch.size 16KB,linger.ms 0(立即发送)。你可以适当调大batch.size到32KB或64KB,linger.ms调到5到20ms,让消息攒一批再发,能显著提升吞吐,代价是增加少量延迟。
- 消费端处理慢:如果消费端拉取消息后处理效率跟不上,分区里的offset会大量积压。这时候增大消费者线程数未必有效,要检查下游DB连接、远程调用是否成了瓶颈。
5.2 消息积压的排查与处理:一次真实的故障复盘
消息队列最常见的高并发事故就是"消息积压"。消费速度远跟不上生产速度,积压的消息越来越多,最终导致延迟持续扩大,业务数据不一致甚至丢弃。我遇到过的一个典型案例:一个订单状态同步服务通过Kafka消费订单变更事件,某天上午单量暴涨,消费组处理能力不足,消息积压从几千条涨到几百万条,消费者消费速度一直在追不上。
排查的时候,我建议按下面这个顺序来:
- 看消费组Lag:每个分区的消费offset和生产offset之间的差距。用命令或监控可以看出积压集中在哪个分区、哪个topic。
- 看消费者线程利用率:如果消费者线程长期处于忙碌状态,但消费速度还是低,问题大概率在消费者业务逻辑里——比如每条消息都同步调一次外部API,或者查一次数据库锁表。
- 看下游存储负载:很多积压的根源不在消费端,而在消费端依赖的DB或下游系统出现了慢查询、锁等待。数据库一个慢SQL把连接池占满,消费者每条消息都在等数据库连接,处理速度自然上不去。
找到瓶颈后,处理策略分"应急"和"根治"两层。应急手段是临时扩容消费者,先保住消息不丢、延迟不再扩大。如果是因为下游DB扛不住,可以先让消费者把"处理结果"异步写入另一个中间存储,等高峰过后再补处理;如果消费逻辑依赖的第三方接口扛不住,可以在消费端临时做"按用户维度的合并"或"丢弃可容忍丢弃的消息"。
根治手段,是优化消费逻辑和系统架构:把单条消费改成批量消费,一次拉取一批消息后批量处理;把同步外部依赖改成走内部异步网关;给消费端单独准备一套数据库连接池,避免和前端实时业务抢资源。
我自己的心得是:消息积压这事儿,多数情况下不是中间件不行,而是消费端设计没有跟上生产端的增长。 所以做高并发系统时,消息队列上下游是绑在一起评估的,不要只顾着调生产者,忘了考虑消费者和下游的容量。
6. 压测、调优与容量评估:从"能跑"到"能扛"的最后一公里
6.1 压测的正确姿势:不能只测"最乐观"的情况
很多人做过压测,但压测的结论经常和线上表现对不上。为什么?因为压测设计本身就没做好。我见过最典型的错误做法是:拿测试环境的2台机器、几万条造数数据跑一次,然后得出结论"系统能扛1000 QPS",上线后流量刚到200就走了个过场就告警。
要得到可信的压测结果,至少要注意三点:
第一,压测环境要尽量贴近生产。数据库数据量要和线上量级相当,50万和5亿的数据量在索引命中和缓存命中上完全是两回事;网络拓扑要一致,跨机房和同机房的RT差好几倍;被测服务的配置要和线上一致。
第二,压测场景要覆盖"混合流量"。真实业务是读多写少或者读写参半的,你不能只压测一个纯读接口。建议按实际流量比例构造压测模型,比如70%查询 + 20%下单 + 10%支付回调。这个比例你可以从线上流量监控中标定。只测单一接口的最大QPS,对容量评估没有实际意义。
第三,压测要在系统稳态下进行。刚启动JVM就压测,前几分钟的吞吐量数据是"冷启动蜜月期",不代表真实承载能力。要让系统跑一段时间,等JIT热点编译完成、缓存预热完毕、连接池建立好后再记录数据。
压测过程中要同时记录这些指标:TPS/QPS、RT的P99/P999、线程池活跃数、队列深度、数据库连接池等待数、GC次数和耗时、CPU使用率。很多性能问题表现为接口慢,但根因在GC频繁——压测时如果发现GC时间占比超过10%,说明堆内存分配压力过大,JVM调参优先级比代码微优化更高。
6.2 先架构后参数:调优的正确顺序
压测完发现系统扛不住,怎么办?不少人的第一反应是调JVM参数、改线程数。这个方向不一定错,但顺序问题很大。我的调优经验遵循"先架构、再代码、后参数"的顺序:
- 架构层排查:有没有不合理串行调用?有没有可以把读压力分流到缓存的地方?有没有可以异步化的写路径?这一步往往收益最大,一次合理的缓存改造能让QPS翻几倍。
- 代码层排查:有没有慢SQL?有没有循环里调远程接口?有没有大对象频繁创建导致GC压力?日志打印有没有写大量无用的调试信息?这些都是"单请求成本"问题,减少不必要的开销,RT降下来,整体吞吐自然上去。
- 参数层调优:到了这一步才轮到线程池、连接池、JVM堆和GC策略。一个典型的调参例子是:JDK8默认的Parallel Scavenge在大堆场景下Full GC可能达到秒级,换成G1或者JDK17的ZGC,STW大大缩短,对高并发在线业务极为关键。
举个我调过的实例:某接口峰值QPS 800左右,P99 RT从200ms涨到2秒,告警不断。我检查时先看线程池:Tomcat默认200线程,全部活跃;再看数据库连接池:HikariCP默认10连接,等待线程大量堆积。初步判断是连接池太小,但直接调大后发现数据库CPU飙升,快慢查询都显得臃肿。后来发现罪魁祸首是一段循环查库的代码:每个请求要循环执行5次SELECT,查询条件里有个字段没有索引,导致每次全表扫描。给字段加了索引后,数据库CPU降了一半,P99 RT降到120ms,连接池根本不紧张了。
这个案例说明一个道理:连接池参数的"最优值"依赖代码质量,代码没过关时折腾参数只是在给烂代码补窟窿。
6.3 容量评估:从预估QPS反推机器数
高并发系统不只是"做出来就完了",还要回答老板的灵魂拷问:大促流量预估翻5倍,我们需要加多少台机器?这个问题背后是容量评估,公式很简单:
机器数 = 预估峰值QPS / 单机可承载QPS × 冗余系数
单机可承载QPS不是压测得出的"极限QPS",而是"稳定QPS"——一般取压测极限值的60%到70%。比如压测极限500 QPS,线上取300 QPS作为单机承载能力。冗余系数通常取1.5到2,留出故障替换和流量抖动的buffer。
预估峰值QPS怎么来?如果历史数据存在,可以看往年大促当天的峰值流量增长率,叠加这次活动的流量预期。如果没有历史数据,通常用"日活UV × 人均请求数 / 高峰小时秒数 ≈ 峰值QPS"来毛估。注意高峰流量不是均匀分布,一般按"高峰时段集中在1个小时,均匀流量只有平均值的2到3倍"估算。
容量评估的价值不仅在于买机器,还在于知道"哪个环节最先扛不住"——是接入层、应用层还是存储层。很多系统应用节点还能扛,数据库先挂了,那加再多应用实例也没用。所以容量评估一定要从整条链路去做,每个依赖都要单独评估容量。
7. 高并发面试怎么答才不虚:从背八股到讲实践
7.1 回答的四个层级:概念、原理、实践、取舍
面试高并发相关问题时,大部分人是这样的:概念背得滚瓜烂熟,一追问就露怯。"线程池你们配置了多大?"——“我们默认,对,用的Spring默认配置。”“为什么是这个值?”——“嗯,网上说IO密集型乘2。”这种回答在面试官眼里就是没过脑子。
我把高并发问题的回答分成四个层级:
- 第一层:说概念。"synchronized和ReentrantLock都能实现同步"——这是最基础的知识,只答到这层,和应届生没区别。
- 第二层:讲原理。"synchronized经过锁升级,从偏向锁到轻量级锁到重量级锁;ReentrantLock基于AQS,state + CLH队列,支持可重入、公平/非公平、可中断、超时。"——这层能体现出你理解底层,而不只是会用。
- 第三层:讲实践。"我们项目里对热点商品详情页用Caffeine做一级缓存,Redis做二级缓存,缓存击穿用Redisson互斥锁保护,DB连接池单独给热点查询预留。"——这层是在说明你代码之外还有完整方案。
- 第四层:讲取舍。"我们知道逻辑过期方案性能更好,但会带来短暂的数据不一致,所以最终选了互斥锁方案,因为我们的业务对一致性要求更高。"——这层展示了你做技术选型时的权衡思维,这是资深工程师和普通开发的分水岭。
举个具体问题:"你们系统最高并发量多少?怎么支撑的?"第一层回答:"单机大概500 QPS,用了缓存和线程池。"第二层:"下单接口部署了6个节点,实测压测阈值单机300 QPS,用Redis缓存商品信息,用RabbitMQ削峰,数据库读写分离。"第三层:"压测时发现瓶颈在数据库连接池,后来把订单创建改成异步化和批量写入,再把热点商品数据预热到Redis,P99从800ms降到200ms。"第四层:"我们考虑过用分库分表提升写入,但当前流量水平下引入它会增加运维和复杂度,所以先用缓存加异步化把数据库保护住,等日订单量到百万级别再考虑垂直拆分和水平拆分。"
你看,带着实战经验的回答是立体而有层次的。建议准备面试时,把项目里每个核心接口的真实参数(QPS、RT、机器数、线程池配置)背下来,并理清每个数字背后的推导过程。这是让你从"背题"到"有答案"的关键。
7.2 高并发核心自查清单
面试前或系统设计前,拿这份清单自检一遍,比刷一百道题有用:
基础篇
- 能否解释JMM主内存与工作内存,volatile的可见性和禁止重排
- 能否说清synchronized锁升级的触发条件和性能差异
- 能否手写一个线程池配置,并解释参数之间的关系
- 能否说清ThreadLocal的原理和内存泄漏场景
- 能否说清CAS的ABA问题及AtomicStampedReference如何解决
原理篇
- 能否画出AQS获取锁的流程,并区分公平/非公平实现
- 能否解释CountDownLatch、Semaphore在AQS上的状态表示差异
- 能否说明CompletableFuture的异步编排方式和线程池传递
- 能否解释Java对象头Mark Word在不同锁状态下的布局
实践篇
- 能否说明缓存穿透/击穿/雪崩的区分和各自解法
- 能否实现一个带看门狗续期的分布式锁,并分析其风险点
- 能否设计一个防止超卖的库存扣减方案(Redis Lua脚本)
- 能否说明Kafka为什么快、消息积压怎么排查
- 能否从一个压测结果出发,按"先架构后参数"的步骤给出调优建议
这张清单覆盖了从基础到原理到实战的完整链路。如果你能对每一条展开讲出"为什么这样",并且有真实项目案例作支撑,高并发这一块基本是稳的。
最后再分享一个我自己的土方法:学并发的时候别光看,动手改几个线上参数,压测对比一下前后的QPS和RT曲线。踩过坑、调过参之后,你对"高并发"的理解会比读十本书都深。
