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


    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中是怎么实现的呢。不用慌,已经有大佬实现好了,只管用就好了。

    安装:

    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 基础使用

    这里把官方的例子改了下,感觉官方的例子不是很清晰。代码如下:

    package main
    
    import (
    	"context"
    	"fmt"
    
    	"github.com/looplab/fsm"
    )
    
    type Door struct {
    	Name  string
    	FSM *fsm.FSM
    }
    
    func NewDoor(name string) *Door {
    	d := &Door{
    		Name: name,
    	}
    
    	d.FSM = fsm.NewFSM(
    		"closed",
    		fsm.Events{
    			{Name: "open", Src: []string{"closed"}, Dst: "open"},
    			{Name: "close", Src: []string{"open"}, Dst: "closed"},
    		},
    		fsm.Callbacks{
    			"enter_state": func(_ context.Context, e *fsm.Event) { d.enterState(e) },
    		},
    	)
    
    	return d
    }
    
    func (d *Door) enterState(e *fsm.Event) {
    	fmt.Printf("The door's name:%s , current state:%s\n", d.Name, e.Dst)
    }
    
    func main() {
    	door := NewDoor("测试")
    
    	fmt.Printf("fsm current state: %s \n", door.FSM.Current())
    
    	err := door.FSM.Event(context.Background(), "open")
    	if err != nil {
    		fmt.Println(err)
    	}
    	fmt.Printf("fsm current state: %s \n", door.FSM.Current())
    
    	err = door.FSM.Event(context.Background(), "close")
    	if err != nil {
    		fmt.Println(err)
    	}
    	fmt.Printf("fsm current state: %s \n", door.FSM.Current())
    }
    

    执行结果:

    fsm current state: closed 
    The door's name:测试 , current state:open
    fsm current state: open 
    The door's name:测试 , current state:closed
    fsm current state: closed
    

    这里就通过Event改变FSM中的状态。转移公式为:Src,Event -> Dst,d.enterState。大意就是接受到了输入Event,状态机的StateSrc->Dst,并且执行了Action:d.enterState。

    2.2 fsm 中 Action 何时执行?

    刚开始使用的时候,好奇d.enterState(e)是什么时候调用的,我们一起看看 NewFSM 中的注释就清楚了。

    // NewFSM constructs a FSM from events and callbacks.
    //
    // The events and transitions are specified as a slice of Event structs
    // specified as Events. Each Event is mapped to one or more internal
    // transitions from Event.Src to Event.Dst.
    // Callbacks are added as a map specified as Callbacks where the key is parsed
    // as the callback event as follows, and called in the same order:
    //
    // 1. before_ - called before event named 
    //
    // 2. before_event - called before all events
    //
    // 3. leave_ - called before leaving 
    //
    // 4. leave_state - called before leaving all states
    //
    // 5. enter_ - called after entering 
    //
    // 6. enter_state - called after entering all states
    //
    // 7. after_ - called after event named 
    //
    // 8. after_event - called after all events
    //
    // There are also two short form versions for the most commonly used callbacks.
    // They are simply the name of the event or state:
    //
    // 1.  - called after entering 
    //
    // 2.  - called after event named 
    //
    // If both a shorthand version and a full version is specified it is undefined
    // which version of the callback will end up in the internal map. This is due
    // to the pseudo random nature of Go maps. No checking for multiple keys is
    // 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 较为完整的例子

    package main
    
    import (
    	"context"
    	"fmt"
    
    	"github.com/looplab/fsm"
    )
    
    type Door struct {
    	Name  string
    	FSM *fsm.FSM
    }
    
    func NewDoor(name string) *Door {
    	d := &Door{
    		Name: name,
    	}
    
    	d.FSM = fsm.NewFSM(
    		"closed",
    		fsm.Events{
    			{Name: "open", Src: []string{"closed"}, Dst: "open"},
    			{Name: "close", Src: []string{"open"}, Dst: "closed"},
    		},
    		fsm.Callbacks{
    			"before_open": func(_ context.Context, e *fsm.Event) { d.beforeOpen(e) },
    			"before_event": func(_ context.Context, e *fsm.Event) { d.beforeEvent(e) },
    			"leave_closed": func(_ context.Context, e *fsm.Event) { d.leaveClosed(e) },
    			"leave_state": func(_ context.Context, e *fsm.Event) { d.leaveState(e) },
    			"enter_open": func(_ context.Context, e *fsm.Event) { d.enterOpen(e) },
    			"enter_state": func(_ context.Context, e *fsm.Event) { d.enterState(e) },
    			"after_open": func(_ context.Context, e *fsm.Event) { d.afterOpen(e) },
    			"after_event": func(_ context.Context, e *fsm.Event) { d.afterEvent(e) },
    		},
    	)
    
    	return d
    }
    
    func (d *Door) beforeOpen(e *fsm.Event) {
    	fmt.Printf("beforeOpen, current state:%s, Dst:%s \n", d.FSM.Current(), e.Dst)
    }
    
    func (d *Door) beforeEvent(e *fsm.Event) {
    	fmt.Printf("beforeEvent, current state:%s, Dst:%s \n", d.FSM.Current(), e.Dst)
    }
    
    func (d *Door) leaveClosed(e *fsm.Event) {
    	fmt.Printf("leaveClosed, current state:%s, Dst:%s \n", d.FSM.Current(), e.Dst)
    }
    
    func (d *Door) leaveState(e *fsm.Event) {
    	fmt.Printf("leaveState, current state:%s, Dst:%s \n", d.FSM.Current(), e.Dst)
    }
    
    
    func (d *Door) enterOpen(e *fsm.Event) {
    	fmt.Printf("enterOpen, current state:%s, Dst:%s \n", d.FSM.Current(), e.Dst)
    }
    
    
    func (d *Door) enterState(e *fsm.Event) {
    	fmt.Printf("enterState, current state:%s, Dst:%s \n", d.FSM.Current(), e.Dst)
    }
    
    
    func (d *Door) afterOpen(e *fsm.Event) {
    	fmt.Printf("afterOpen, current state:%s, Dst:%s \n", d.FSM.Current(), e.Dst)
    }
    
    func (d *Door) afterEvent(e *fsm.Event) {
    	fmt.Printf("afterEvent, current state:%s, Dst:%s \n", d.FSM.Current(), e.Dst)
    }
    
    
    
    func main() {
    	door := NewDoor("测试")
    
    	fmt.Printf("fsm current state: %s \n", door.FSM.Current())
    
    	err := door.FSM.Event(context.Background(), "open")
    	if err != nil {
    		fmt.Println(err)
    	}
    	fmt.Printf("fsm current state: %s \n", door.FSM.Current())
    
    	err = door.FSM.Event(context.Background(), "close")
    	if err != nil {
    		fmt.Println(err)
    	}
    	fmt.Printf("fsm current state: %s \n", door.FSM.Current())
    }
    

    执行结果:大家重点看current state何时发生的变化。

    fsm current state: closed 
    beforeOpen, current state:closed, Dst:open 
    beforeEvent, current state:closed, Dst:open 
    leaveClosed, current state:closed, Dst:open 
    leaveState, current state:closed, Dst:open 
    enterOpen, current state:open, Dst:open 
    enterState, current state:open, Dst:open 
    afterOpen, current state:open, Dst:open 
    afterEvent, current state:open, Dst:open 
    fsm current state: open 
    beforeEvent, current state:open, Dst:closed 
    leaveState, current state:open, Dst:closed 
    enterState, current state:closed, Dst:closed 
    afterEvent, current state:closed, Dst:closed 
    fsm current state: closed 
    

    参考资料:

    looplab/fsm 源码阅读

    有限状态机FSM

    深入浅出理解有限状态机

    有限状态机


    __EOF__

  • 本文作者: 画个一样的我
  • 本文链接: https://www.cnblogs.com/huageyiyangdewo/p/17351310.html
  • 关于博主: 评论和私信会在第一时间回复。或者直接私信我。
  • 版权声明: 本博客所有文章除特别声明外,均采用 BY-NC-SA 许可协议。转载请注明出处!
  • 声援博主: 如果您觉得文章对您有帮助,可以点击文章右下角推荐一下。
  • 相关阅读:
    标准化后端向前端传来的Json数据
    hitcon_ctf_2019_one_punch(libc2.29 tcache tashing unlink)
    Word格式处理控件Aspose.Words for .NET教程——使用DocumentBuilder将字段插入文档
    uniapp微信小程序开发物料
    WOFOST模型与PCSE模型实践技术应用
    支持向量机(SVM)
    一文了解VR全景拍摄设备如何选择,全景图片如何处理
    PHP图片压缩,再转base64传输
    聊聊logback的MDCFilter
    用于可扩展、可重用和优雅的代码的Python工厂
  • 原文地址:https://www.cnblogs.com/huageyiyangdewo/p/17351310.html