【IC】NoC设计入门 -- 死锁 (Deadlock) & 活锁 (Livelock)

原创于 2025-11-03 17:15:36 发布 · 949 阅读

11 ·

CC 4.0 BY-SA版权

文章标签：

#网络 #运维

这是一个NoC设计者绝对不能犯的“天条”。如果你的NoC设计中存在死锁或活锁，那么你设计的“城市交通系统”在现实中根本无法运行。

我们来详细解剖这两个“灾难性”问题。

1. ☠️ 死锁 (Deadlock)：灾难性的“交通大瘫痪”

比喻： 十字路口的“环形堵死”。这是最经典、最直观的比喻。
场景： 想象一个“田”字形的四个路口（我们之前在“路由”部分提到过）。
1. 车队A（在左下）想去右上。它已占据了“南路口”，正在等待“东路口”（该路口目前被车队B占据）。
2. 车队B（在右下）想去左上。它已占据了“东路口”，正在等待“北路口”（该路口目前被车队C占据）。
3. 车队C（在右上）想去左下。它已占据了“北路口”，正在等待“西路口”（该路口目前被车队D占据）。
4. 车队D（在左上）想去右下。它已占据了“西路口”，正在等待“南路口”（该路口目前被车队A占据）。
灾难发生：
- A在等B。
- B在等C。
- C在等D。
- D在等A。
- 结果： 形成了一个**“等待资源的环路” (Circular Wait)**。
每一辆车都**“占有”着一个资源（它所在的路口），同时“等待”**着下一个资源。
没有任何一辆车可以先“松手”（它不能倒车）。
- 最终状态： 整个交通系统永久冻结 (Frozen)。所有车队都卡在原地，一动不动，新的车队也完全进不来。
- NoC中的后果：
  - 参与死锁的Flits（车队）永远停在路由器的FIFO缓冲区（停车场）里。
  - 这些FIFO永远不会空出来。
  - 它们永远不会给上游路由器发送“信用”(Credit)。
  - 堵塞会像“病毒”一样迅速反向传播，导致整个NoC网络在几微秒内彻底瘫痪。
  - 吞吐量降为 0，延迟变为无限大。

如何“预防”死锁？

你不能“解决”死锁，你必须在“设计上”**“预防”**它。

这就是我们之前讲的XY路由算法的“天才之处”。

XY路由的“交通法规”： “绝对禁止Y转向X”（即，从“南北向”街道转到“东西向”街道）。
它如何破局？ 在上面那个“环形堵死”的例子中，车队B（右下→左上）和车队D（左上→右下）的路径违反了XY路由规则！
- B (1,0)→(0,1)：它必须先走X（(1,0)→(0,0)），再走Y（(0,0)→(0,1)）。
- D (0,1)→(1,0)：它必须先走X（(0,1)→(1,1)），再走Y（(1,1)→(1,0)）。
- 只要所有“车队”都严格遵守“先X后Y”的规定，它们就永远无法在物理上形成一个“等待资源的环路”。
死锁预防 (Deadlock Avoidance) 是路由算法的核心使命之一。

2. 😵 活锁 (Livelock)：“瞎忙活”但“没进展”

“活锁”比“死锁”更微妙。

比喻： 两个人在一条狭窄的走廊里迎面相遇。
1. 你（A）想让路，往左跨了一步。
2. 对方（B）也想让路，也往他/她的左边（也就是你的右边）跨了一步。
3. 你们俩又面对面堵住了。
4. 你（A）赶紧往右跨了一步。
5. 对方（B）也赶紧往他/她的右边（也就是你的左边）跨了一步。
6. 你们俩又双叒叕面对面堵住了。
- 分析这个场景：
  - “死”了吗？ 没有。你们俩都在动（State is changing）。
  - “活”着吗？ 是的。你们都在“积极地”尝试解决问题。
  - 问题是？ 你们永远擦肩而过不了，没有“进展” (Progress)。
- NoC中的场景：
  - 这在“自适应路由”（智能导航APP）如果设计不当
    时，可能会发生。
  - 一个“数据包”P1（车队）在路口A，想去东边。
  - “智能导航”(Router A)发现东边堵车了。
  - 它“抖机灵”说：“别等了！我给你换条路，你先去北边（绕一下）。”
  - P1开到了北边的路口B。
  - P1在路口B再次“问路”。路口B的“智能导航”（可能算法没设计好）又说：“哎呀，东边还是堵，你不如先回南边（路口A）试试。”
  - P1又开回了路口A。
  - - 结果： 这个数据包P1在A和B之间**“来回弹跳”**。
它**“活着”**：它在消耗“街道”带宽，在消耗“路口”的仲裁和路由资源。
它**“锁住”：它永远也到不了**它真正的“目的地”（东边）。
- 另一种“活锁”（更常见）： 饥饿 (Starvation)
  - 这和“仲裁器”（交通警察）的设计有关。
  - 场景： “北入口”的车队A和“西入口”的车队B都想去“东出口”。
  - 一个“糟糕”的交警： 他有一个“静态优先级”规则：“西边”永远优先于“北边”。
  - 结果： 只要“西边”源源不断地有车想去东边，“北边”的A车队就永远也得不到“授权”。
  - A车队**“活着”（它每个周期都在“举手申请”），但它被“饿死了”**（Livelock/Starvation），永远无法前进。
  - （这就是为什么“仲裁器”必须使用“轮询”(Round-Robin)这样的“公平”算法。）

总结：死锁 vs 活锁

特征	☠️ 死锁 (Deadlock)	😵 活锁 (Livelock)
状态	系统冻结（进程/Flits 处于“等待”状态）	系统活跃（进程/Flits 处于“运行/重试”状态）
进展	没有进展 (No Progress)	没有进展 (No Progress)
资源	资源被“永久占有”且无法释放	资源可能在“来回倒手”，但无效
比喻	四车相争，环形堵死，一动不动	狭路相逢，来回让路，擦肩难过
预防	路由算法（如XY路由）必须在数学上杜绝“等待环路”	仲裁算法（如轮询）必须保证“公平”，路由算法必须保证“不绕圈”