• 层次状态机【转】


    转自:https://blog.csdn.net/wuhenyouyuyouyu/article/details/53407936

    出处:http://xlambda.com/blog/2014/11/04/hierarchical-state-machine/

    计算机程序是写给人看的,只是顺便能运行。

    —— 《计算机程序的构造和解释》 [1]

    FSM

    在计算机领域,FSM(有限状态机)是一个在自动机理论和程序设计实践中很常见的术语,简单来说,有限状态机表示的是系统根不同输入/不同条件在各个状态之间进行跳转的模型。可以通过图或表来描述有限状态机,这种图或表一般被称为状态图/状态转移图(State Chart)或状态转移表。因为图更加直观,本文统一使用状态图来描述有限状态机。

    在状态图里面,一般用圆圈或方框来表示状态,用箭头来表示状态之间的跳转,箭头可以带上跳转需要的输入或条件,也可以带附带其它描述。一个从空白处引出,没有源状态的箭头则表示整个系统的启动,启动后进入的第一个状态可以称为开始状态,可以用双重圆圈特别标出。整个状态图就是一个有圆圈,箭头及描述的有向图形。下面是一个 简单例子 。

    上图表示一个接受二进制输入(输入为0或者1),计算输入包含奇数还是偶数个0的状态机。其中S1状态表示”偶数个0”,S2表示”奇数个0”。系统启动后,沿着图中最左边的箭头进入S1状态,此时没有读入任何输入(0个0)。S1圆圈上方带1的箭头表示如果输入是1,则跳转到S1,即保持原状态不变。如果输入是0,则跳转到S2。其它箭头也可以类似理解。当全部输入都处理完之后,只需看当前状态是S1还是S2即可得出结论:输入具有奇数个0还是偶数个0。

    由于状态机可以将问题整体的分解成各个部分状态及跳转,直观地对系统进行建模,所以它不仅被用于理论研究过程当中,而且被广泛用于程序设计实践,在操作系统,网络协议栈,各种分布式应用中都可以见到它的身影。

    程序设计中的FSM

    由上面的表述我们得知,FSM是对系统的建模,是将问题/解决方案以一种条理化系统化的方式表达出来,映射到人的认知层面,而要在程序中表达FSM,也需要一定的建模工具,即用某种代码编写的方式(或称之为FSM模式),将FSM以一种条理化系统化的方式映射到代码层面。在程序设计领域,到底有哪些常用的FSM实现方式呢?下面我们来做一个简单的回顾。

    从简单到复杂,下面我们浏览一下常见的几种FSM实现模式[2]。

    a. 嵌套if-else/switch模式

    自从1960年 第一个Lisp实现 引入条件表达式以来, if-else/switch语句 [3]已经成为每个程序员手头必备的工具,每当需要”根据不同条件进入不同分支”,就搬出它来组织代码,这与FSM里面”状态之间根据不同输入进行跳转”的概念有简单的对应关系,这就使得if-else/switch语句成为人们要表达FSM时最先选择的方式。

    仍然以图1例子进行说明,我们用if-else/switch语句编写它的实现代码,用一个变量state表示当前状态,state可以取两个值S1, S2,输入input表示下一个输入的数字是0还是1,那么就有下列代码[4]:

     

     
    1. type State int
    2. type Input int
    3.  
    4. var (
    5. StateS1 State = 1 + iota
    6. StateS2 State
    7. )
    8.  
    9. var (
    10. Zero Input = 0
    11. One Input = 1
    12. )
    13.  
    14. var state = StateS1
    15.  
    16. func NumberOfZero(i Input) {
    17. switch state {
    18. case StateS1:
    19. switch i {
    20. case Zero:
    21. state = StateS2
    22. case One:
    23. }
    24. case StateS2:
    25. switch i {
    26. case Zero:
    27. state = StateS1
    28. case One:
    29. }
    30. }
    31. }

     

    上面的代码有一个明显的嵌套形式的结构,最外层的 switch 语句是根据当前状态state变量进入不同的分支,内层 switch 针对的则是输入,所有代码像挂在衣柜中的衣服一样从上到下一一陈列,结构比较清晰。这种嵌套形式if-else/switch语句的FSM代码组织方式,我们将其称之为 嵌套if-else/switch 模式。由于这种模式实现起来比较直观简明,所以它最为常见。

    嵌套if-else/switch具有形式嵌套,代码集中化的特点,它只适合用来表达状态个数少,或者状态间跳转逻辑比较简单的FSM。嵌套意味着缩进层次的叠加,一个像图1那么简单的实现就需要缩进4层,如果状态间的逻辑变得复杂,所需要的缩进不断叠加,代码在水平方向上会发生膨胀;集中化意味着如果状态个数增多,输入变复杂,代码从垂直方向上会发生指数级别的膨胀。即使通过简化空分支,抽取逻辑到命名函数[5]等方法来”压缩”水平/垂直方向上的代码行数,依然无法从根本上解决膨胀问题,代码膨胀后造成可读性和可写性的急剧下降,例如某个状态里面负责正确设置20个相关变量,而下翻了几屏代码之后,下面的某个状态又用到上面20个变量里面其中的5个,整个代码像一锅粥一样粘糊在一起,变得难于理解和维护。

    a. 状态表

    另一个比较流行的模式是状态表模式。状态表模式是指将所有的状态和跳转逻辑规划成一个表格来表达FSM。仍然以图1为例子,系统中有两个状态S1和S2,不算自跳转,S1和S2之间只有两个跳转,我们用不同行来表示不同的状态,用不同的列来表示不同的输入,那么整个状态图可以组织成一张表格:

    StateInputZeroOne
    S1 DoSomething, S2 null
    S2 DoSomething, S1 null

    对应S1行, Zero列的”DoSomething, S2”表示当处于状态S1时,如果遇到输入为Zero,那么就执行动作DoSomething,然后跳转到状态S2。由于图1的例子状态图非常简单,DoSomething动作为空,这里将它特别的列出来只是为了说明在更一般化的情况下如果有其它逻辑可以放到这里来。根据这个状态表,我们可以写出下列代码:

     

     
    1. type State int
    2. type Input into
    3.  
    4. const (
    5. StateUndefined State = 0 + iota
    6. StateS1
    7. StateS2
    8. )
    9.  
    10. var (
    11. Zero Input = 0
    12. One Input = 1
    13. )
    14.  
    15. type Action func(i Input)
    16.  
    17. func DoSomething1(_ Input) {
    18. // Do nothing here
    19. }
    20.  
    21. func DoSomething2(_ Input) {
    22. // Do nothing here
    23. }
    24.  
    25. type Item struct {
    26. Action Action
    27. NextState State
    28. }
    29.  
    30. var StateTable = [][]*Item{
    31. []*Item{
    32. &Item{
    33. Action: DoSomething1,
    34. NextState: StateS2,
    35. },
    36. nil,
    37. },
    38. []*Item{
    39. &Item{
    40. Action: DoSomething2,
    41. NextState: StateS1,
    42. },
    43. nil,
    44. },
    45. }
    46.  
    47. var state = StateS1
    48.  
    49. func NumberOfZero(i Input) {
    50. item := StateTable[int(state)][int(i)]
    51. if item != nil {
    52. item.Action(i)
    53. if item.NextState != StateUndefined {
    54. state = item.NextState
    55. }
    56. }
    57. }

     

    从上述例子我们可以看到,用这种方式实现出来的代码跟画出来的状态表有一个直观的映射关系,它要求程序员将状态的划分和跳转逻辑细分到一定的合适大小的粒度,事件驱动的过程查找是对状态表的直接下标索引,性能也很高。状态表的大小是不同状态数量S和不同输入数量I的一个乘积 S * I,在常见的场景中,这张状态表可能十分大,占用大量的内存空间,然而中间包含的有效状态跳转项却相对少,也就是说状态表是一个稀疏的表。

    c. 状态模式

    在OOP的 设计模式 [6]中,有一个状态模式可以用于表达状态机。状态模式基于OOP中的代理和多态。父类定义一系列通用的接口来处理输入事件,做为状态机的对外接口形态。每个包含具体逻辑的子类各表示状态机里面的一个状态,实现父类定义好的事件处理接口。然后定义一个指向具体子类对象的变量标记当前的状态,在一个上下文相关的环境中执行此变量对应的事件处理方法,来表达状态机。依然使用上述例子,用状态模式编写出的代码如下:

     

     
    1. type Input int
    2.  
    3. const (
    4. Zero Input = 0 + iota
    5. One
    6. )
    7.  
    8. type State interface {
    9. OnEventZero(i Input)
    10. OnEventOne(i Input)
    11. }
    12.  
    13. var (
    14. S1 = "S1"
    15. S2 = "S2"
    16. )
    17.  
    18. type StateS1 struct {
    19. c *Context
    20. }
    21.  
    22. func (self *StateS1) OnEventZero(i Input) {
    23. self.doSomething1(i)
    24. self.c.Tran(S2)
    25. }
    26.  
    27. func (self *StateS1) OnEventOne(_ Input) {
    28. // do nothing here
    29. }
    30.  
    31. func (self *StateS1) doSomething1(_ Input) {
    32. // do nothing here
    33. }
    34.  
    35. type StateS2 struct {
    36. c *Context
    37. }
    38.  
    39. func (self *StateS2) OnEventZero(i Input) {
    40. self.doSomething2(i)
    41. self.c.Tran(S1)
    42. }
    43.  
    44. func (self *StateS2) OnEventOne(_ Input) {
    45. // do nothing here
    46. }
    47.  
    48. func (self *StateS2) doSomething2(_ Input) {
    49. // do nothing here
    50. }
    51.  
    52. type Context struct {
    53. allStates map[string]State
    54. currentState State
    55. }
    56.  
    57. func NewContext() *Context {
    58. object := &Context{}
    59. states := make(map[string]State)
    60. states[S1] = &StateS1{c: object}
    61. states[S2] = &StateS2{c: object}
    62. object.allStates = states
    63. object.currentState = states[S1]
    64. return object
    65. }
    66.  
    67. func (self *Context) Tran(nextState string) {
    68. if s, ok := self.allStates[nextState]; ok {
    69. self.currentState = s
    70. }
    71. }
    72.  
    73. func (self *Context) Handle(i Input) {
    74. switch i {
    75. case Zero:
    76. self.currentState.OnEventZero(i)
    77. case One:
    78. self.currentState.OnEventOne(i)
    79. }
    80. }
    81.  
    82. var context = NewContext()
    83.  
    84. func NumberOfZero(i Input) {
    85. context.Handle(i)
    86. }

     

    状态模式将各个状态的逻辑局部化到每个状态类,事件分发和状态跳转的性能也很高,内存使用上也相当高效,没有稀疏表浪费内存的问题。它将状态和事件通过接口继承分隔开,实现的时候不需要列举所有事件,添加状态也只是添加子类实现,但要求有一个context类来管理上下文及所有相关的变量,状态类与context类之间的访问多了一个间接层,在某些语言里面可能会遇到封装问题(比如在C++里面访问private字段要使用friend关键字)。

    5. 优化的FSM实现

    结合上述几种FSM实现模式,我们可以得到一个优化的FSM实现模式,它用对象方法表示状态,将状态表嵌套到每个状态方法中,因此它包含了上述几种模式的优点:事件和状态的分离,高效的状态跳转和内存使用,直接的变量访问,直观而且扩展方便。用它重写上述例子,得到下述的代码:

     

     
    1. type Input int
    2.  
    3. const (
    4. Zero Input = 0 + iota
    5. One
    6. )
    7.  
    8. type EventType uint32
    9.  
    10. const (
    11. EventInitialize EventType = 0 + iota
    12. EventFinalize
    13. EventStateEntry
    14. EventStateExit
    15. EventUser
    16. )
    17.  
    18. type Event interface {
    19. Type() EventType
    20. }
    21.  
    22. type FSMEvent struct {
    23. T EventType
    24. }
    25.  
    26. func (self *FSMEvent) Type() EventType {
    27. return self.T
    28. }
    29.  
    30. var (
    31. FSMEvents = []*FSMEvent{
    32. &FSMEvent{
    33. T: EventInitialize,
    34. },
    35. &FSMEvent{
    36. T: EventFinalize,
    37. },
    38. &FSMEvent{
    39. T: EventStateEntry,
    40. },
    41. &FSMEvent{
    42. T: EventStateExit,
    43. },
    44. }
    45. )
    46.  
    47. type FSM interface {
    48. Init()
    49. Dispatch(i Input)
    50. Tran(target string)
    51. }
    52.  
    53. type State func(e Event)
    54.  
    55. const (
    56. EventInput EventType = EventUser + 1 + iota
    57. )
    58.  
    59. type InputEvent struct {
    60. T EventType
    61. I Input
    62. }
    63.  
    64. func NewInputEvent(i Input) *InputEvent {
    65. return &InputEvent{
    66. T: EventInput,
    67. I: i,
    68. }
    69. }
    70.  
    71. func (self *InputEvent) Type() EventType {
    72. return self.T
    73. }
    74.  
    75. type BaseFSM struct {
    76. AllStates map[string]State
    77. S State
    78. }
    79.  
    80. func NewBaseFSM() *BaseFSM {
    81. return &BaseFSM{}
    82. }
    83.  
    84. func (self *BaseFSM) Register(name string, state State) {
    85. self.AllStates[name] = state
    86. }
    87.  
    88. func (self *BaseFSM) InitState(s State) {
    89. self.S = s
    90. self.S(FSMEvents[EventInitialize])
    91. }
    92.  
    93. func (self *BaseFSM) Dispatch(i Input) {
    94. self.S(NewInputEvent(i))
    95. }
    96.  
    97. func (self *BaseFSM) Tran(target string) {
    98. s, ok := self.AllStates[target]
    99. if !ok {
    100. panic("invalid target state")
    101. }
    102. self.S(FSMEvents[EventStateExit])
    103. self.S = s
    104. self.S(FSMEvents[EventStateEntry])
    105. }
    106.  
    107. type ZeroCounter struct {
    108. *BaseFSM
    109. count int
    110. }
    111.  
    112. func NewZeroCounter() *ZeroCounter {
    113. return &ZeroCounter{
    114. BaseFSM: NewBaseFSM(),
    115. count: 0,
    116. }
    117. }
    118.  
    119. func (self *ZeroCounter) Init() {
    120. self.Register("S1", self.S1)
    121. self.Register("S2", self.S2)
    122. self.InitState(self.S1)
    123. }
    124.  
    125. func (self *ZeroCounter) S1(e Event) {
    126. switch e.Type() {
    127. case EventInitialize:
    128. case EventStateEntry:
    129. case EventStateExit:
    130. case EventInput:
    131. event, _ := e.(*InputEvent)
    132. if event.I == Zero {
    133. self.count++
    134. self.Tran("S2")
    135. }
    136. }
    137. }
    138.  
    139. func (self *ZeroCounter) S2(e Event) {
    140. switch e.Type() {
    141. case EventStateEntry:
    142. case EventStateExit:
    143. case EventInput:
    144. event, _ := e.(*InputEvent)
    145. if event.I == Zero {
    146. self.count++
    147. self.Tran("S1")
    148. }
    149. }
    150. }
    151.  
    152. var (
    153. counter *ZeroCounter
    154. )
    155.  
    156. func init() {
    157. counter := NewZeroCounter()
    158. counter.Init()
    159. }
    160.  
    161. func NumberOfZero(i Input) {
    162. counter.Dispatch(i)
    163. }

     

    在这种模式中可以添加整个状态机的初始化动作,每个状态的进入/退出动作。上述代码中 ZeroCounter.S1() 方法的 case EventInitialize 分支可以放入状态机的初始化逻辑,每个状态方法的 case EventStateEntry 和 case EventStateExit 分支可以放入对应状态的进入/退出动作。这是一个重要的特性,在实际状态机编程中每个状态可以定制进入/退出动作是很有用的。

    6. HSM

    上述几种模式中,状态之间都是相互独立的,状态图没有重合的部分,整个状态机都是平坦的。然而实际上对很多问题的状态机模型都不会是那么简单,有可能问题域本身就有状态嵌套的概念,有时为了重用大段的处理逻辑或代码,我们也需要支持嵌套的状态。这方面一个经典的例子就是图形应用程序的编写,通过图形应用程序的框架(如MFC, GTK, Qt)编写应用程序,程序员只需要注册少数感兴趣的事件响应,如点击某个按钮,大部分其它的事件响应都由默认框架处理,如程序的关闭。用状态机来建模,框架就是父状态,而应用程序就是子状态,子状态只需要处理它感兴趣的少数事件,大部分事件都由向上传递到框架这个父状态来处理,这两种系统之间有一个直观的类比关系,如下图所示:

    Anatomy of a GUI application

    这种事件向父层传递,子层继承了父类行为的结构,我们将其称为 行为继承 ,以区别开OOP里面的 类继承 。并把这种包含嵌套状态的状态机称为 HSM(hierarchical state machine) ,层次状态机。

    加上了对嵌套状态的支持之后,状态机的模型就可以变得任意复杂了,大大的扩大了状态机的适用场景和范围,如此一来用状态机对问题建模就好比用OOP对系统进行编程:识别出系统的状态及子状态,并将逻辑固化到状态及它们的跳转逻辑当中。

    那么在状态机实现模式里如何支持嵌套状态呢?从整个状态图来看,状态/子状态所形成的这张大图本质上是一个单根的树结构,每个状态图有一个根结点top,每个状态是一个树结点,可以带任意多的子状态/子结点,每个子状态只有一个父结点,要表达嵌套状态,就是要构造出这样一棵树。

    go-hsm

    我用Golang编写了一个HSM框架 go-hsm ,设计要点如下:

    1. 用类来表示状态,局部化状态内部变量及逻辑,整棵状态树由具体应用构造
    2. 支持嵌套状态及行为继承,支持进入退出动作,
    3. 支持自定义事件,支持静态和动态两种跳转

    它的代码在 这里 ,go-hsm的使用例子则放在另一个项目 go-hsm-examples 。由于Golang本身的语言特点,有一些地方的实现较其它语言多了一些缺点,比如Golang里面的binding是静态的,为了将子类对象的指针传播到父类方法,要显式传递self指针,子类的接口函数也需要由应用重写。但由于HSM本身的灵活强大, go-hsm 具有良好的可调整性及扩展性,是一个很好的状态机建模工具,一门灵活有效表达复杂状态机的 DSL(Domain Specific Language) 。

    注:

    [1] 《Structure and Interpretation of Computer Programs》 一书的中文译本。

    [2] 本文内容主要出自Miro Samek博士的经典著作《Practical Statecharts in C/C++: Quantum Programmming for Embedded Systems》,其中文译本书名为《嵌入式系统的微模块化程序设计:实用状态图C/C++实现》,翻译甚差,不推荐阅读。

    [3] 各种编程语言里面的条件判断关键字和语句都不尽相同,有的if语句带 then 关键字,有的不带 then ,有的支持 switch ,这里将它们简单统称为if-else/switch语句。

    [4] 本文中所有代码都为Go语言代码。

    [5] 之所以强调函数是命名的,是因为很多语言支持匿名函数(即lambda函数),在嵌套if-else/switch模式内部写匿名函数定义对降低代码膨胀起不了作用。

    [6] OOP领域设计模式的流行,源于这本书《Design Patterns: Elements of Reusable Object-Oriented Software》的出版,其中文译本见 这里 。

  • 相关阅读:
    13. Spring—AOP—JDK 的动态代理
    12. Spring — AOP 面向切面编程
    28-1 父组件传递数据给子组件 — props基本用法—驼峰命名说明
    【洛谷 1596】湖计数
    【洛谷 1280】尼克的任务
    【洛谷 3884】二叉树问题
    【洛谷 3384】模板树链剖分
    【洛谷 2089】烤鸡
    【洛谷 1706】全排列问题
    【洛谷 2692】覆盖
  • 原文地址:https://www.cnblogs.com/sky-heaven/p/9466499.html
Copyright © 2020-2023  润新知