3、网络运行机制：交错运行、并发运行与进度保障

网络运行机制：交错运行、并发运行与进度保障

1. 交错运行基础

在网络系统中，交错运行是一个基础概念。网络的单个步骤可以组合成运行序列。最基本的组合是两个步骤的顺序组合，例如从状态 (a) 通过操作 (t) 到达状态 (b)，再从状态 (b) 通过操作 (u) 到达状态 (c)，形成运行 (a \xrightarrow{t} b \xrightarrow{u} c)。一般而言，只要 (a_{i - 1} \xrightarrow{t_i} a_i) 是网络 (\varSigma) 的一个步骤（其中 (i = 1, \cdots, n)），就可以构建出形如 (a_0 \xrightarrow{t_1} a_1 \xrightarrow{t_2} \cdots \xrightarrow{t_n} a_n) 的有限运行序列。此外，还存在无限运行序列。

• 有限交错运行 ：当 (i = 1, \cdots, n) 时，若 (a_{i - 1} \xrightarrow{t_i} a_i) 是网络 (\varSigma) 的步骤，那么这些步骤构成一个基于 (\varSigma) 的有限交错运行 (w)，记为 (a_0 \xrightarrow{t_1} a_1 \xrightarrow{t_2} \cdots \xrightarrow{t_n} a_n)，其中每个 (i \in {0, \cdots, n}) 都是该运行的一个索引。
• 无限交错运行 ：对于每个 (i = 1, 2, \cdots)，若 (a_{i - 1} \xrightarrow{t_i} a_i) 是网络 (\varSigma) 的