Generating Consistent Updates for Software-Deﬁned Network Conﬁgurations

最新推荐文章于 2024-06-07 22:24:10 发布

zhaoxiaoba

最新推荐文章于 2024-06-07 22:24:10 发布

阅读量193

点赞数

分类专栏： SDN-paper

本文链接：https://blog.csdn.net/zhaoxiaoba/article/details/106947563

版权

SDN-paper 专栏收录该内容

20 篇文章 2 订阅

订阅专栏

abstract

文章集中于解决SDN网络状态更新一致性问题。通过生成一个add-before rule dependency graph, 计算更新序列。图中节点代表要安装的规则，边表示规则之间的依赖关系。

I. Introduction

per-packet Update Consistency- 定义包一致性：

一致性是指，一个数据包从进入一个网络到出去，要么使用旧配置，要么使用新配置。
这个规则适用于所有网络更新开始的数据包以及更新过程。

two-phase commit protocol(2PC):利用时间戳区分新旧版本，解决包一致性。

本文提出的方案：

通过单个交换机上，交换机之间的规则依赖关系建立依赖图。
图中的节点表示即将安装的规则
源r1到目的节点r2的边表示r1规则应该先于r2安装。
图中的拓扑排列顺序代表有效的更新序列。
如果图中有环，可能存在潜在的不一致性，找不到更新序列。
我们通过移除一些节点的出边破除循环。
首先我们安装临时规则，转发相关的流量到控制器
然后根据无环的拓扑顺序安装规则
当被删除节点的所有入度规则都安装完，可以安装原始的规则，停止转发相应流量到控制器。

2. Generating consistent update

定义规则r = （μ，α，ρ）：

μ 匹配到规则r的一组包
α 匹配的包应该执行的动作例如转发到某端口，丢弃等
ρ 表示规则优先级
μ（r）表示r的流空间。
α（r）表示他的动作
ρ（r）表示他的优先级

网络N包含一组交换机**{s1, s2, s3, s4……sn},**
对于每个交换机的流表有配置C = {Ti: i = 1, 2,……n} ,Ti表示一个流表

C§表示包P一组交换机-规则对 [(s_i1, r_i1),…,(s_ik,r_ik)] ,其中s_i1,s_ik 表示包P在C配置下通过的交换机序列，r_ik 表示P经过交换机 s_ik 匹配的规则。

对于一个网络旧配置C^O = {T^O_i： i = 1, 2, 3,…n}
新配置C^N = {T^N_i: i = 1, 2, 3,…n}

我们首先提出add-before rule dependency graph表示新规则之间的依赖图
提出通用框架破除循环
假定每个交换机，新的规则比旧规则有更高的有优先级。

2.1 Add-Before Rule Dependency Graph

本文不针对单个包进行讨论，而是流空间
流空间是指配置C下，一组包f 用相同路径，交换机所处理动作也相同
使用C（p）到C（f）表示
E_c表示配置C下的所有流
E_{c^o∩ cⁿ}表示C^o∩ Cⁿ 配置下的流.

建立依赖图伪代码

在这里插入图片描述
伪代码：找到新旧流表中动作不同的规则，添加三类依赖
我们使用三类边表示规则之间的依赖

1. intra-switch dependency
同一个交换机上两个规则之间的依赖

在这里插入图片描述
流f作为输入，1–j是算法1提出的新旧规则共享的j个交换机。

在j号交换机上，对于流表T_ik^N中的规则r^’’, 如果他和f有交集，而且新旧规则r_ik^N, r_ik^O的处理动作不同，所有优先级比r^’‘搞得规则，添加一条表到r^’’

这类依赖解决：如果交换机j中，对于流f，新旧配置相同，f中任意包f通过临时的配置r’’。
2. forward dependency
在这里插入图片描述
添加第二类边：旧路径上游交换机的规则到下游交换机的规则。
给一个流f, 交换机s^ij，交换机是新旧路径上最后一个,.
枚举旧路径上所有的新规则r’（转发f到旧路径）
添加边r_ik^N(转发f到新的路径)到r’如果两者的动作不同。