什么是竞态条件（race condition）？举一个例子及其症状。

Question

IT Interview Practice · Accepted Answer

**竞态条件是一种 bug：结果取决于并发操作访问共享状态时不可预测的时序。**经典情形是一个非原子的读-改-写（read-modify-write）。

## 它是如何工作的

`counter += 1` 看起来是原子的，实际上却是三步：读取、加一、写回。两个线程可能交错执行，导致一次更新丢失。

```text
counter = 0
线程 A: 读 0 ─────────── 写 1
线程 B:      读 0 ─ 写 1
结果: 1  (本应为 2 —— 丢失了一次自增)
```

## 示例

```python
counter = 0
def inc():
    global counter
    for _ in range(100_000):
        counter += 1          # 非原子：读取、+1、写回

# 跑两个线程，期望得到 200_000...
# ...但你常常得到更小的值 —— 一次丢失更新
```

修复方法是用锁把这段代码变为原子：

```python
lock = threading.Lock()
def inc():
    global counter
    for _ in range(100_000):
        with lock:            # 同一时刻这里只有一个线程
            counter += 1
```

## 为什么这很重要

**症状**才是竞态危险之处：间歇性、不可复现的错误结果，在测试中通过、在负载下失败。它们潜伏着，直到时序改变 —— 更快的机器、更多的流量、一个新的核心。把共享可变状态识别为根因是第一步；面试官想看到你能发现那个未受保护的读-改-写。

它是如何工作的

示例

相关问题

为什么这很重要