47、片上网络架构中组播流量的形式化模型

片上网络架构中组播流量的形式化模型

1. 令牌类型与操作

1.1 令牌类型

在网络模型中，我们精确区分以下几种令牌类型用于网络中的位置：
- 类型 {•} 用于入口位置。
- 参数化类型 BList(c, mmax) （二进制列表），用于处理具有最大缓冲区大小 mmax 的 c×c 交换元件（SE）的网络。其元素是长度最多为 mmax 的二进制数字字符串（列表），每个二进制数字长度为 ck （ k > 0 ），可视为 c 个长度为 ck - 1 的二进制数字块。这些令牌代表最大长度为 mmax 的缓冲区中的数据包头部队列。该类型可限制为给定长度 cn 的数字（初始地址），称为类型 BListn(c, mmax) 。二进制列表类型中最小的令牌 ε 表示空列表， 0 表示零块。

1.2 操作

对于 BList(c, mmax) 类型，仅允许以下操作（其中 x 和 y 为列表）：
- x[0] ：取列表 x 的头部，如果列表 x 为空