阅读笔记3——《Multi-Topology Routing based traffic optimization for IEEE 802.1 Time Sensitive Networking》

一、论文

Demir Ö K, Cevher S. Multi-Topology Routing based traffic optimization for IEEE 802.1 Time Sensitive Networking[J]. Real-Time Systems, 2023: 1-37.

二、读后笔记

1、总结

该论文为《IEEE 802.1时间敏感网络的基于多拓扑路由的流量优化》，我速读看了一下，他这个完全是和POP那个《 Design optimization of cyber-physical distributed systems using ieee time-sensitive networks》的论文思想一样，只不过用到了MTR多拓扑路由计算一般的路由而已。

注意：这篇论文也是假设TT流的路由是预先已知的。而且系统建模参考了很多有关（Laursen等人2016）和（Pop等人2016）的论文。也用了解决方案的成本函数：

其中O1（R）、O2（R）和O3（R）分别尝试最小化不满足最后期限约束的不可调度AVB流的总数、AVB流中的WCD和AVB流所穿越的网络链路的总数。
O1（R）在等式2中定义：

其中WCD（si）和si.D分别表示流si的最坏情况延迟和截止时间。请注意，如果条件成立，等式2中的求和项对应于1，否则对应于0。
剩下的就不多说了。

2、论文内容

（1）输入：

（i）物理拓扑G的加权图；
（ii）在网络中传输的AVB流集合及其定时要求；
（iii）在网络中传输的TT流集合及其路由和GCL（由于同时决定TT流量和AVB流的路由不在本文的范围内，因此我们考虑给定和固定的TT路由和GCL）。

（2）输出：

AVB流的路由解决方案，其满足其时序要求。

示例：图3显示了本文中解决的AVB路由问题的激励示例。它包含一个AVB流，即sAVB，以及一个TT流，即sTT，将通过具有4个ES和6个交换机的物理拓扑传输，其中物理拓扑中的每个链路都标有其各自的权重。表1a和表b分别列出了sAVB和sTT的特性，使用了第5.2节中给出的GCL格式。

对于本示例，假设每个链路的速率为1 Gb/s。图3a展示了sAVB的路由解决方案（案例a），它使用从ES1到ES3的最短路径，共享[SW5，SW4]与sTT的公共链路。另一方面，图3b描述了一种替代的路由解决方案（情况B），其中通过较长的路径传输sAVB，避免了sTT。

我的思考

问题是：这种方法只考虑了链路的负载均衡，没有考虑到路径中经过的交换机，如果只是经过的链路发生改变，交换机中调度传输仍然存在冲突，那么时延也不会降低。

3月23日更新：组会上讨论了一下，这里的交换机重合并不会导致调度中出现冲突，进而导致时延增加。原因如下：
对于要去往不同链路上的流量，他们之间并不存在时隙竞争，毕竟传输中经过的线路不同，所以在调度时不会考虑去往不同链路的流对于时隙的竞争，因而也就不会增加时延了。

（3）该论文做出的创新：

本文提出了一种基于多拓扑路由（MTR，MTR支持虚拟拓扑（VT），其具有与物理拓扑相同的网络图，但具有不同的链路权重）的流量优化方法，用于使用GRASP元启发式算法在具有混合临界支持的TSN网络中对AVB流进行路由规划。
据我们所知，这是文献中首次利用MTR概念解决TSN路由问题的研究工作。

由于物理拓扑的链路权重设置没有任何特殊的考虑来区分TT和非TT链路，因此最短的AVB传输路径很可能通过具有TT流的公共链路。因此，传统的基于KSP的方法不能保证候选包含避免TT的路由，以减少TT业务的干扰。
现有的工作通常依赖于较大的K值，在这种情况下，候选者更可能包含绕过TT交通的路线。然而，由于计算时间显著增加，较大的K值可能会引发可伸缩性问题。
在本文中，我们通过考虑TT传输对AVB延迟的影响，解决了最初在（Laursen等人，2016）中定义的决定AVB流路由的NP难题。与现有的基于KSP的研究工作相比，我们的方法使用物理拓扑来计算K条候选路线的一半，而使用VT来确定另一半。这种路线的混合使得我们的基于MTR的新方法能够计算具有不同TT避免水平的候选路线，以通过基于GRASP的元启发式来评估优质解决方案。

（4）具体方法：

本文中开发了一种基于MTR的基于K最短路径（KSP）算法（Yen 1971）的优化方法，以解决AVB流的路由问题，以满足其时序要求。
我们提出了基于MTR的交通优化方法，即TOMTR，用于使用GRASP元启发式算法进行AVB流的路线规划。
构建一个VT，其中TT流的路由所经过的链路使用足够高的链路权重来隔离，我们的方法计算AVB流的候选路由，其长度增加，其中一半使用VT来确定，而另一半基于物理拓扑来确定。
如果TT流的路由经过VT中的每个链路，则TOMTR通过向该链路分配非常高的权重来构造VT。
如果网络拓扑结构没有提供足够的路径分集水平来支持完全避免TT，TOMTR将计算避免尽可能多的TT链路的路由。
虽然避免TT的候选路由减少了来自TT业务的干扰，但它们可能会导致来自其他AVB流的干扰增加。这是因为它们只穿过网络拓扑的一部分（不包括TT链路），这增加了AVB拥塞链路的可能性，尤其是在连接性较差的拓扑中。
因此，只有当来自TT业务的相对干扰大于其他AVB流的影响时，具有TT避免的K/2候选路由才能使GRASP通过最小化来自TT业务干扰来探索更好的解决方案。
为了使GRASP能够为来自AVB流的干扰相对较高的场景找到高质量的解决方案，TOMTR使用与VT相比具有更丰富路径分集的物理拓扑来计算K条候选路由的另一半。
在物理拓扑上计算的路由更可能与TT流重叠，这可以导致AVB业务的更好的负载平衡，从而减少来自AVB流的干扰。
给定在物理拓扑和VT上计算的K个候选路由的混合，GRASP具有通过评估TT和其他AVB流量对每个AVB流的相对影响来更好地探索高质量解决方案的灵活性。
通过我们的方法计算的候选路由用于构建贪婪随机自适应搜索过程（GRASP）元启发式的初始解决方案，该方法执行最佳路由解决方案的局部搜索。
在GRASP的每次迭代中，首先基于MTR概念构造初始解，并对初始解执行局部搜索以获得局部最小值。
在每次迭代结束时，如果所获得的局部最小值的成本低于到目前为止找到的最佳解的成本，则将局部解存储为新的最佳解。如果经过的时间超过给定的时间限制，则基于GRASP的优化终止。

（5）算法：

算法1提出了基于GRASP元启发式的TOMTR迭代算法，该算法由物理拓扑图、要在网络中传输的AVB和TT流的集合、要为每个AVB流计算的候选路由的数量（K）和GRASP终止的时间限制（time_LMIT）组成。
请注意，假设每个TT流的路由信息是预先已知的，并作为算法1的一部分输入到算法1。
物理拓扑的图形存储在第1行的PT中，而相应的VT则根据物理拓扑和STT由constructVirtualTopology()构建。
在第3行中，根据MTR概念，使用KSP算法（Yen 1971）通过computeCandidateRoutes（）为每个AVB流计算K条候选路线，并且所有流的候选路线都存储在ℂℝall中。
第8节讨论了为给定网络选择K值的考虑因素。
第7行的constructInitialSolution（）通过将候选路线考虑进ℂℝall中，实现了与（Laursen等人2016）和（Pop等人2016）中相同的随机贪婪算法。
通过第8行中的performLocalSearch（）对Rini进行局部搜索，以找到局部最小Rlocal，如果其成本低于当前最佳解决方案的成本，则将其存储为迄今为止找到的最佳解决方案，即第11行中的Rbest。
通过使用第5.3节中的延迟分析工具，计算等式1中公式化的路由解决方案的成本，以评估每个AVB流的WCD（这个没说怎么求得啊，5.3中的公式也需要有WCD输入，估计和POP的论文一样，是网络演算求得的）。
第6至13行中的循环继续执行，直到经过的时间超过给定的时间限制。Rbest作为第15行中的最终最优解返回。

算法2显示了算法1中使用的constructVirtualTopology（）的算法：

具有由限定的时间复杂性,算法2构造VT，该VT迭代通过路由经过的VT中的每个链路ℝs以在第2至6行中分配非常高的whigh权重，并在第8行中返回构造的VT。将whigh分配给VT中的每个TT链路保证了将该链路与基于VT计算的任何AVB流的最短路径隔离，只要VT提供了绕过TT链路的路径。公式5公式如下（Kvalbein等人，2009）：

其中|E| 和wmax分别表示网络拓扑中的链路总数和物理拓扑中使用的权重值的最大值。

请注意，如果任何TT流的路由没有经过VT中的每个链路，则算法2为其分配与物理拓扑中相同的权重。
命题：隔离VT中传输TT业务的链路，只要AVB流端点之间存在不包含任何孤立TT链路的路径，就保证了在VT上计算的任何AVB流的最短路径不包含任何隔离链路。

在网络中的每个链路被至少一个TT流遍历的最坏情况下，算法2导致VT其中所有链路的权重为whigh。
在这种VT上计算的候选路由不可避免地与至少一个TT流重叠，而无需将传输相对较高量TT业务的网络链路与剩余的网络链路区分开来。
通过计算链路权重配置不同于VT的物理拓扑上的另一半候选路由，由于KSP方法提供的路径多样性，我们构建了一组具有不同TT避免水平的K个候选路由。 这种候选路线的混合可能使GRASP能够找到很好的解决方案，即使是在这种极端的交通情况下。
我们计划将算法2扩展为未来的工作，通过识别具有相对较高TT负载的链路，并仅在保持剩余链路的权重与物理拓扑中的权重相同的情况下将whigh分配给这些链路，从而更好地覆盖这些场景。有关此问题的讨论，请参见第8节。

算法3给出了算法1中使用的computeCandidateRoutes（）算法，计算每个AVB流的候选路由，这些路由用于构建GRASP的初始解决方案。
算法3遍历每个AVB流，以计算第2行到第9行中对应的候选路由。⌊K∕2⌋最短路径，即ℝPHY[]，对于当前的AVB流，通过使用第4行中的物理拓扑来构建，而其中ℝVT[]使用线路5中的VT来计算。
Yen算法用于计算候选路线，为每个AVB流计算的候选路由，即ℂℝs，第8行存储在ℂℝall中，第11行返回来自所有迭代的结果ℂℝall。

（6）优点：

由于交替VT的这种灵活设计，MTR概念的基于策略的路由能力即使在链路故障的情况下也能够实现所需的流量负载平衡。由于MTR概念提供了多样化的转发能力，实验结果表明，与文献中的其他方法相比，我们的方法在大多数情况下显著提高了AVB流的可调度性。

（7）其他知识点延伸与扩展：

MTR被IETF标准化为OSPF和IS-IS的扩展，依赖于VT构建备选路由表。

（i）关于OSPF：

OSPF与RIP的区别：
【名字不同】
RIP（路由信息协议）——分布式的基于距离向量的路由选择协议；
OSPF（开放最短路径优先协议）—— 使用分布式的基于链路状态的路由选择协议
【工作核心不同】
RIP：数跳数；
OSPF：计算链路的度量值
【向谁发】
RIP：仅和相邻路由器交换信息；
OSPF：向本自治系统所有路由器发送消息，由于路由器发送的链路状态信息只能单向传送，OSPF不存在“坏消息传播得慢”的问题，更新过程的收敛性得到保证。
【发什么】
RIP：路由器交换的信息是当前本路由器所知道的全部信息，即自己现在的路由表
OSPF：发送的信息是与本路由器相邻的所有路由器的链路状态 ，只涉及与相邻路由器的连通状态，与整个互联网的规模无关。
【什么时候发】
RIP：按固定的时间间隔交换路由信息（当网络拓扑发生变化时，路由器也及时向相邻路由器通告拓扑变化后的路由信息）
OSPF：在网络刚刚启动计算第一次路由表时，一定发路由信息。只有当链路状态发生变化时，路由器才能向所有路由器用洪泛法发送此消息（链路状态：说明本路由器都和哪些路由器相邻以及该链路的度量）
RIP协议使用运输层的用户数据包UDP来进行传送
OSPF的位置在网络层，直接用IP数据报传送(其IP数据报首部的协议字段值为89)。由于OSPF构成的数据报很短，不仅减少了路由信息的通信量，而且在传送中不必分片，不会出现一片丢失而重传整个数据报的现象。
​ 对一个给定的目的网络，可以根据IP数据报的服务类型TOS计算出不同的路由
RIP：不能在两个网络之间同时使用多条路由，选择一条具有最少路由器的路由即最短路由
OSPF：如果到同一个目的网络有多条相同代价的路径时，可以将通信量分配给这几条路径，做到路径间的负载平衡
RIP：限制了网络规模，能使用的最大距离为15,16表示不可达
OSPF：链路的度量可以是1~65 535中的任何一个无量纲的数，可供管理人员来决定。因此十分灵活。
RIP：1号版本不支持子网划分，2号版本支持子网划分
OSPF：在路由分组中包含子网掩码，支持可变长度的子网划分和无分类的编址CIDR。

（ii）关于IS-IS

IS-IS属于内部网关路由协议，用于自治系统内部。IS-IS是一种链路状态协议，与TCP/IP网络中的OSPF协议非常相似，使用最短路径优先算法进行路由计算。
为了提供对IP路由的支持，通过对IS-IS进行扩充和修改，使IS-IS能够同时应用在TCP/IP和OSI环境中，形成了集成化IS-IS（Integrated IS-IS或Dual IS-IS）。现在提到的IS-IS协议都是指集成化的IS-IS协议，主要用于城域网和承载网。