Spring Statemachine应用实践

 前言 
在日常开发中经常遇到运营审核经销商活动、任务等等类似业务需求，大部分需求中状态稳定且单一无需使用状态机，但是也会出现大量的if...else前置状态代码，也是不够那么的“优雅”。随着业务的发展、需求迭代，每一次的业务代码改动都需要维护使用到状态的代码，更让开发人员头疼的是这些维护状态的代码，像散弹一样遍布在各个Service的方法中，不仅增加发布的风险，同时也增加了回归测试的工作量。
 
1. 什么是状态机？
通常所说的状态机为有限状态机（英语：finite-state machine，缩写：FSM），简称状态机， 是表示有限个状态以及在这些状态之间的转移和动作等行为的数学模型。 
应用FSM模型可以帮助对象生命周期的状态的顺序以及导致状态变化的事件进行管理。 将状态和事件控制从不同的业务Service方法的if else中抽离出来。FSM的应用范围很广，状态机 可以描述核心业务规则，核心业务内容. 无限状态机，顾名思义状态无限，类似于“π”，暂不做研究。
状态机可归纳为4个要素，即现态、条件、动作、次态。这样的归纳，主要是出于对状态机的内在因果关系的考虑。“现态”和“条件”是因，“动作”和“次态”是果。详解如下：

• 现态：是指当前所处的状态。
  
• 条件：又称为“事件”，当一个条件被满足，将会触发一个动作，或者执行一次状态的迁移。
  
• 动作：条件满足后执行的动作。动作执行完毕后，可以迁移到新的状态，也可以仍旧保持原状态。动作不是必需的，当条件满足后，也可以不 执行任何动作，直接迁移到新状态。
  
• 次态：条件满足后要迁往的新状态。“次态”是相对于“现态”而言的，“次态”一旦被激活，就转变成新的“现态”了。
   
  

动作是在给定时刻要进行的活动的描述。有多种类型的动作：

• 进入动作（entry action）：在进入状态时进行
  
• 退出动作（exit action）：在退出状态时进行
  
• 输入动作：依赖于当前状态和输入条件进行
  
• 转移动作：在进行特定转移时进行
   
  

其他术语：

• Transition: 状态转移节点，是组成状态机引擎的核心。
  
• source/from：现态。
  
• target/to：次态。
  
• event/trigger：触发节点从现态转移到次态的动作，这里也可能是一个timer。
  
• guard/when：状态迁移前的校验，执行于action前。
  
• action：用于实现当前节点对应的业务逻辑处理。
  

文字描述比较不容易理解，让我们举个栗子：每天上班都需要坐地铁，从刷卡进站到闸机关闭这个过程，将闸机抽象为一个状态机模型，如下图：

 

2. 什么场景使用？
以下的场景您可能会需要使用：
您可以将应用程序或其结构的一部分表示为状态。
您希望将复杂的逻辑拆分为更小的可管理任务。
应用程序已经遇到了并发问题，例如异步执行导致了一些异常情况。
当您执行以下操作时，您已经在尝试实现状态机：
使用布尔标志或枚举来建模情况。
具有仅对应用程序生命周期的某些部分有意义的变量。
在if...else结构（或者更糟糕的是，多个这样的结构）中循环，检查是否设置了特定的标志或枚举，然后在标志和枚举的某些组合存在或不存在时，做出进一步的异常处理。
 
3. 为什么要用？有哪些好处？
最初活动模块功能设计时，并没有想使用状态机，仅仅想把状态的变更和业务剥离开，规范状态转换和程序在不同状态下所能提供的能力，去掉复杂的逻辑判断也就是if...else，想换一种模式实现思路，此前了解过spring“全家桶”有状态机就想到了“它”，场景也符合。
从个人使用的经验，开发阶段和迭代维护期总结了以下几点：

• 使用状态机来管理状态好处更多体现在代码的可维护性、对于流程复杂易变的业务场景能大大减轻维护和测试的难度。
  
• 解耦，业务逻辑与状态流程隔离，避免业务与状态“散弹式”维护，且状态持久化在同一个事务。
  
• 状态流转越复杂，越能体现状态流转的逻辑清晰，减少的“胶水”代码也越多。
  

 
4. 实践
java语言状态机框架有很多，目前github star 数比较多的有 spring-statemachine（star 1.3K） 、squirrel-foundation（star1.9K）即“松鼠”状态机，stateless4j相较前两个名气较小，未深入研究。spring-statemachine是spring官方提供的状态机实现，功能强大，但是相对来说很“重”，加载实例的时间也长于squirrel-foundation，不过好在一直都是有更新（目前官方已更新3.2.0），相信会越来越成熟。
实际生产中使用的是spring statemachine ，版本是2.2.0.RELEASE。线下对比使用的是squirrel-foundation，版本是0.3.10。这里仅供使用对比。
从创建活动到活动下线状态流转作为示例，如下图：
 

pom

1. <?xml version="1.0" encoding="utf-8" ?>
3. <dependency>
4.     <groupId>org.springframework.statemachine</groupId>
5.     <artifactId>spring-statemachine-starter</artifactId>
6.     <version>2.2.0.RELEASE</version>
7. </dependency>
8.         
9. <dependency>
10. <groupId>org.springframework.statemachine</groupId>
11. <artifactId>spring-statemachine-kryo</artifactId>
12. <version>2.2.0.RELEASE</version>
13. </dependency>
14.         
15. <dependency>
16. <groupId>org.squirrelframework</groupId>
17. <artifactId>squirrel-foundation</artifactId>
18. <version>0.3.10</version>
19. </dependency>

复制代码

状态&事件定义

1. public enum State {
2.     INIT("初始化"),
3.     DRAFT("草稿"),
4.     WAIT_VERIFY("待审核"),
5.     PASSED("审核通过"),
6.     REJECTED("已驳回"),
7.     //已发起上线操作，未到上线时间的状态
8.     WAIT_ONLIE("待上线"),
9.     ONLINED("已上线"),
10.     //过渡状态无实际意义，无需事件触发
11.     OFFLINING("下线中"),
12.     OFFLINED("已下线"),
13.     FINISHED("已结束");
14.     private final String desc;
15. }
17. public enum Event {
18.     SAVE("保存草稿"),
19.     SUBMIT("提交审核"),
20.     PASS("审核通过"),
21.     REJECT("提交驳回"),
22.     ONLINE("上线"),
23.     OFFLINE("下线"),
24.     FINISH("结束");
25.     private final String desc;
26. }

复制代码

状态流转定义

1. @Configuration
2. @EnableStateMachineFactory
3. public class ActivitySpringStateMachineAutoConfiguration extends StateMachineConfigurerAdapter<State, Event> {
5.     @Autowired
6.     private ApplicationContext applicationContext;
8.     @Autowired
9.     private StateMachineRuntimePersister<State, Event, String> activityStateMachinePersister;
11.     @Bean
12.     public StateMachineService<State, Event> activityStateMachineService(StateMachineFactory<State, Event> stateMachineFactory) {
14.         return new DefaultStateMachineService<>(stateMachineFactory, activityStateMachinePersister);
15.     }
17.     @Override
18.     public void configure(StateMachineConfigurationConfigurer<State, Event> config) throws Exception {
19.         // @formatter:off
20.         config
21.                 .withPersistence()
22.                 .runtimePersister(activityStateMachinePersister)
23.                 .and().withConfiguration()
24.                 .stateDoActionPolicy(StateDoActionPolicy.TIMEOUT_CANCEL)
25.                 .stateDoActionPolicyTimeout(300, TimeUnit.SECONDS)
26.                 .autoStartup(false);
27.         // @formatter:on
28.     }
30.     @Override
31.     public void configure(StateMachineStateConfigurer<State, Event> states) throws Exception {
32.         states.withStates()
33.                 .initial(State.INIT)
34.                 .choice(State.OFFLINING)
35.                 .states(EnumSet.allOf(State.class));
36.     }
38.     @Override
39.     public void configure(StateMachineTransitionConfigurer<State, Event> transitions) throws Exception {
40.         // 待提交审核 --提交审核--> 待审核
41.         // @formatter:off
42.         // 现态-->事件-->次态
43.         transitions.withExternal()
44.                 .source(State.INIT).target(State.DRAFT).event(Event.SAVE)
45.                 .and().withExternal()
46.                 .source(State.DRAFT).target(State.WAIT_VERIFY).event(Event.SUBMIT)
47.                 .guard(applicationContext.getBean(SubmitCondition.class));
48.         transitions.withExternal().source(State.WAIT_VERIFY).target(State.PASSED).event(Event.PASS)
49.                 .action(applicationContext.getBean(PassAction.class));
50.         transitions.withExternal().source(State.WAIT_VERIFY).target(State.REJECTED).event(Event.REJECT)
51.                 .guard(applicationContext.getBean(RejectCondition.class));
52.         transitions.withExternal()
53.                 .source(State.REJECTED)
54.                 .target(State.WAIT_VERIFY)
55.                 .event(Event.SUBMIT)
56.                 .guard(applicationContext.getBean(SubmitCondition.class));
58.         // 审核通过-->上线-->待上线
59.         transitions.withExternal().source(State.PASSED).target(State.WAIT_ONLIE).event(Event.ONLINE);
60.         // 待上线-->上线-->已上线
61.         transitions.withExternal().source(State.WAIT_ONLIE).target(State.ONLINED).event(Event.ONLINE);
62.         // 已上线-->下线-->已下线
63.         transitions.withExternal()
64.                 .source(State.ONLINED).target(State.OFFLINING).event(Event.OFFLINE);
65.         // 待上线-->下线-->下线中
66.         transitions.withExternal()
67.                 .source(State.WAIT_ONLIE).target(State.OFFLINING).event(Event.OFFLINE)
68.                 .and()
69.                 // 已下线-->结束-->已结束
70.                 .withChoice()
71.                 .source(State.OFFLINING)
72.                 .first(State.FINISHED, new Guard<State, Event>() {
73.                     @Override
74.                     public boolean evaluate(StateContext<State, Event> context) {
75.                         return true;
76.                     }
77.                 })
78.                 .last(State.OFFLINED);
79.         // @formatter:on
80.     }
81. }

复制代码

说明：

• 多个状态节点配置可用.and()串联。
  
• withExternal是当现态和次态不相同时使用。
  
• withChoice是当执行一个动作，当前状态（瞬时状态）可能迁移不同的的状态，此时可以使用Choice和Guard组合使用，且无需事件触发。相当于if...else的分支状态功能。
  
• StateMachineService 这个类是spring statemachine自带的接口，用于获取和释放一个状态机的辅助service，依赖状态机工厂和持久化 实例， 但由于默认实现 StateMachinePersist< S, E, String> 规定了StateMachineContext的泛型为String 类型，故而持久层的参数contextObj 为string 类型，实际是状态机的id。
  
• 持久化 spring-statemachine官方支持MongoDB和Redis持久化存储，开发无需关心状态持久化，但是存在业务数据存储和状态存储事务的问题， 这里需要自己实现（StateMachineRuntimePersister）持久化以存储状态。
  
• 上下文传递时都使用的StateMachineContext，其内部包含StateMachine实例，可以通过增加StateMachine实例扩展参数传递参数。
  

Guard与Action

1. @Component
2. public class SaveGuard implements Guard<State, Event> {
3.     @Override
4.     public boolean evaluate(StateContext<State, Event> context) {
5.         log.info("[execute save guard]");
6.         return true;
7.     }
8. }
10. @Component
11. public class SaveAction implements Action<State, Event> {
13.     @Override
14.     public void execute(StateContext<State, Event> context) {
15.         try {
16.             log.info("[execute saveAction]");
17.         } catch (Exception e) {
18.             context.getExtendedState().getVariables().put("ERROR", e.getMessage());
19.         }
20.     }
21. }

复制代码

说明：

• Guard 门卫，条件判断返回true时再执行状态转移，可以做业务前置校验。
  

持久化配置

1. @Component
2. public class ActivityStateMachinePersister extends AbstractStateMachineRuntimePersister<State, Event, String> {
4.     @Autowired
5.     private ActivityStateService activityStateService;
7.     @Override
8.     public void write(StateMachineContext<State, Event> context, String id) {
9.         Activity state = new Activity();
10.         state.setMachineId(id);
11.         state.setState(context.getState());
12.         activityStateService.save(state);
13.     }
15.     @Override
16.     public StateMachineContext<State, Event> read(String id) {
17.         return deserialize(activityStateService.getContextById(id));
18.     }
19. }

复制代码

说明:

• AbstractStateMachineRuntimePersister 继承AbstractPersistingStateMachineInterceptor 并实现了StateMachineRuntimePersister接口， AbstractPersistingStateMachineInterceptor主要拦截状态变更时的状态监听。不同于StateMachineListener被动监听，interceptor拥有可以改变状态变化链的能力。
  
• 序列化存储实现参考了spring-statemachine-data-redis的实现。
  

状态服务调用

1. @Service
2. public class StateTransitService {
4.     @Autowired
5.     private StateMachineService<State, Event> stateMachineService;
7.     @Transactional
8.     public void transimit(String machineId, Message<Event> message) {
9.         StateMachine<State, Event> stateMachine = stateMachineService.acquireStateMachine(machineId);
10.         stateMachine.addStateListener(new DefaultStateMachineListener<>(stateMachine));
11.         stateMachine.sendEvent(message);
12.         if (stateMachine.hasStateMachineError()) {
13.             String errorMessage = stateMachine.getExtendedState().get("message", String.class);
14.             stateMachineService.releaseStateMachine(machineId);
15.             throw new ResponseException(errorMessage);
16.         }
17.     }
18. }
20. @AllArgsConstructor
21. public class DefaultStateMachineListener<S, E> extends StateMachineListenerAdapter<S, E> {
23.     private final StateMachine<S, E> stateMachine;
25.     @Override
26.     public void eventNotAccepted(Message<E> event) {
27.         stateMachine.getExtendedState().getVariables().put("message", "当前状态不满足执行条件");
28.         stateMachine.setStateMachineError(new ResponseException(500, "Event not accepted"));
29.     }
31.     @Override
32.     public void transitionEnded(Transition<S, E> transition) {
33.         log.info("source {} to {}", transition.getSource().getId(), transition.getTarget().getId());
34.     }
35. }

复制代码

说明：

• Message为发送事件的载体，其内部封装了消息体、事件等上下文扩展参数。
  
• StateMachineListenerAdapter为默认监听接口的空实现，依据业务需要重写监听的方法。
  
• eventNotAccepted此为事件未正确执行时的监听器。
   
  

集成单元测试

1. @SpringBootTest
2. @RunWith(SpringRunner.class)
3. public class StateMachineITest {
5.     @Autowired
6.     private StateTransitService transmitService;
8.     @Autowired
9.     private ActivityStateService activityStateService;
11.     @Test
12.     public void test() {
13.         String machineId = "test";//业务主键ID
14.         transmitService.transimit(machineId, MessageBuilder.withPayload(Event.SAVE).build());
15.         transmitService.transimit(machineId, MessageBuilder.withPayload(Event.SUBMIT).build());
16.         transmitService.transimit(machineId, MessageBuilder.withPayload(Event.PASS).build());
17.         transmitService.transimit(machineId, MessageBuilder.withPayload(Event.ONLINE).build());
18.         transmitService.transimit(machineId, MessageBuilder.withPayload(Event.ONLINE).build());
19.         transmitService.transimit(machineId, MessageBuilder.withPayload(Event.OFFLINE).build());
20.         assert activityStateService.getStateById(machineId).equals(State.FINISHED);
21.     }
23. }

复制代码

 

注意事项

• 由于框架中每次都是加载一个状态机内存实例，所以在执行状态转移相关代码时一定要加分布式锁！！！建议状态维护提供统一调用service， 开启事务、处理异常。
  
• spring-statemachine异常包装比较另类，如guard、action以及listener中发生异常，状态机会捕获并把异常信息捕获为警告，状态也能够成功转移到次态，这显然不符合 我们的需求，所以调用后需要手动判断是否发生异常stateMachine.hasStateMachineError(),但statemachine并没有给提供获取异常信息的接口，所以在guard 和action中将异常信息用变量的方式解决此问题，stateMachine.getExtendedState().getVariables().put("message", "当前状态不满足执行条件");
  
• @EnableStateMachineFactory开启工厂模式，然后通过StateMachineService从持久化层加载一个状态机实例。
  
• 当一个project中有多个业务状态机时，@EnableStateMachineFactory(name = "xxx")为工厂配置名称以区别不同的业务状态机。
  
• 当使用withChoice()时，一定要在配置StateMachineStateConfigurer.choice()配置分支状态，否则将不生效。
  

 
扩展-与squirrel-foundation异同

1. @Component
2. public class ActivityMachine extends SquirrelStateMachine<ActivityMachine, State, Event, TransmitCmd> {
4.     private final ActivityStateService activityStateService;
6.     public ActivityMachine(ApplicationContext applicationContext) {
7.         super(applicationContext);
8.         activityStateService = applicationContext.getBean(ActivityStateService.class);
9.     }
11.     @Override
12.     public void buildStateMachine(StateMachineBuilder<ActivityMachine, State, Event, TransmitCmd> stateMachineBuilder) {
13.         stateMachineBuilder.externalTransition().from(State.INIT).to(State.DRAFT).on(Event.SAVE).when(applicationContext.getBean(SubmitCondition.class));
14.         //以下省略，大致与spring-statemachine相同
15.     }
17.     @Override
18.     public ActivityMachine createStateMachine(State stateId) {
19.         ActivityMachine activityMachine = super.createStateMachine(stateId);
20.         activityMachine.addStartListener(new StartListener<ActivityMachine, State, Event, TransmitCmd>() {
22.         });
23.         return activityMachine;
24.     }
26.     @Override
27.     protected void afterTransitionDeclined(S fromState, E event, C context) {
28.         //转移状态未执行
29.     }
31.     @Override
32.     protected void afterTransitionCausedException(S fromState, S toState, E event, C context) {
33.         // 转移状态时发生异常
34.     }
36.     @Override
37.     protected void afterTransitionCompleted(State fromState, State toState, Event event, TransmitCmd context) {
38.         log.info("from {} to {} on {}, {}", fromState.getDesc(), toState.getDesc(), event.getDesc(), context);
39.     }
41. }

复制代码

说明：

• squirrel-foundation直接可继承AbstractStateMachine实例化状态机，配置上大体相同只是使用的是from、to、on、when词不同，框架builder的约束太强。
  
• 不支持choice分支状态。
  
• 状态机异常处理afterTransitionCausedException相比spring-statemachine更加方便、易用。
  
• 状态的持久化通过重写afterTransitionCompleted方法即可。
   
  

5.使用后的效果如何？
以下是在开发和迭代维护期间，真切体会到状态机带来好处的两个小场景。
1.由于新项目中涉及到跨部门卡券业务，在开发初期审核活动通过时同步创建卡券批次，却忽略了异步生成券码的时间，随着开发的深入才意识到此问题。此时只需要在状态审核通过时加一个过渡状态并启动一个任务去轮询券码是否创建完成即可，丝毫不影响已开发的代码。
2.最初的需求设计时，活动下线后是不能再次上线的，在需求迭代期内又增加了再次上线的功能，状态机流转逻辑清晰，只需要再增加个状态配置流转事件就行，就为状态机赋予了再次上线的能力。
 
6.总结 
在实践的过程中，在spring-statemachine官方文档结合Google摸索使用的过程中，遇到持久化存储StateMachineContext、异常处理，以及状态分支等问题。目前回头看来也不复杂，如今写出来总结一下，希望对小伙伴们有所帮助。
最后建议在状态流程不是很复杂的情况，如果您也厌烦了if...else，那么不妨尝试一下squirrel-foundation，相信也是不错的选择。
 
参考文献

• https://baike.baidu.com/item/%E7%8A%B6%E6%80%81%E6%9C%BA/6548513?fr=aladdin
  
• https://zh.wikipedia.org/wiki/%E6%9C%89%E9%99%90%E7%8A%B6%E6%80%81%E6%9C%BA
  
• https://spring.io/projects/spring-statemachine#learn
  
• http://hekailiang.github.io/squirrel/
  

作者|姜强强

免责声明：如果侵犯了您的权益，请联系站长，我们会及时删除侵权内容，谢谢合作！