Go中的有限状态机FSM的详细介绍

  金牌会员 | 2023-4-25 00:15:09 | 显示全部楼层 | 阅读模式
打印 上一主题 下一主题

主题 892|帖子 892|积分 2676

1、FSM简介

1.1 有限状态机的定义

有限状态机(Finite State Machine,FSM)是一种数学模型,用于描述系统在不同状态下的行为和转移条件。
状态机有三个组成部分:状态(State)、事件(Event)、动作(Action),事件(转移条件)触发状态的转移和动作的执行。动作的执行不是必须的,可以只转移状态,不指定任何动作。总体而言,状态机是一种用以表示有限个状态以及这些状态之间的转移和动作的执行等行为的数学模型。
状态机可以用公式 State(S) , Event(E) -> Actions (A), State(S’)表示,即在处于状态S的情况下,接收到了事件E,使得状态转移到了S’,同时伴随着动作A的执行。

Event(事件)是指触发状态转换的输入信号或条件。它可以是任何类型的输入,例如传感器数据、用户输入、网络消息等。在编程中,Event通常是一个枚举类型,每个枚举值代表一个特定的事件。
State(状态)是指系统在某一时刻所处的状态,它是系统的一种抽象描述。在有限状态机中,状态是由一组状态变量来描述的,这些状态变量的取值决定了系统的状态。状态可以是离散的,也可以是连续的。在有限状态机中,状态通常用一个圆圈来表示,圆圈内部写上状态的名称。例如,一个简单的有限状态机可以有两个状态:开和关,它们可以用以下方式表示:

Action(动作)是指在状态转移时执行的操作或动作。当有限状态机从一个状态转移到另一个状态时,可以执行一个或多个action来改变系统的状态或执行某些操作。例如,当有限状态机从“待机”状态转移到“运行”状态时,可以执行一个action来启动系统。在实际应用中,action可以是任何有效的代码,例如函数调用、变量赋值、打印输出等。
FSM 通常用于编程中,用于实现状态转移和控制流程。
注意:
在任何时刻,FSM 只能处于一种状态。
1.2 Go中的FSM

通过上面关于有限状态机的定义,我们大概知道了状态机是个什么东西,那么Golang中是怎么实现的呢。不用慌,已经有大佬实现好了,只管用就好了。
安装:
  1. go get github.com/looplab/fsm@v1.0.1
复制代码
接下来一起看看github.com/looplab/fsm 是如何使用的。
2、github.com/looplab/fsm 如何使用

注意:
不同版本的 fsm 使用方式,可能不太一样,最好是看下 NewFSM 函数的注释,看下具体的细节。 本篇文章以:github.com/looplab/fsm@v1.0.1 为例。
2.1 fsm 基础使用

这里把官方的例子改了下,感觉官方的例子不是很清晰。代码如下:
  1. package main
  2. import (
  3.         "context"
  4.         "fmt"
  5.         "github.com/looplab/fsm"
  6. )
  7. type Door struct {
  8.         Name  string
  9.         FSM *fsm.FSM
  10. }
  11. func NewDoor(name string) *Door {
  12.         d := &Door{
  13.                 Name: name,
  14.         }
  15.         d.FSM = fsm.NewFSM(
  16.                 "closed",
  17.                 fsm.Events{
  18.                         {Name: "open", Src: []string{"closed"}, Dst: "open"},
  19.                         {Name: "close", Src: []string{"open"}, Dst: "closed"},
  20.                 },
  21.                 fsm.Callbacks{
  22.                         "enter_state": func(_ context.Context, e *fsm.Event) { d.enterState(e) },
  23.                 },
  24.         )
  25.         return d
  26. }
  27. func (d *Door) enterState(e *fsm.Event) {
  28.         fmt.Printf("The door's name:%s , current state:%s\n", d.Name, e.Dst)
  29. }
  30. func main() {
  31.         door := NewDoor("测试")
  32.         fmt.Printf("fsm current state: %s \n", door.FSM.Current())
  33.         err := door.FSM.Event(context.Background(), "open")
  34.         if err != nil {
  35.                 fmt.Println(err)
  36.         }
  37.         fmt.Printf("fsm current state: %s \n", door.FSM.Current())
  38.         err = door.FSM.Event(context.Background(), "close")
  39.         if err != nil {
  40.                 fmt.Println(err)
  41.         }
  42.         fmt.Printf("fsm current state: %s \n", door.FSM.Current())
  43. }
复制代码
执行结果:
  1. fsm current state: closed
  2. The door's name:测试 , current state:open
  3. fsm current state: open
  4. The door's name:测试 , current state:closed
  5. fsm current state: closed
复制代码
这里就通过Event改变FSM中的状态。转移公式为:Src,Event -> Dst,d.enterState。大意就是接受到了输入Event,状态机的State由Src->Dst,并且执行了Action:d.enterState。
2.2 fsm 中 Action 何时执行?

刚开始使用的时候,好奇d.enterState(e)是什么时候调用的,我们一起看看 NewFSM 中的注释就清楚了。
  1. // NewFSM constructs a FSM from events and callbacks.
  2. //
  3. // The events and transitions are specified as a slice of Event structs
  4. // specified as Events. Each Event is mapped to one or more internal
  5. // transitions from Event.Src to Event.Dst.
  6. // Callbacks are added as a map specified as Callbacks where the key is parsed
  7. // as the callback event as follows, and called in the same order:
  8. //
  9. // 1. before_<EVENT> - called before event named <EVENT>
  10. //
  11. // 2. before_event - called before all events
  12. //
  13. // 3. leave_<OLD_STATE> - called before leaving <OLD_STATE>
  14. //
  15. // 4. leave_state - called before leaving all states
  16. //
  17. // 5. enter_<NEW_STATE> - called after entering <NEW_STATE>
  18. //
  19. // 6. enter_state - called after entering all states
  20. //
  21. // 7. after_<EVENT> - called after event named <EVENT>
  22. //
  23. // 8. after_event - called after all events
  24. //
  25. // There are also two short form versions for the most commonly used callbacks.
  26. // They are simply the name of the event or state:
  27. //
  28. // 1. <NEW_STATE> - called after entering <NEW_STATE>
  29. //
  30. // 2. <EVENT> - called after event named <EVENT>
  31. //
  32. // If both a shorthand version and a full version is specified it is undefined
  33. // which version of the callback will end up in the internal map. This is due
  34. // to the pseudo random nature of Go maps. No checking for multiple keys is
  35. // currently performed.
复制代码
从上面我们知道了,d.enterState(e) 是在called after entering all states 时执行的。
2.2.1 完整版书写的Callbacks执行顺序

从上面的注释能知道完整版书写的Callbacks的执行顺序如下:

2.2.2 简写版的Callbacks执行顺序


2.2.3 注意事项

虽然Callbacks的写法有两种,但是不能同时使用完整版和简写版,否则最终使用那个版本是不确定的。
2.3 较为完整的例子
  1. package main
  2. import (
  3.         "context"
  4.         "fmt"
  5.         "github.com/looplab/fsm"
  6. )
  7. type Door struct {
  8.         Name  string
  9.         FSM *fsm.FSM
  10. }
  11. func NewDoor(name string) *Door {
  12.         d := &Door{
  13.                 Name: name,
  14.         }
  15.         d.FSM = fsm.NewFSM(
  16.                 "closed",
  17.                 fsm.Events{
  18.                         {Name: "open", Src: []string{"closed"}, Dst: "open"},
  19.                         {Name: "close", Src: []string{"open"}, Dst: "closed"},
  20.                 },
  21.                 fsm.Callbacks{
  22.                         "before_open": func(_ context.Context, e *fsm.Event) { d.beforeOpen(e) },
  23.                         "before_event": func(_ context.Context, e *fsm.Event) { d.beforeEvent(e) },
  24.                         "leave_closed": func(_ context.Context, e *fsm.Event) { d.leaveClosed(e) },
  25.                         "leave_state": func(_ context.Context, e *fsm.Event) { d.leaveState(e) },
  26.                         "enter_open": func(_ context.Context, e *fsm.Event) { d.enterOpen(e) },
  27.                         "enter_state": func(_ context.Context, e *fsm.Event) { d.enterState(e) },
  28.                         "after_open": func(_ context.Context, e *fsm.Event) { d.afterOpen(e) },
  29.                         "after_event": func(_ context.Context, e *fsm.Event) { d.afterEvent(e) },
  30.                 },
  31.         )
  32.         return d
  33. }
  34. func (d *Door) beforeOpen(e *fsm.Event) {
  35.         fmt.Printf("beforeOpen, current state:%s, Dst:%s \n", d.FSM.Current(), e.Dst)
  36. }
  37. func (d *Door) beforeEvent(e *fsm.Event) {
  38.         fmt.Printf("beforeEvent, current state:%s, Dst:%s \n", d.FSM.Current(), e.Dst)
  39. }
  40. func (d *Door) leaveClosed(e *fsm.Event) {
  41.         fmt.Printf("leaveClosed, current state:%s, Dst:%s \n", d.FSM.Current(), e.Dst)
  42. }
  43. func (d *Door) leaveState(e *fsm.Event) {
  44.         fmt.Printf("leaveState, current state:%s, Dst:%s \n", d.FSM.Current(), e.Dst)
  45. }
  46. func (d *Door) enterOpen(e *fsm.Event) {
  47.         fmt.Printf("enterOpen, current state:%s, Dst:%s \n", d.FSM.Current(), e.Dst)
  48. }
  49. func (d *Door) enterState(e *fsm.Event) {
  50.         fmt.Printf("enterState, current state:%s, Dst:%s \n", d.FSM.Current(), e.Dst)
  51. }
  52. func (d *Door) afterOpen(e *fsm.Event) {
  53.         fmt.Printf("afterOpen, current state:%s, Dst:%s \n", d.FSM.Current(), e.Dst)
  54. }
  55. func (d *Door) afterEvent(e *fsm.Event) {
  56.         fmt.Printf("afterEvent, current state:%s, Dst:%s \n", d.FSM.Current(), e.Dst)
  57. }
  58. func main() {
  59.         door := NewDoor("测试")
  60.         fmt.Printf("fsm current state: %s \n", door.FSM.Current())
  61.         err := door.FSM.Event(context.Background(), "open")
  62.         if err != nil {
  63.                 fmt.Println(err)
  64.         }
  65.         fmt.Printf("fsm current state: %s \n", door.FSM.Current())
  66.         err = door.FSM.Event(context.Background(), "close")
  67.         if err != nil {
  68.                 fmt.Println(err)
  69.         }
  70.         fmt.Printf("fsm current state: %s \n", door.FSM.Current())
  71. }
复制代码
执行结果:大家重点看current state何时发生的变化。
  1. fsm current state: closed
  2. beforeOpen, current state:closed, Dst:open
  3. beforeEvent, current state:closed, Dst:open
  4. leaveClosed, current state:closed, Dst:open
  5. leaveState, current state:closed, Dst:open
  6. enterOpen, current state:open, Dst:open
  7. enterState, current state:open, Dst:open
  8. afterOpen, current state:open, Dst:open
  9. afterEvent, current state:open, Dst:open
  10. fsm current state: open
  11. beforeEvent, current state:open, Dst:closed
  12. leaveState, current state:open, Dst:closed
  13. enterState, current state:closed, Dst:closed
  14. afterEvent, current state:closed, Dst:closed
  15. fsm current state: closed
复制代码
参考资料:
looplab/fsm 源码阅读
有限状态机FSM
深入浅出理解有限状态机
[有限状态机](

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

本帖子中包含更多资源

您需要 登录 才可以下载或查看,没有账号?立即注册

x
回复

使用道具 举报

0 个回复

倒序浏览

快速回复

您需要登录后才可以回帖 登录 or 立即注册

本版积分规则

金牌会员
这个人很懒什么都没写!

标签云

快速回复 返回顶部 返回列表