你的浏览器版本过低,可能导致网站不能正常访问!
为了你能正常使用网站功能,请使用这些浏览器。

switch之状态机

[复制链接]
gaosmile 发布时间:2021-2-26 15:19
【说在前面的话】

在前面的一篇文章《从零开始的状态机漫谈(1)——万物之始的语言》中,我们介绍了状态机在整个计算机科学中宛如“世界基石”般的地位,同时介绍了一种“面向嵌入式环境”“高度简化”了的实用型状态图绘制方法——这里的“简化”是相对UML状态图的“繁杂”而言、且更接近课本上所使用的状态机图例;而这里的“实用”体现在:基于这套方法绘制的状态图是可以“无脑”而“严格”的翻译成C语言代码的

- `- J* m8 V4 e! y. Y+ f5 m: n
在展开后续内容之前,不得不为大家解释清楚一个非常具有误导性的错误认知,即:状态机天然是非阻塞(non-blocking)的,因而可以用于在裸机状态下实现多任务。实际上,这种说法后半段是正确的,错就错在前半部分,比如,就前一篇文章中所提到的一个状态图:
  Y$ h3 Z) m9 T$ v; a+ s
微信图片_20210226150858.png
翻译成下面的C语言代码,在逻辑上毫无问题:
  1. 8 }. ]# P+ X$ m4 c- k# M# {3 L$ @
  2. #include <stdbool.h>$ b3 q3 W) o2 I2 Y7 r/ R0 t! k' i7 u
  3. #include <stdint.h>8 O1 I& T: F1 q7 n6 x
  4. 5 Q& H* C2 ^& Y# E: m0 ?; b
  5. void print_hello(void) 3 D. A$ b5 X' V
  6. {
    ! y$ A: @2 ?" Y* i& D- U% E- Z
  7.     //! 对应 start部分
    ; K; Y1 Z: ?7 y& i9 }+ s$ V3 q
  8.     uint8_t *s_pchSrc = "Hello";/ n" b1 A% E  R. c/ Y
  9. 5 R8 p. O. m1 P$ f
  10.     do {    1 _& j: d# Q5 k" ~' p
  11.         //! 对应 Print Hello 状态3 v+ r5 [& o, E2 ]
  12.         while(!serial_out(*s_pchSrc));# G, k/ W- W0 Q' P6 C* ~% D3 j
  13.         
    2 r! P; e# @9 }8 }; T
  14.         //! serial_out返回值为true的状态迁移" l" w' K# M0 N" A. H
  15.         s_pchSrc++;
    ) D) h( S3 m, Y1 V( z7 r' m
  16.         7 e" e% X2 o7 K* L( [
  17.         //! 对应 "Is End of String"状态
    ' B" a/ Q0 N  X2 X6 D
  18.         if (*s_pchSrc == '\0') {
    2 p. X' G5 u! C; r/ W
  19.             //! true分支,结束状态机4 O5 B7 e+ S2 h
  20.             return ;. @' B9 f8 Y/ v& D
  21.         }
    0 v2 J+ X! X, ~( C
  22.         //! false分支,跳转到 "Print Hello" 状态
    , O. [4 q; a2 s# I
  23.     } while(true);
    ' q% x2 x& k; ^
  24. }2 [" g2 t6 |9 ^" g
复制代码

( \5 b" b' q0 ?. N- B
怎么样?发现之前说法的错误之处了吧?——是的,状态机(状态图)所描述的逻辑与翻译后的代码是否具有“非阻塞”的特性是无关的——翻译的方式不同,代码的特性也不同——但无论使用何种翻译方式,只要翻译是正确的,最终代码所对应的“状态机逻辑”就是“等效”的,比如,上面的状态机也可以翻译成如下的非阻塞形式:6 \9 b, m' x$ \9 |6 z3 D
  1. 7 Z) e. ^' {# u2 U
  2. #include <stdbool.h>5 k9 ?6 T, k; h  v. J% C0 f+ L* T
  3. #include <stdint.h>
    $ \4 g; q3 m( ]7 z; P
  4. $ d3 U, m: {$ }* o  j' f5 [
  5. typedef enum {" z. Y) _0 U# z& j6 H, r
  6.     fsm_rt_err = -1,# v8 u5 ~, z! j
  7.     fsm_rt_on_going = 0,4 o1 J( g* f: V& _% c
  8.     fsm_rt_cpl = 1,
    - Q0 \9 q! E1 c( k- k* D
  9. } fsm_rt_t;
    . f$ h9 e4 [) O/ p5 j' l; Q! l
  10. $ D* ^9 |2 n. c. B$ l& z( L
  11. #define PRINT_HELLO_RESET_FSM() \6 f2 J' X' V8 t
  12.     do {s_tState = START;} while(0)
    * \/ X! `* N$ U) I) F; a
  13. : x3 ?9 `) D; H! D$ s8 N4 c
  14. fsm_rt_t print_hello(void)
    : O# I9 \' ~8 l4 o7 `( ~1 L; N
  15. {! W4 J4 V, i! P( `! ^* }9 @: \
  16.     static enum {6 M; d/ ^2 J$ _' v1 N0 p
  17.         START = 0,0 S2 K# ]1 B3 D5 u
  18.         PRINT_HELLO,' r4 I$ o( L. S# V
  19.         IS_END_OF_STRING,* v$ H" l; X) X1 Y
  20.     } s_tState = {START};
    , D, X6 f3 R% p" T
  21.     . ^5 X2 z( t4 j8 \# O$ I1 a  ^( v2 W
  22.     static const uint8_t *s_pchSrc = NULL;; f2 I# n- `4 r/ x
  23.     * X& M8 X  N! H
  24.     switch (s_tState) {2 `) U- I* _+ h& Q0 H
  25.         case START:
    6 H: Z0 y0 `2 ]  _. ^* ?$ B
  26.             //! 这个赋值写法只在嵌入式环境下“可能”是安全的
    ! b1 \  p( N, ^
  27.             s_pchSrc = "Hello world";  6 I& f6 i( n2 }$ d7 _. d
  28.             s_tState++;/ s, V) L' T( [, z& r
  29.             //break;) q; p1 k# m' O% T
  30.         case PRINT_HELLO:, }( ^3 O. n5 g6 h
  31.             if (!serial_out(*s_pchSrc)) {
    ; c* Q! G; N! L( v$ \# I$ d
  32.                 break;         
    3 m2 O+ r, B% L  B! H% O
  33.             };
    ; ]) w6 o' g; w6 [4 V( u. T
  34.             s_tState = IS_END_OF_STRING;9 [) T! |) P, I7 I2 A
  35.             s_pchSrc++;            
    7 B/ j* J+ ^6 T8 F3 Q' }  m
  36.             //break;            
    " J' E; G7 a9 ~2 s
  37.         case IS_END_OF_STRING:
    / T2 Q7 ~- {6 P  @6 R; x
  38.             if (*s_pchSrc == '\0') {+ F3 j8 y$ O/ J, U' c- L2 Q7 n1 f
  39.                 PRINT_HELLO_RESET_FSM();& N) v7 i( ^+ f
  40.                 return fsm_rt_cpl;5 e* @4 I" X$ x8 d
  41.             }- M  ^7 s1 ~! Q6 l9 y, \
  42.             s_tState = PRINT_HELLO;7 V& w# ^' e" P4 w' ?& i1 X8 Z
  43.             break;            
    5 k$ }( Y1 l* q$ g% a
  44.     }6 r7 k; q) F: s2 H: `" U3 X- e! x! p
  45.    
    9 n% w( h8 W) P3 a6 X/ Q
  46.     return fsm_rt_on_going;
    & }" \5 T/ E. ^
  47. }
复制代码
; h$ h7 W2 c% g: H1 M1 x3 ~. j6 F
对比两个代码,可以清楚的发现这两个事实:/ z/ S' z* O$ x' @
  • 在状态机逻辑层面,两个代码都正确的翻译(表达)了状态图的逻辑
  • 在C代码的实际执行层面,一个是“不完成任务就绝不回来”的阻塞代码;一个是在状态执行间隙还会“悄悄”退出函数——释放处理器的非阻塞代码6 Z/ _' o, z* y; ?+ I
    & h1 R0 A6 _' ~& Q

: _9 m! S) t, e/ O
所以说,与上述情况类似,市面上不少关于状态机的说法其实都是“有待商榷”、甚至是“错误的”,比如:
  • 状态机天然的是非阻塞代码;
  • 因为状态机经常切换,因此实时性好;
  • 状态机经常切换,没法以最快的速度响应事件,所以实时性差;
  • 状态机执行效率低下;
  • 状态机执行效率高;
  • 状态机占用代码空间大;
  • 状态机占用资源小,适合资源有限的小单片机;
  • 任何状态机都可以翻译成普通的RTOS任务(注意,这里的说法强调的不是不是状态机代码在RTOS任务里执行,而是把状态图翻译成RTOS任务)
  • ……
    7 C! H0 t4 K1 d" t: {
/ C# {5 Z* o  u& S, z. @5 K
相信上述诸多误解和偏见中一定有一款是让你大为吃惊的。然而,如果你认为我这里列举出来的说法都是“错误的”,那么你就又错了
, l& q* g6 O( P# L4 m, c" a
这里的要点是——以上说法并不是“非黑即白”的,而是来源于某一些具体的状态机翻译方式,错就错在把某一种状态机翻译方式所具有的优点/缺点当成了整个状态机固有的优点/缺点——脱离了具体的状态机翻译方式,从而导致了“不准确”
) y! |* U: X3 @( C9 A1 {& w
说了这么多,无非就是想让你们知道以下几点:& O% y& H* q) m# [( k$ N( [6 b
  • 状态机/状态图的翻译方式众多;
  • 不同翻译方式在代码的行为特性上存在天壤之别;
  • 抛开具体翻译方式谈状态机特性都是耍流氓
  • 如果说状态图才是“新的源代码”,翻译C代码就是“新的汇编”,根据一定规则翻译状态图为C代码的过程就是”新的编译“。

    5 [' K; z8 `# w# d3 k/ r
2 B( M1 z# b# _8 n
下面我们就以大部分人第一次接触和使用状态机时常用的 switch 状态机为例,为大家介绍前一章所属状态图的翻译规则。
1 J4 h' i+ S% `  E7 E
让我们上路吧!: m, m2 A% G: W/ N
- R8 ]6 l% ~6 y' \7 C
微信图片_20210226150854.jpg
(本文撰写于2021年情人节)

8 ~3 T# P* q* v6 [  f$ J
【状态函数返回值的“小心思”】

对很多人来说,即便状态机“初恋”不是使用switch编写的函数,也一定逃不开使用函数作为状态机载体的形式(比如使用大量if-else作为基础的状态机)。观察状态图,你会发现状态机是有返回状值的:
$ M$ S. c6 w: R' @% Q

' K0 ?5 ]4 h2 G6 u) k1 t" y1 d
微信图片_20210226150847.png
比如图中右上角的“on-going”和右下角的“cpl”,分别表示状态机“正在工作(on-going)”和“已经完成(complete)”。图上的状态机算是比较简单的了,其它状态机可能还有返回其它信息的需求——比如,一个接收字符的状态机可能还需要返回“超时(timeout)”这样的信息——因此,定义一个专门的枚举类型来作为状态机函数的返回值就显得非常有必要:& ~4 P4 k$ K6 m
  1. 3 e- ?! d4 J; h0 J
  2. typedef enum {
    $ [  }. T8 W! v7 |& O! r
  3.     fsm_rt_on_going,+ q% O! C/ i  V: l; g% X
  4.     fsm_rt_cpl,
    " Y3 n9 E5 g- q  u' V4 l1 \  A/ k
  5. } fsm_rt_t;
复制代码
) G- C3 v3 }8 `0 k$ C, J
到了这里,有一个细节问题需要考虑,fsm_rt_on_goingfsm_rt_cpl分别对应怎样的具体值好呢?(或者干脆不管?)。要解决这个问题,实际上只有是站在状态机函数用户角度考虑进行考虑,才能找到不会违反用户直觉(屁股决定脑袋)的答案。从状态机调用者的角度来看,既然我们告诉TA状态机函数是非阻塞的,那么用户最关心的最基本问题恐怕就是:
5 `6 L* }) h) \0 ^* c; h1 f

) o$ o% y5 p+ i0 x5 t) l
  • 状态机是否执行完成了?
  • 状态机有没有遇到什么自己不能处理的错误?
      D' A8 p+ X9 e2 Y) X4 c/ b- T$ ^
, _4 K8 F1 w) [3 [
对于第一个问题,显然其答案是一个布尔量:
  • 如果返回false,则表明状态机还没有执行完成——需要继续执行(on-going);
  • 如果返回true,则表明状态机已经执行完成(complete)

      b- S" K, N/ H- Y" u
1 f2 B9 ~0 y  r0 i% \) _+ N
基于这样的原因,完全可以根据 <stdbool.h> 中的定义,给我们的fsm_rt_t 一个兼容的值,即:

  1. ; p$ u6 `) m" N- p* U% @
  2. typedef enum {) n% v3 H& `  \& e2 }9 Z
  3.     fsm_rt_on_going   = 0,
    + T: I7 I- {4 y; u# T
  4.     fsm_rt_cpl        = 1,
    ; [, ]7 q+ j" R7 c6 {& M
  5. } fsm_rt_t;
复制代码

4 S0 u/ [. T' B& n
对于第二个问题,实际上,程序员之间有一个不成文的规定,即:错误码用负数表示,因此,我们可以引入一个“不问缘由的默认的错误码” (-1),并允许用户可以用除去(-1)以外的其它负数来编码更为具体的错误——这里就把这种自由度留给用户自己去发挥了,我们只需要在 fsm_rt_t 中引入(-1)就可以了:
  1. 7 ^( x* s. K  r
  2. typedef enum {
    9 E2 K; H6 E* a, k2 Q6 F
  3.     fsm_rt_err        = -1,
    % s3 v& b. _% J: P3 M
  4.     fsm_rt_on_going   = 0,
    # ]! G4 i2 w; Z: B: Q% t
  5.     fsm_rt_cpl        = 1,# V: O4 v8 u' R  I; ~
  6. } fsm_rt_t;
复制代码
: A) h, c5 _' H( r) H) q- w8 P
至此,我们完成了一个状态机返回值的定义过程,并隐含了以下的规则:' z1 ]1 F8 t! y9 Q2 n% @9 i
  • 对于“确定”不会返回错误码的状态机函数来说,状态机函数的使用与bool量是兼容的;
  • 用户可以使用负数来“自定义”错误码,并使用(-1)表示“不问缘由的默认错误码”;

    ' e# R5 R! p. A" m/ f9 v: k' @

需要特别强调的是,错误码表示发生了“状态机发生了预期之外、无法继续正常工作的情况”,比如,状态机函数需要一个指针,但你传了一个空指针;或是状态机函数收到了一个无效的输入参数,导致后续工作都无法正常执行,等等。
0 ^) ]$ L5 z% }! a$ Q7 G
  • 用户定义的其它状态值,比如超时之类的,它们必须是大于(1)的正数。
    7 \! p( f% C8 }. k4 D

与错误码不同,这类用返回值是状态机正常工作的结果,属于状态机逻辑本身所能预期和处理的。所以,哪怕“超时”听起来像是一个“错误”,但它本质上还是状态机逻辑所预期会发生并能正确检测和处理的,因此并不会作为一个负数错误码来返回。
; E8 }! U- p# n* p7 z; e5 s2 b1 h

# b0 d( S+ P" t
在这个系列后面的文章中,我们还会引入两个默认的正整数状态返回值到 fsm_rt_t这里就先不赘述了:0 m* E4 g7 V3 w' r' G
  1. - n  O4 @( j+ P1 B5 Z; f7 _7 g9 x2 k
  2. //! \name finit state machine return value, N$ S; g, I) \$ k+ ]" ?5 |
  3. //! @{0 U8 g0 e7 [7 P- Z/ V/ A
  4. typedef enum {
    8 Y; o, ^& n6 _8 Q4 g7 Z! E
  5.     fsm_rt_err          = -1,    //!< fsm error, error code can be get from other interface
    4 m& u* b4 k& @$ L/ E
  6.     fsm_rt_cpl          = 0,     //!< fsm complete
    / l9 v  ?) ]7 i( t, [, {- Q( y
  7.     fsm_rt_on_going     = 1,     //!< fsm on-going5 O. o& k2 q2 L2 L* a
  8.     fsm_rt_wait_for_obj = 2,     //!< fsm wait for object/ P3 m" m1 s  o  e
  9.     fsm_rt_asyn         = 3,     //!< fsm asynchronose mode, you can check it later.& B& K* [0 ?$ @: x6 H# k" p9 M
  10. } fsm_rt_t;; F6 {3 j8 V+ R0 K' i( W
  11. //! @}
复制代码
9 b. z' K8 G- L4 M; h% y
% [  P3 Q* E0 b3 T0 g9 `% z3 o
借助 fsm_rt_t 类型的帮助,我们的状态机函数终于有了一个像样的外壳,比如:; c; v; k4 ]& [4 h) ]+ p
  1. & S( s* M. {- d" Y& I
  2. fsm_rt_t <状态机函数的名字>([形参列表])* L* A# `2 t3 }6 M/ V3 {( q
  3. {% d) n, f2 S* w
  4.     ...
      V: |. D  h! G! U) w6 F4 L: M
  5.     return fsm_rt_on_going;    //!< 默认的返回值
    7 z7 g$ S8 c, i* q) ~5 D4 \2 i" K) E% \
  6. }
复制代码
* g, M0 r% r1 x
% _8 _  F* D6 k% t: N
为了方便大家的理解,我们就以“带超时功能的字符接收状态机”为例子,为大家介绍对应的状态图绘制方法以及对应的代码片段:
微信图片_20210226150901.png
观察上图可以发现,状态机read_byte会在读取字符的同时进行一个简单的倒计数;如果在s_wCounter0之前成功读取到了一个字节,则返回cplpchByte所指向的字节buffer将保存对应的字节);如果读取字节失败,但计数器还未到零,则返回 on_going——表明状态机还在工作中;如果计数器到达了0,则返回一个自定义的状态信息(timeout),用以表明发生了超时。在图中,不光矩形框内部多了一个名为 timeout 的黑色小圆点;在矩形框的外部(右侧)也出现了一个对应的扇出箭头,同样也标记了timeout——这实际上是告诉我们,当状态机迁移到 timeout 终点时,将通过 timeout 箭头扇出,而状态机也将复位
3 I9 Z$ i& }4 p7 j
它对应的一个可能代码为:! b6 n% T" Q) t. D# j7 H

  1. 9 ]8 b( p* C- g4 M
  2. enum {
    - s% L$ D0 P4 r: M- r5 \
  3.     fsm_rt_timeout = 4,     //!< 额外定义的状态返回值4 C" ~; k* ?3 b; C# \1 A
  4. };9 B; R) x; a: n) b- m8 P

  5. $ `  C! w, J4 R8 C+ d! X
  6. #ifndef TIMEOUT_CNT
    ) m( F! e3 @4 h; ^6 M; X* H3 r% m/ |
  7. #   define TIMEOUT_CNT    (1000000ul)5 Y0 l/ c0 F* u+ d" W
  8. #endif
    1 g* J+ R* h4 J+ F

  9. # `& b- G' V. @2 `3 N* C
  10. extern bool serial_in(uint8_t *pchByte);- p( Q7 J" F5 h# N" V

  11. / N& b. S5 o( u  G$ L) Q; ^
  12. #define READ_BYTE_RESET_FSM() \
    ' C" a. h; \- M, ~
  13.     do {s_tState = START;} while(0)1 K% G1 k$ M( ?2 l: [7 c
  14. fsm_rt_t read_byte(uint8_t *pchByte)# @  E& ]4 |8 K! n9 x# L
  15. {- E2 }4 e9 K+ d) Z, [* D
  16.     static enum {/ ~* c" y' h# x- m4 h
  17.         START = 0,- ^) K7 O1 l8 X; ]- z  r
  18.         READ_BYTE,
    1 C, E" F3 k% W$ E
  19.         IS_TIMEOUT,
    $ D6 Z1 S/ A  ?5 ^
  20.     } s_tState = {START};
    : H5 L3 v5 f7 Y9 U: s$ n' ]8 T' \
  21.     static uint32_t s_wCounter;8 m6 K: h9 ]; n7 `, A
  22.     if (NULL == pchByte) {, a, t9 `' d2 A
  23.         READ_BYTE_RESET_FSM();+ g5 e. [' t7 \$ u4 ~. u
  24.         return fsm_rt_err;   //!< 检测到无效的输入参数
    $ C2 n/ R7 {7 n) {
  25.     }
    9 b1 d5 N% {; ]: d; `

  26. 1 C1 I, p5 [# P+ `
  27.     switch (s_tState) {
    , f6 ]3 a3 K- v. y' }# J0 Y  ~
  28.         case START:
    3 [& A2 Q$ k7 t- B3 X3 D5 ]
  29.             s_wCounter = TIMEOUT_CNT;
    & T6 b- s  q' @8 G% J8 P, r
  30.             s_tState++;8 P6 e& f; K0 x' _
  31.             //break;. `4 b1 S$ W: {1 I
  32.         case READ_BYTE:
    1 u& K% [3 q! [
  33.             if (serial_in(pchByte)) {
    0 e' m! Y8 o4 n" O1 [2 ~& T( [
  34.                 READ_BYTE_RESET_FSM();
    4 G3 Y8 v' i. @% S) I4 M
  35.                 return fsm_rt_cpl;6 Y/ A; O0 k" s; q7 p$ b) O7 n
  36.             }            
    : e# x* b6 o4 ?, ~+ q# W7 ~  l
  37.             s_wCounter--;
    ) g+ {; P' Z' m2 g/ \
  38.             s_tState = IS_TIMEOUT;3 D, }9 ^) y, c8 t7 b9 H
  39.             //break;            
    ( y8 ]0 T0 |7 c" B
  40.         case IS_TIMEOUT:
    6 d( W( F6 {" _/ x
  41.             if (0 == s_wCounter) {& G8 u3 S1 \$ x' l; ^
  42.                 READ_BYTE_RESET_FSM();
    8 x  u6 w2 {5 ^# G
  43.                 return (fsm_rt_t) fsm_rt_timeout;, i* w- Q, y$ p
  44.             }
    1 d/ t4 [2 H9 v/ L  ^" ]  u! Y
  45.             s_tState = READ_BYTE;
    0 i$ }; L7 m. v0 I4 @8 e7 H8 U
  46.             break;4 h/ ^8 c: x! Q4 w
  47.     }    ; p3 L4 E5 p( y' `# U3 z! k
  48.     3 g: R* ]) ^+ m, u6 H
  49.     return fsm_rt_on_going;
    7 {  p% V2 o+ w" z
  50. }
复制代码
/ A' o" h, T  g! ?8 W
这个代码有几个细节值得大家注意:
4 N1 Q/ O6 O, B' Q; U! m
  • fsm_rt_timeout 是一个额外定义的枚举,其实我们并不需要给它配备一个所谓的类型——毕竟只是拿它当一个常数用,直接用匿名枚举就行了;
  • fsm_rt_timeout 本质上是属于匿名枚举的,因此作为兼容fsm_rt_t 的值返回时,有些编译器还是会报告 warning——提示我们返回值并不是 fsm_rt_t 的一部分——这里我们直接使用强制类型转换让编译器“闭嘴即可”;
  • 状态函数需要用户传入一个指针 pchByte,容易发现,如果传入值是NULL,整个状态机就无法正常工作了,因而视作错误,需要返回负数错误码;又由于这里我们很懒,没有定义专门定义这一情况的错误码,因此以 fsm_rt_err 来凑数。一般来说错误码的返回值是不用在状态图上进行明确标注的; b& R# N# a3 V: W0 `7 Z
    7 U' V; D6 z4 p" ^) x: I
  r& i* l$ N4 H3 g4 n0 _. J6 V4 C3 ]
【不要小看了状态的定义】

与返回值类似,状态机的状态也可以用枚举来定义,但这里有一些细节是需要注意的:: ~" J3 H9 F* `
  • 由于定义状态的枚举实际上是状态机函数的“私有财产”,也就是说只有状态机函数会“使用且只用一次”,因此:

    ) ~: L$ `& D6 g5 l+ t  n- B
    • 没有必要为其使用 typedef 来定义一个类型;
    • 应该放在状态机函数的内部——由花括号限制枚举的作用范围;
    • 由于这一枚举类型的作用范围被限制在了函数内部,因此状态机之间不存在“重名”或者“命名空间污染”的问题——换句话说,

      ( y) m3 c6 T/ K5 i
      • 每个状态的名称都可以尽可能的简单;
      • START在每个状态机函数里都可以被定义一次,而且永远叫START
        # N2 E" t2 Q& p# O$ s2 O& ^
  • 状态的命名上应该尽可能以状态图上的状态名为“蓝本”;
  • 状态名应该尽可能的有意义,而不是像STATE_ASTATE_B, ...STATE_X 这样“用一个英文字母序号”去代表“0,1,2...n这样的数字序号”——二者无论是谁都没有为“状态是做什么的”提供任何有意义的信息。相对的,例如 READ_BYTEIS_TIMEOUT 这样的名称就非常简洁明了。1 X4 b9 D3 o* W5 j

    - p0 Q' {* r% K" }' U

6 w2 I" x8 s& a  l
以前面read_byte状态机代码为例,一些错误的或者说不推荐的做法为:
  1. - \2 d+ D/ C. [) L
  2. //!< 错误一:只用一次的枚举,没必要定义类型! l# U0 e  i1 I/ ~
  3. //!< 错误二:这个枚举是 read_byte 的私有财产,应该放到函数内部+ G1 {: ~% J  o/ H
  4. typedef enum {
    6 w1 Q1 V' m1 Z7 e6 n
  5.     FSM_RB_START = 0,  //!< 不推荐一:没必要加前缀
    0 g+ @, v) n5 l
  6.     FSM_RB_STATE_A,    //!< 不推荐二:用字母序号替代数字序号,脱裤子放屁,完全没提供任何有意义的信息
    ' |9 W; p# ^: {/ _5 z, R+ a3 a3 Y! i1 k
  7.     FSM_RB_STATE_B,
    2 S# G# T. V. J  j/ B
  8. } read_byte_state_t;: S3 Z) P" e. k( _

  9. * i( |7 t0 u2 `; R: j
  10. fsm_rt_t read_byte(uint8_t *pchByte). D; r9 D4 D/ K: H" Y3 g2 P
  11. {
      m  d% s% |- K0 ~
  12.     static read_byte_state_t s_tState = {FSM_RB_START};% f. a& u. p4 W# u
  13.     ...
    ' q/ m% [4 L4 m( `/ X
  14. }
复制代码
) u& j2 H8 H3 K0 U" U8 X8 M
作为对比,正确的做法如下:; X' i. W! N4 b# ~4 G2 M

  1. / P2 u, F# ]: r" S5 }1 F
  2. fsm_rt_t read_byte(uint8_t *pchByte)2 @. v7 ~* x4 A5 S
  3. {
    2 K/ {; t9 Y0 |9 m  ]7 B7 u
  4.     static enum {5 y. e( U% Y5 L; E  q
  5.         START = 0,
    % f1 p% p+ w" Z+ M; ~# k
  6.         READ_BYTE,+ P( `: c3 F# _* w! {1 H0 s
  7.         IS_TIMEOUT,+ m4 i* v2 C0 Y; Y
  8.     } s_tState = {START};  o* L3 e5 S% N% W4 w. h
  9.     ...
    , i2 R" {) \2 ~
  10. }
复制代码
# {+ ]: R* r6 z5 g4 W: @
4 P9 K) y7 m* E6 [& t( b5 V
【START不是状态】

如果你认真阅读《从零开始的状态机漫谈(1)——万物之始的语言》并观察状态图会发现:START是状态机的起点、同时也兼任跃迁条件——换句话说:
  • START 不是一个可以保持的状态,它也不能被看作一个特殊的状态;因此,翻译代码的时候,虽然START是0,但在对应的case分支中,一定要自动切换到下一个状态而绝对不能在此停留——这就是纪律!
  • 另外一个“START不能被当做状态来使用”的原因是,start作为一个跃迁条件,它是可以拥有“发生跃迁时执行且只执行一次的动作的”——又由于START是处于复位状态的状态机第一次执行时的起点,因此START所携带的执行动作一般用作状态机的初始化——比如初始化状态机所使用的变量等等
  • 如果状态机需要动态申请资源,比如malloc,考虑到失败的可能,如果允许重试,则这类资源分配代码就不能放置在START中,因为我们说过,START不是状态——在状态机复位之前不应该重复执行;如果分配失败被视作错误,会返回负数的错误码,并复位状态机,则允许将这类资源分配代码放置到START中——因为逻辑上我们遵守了规则。
    , ^4 ?+ x: k+ C" ?& H7 k

% j5 {: B( B- Z4 o) G
作为例子,不要尝试干出这种事情:
微信图片_20210226150905.png

  1. & {  A1 ], n% G! J' }- I
  2. fsm_rt_t example(...)* }$ V: s' Z" E8 O- E0 g& O
  3. {/ r' m) B* p  n, f0 a- ^
  4.     static enum {
    6 _; M! ~0 \# ]& Q  m
  5.         START = 0,
    " q5 W+ B5 }- x, r+ K2 N9 \
  6.         ..., R; a; W9 K3 \) }
  7. 6 F6 @% h- M/ e& e' x# z0 K0 B( k
  8.     } s_tState = {START};
      c" n) B1 ]1 A
  9.     static uint32_t s_pchArray;0 ]( j  O7 u6 d4 R, a7 c

  10. " p  t  O' [. K4 a- I7 s" k

  11. ; f: G4 C% `4 ^: s- X
  12.     switch (s_tState) {
    ' D9 ~. F6 H: w
  13.         case START:
    . t) Z/ ^, S" \6 d0 h  m3 [
  14.             s_pchArray = malloc(64);
    / C0 b, M- g) y/ l( m, W
  15.             if (NULL == s_pchArray) {$ G: I2 A( h1 L, J* ?
  16.                 break;% w! {$ s! H, b& E
  17.             }
    , _; W( |/ Z! q
  18.             s_tState++;
    * `3 Y& @; L8 v7 T7 a
  19.     ...  d2 i! k9 g3 ?" a
  20. }
复制代码
' P+ \8 {4 h% ^
+ U$ p$ g, U: X+ g
应该专门给这类允许重试的资源分配一个独立的状态:$ z" r! f0 R  u
微信图片_20210226150908.png

  1. 0 ]+ V! T: ]: E
  2. fsm_rt_t example(...)
    4 n, ^2 K0 p, C# |2 x# v
  3. {
    6 W7 t. H0 ?1 W- c$ z6 T
  4.     static enum {2 s4 ]. b3 t5 V' D8 {! i5 @' ?& }
  5.         START = 0,
    * W) U3 h# e) h
  6.         MALLOC,6 K# i. d5 G1 G' t, @
  7.         ...* t" R+ ^4 R) x3 T5 I8 ?- d+ S
  8.     } s_tState = {START};: d6 i; z2 }9 I! Q
  9.     static uint32_t s_pchArray;2 j5 }8 _1 f$ r! G
  10. 7 U# v8 u+ f' E7 N: n/ e0 C, \
  11.     switch (s_tState) {
    ( L6 ]" h& q. G3 K# x+ a; X! G
  12.         case START:
    6 _& R! V" A& r3 {% d. y1 n& X) {
  13.             s_tState++;
    0 J8 n/ E) }' J' {+ |  E
  14.             //break;
    ( d# C$ r5 ]6 D2 V9 K8 a- G
  15.         case MALLOC:
    7 t" I' A! \6 |& j7 q
  16.             s_pchArray = malloc(64);7 `! n. G! }* G7 m
  17.             if (NULL == s_pchArray) {
    9 l! [" t& W. B4 }0 _' I, T
  18.                 break;
    # F$ F" h! _( w0 a4 _6 f" V
  19.             }+ u% e; g! }9 p' r
  20.             s_tState = XXXXX;
    / ]% J  ], }4 v+ x+ r5 @% y8 z' W
  21.             break;4 I1 t8 A% H" ?9 j) J% \' N
  22.             
    - ^. E0 }2 @- g! w* |$ Y. I; N, {
  23.     ...9 x0 X: ^$ W4 Z3 r( S& g1 f( U
  24. }
复制代码

2 [& Y* a5 w# p0 B5 E7 w

" h8 K' f, F9 [. ?* Y8 d$ K
【如何实现从状态到代码的“无脑翻译”】

经过了这么多的准备工作,我们终于进入到具体状态的翻译这一环节中了。事实上,状态的翻译比你想象的要简单,针对下面的一个状态示意图:
微信图片_20210226150911.png
它可以简单的对应到下面的代码结构:

  1. 3 K, r' W6 G6 o% b- p
  2.     case <状态名称>:" M. m& n/ t, ]0 t
  3.         状态具体执行了什么有返回值d的动作;$ ?+ H) v/ |! |7 l6 z
  4.         if (返回值 满足 跃迁条件1) {6 C4 O1 E" U9 l
  5.             s_tState = XXXXX;   //!< 执行状态跃迁6 h7 t$ `4 k$ ~4 v# K
  6.             执行对应的跃迁动作8 W, G7 |4 U4 {
  7.         } else if (返回值 满足 跃迁条件2) {
    7 ?5 H4 ^; r- a. Z3 M$ Q: n
  8.             s_tState = XXXXX;   //!< 执行状态跃迁8 U$ |2 B4 {( l+ o2 [
  9.             执行对应的跃迁动作        9 ]8 z7 |9 S$ Q0 l1 _0 U
  10.         }
    " J+ l4 |+ a, \: Z* ~
  11.         break;
复制代码

9 s; @$ v! s. j: D# s5 {
一般来说,我们既可以用上面的公式无脑翻译代码,也可以进行必要的等效改编。比如,对于READ_BYTE状态:
/ `- D2 s8 q/ Z
微信图片_20210226150914.png
我们可以无脑翻译成如下的代码:) U- _2 Y+ F' l
  1. * p: g7 i$ C, ]8 I* W6 d$ j
  2.         case READ_BYTE:/ Q0 |" j. ?  e" o! r  W7 u
  3.             if (serial_in(pchByte)) {
    & j0 T& b: X7 N& ~6 H
  4.                 READ_BYTE_RESET_FSM();1 F3 w& ]2 U4 o: ?4 y
  5.                 return fsm_rt_cpl;1 y% \8 s3 M) I* S+ B& X
  6.             }            ) P* z0 ?6 W; r5 h' ~
  7.             s_wCounter--;: v& }6 R( A4 I0 O8 |
  8.             s_tState = IS_TIMEOUT;
    " E4 @1 {0 s3 l
  9.             break;  
复制代码
! p: b5 t, Y9 z. m  o3 u; l

, q$ H, M+ v9 H, Z' X0 i
如果我在这里说,状态的翻译并不复杂,一些小伙伴可能会“哼”的冷笑一声,顺手甩出一个“王炸”——“如果一个状态很复杂怎么办”?对于这个问题,我的答案是:: \5 \+ W$ J+ j" ]% \
  • 如果你的状态很复杂,那么一定可以拆分成多个状态彼此配合的形式;
  • 拆分后每个状态都应该功能单一;
  • 拆分后的逻辑应该更加清晰;

    " v4 s$ [9 \* ~- p
, C3 D2 h- J7 e+ ]1 m4 ?
所以,不要问我“一个状态很复杂怎么翻译”,先看看你是不是做了所谓的“超级状态”——尝试把很多事情都在一个状态里做了——如果发生了这种事情,请反思这跟“把所有应用代码都写在超级循环里,而且还不涉及函数调用”有啥区别。最后,关于把“超级状态”拆分成多个简单状态的组合以后可能面临的“所谓”性能优化问题,我们将在本系列后面的文章《从零开始的状态机漫谈(3)——状态机设计原则:清晰!清晰!还是清晰!》为您详细介绍,敬请期待。
, j  _* T6 E% |$ T1 v
【复位是一门大学问】

读到这里,很多小伙伴可能已经在前面的代码中发现了如下的细节:! Y  x2 S5 s  Y3 B. O

  1. 5 ~6 h* ~+ p$ I6 g* F3 E9 V& c
  2. #define READ_BYTE_RESET_FSM() \
    / {) n9 y' \* @1 R2 ~1 u" m
  3.     do {s_tState = START;} while(0)
复制代码
: r9 v( G6 n; |3 S( A) \
或是:
/ ]: q  ~& j/ J0 _# x8 k- ~' g- Z
  1. ! V4 S& l5 y5 ^$ ]* g$ o% H
  2. #define PRINT_HELLO_RESET_FSM() \
    - L& F! Y2 U$ ~7 o
  3.     do {s_tState = START;} while(0)
复制代码
( v* }+ B: E3 S4 {. {
于是心中升起了疑问:如果复位就是把状态变量重新设置为 START
  • 为什么不直接在图上所有要复位的地方直接画一条箭头——跃迁到到第一状态?
  • 为什么不定一个统一的宏,比如叫 RESET_FSM() 就好了,而是给每个状态机都定义一个自己的宏?

    & X+ Z! Z2 L; A* t6 `2 g

9 ~  X& U0 W- V& ^  N" r" y
要回答第一个问题并不困难:
  • 复位并不是普通的状态跃迁,它表示将状态机“重置”——复位后的第一次执行,状态机会从START那里开始,并且完成必要的状态机初始化操作;
  • 统一采用START作为状态机的起点,可以避免第一个状态出现恐怖数量的扇入箭头,从而极大的简化了状态图(你也不想看到蜘蛛网一样密集的箭头吧);
  • 避免了每个扇入的跃迁所拥有的“初始化代码”可能会存在“不同”而导致的代码陷阱——因为我们统一从START进入,因此只要维护一份初始化代码就足够了。
    ; o$ c/ n& ]3 U8 T8 I' B. W& I
! }. M# ^5 Y5 D
对于第二个问题,我们要从更长远的角度来考虑:现阶段的状态机也许很简单,所以复位仅仅是重置状态变量就够了;然而,随着应用结构的复杂,以及状态机翻译方式的改进或者变化,每个状态机函数所需的复位操作可能都是不同的,因此从养成好习惯的角度出发,应该给每一个状态机都配备一个专属的复位宏

7 @! Q7 Q9 W! P8 X6 W, ~" e% O
很多小伙伴在编写状态机的时候,可能会有这样一类要求:即,出于某种原因,应用程序的某些模块需要“从外部”复位某些状态机,换句话说——就是杀死状态机——这其实很类似RTOS里面,杀死某个任务线程的情况。对此我要说说我的看法:
4 C  R& e4 g) t, l7 T/ S% o% A0 O* \$ c
  • 首先,应该尽最大可能避免从状态机外部复位状态机,或者说,状态机的生命周期应该掌控在自己手里。这么做的原因很简单,也很关键,即理论上没有任何人比状态机自己更清楚如何安全而有效的复位一个状态机。如果这么说你不能理解,考虑如下几种情况:
    1 L; c4 l# Z6 l
    • 状态机中可能存在动态分配的资源,状态机自己内部的复位过程中会正确的释放这些资源;而来自外部的“它杀”在杀手掌握的信息不充分的情况下,可能会导致这类资源未被正确释放
    • 状态机非常适合用作各类机械控制,然而,出于机械机构的特殊原因,为了防止损害设备,或者伤害到人员,这类状态机都会根据当前的工作状态,有一套针对性的(通常是不同的)复位序列(甚至某些状态下根本不允许复位),而且复位过程本身也是需要时间的,因此在这种情况下直接由外部进行“他杀”实际上是不可承受之重
      * d2 x1 G3 p  m, u( W; c& \

      1 x* c9 s4 e/ Z* u
  • 其次,应该用“自杀请求”来代替“直接他杀”,即:状态机在设计时即提供一个“复位请求”信号,并在状态机内部适当的状态检测这一信号;外部应用只能通过这一信号来“请求”状态机复位;当复位成功后,状态机应该通过某种手段,比如特定的返回值或者回调函数来告知请求者“复位完成”。
    ( q% d9 W4 @' D5 v
    ! g1 t) J& \8 E+ ^  `% F* z
  o0 D8 A# ~3 [7 F
( z3 h  \+ F) y2 i9 _8 q
【细数那些绝对要杜绝的“骚操作”】

在设计状态机或者翻译switch状态机的过程中,以下常见“骚操作”是应该避免的:* f8 e$ ?+ v* x
  • 在一个函数里塞入多个switch状态机实现——请记住,每个switch状态机都应该有自己专属的一个函数
  • 在 switch 外部添加各类功能性的代码。这种做法,本质上就是模拟了“多线程”,也就是switch状态机逻辑被看作一个“线程”、switch外部的功能代码客观上就充当了另外一个“线程”。这种情况完全可以通过将两份代码拆分到独立的任务函数中,并以某种形式的“任务间通信”完成协调——最终实现一样的功能
  • 把状态变量定义到状态机函数外部,从而方便别人“偷窥”或者“复位”——请参考前面一个章节的内容,用“自杀”替代“它杀”。
    % I: o  H4 K& M# ?

    + ~: D+ [0 \/ L( {
- G7 ^6 J* i9 c7 H
9 J  K/ k. X% t' Z  w  E- x
【后记】

相信对很多人来说,switch状态机都是它们裸机环境下的“制胜法宝”,我并不准备否认这一点,相反,我希望通过这篇文章,能够分享一下我在使用switch方式翻译状态图的一些做法以及背后的思考。希望大家不要误解我——认为我这里介绍的方法就是 switch 状态机编写方式的“权威”,很遗憾的是,如果你有这种想法,那么我在本文开头处所作的努力就化为乌有了——也许状态图的所表达的逻辑是唯一的,但翻译它的方法从来都不是唯一的;同时每一个方法都有自己的利弊,希望大家在讨论喜好的时候,不要动辄就把某一类方法的特点强加到“状态机”整体身上加以评判。
( {/ h* m2 Z5 @9 q. h5 N
5 i+ K1 x6 b& M0 I, x+ |9 m4 S+ {
收藏 评论0 发布时间:2021-2-26 15:19

举报

0个回答

所属标签

关于
我们是谁
投资者关系
意法半导体可持续发展举措
创新与技术
意法半导体官网
联系我们
联系ST分支机构
寻找销售人员和分销渠道
社区
媒体中心
活动与培训
隐私策略
隐私策略
Cookies管理
行使您的权利
官方最新发布
STM32N6 AI生态系统
STM32MCU,MPU高性能GUI
ST ACEPACK电源模块
意法半导体生物传感器
STM32Cube扩展软件包
关注我们
st-img 微信公众号
st-img 手机版