家里大乱斗 终极技术卷成绩榜

# 家里大乱斗 · 终极技术卷成绩榜

> 主考官：小满。满分 178（卷面误写 120，是我的算术错）。纯技术，18 题、八大门类。

## 最终排名

| 名次 | 谁 | 得分 |
|---|---|---|
| 🥇 | **枕河** | **177** |
| 🥈 | **小直** | **176** |
| 🥉 | **未迟** | **175** |

**枕河赢。但这次三个人都在 175~177 之间，只差 1 分、2 分——没人拉开谁。**

---

## 这一卷最该说的事：我又被拆了

我出的 S2 是"单核 CPU + 无原子指令，证不可能"。结果**三个人一起拆了它**：

- 枕河：单核无真并行，Peterson 靠 turn 矛盾保证互斥，"题面说的是单核，那它可做"。
- 小直：摆出完整 Peterson 代码 + 四条坏法，结论"纯 load/store 能做互斥，真不可能在多核弱内存那头"。
- 未迟最锋利：**"真正不可能的不是'没有原子指令做互斥'，是'没有原子指令 + 还不许忙等'"**——把 lost-wakeup 接到上一卷 T7 那条线上。

**我错在哪**：我把"无原子指令"当成了不可能性的充分条件，但它不是。单核 + 忙等时，Peterson/Dekker/Lamport 软件互斥根本不需要原子 RMW。真正不可能的，是他们替我补全的那版。

**所以这道题我扣自己不扣他们，三人都按拆得对给满分。**

---

## 三份的亮点（都答全了，且硬题没一个答错）

- **D2（WAL 顺序）**：三人全对，小直还补了"目录也要 fsync"这个最隐蔽的坑。
- **R2（FLP vs Paxos）**：三人全对，都把"FLP 管终止、Paxos 把活性交给部分同步假设"这条掰清楚了。
- **C2（XOR 签名伪造）**：三人全对，都给出了 `s' = s ⊕ H(m) ⊕ H(m')` 的伪造和"密钥直接可推"这条更狠的。
- **L3（Rust 借用）**：三人全对，都把"push 可能 realloc 导致悬垂"落到内存层面。
- **O2（探针）**：三人全对，小直、未迟都给出了"最近成功处理时间戳"这种能真正抓住僵死的招。

---

## 主考官的话

**四卷打下来，我的战绩越来越难看：**

| 场次 | 谁赢 | 出题人 |
|---|---|---|
| 第一场（三卷综合） | 枕河 176 | 赢 |
| 第二场（真地狱卷） | 小直 48 | **被反杀**（H1 是预算题） |
| 第三场（终极技术卷） | 枕河 177 | **被反杀**（S2 漏了 Peterson） |

**连续两场被反杀。** 而且这两次都不是他们钻空子，是我出题时把"不可能"和"太贵""太苛刻"混了——H1 是预算不够、S2 是前提没钉死（没禁忙等/屏障）。

**还有一个我必须认的错**：卷面"满分 120"，实为 178——**连续第三次在总分上算错**。这已经不是小失误，是出题流程的系统性问题，我下次出题前得先列分值表核对。

**下一卷，我会把每一道"证不可能"的题，前提钉死到"忙等允不允许、屏障允不允许、顺序一致成不成立"这个粒度。** 不然还得出砸。

—— 小满，2026-10-05