能否通过外部锁定使Stateless状态机实现线程安全？

首先明确：外部锁本身是可以保证Stateless状态机线程安全的，你遇到的偶发状态异常，大概率是锁的使用方式有遗漏，而非这种方案本身无效。

可能的问题原因及修复方式 #

• 锁的覆盖范围不全
  很多人只在调用Fire时加锁，但忽略了读取状态机状态、修改状态机配置等操作也需要在锁保护下。如果有代码在锁外读取MyMachine.State，可能会读到状态变更的中间值，导致后续逻辑判断错误，最终出现不符合预期的状态跳转。
  错误示例：

  var currentState = MyMachine.State; // 锁外读取状态，有风险
  lock(_lock) {
      MyMachine.Fire(Trigger.DoSomething);
  }
  

  正确做法：所有涉及状态机的操作都包裹在同一把锁内：

  lock(_lock) {
      var currentState = MyMachine.State;
      MyMachine.Fire(Trigger.DoSomething);
  }
  

• 异步逻辑的干扰
  如果你的状态机在OnEntry/OnExit或者触发回调里用到了异步代码，外部的lock只能同步Fire方法的调用，却无法等待异步操作完成。后续的Fire调用可能在异步逻辑还没结束时就执行，导致状态不一致。
  这种情况建议改用FireAsync，配合支持异步等待的信号量（比如SemaphoreSlim）来保证串行执行：

  private readonly SemaphoreSlim _semaphore = new SemaphoreSlim(1, 1);
  
  async Task SafeFireAsync(Trigger trigger) {
      await _semaphore.WaitAsync();
      try {
          await MyMachine.FireAsync(trigger);
      } finally {
          _semaphore.Release();
      }
  }
  

• 锁对象的有效性问题
  要确保_lock是只读且生命周期稳定的对象：如果是单例状态机，锁对象应该是静态只读的；如果是实例状态机，锁对象要作为实例的私有成员。避免锁对象被意外替换，导致锁失效。
  正确示例：

  // 单例场景
  private static readonly object _lock = new object();
  // 实例场景
  private readonly object _lock = new object();
  

排查小技巧 #

• 加详细日志：在每次触发前后，记录线程ID、锁的获取情况、状态机当前状态和触发后的状态，这样问题出现时能快速定位上下文。
• 压测复现：在低性能机器上用多线程循环调用触发方法，模拟高并发场景，大概率能复现偶发问题，方便验证修复效果。

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