3. 无色无向无阻塞的数学描述与阻塞模型

要判断一个 ROADM 节点是否真正“无色、无向、无阻塞”，不能只靠功能描述，必须把它抽象成可计算的资源模型。核心问题可以归结为一句话：当一条波长通道需要从某个入口方向进入、经过本地上下路或直通、再从某个出口方向离开时，系统能否在“波长连续、端口可用、方向可切换”三个约束同时满足的情况下完成分配。若不能，就发生阻塞。本节从波长连续性约束出发，建立端口—波长—方向三维资源模型，给出阻塞概率与无阻塞条件的数学表达，并讨论工程上常用的近似方法。

一、波长连续性约束

在波长交换光网络中，一条光通道若全程不经过波长变换，则必须满足波长连续性约束（Wavelength Continuity Constraint, WCC）。设路径 p 由若干链路 l 组成，通道占用波长 λ，则约束可写为：

∀ l ∈ p : λ(l) = λ0
即同一通道在所有链路上使用同一波长 λ0。

在无色无向 ROADM 中，波长连续性约束进一步与端口和方向耦合。一个本地上下路端口可以调谐到任意波长，但一旦选定 λ0，它在整个连接期间固定；一个方向端口可以承载多个波长，但每个波长在“输入方向—输出方向”组合上只能被占用一次。因此，阻塞往往不是单一资源不足，而是“波长可用但方向不可用”或“方向可用但波长已被占用”的交叉约束结果。

二、端口—波长—方向三维资源模型

把 ROADM 节点抽象为三维资源空间：端口维 P、波长维 Λ、方向维 D。对每个节点 n，定义资源张量 Rn(p, λ, d)，其取值为 1 表示该端口在波长 λ 上可向方向 d 建立连接，取值为 0 表示不可用。对于 N 方向、M 个本地端口、W 个波长的节点，资源总量为 N×M×W 个可分配单元。实际分配时，一条连接请求 r = (入口方向 din, 出口方向 dout, 波长 λ, 本地端口 p) 需要同时满足：

  • 入口方向 din 在 λ 上未被其他通道占用；
  • 出口方向 dout 在 λ 上未被其他通道占用；
  • 若为上下路，本地端口 p 在 λ 上可用；
  • 若为直通，交叉矩阵在 (din, dout, λ) 上可用。

这个模型的关键在于：波长 λ 是贯穿三个维度的“公共坐标”。因此，阻塞分析不能只统计端口占用率或波长占用率，而必须统计三维联合占用状态。

端口—波长—方向三维资源模型与阻塞判定 波长 Λ 端口 P 方向 D λ1 λ2 λ3 λ4 λ5 已占用资源单元 可分配资源单元 空闲但方向不匹配 连接请求 r 入口方向 d_in = 东向 出口方向 d_out = 西向 波长 λ = λ3 本地端口 p = 上路端口 2 判定：λ3 在东西向已被占用 → 阻塞 阻塞条件 R(p,λ,d_in)=0 或 R(p,λ,d_out)=0 或交叉矩阵 (d_in,d_out,λ) 不可用 三者任一不满足即发生阻塞

三、阻塞概率的数学表达

设节点有 N 个方向、W 个波长，每条链路波长占用相互独立，单波长占用概率为 ρ（负载）。对于一条需要经过 k 段链路的通道，若没有波长变换，则其阻塞概率近似为：

P_block ≈ 1 - (1 - ρ)^k
其中 ρ 为单链路单波长占用概率，k 为路径跳数。

这个经典公式只考虑了波长连续性，没有考虑方向端口约束。在无色无向 ROADM 中，方向端口本身也是有限资源。设每个方向端口可承载 C 个波长，则方向端口阻塞概率可用 Erlang-B 公式描述：

P_dir = (ρ^C / C!) / Σ_{i=0}^{C} (ρ^i / i!)
其中 C 为方向端口可承载波长数，ρ 为到达负载。

综合波长连续性与方向端口约束，节点级阻塞概率可近似为：

P_node ≈ 1 - (1 - P_wcc)(1 - P_dir)
P_wcc = 1 - (1 - ρ)^k
P_dir 由 Erlang-B 或扩展 Erlang 模型给出。

需要强调，上述公式是工程近似，不是精确解。精确阻塞概率需要求解多维马尔可夫链，状态空间随 N、M、W 增长而爆炸，因此实际工程中更常用近似与仿真结合的方法。

四、无阻塞条件的数学表达

严格无阻塞（Strictly Non-Blocking, SNB）要求任意空闲输入端口到任意空闲输出端口总能建立连接，且不重排已有连接。对于无色无向 ROADM，无阻塞条件可表述为：对任意波长 λ、任意入口方向 din、任意出口方向 dout，交叉矩阵必须提供一条独立路径。若采用 N×N 波长选择开关，且每个方向端口均可独立调谐到任意波长，则无阻塞条件为：

∀ d_in, d_out ∈ D, ∀ λ ∈ Λ:
  Crossbar(d_in, d_out, λ) 可用
且本地端口数 M ≥ N - 1（上下路无阻塞条件）

对于直通连接，若交叉矩阵为全连接结构，则方向维天然无阻塞；对于上下路连接，本地端口数必须足够，否则会出现端口竞争。工程上常说的“无阻塞”通常指“无阻塞交换结构 + 足够端口数 + 波长可调谐”，三者缺一不可。

五、工程近似方法

实际系统规模大、状态多，精确计算不现实。工程上常用以下近似方法：

  • 独立链路近似：假设各链路波长占用独立，用 (1-ρ)^k 估算波长连续性阻塞，适合快速容量规划。
  • Erlang-B 近似：把每个方向端口看作一个多服务器系统，用 Erlang-B 公式估算端口阻塞，适合方向端口数较少的场景。
  • 降维近似：把三维资源模型分解为“波长维 + 方向维”两个独立子问题，分别计算后合并，降低计算复杂度。
  • 蒙特卡洛仿真：对大规模节点，用随机到达、随机释放的仿真统计阻塞率，作为近似公式的校验手段。
在实际工程中，建议先用独立链路近似做初步容量估算，再用 Erlang-B 修正方向端口约束，最后用仿真验证。若仿真结果与近似值偏差超过 20%，应检查是否忽略了端口相关性或波长相关性。
注意：无色无向无阻塞并不等于“任意时刻任意请求都能成功”。它描述的是交换结构本身的无阻塞能力，实际阻塞率仍受负载、波长数、端口数和路由策略影响。工程上应区分“结构无阻塞”与“统计低阻塞”两个概念。

综上，波长连续性约束给出了通道的波长一致性要求，端口—波长—方向三维资源模型给出了资源占用的联合描述，阻塞概率公式给出了定量评估手段，无阻塞条件给出了结构设计目标，工程近似方法则提供了可落地的计算路径。理解这五者的关系，是后续进行 ROADM 系统容量规划和阻塞优化的基础。

← 上一章 📖 返回目录 下一章 →