53、实现具有有效负载分配的容错软件定义网络（SDN）数据平面模型

实现具有有效负载分配的容错软件定义网络（SDN）数据平面模型

1. 引言

软件定义网络（SDN）在当今网络领域发挥着重要作用，然而其数据平面可能会受到拜占庭故障的影响，导致网络性能下降。为了提供一个具有有效负载分配的弹性网络，需要一种能够实现拜占庭容错的数据平面模型。

2. 提出的模型

提出的模型旨在实现SDN数据平面的拜占庭容错，以提供具有有效负载分配的弹性网络。
- 基本概念
- 主交换机 ：根据流表条目（基于路由算法），从源到目的地的每个流所经过的交换机称为主交换机。位于第x跳的主交换机表示为$(S_{p,x})$。
- 次交换机 ：主交换机的两个最近邻居被选作次交换机。位于第x跳的两个次交换机分别表示为$S_{1,x}$和$S_{2,x}$。
- 数据包表示 ：从交换机$S_{m1,n - 1}$接收到交换机$S_{m2,n}$的数据包表示为$dpack(S_{m1,n - 1},S_{m2,n})$。

• 故障检测机制

  • 模型检查在第n跳的交换机从第n - 1跳的主节点接收到的数据包$dpack(S_{p,n - 1},S_{p,n})$是否与从第n - 1跳的次交换机接收到的数据包相同。
  • 如果相同，则将$dpack(S_{p,n - 1},S_{p,n})$根据流表条目转发到第n + 1跳的交换机/节点；否则，遵循以下四种基本场景：