Web服务器用户态线程实现：有限状态机如何处理中断规避竞态条件

首先明确核心前提：你在《现代操作系统》中提到的支持并行处理的FSM，本质是单线程事件驱动架构，这是它规避竞态条件的核心基础。

竞态条件的天然规避逻辑 #

竞态条件的本质是多个并行执行流同时读写共享资源，且执行顺序不可控。而单线程FSM模型中，所有状态转移、业务逻辑都在同一个执行流内串行完成，天然不存在多执行流同时修改共享状态的场景，也就从根源上避免了绝大多数多线程模型下的竞态问题。

中断场景下的竞态处理手段 #

FSM需要处理中断的核心逻辑是将中断转换为内部事件存入队列，不会在中断上下文直接修改FSM核心状态，相关竞态处理手段如下：

• 中断上下文最小操作：中断触发时仅做事件入队操作，仅记录事件类型、必要参数，不执行任何状态修改逻辑，避免中断上下文和主逻辑同时操作共享状态
• 事件队列操作原子性：往队列写入事件时，短暂屏蔽对应中断，避免队列写入操作被重复触发的中断打断，导致队列数据结构损坏，该操作耗时极短，几乎不会影响性能
• 状态前置校验：FSM主循环取出事件执行状态转移前，先校验当前状态是否匹配该事件的预期前置状态，避免事件入队后、执行前，FSM状态已经被之前的事件修改，导致逻辑异常
• 资源所有权约定：如果事件携带动态资源，明确约定资源所有权随事件转移给FSM主循环，中断上下文写入事件后不再操作对应资源，避免两边同时读写资源产生冲突。

和阻塞模型的特性对比 #

你之前的认知是正确的：阻塞单线程模型确实不需要处理多线程竞态，但代价是IO等阻塞操作会卡住整个执行流，无法同时处理多个任务。FSM模型在单线程下实现了多任务的并行处理，同时不需要引入多线程模型的锁、信号量等复杂同步机制，编码复杂度远低于多线程方案，仅需要保证状态转移逻辑和事件队列的正确性即可。

内容的提问来源于stack exchange，提问作者Minbo_Chung