在规模化时是什么限制了并发？解释争用（contention）、伪共享（false sharing）和背压（backpressure）。

Question

IT Interview Practice · Accepted Answer

**在规模化时，吞吐量受限的更多是争用、缓存效应和无界队列，而非 CPU 数量 —— 线程加过某个点反而会更慢。**Amdahl 定律和通用可扩展性定律（Universal Scalability Law）都预测了这一点：协调成本最终会占主导。

## 争用

当许多线程争抢一把锁或一条缓存行时，它们会被串行化，把时间花在等待而非工作上。在通用可扩展性定律下，争用加上**一致性成本（coherency cost）**会使吞吐量在越过最优线程数后*下降*。

**缓解手段**：对数据分片/分区、每线程状态（thread-local、条带化计数器如 `LongAdder`）、读写锁，或无锁结构。

## 伪共享

两个恰好位于**同一条 CPU 缓存行**上的相互独立的变量，会导致各核心在每次写入时使彼此的缓存失效，尽管它们从不触及相同的数据 —— 一种无声而残酷的减速。

```text
缓存行 (64B): [ counterA | counterB ]  ← 两个核心来回争抢这条行
修复：做填充，让每个热点变量独占自己的缓存行
```

```java
@Contended long counterA;   // JVM 填充到一条独立的缓存行
```

## 背压

当生产者快于消费者时，无界队列会不断增长直到 OOM，延迟也会爆炸。**背压**向生产者发出减速的信号：阻塞或拒绝的有界队列、基于信用的流控，或响应式流的 `request(n)`。

```text
生产者 ──▶ [有界队列已满] ──▶ 阻塞/拒绝 ──▶ 生产者放慢
```

## 为什么这很重要

这些效应正是"在 4 核上能跑"与"扩展到 64 核"之间的分野。天真的设计会撞墙：锁串行化、缓存行抖动、队列膨胀。通过分片来减少争用、通过填充来消除伪共享、通过背压来给队列设界，正是让延迟与吞吐量在真实负载下保持健康的杠杆。

争用