片上网络NoC（6）—

片上网络NoC（6）——路由算法

一、概述

二、路由算法的类型

三、避免死锁

四、实现

4.1 源路由实现

4.2 基于节点查找表的路由实现

4.3 组合电路实现

五、总结

一、概述

路由算法（routing algorithm），即决定数据包在网络拓扑中从起点到终点路径的算法。路由算法的目标是尽可能地在网络拓扑中均匀分配网络流量，以避免出现热点（hotspot）并最小化竞争（contention），从而降低网络延迟并提高吞吐量。

二、路由算法的类型

路由算法总体上可以分成三大类：确定性路由（deterministic routing）、无关路由（oblivious routing）和自适应路由（adaptive routing）。

尽管目前已经提出了各种各样的路由算法，但是在片上网络中应用最广泛的路由算法是简单的维序路由（dimension-order routing，DOR）。维序路由是一种确定性路由算法：所有从节点A向节点B移动的数据包都通过相同的路径。在DOR中，数据包在网络拓扑中按照确定的顺序移动：先在一个维度下移动到与目的节点相匹配的位置，然后在下一个维度下移动到与目的节点相匹配的位置，以此类推，最终抵达终点。

另一类路由算法是无关路由（oblivious routing）：数据包从节点A向节点B移动时可以有多种不同的路径选择，然而路径的选择不考虑网络的拥塞（congestion）。例如，一个路由器能够预先随机挑选一条可选路径然后发送数据包。

第三类路由算法是更为复杂的自适应路由（adaptive routing）：一个数据包从节点A移动到节点B的路径取决于当前的网络流量（traffic）情况。

路由算法也可以按照最短路由与非最短路由进行分类。最短路由仅选择跳数最小的路径。非最短路由可以选择跳数非最小的路径。在没有拥塞的情况下，采用非最短路由的数据包会通过额外的节点和链路，因此增加延迟与功耗。但是，选择非最短路径来避免或减少拥塞，往往会比选择存在拥塞的最短路径具有更低的传输延迟。

三、避免死锁

在选择或设计路由算法时，不仅需要考虑延迟、功耗、吞吐量和可靠性，大多数应用也要求网络能够保证无死锁。简单来说，死锁是由多个数据包在传输路径上形成了打结的环路（knotted cycle）造成的"。下图展示了一个由4个数据包的路径形成的死锁，A、B、C和D分别代表有路由器的网络节点，有箭头的折线代表数据包的流动方向。其中，每个数据包都等待着当前被其他数据包所占据的路径释放，因此每个数据包都无法移动，从而形成死锁。可以看到，数据包之间的依赖和占用关系形成了一个环路，每个数据包都无法进一步向自己的目的节点传输。

死锁可以通过以下两种方式避免：

设计路由算法以避免在网络中形成打结的环路
设计数据流控制协议（flow control protocol）以避免路由器缓冲器（buffer）的占用和请求构成循环依赖。

四、实现

本节讨论各种路由算法的实现选择。路由算法可以通过在源节点或在路径上每个节点的路由器中使用查找表来实现，另外还可以使用组合电路来替代基于查找表的方式实现。具体实现时，会有各种各样的权衡取舍，并且不是所有的路由算法都能被每一种实现方式所支持。

4.1 源路由实现

路由算法能够采用很多种方式实现。首先，路由信息可以在源节点处集成到数据包的报头中，这种方式叫作源路由。例如，对于2×3的mesh结构，从左下角到右上角的路由可以编码为＜EENNNX>［其中的符号含义：E 表示东（east),N 表示北（north),S表示南（south),W 表示西（west),X 表示弹出（eject)]，在数据包的路由过程中，每一跳的路由器将会从路由报头中读取上述编码中最左边的方向信息，并根据这个方向信息将数据包发送到具体的输出链路上，同时去除报头中当前路由器所使用过的方向信息。

4.2 基于节点查找表的路由实现

许多复杂的算法都是使用路由表来实现的，其中每个节点的路由器都维护了一张表来记录数据包为抵达某个特定的目的地而需采用的输出链路。在这个机制下，数据包在每一跳的路由器处获取路由信息，而不是在起点处获取所有的路由信息。这个机制也支持自适应路由算法，因为每一跳都可以利用网络的拥塞信息进行相应的自适应决策。

4.3 组合电路实现

数据包可以编码目的节点的坐标，并且在路径上每个节点的路由器中使用比较器来决定是否接收（即从本节点弹出）或传递这个数据包。因为其开销小，简单的路由算法在路由器中一般都以组合电路的形式实现。
对源路由而言，数据包必须有足够的空间以携带用来指定整条路径的所有数据位。组合电路实现的路由仅要求数据包携带目的节点标识符。实现路由算法的整个电路非常简单，并且具有非常低的延迟。下图展示了一个在2D mesh 拓扑中基于当前缓冲区占用情况计算下一跳的组合电路。其中，路由选择也可以采用维序路由，而不考虑缓冲区中的队列长度。