2. 状态机基础：有限状态机(FSM)概念、SECS状态机模型、状态与事件驱动

在深入SECS/GEM通信链路的重连机制之前，必须首先理解其核心控制逻辑——有限状态机（FSM）。SECS/GEM协议栈的通信行为并非随意的函数调用，而是严格遵循一套预定义的状态转换规则。本章将建立FSM的理论基础，并映射到SECS状态机模型中。

2.1 有限状态机（FSM）核心概念

有限状态机是一种用于描述系统在有限个状态之间迁移行为的数学模型。它由以下四个核心要素构成：

下图展示了一个简化的两状态FSM模型，用于说明状态、事件与迁移的基本关系：

2.2 SECS/GEM状态机模型

SECS/GEM协议定义了设备通信的完整状态机模型。该模型是GEM标准（SEMI E30）的核心组成部分，用于管理主机（Host）与设备（Equipment）之间的通信会话。SECS状态机主要包含以下三个顶级状态：

1. NOT COMMUNICATED（未通信）：设备未与主机建立逻辑连接。设备可能处于离线模式，或物理链路已断开。
2. COMMUNICATING（通信中）：设备与主机已成功建立逻辑连接，可以正常收发SECS消息。
3. WAIT CRA（等待通信请求确认）：设备已发送通信请求（S1F13），正在等待主机的确认响应（S1F14）。这是一个临时过渡状态。

下表列出了SECS状态机中关键的状态、事件及对应的标准动作：

2.3 状态与事件驱动机制

SECS状态机是典型的事件驱动系统。这意味着状态迁移不是由轮询或时间片触发，而是由特定事件的发生来驱动。事件来源可分为三类：

• 报文事件：收到来自对端的SECS消息，如S1F13、S1F14、S6F11等。
• 定时器事件：系统内部定时器到期，如T3（等待响应超时）、T5（连接间隔定时器）。
• 系统事件：物理层状态变化，如TCP连接断开、网卡故障、应用层主动关闭。

下图展示了SECS/GEM标准状态机的完整结构，包含三个主要状态及其之间的迁移路径：

2.4 状态机在重连场景中的关键作用

在设备通信链路重连的上下文中，状态机提供了以下关键能力：

• 确定性行为：无论何种原因导致通信中断，状态机都能确保设备进入已知的NOT COMMUNICATED状态，避免出现“半连接”或“僵尸会话”。
• 事件序列化：所有外部事件（报文、定时器、系统中断）都被串行化送入状态机处理，避免了并发竞争条件。
• 可预测的恢复路径：重连逻辑只需关注从NOT COMMUNICATED到COMMUNICATING的迁移路径，无需处理通信中的复杂状态。