阅读笔记｜Efficient and Safe Network Updates with Suffix Causal Consistency

这篇文章距离上次修改已过242天，其中的内容可能已经有所变动。

S. Liu, T. A. Benson, and M. K. Reiter, “Efficient and Safe Network Updates with Suffix Causal Consistency,” in Proceedings of the Fourteenth EuroSys Conference 2019, Dresden Germany: ACM, Mar. 2019, pp. 1–15. doi: 10.1145/3302424.3303965.

1.1 背景

软件定义网络(SDN)中控制器在下发策略时需要快速且一致的更新，否则可能导致包丢失甚至是使包违反网络策略。传统实现一致性的方法许多都基于原子性更新，也即数据分组不能混合执行新老策略，存在速度和效率问题。因此需要一个高效安全的网络更新方法，既能快速部署新规则，又能避免不一致。

1.2 现有方法缺点

原子性更新(如CU)需要等待新路径全部更新完成才能使用，速度慢。

分阶段更新(如TSU)需要多步完成，也比较慢。
都需要同时保留新老规则，存储开销大。

1.3 本文主要贡献

提出后缀因果一致性(SCC)的网络更新抽象，允许包途径新老路径的混合。
设计了实现SCC的高效算法，可以加速规则部署，减少规则存储开销。

1.4 本文主要方法

每条规则打上时间戳，数据包继承该时间戳。交换机只能匹配时间戳>=数据包时间戳的规则。
设计了闭包、回退等算法来有选择地更新部分交换机的规则。
在Open vSwitch和P4交换机上实现了该算法。

1.5 本文主要结论

与CU、TSU、COCONUT相比，SCC部署速度更快,规则开销更小，数据包丢失更少。
SCC可以保证黑洞自由，有界循环等性质。（其中黑洞自由指的是在从旧的路由配置过渡到新的配置过程中，不会有数据包被丢弃；有界循环指的是数据包在网络更新期间的最大循环次数是有限的，不会出现数据包无限循环的情况。）
SCC的规则生成时间随拓扑规模增长较慢，可扩展性好。

1.6 个人思考

策略更新与配置下发：先前的考虑中，共划分了用户需求、策略语义、网络语义、系统映射四个阶段来实现配置生成。但现在结合先前论文对于配置复杂性的来源分析中，所提到的分布式带来的复杂性，可以考虑在系统映射后再添加一个阶段，即配置下发。在此阶段，系统映射阶段生成的配置文件作为控制器下发策略的载体，兼顾速度与一致性下发给设备，从而避免给多台设备进行配置所带来的复杂性。之前论文提到在企业网络中分布式设备配置带来的复杂性问题相较ISP网络要更为突显，因此配置下发这一阶段可以很好地应对企业网络。
对于SDN的进一步考虑：对于大语言模型来说，在部署后可以收集用户与模型的对话与反馈信息进一步改进模型，在SDN中收集网络信息传送到控制器来改进配置生成模型应当也存在类似可能，但要评估这样做的消耗是否值得。