软件设计之状态机

最新推荐文章于 2024-04-23 14:01:30 发布
最新推荐文章于 2024-04-23 14:01:30 发布
阅读量763 收藏
点赞数
分类专栏： 学习摘录 文章标签： 状态机
软件设计之状态机
2014-05-10       0  个评论    来源：[置顶] 软件设计之状态机  
收藏     我要投稿

一.状态机简单介绍

软件设计中的状态机概念，一般是指有限状态机（英语：finite-state machine，缩写：FSM）又称有限状态自动机，简称状态机，是表示有限个状态以及在这些状态之间的转移和动作等行为的数学模型。

FSM（有限状态机）可以使用UML中的状态机图来表示。也可以使用类似以下格式的状态转移表等等。下面展示最常见的表示：当前状态（B）和事件（Y）的组合指示出下一个状态（C）。

状态转移表

当前状态 →
事件 ↓

状态 A

状态 B

状态 C

事件 X

…

…

…

事件 Y

…

状态 C

…

事件 Z

…

…

…

状态机有两个很重要的概念： 状态、事件。以下是一个CD机的简单例子：

CD机状态转移表

状态 →
事件 ↓

播放

暂停

停止

按播放键

…

播放

播放

按停止键

停止

停止

…

按暂停键

暂停

…

…

通过这个表，我们可以很直观的来理解状态机，如下：

1. 简单的CD机一般有三种状态： 播放、暂停、停止

2. 我们对CD机的操作，就是事件，简单来说有三种事件：按播放、停止、暂停按键。

3.在CD机不同的状态下，发生不同的事件（按不同的按钮），触发的事情以及CD机下一步的状态（即状态转移）是不一样的。

4. 按照以上表格，假如CD机当前状态是“播放”，这时候，我们按播放键，它会保持“播放”状态，不会发生状态转移，如果按暂停键，则会触发状态转移，CD机状态转移为“暂停”状态。同理，按停止键会转移为停止状态。

二.状态机的实现方式

在软件的开发过程中，很多情况下，我们都会涉及到“状态”这个概念，比如监控服务器的软件，服务器会有：‘开机’，‘关机’，‘负载过高’等状态。

执行任务的软件，对于每个任务，会有“队列中”，“准备”，“运行”，“运行完毕”，“失败”等状态，任务在不同的状态下，发生不同的事件，状态迁移和对应的逻辑都是不一样的，比如在“队列中”状态，发生事件“取消任务”，这时候只需要把任务移出队列，并且状态变更为“失败”就行。同样，在“运行”状态时发生事件“取消任务”，则需要做很多工作，比如回收运行任务的资源等。

通常状况下，如果状态很少，可能不会涉及到状态机这个概念。但是如果状态、事件很多，如果设计不好状态机，软件开发到后期会非常吃力。对于后续的维护和升级也是问题。

状态机的实现主要有以下几种方式，这里我都以第一章中CD机的例子来做简单实现说明。

注：这里我主要以python或者C语言写的代码来说明，实际使用中，用任何语言都行，关键是逻辑思维。

1. if...else..... PS:最土最繁琐的方式（个人极不喜欢）

?
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
#!/usr/bin/python
 
class CDStatus:
     RUNNING = 0
     STOP = 1
     PAUSE = 2
 
class CDEvent:
     PRESS_RUNNING = 0
     PRESS_STOP = 1
     PRESS_PAUSE = 2
 
def do_change_stop():
     #TODO someting and change CD status to STOP
     print "Chang CD to 'stop' status"
 
def do_change_running():
     #TODO someting and change CD status to RUNNING
     print "Chang CD to 'running' status"
 
def do_change_pause():
     #TODO someting and change CD status to PAUSE
     print "Chang CD to 'pause' status"
 
 
def dispather(curr_status, event):
     if curr_status == CDStatus.RUNNING:
         if event == CDEvent.PRESS_STOP:
             do_change_stop()
         elif event == CDEvent.PRESS_PAUSE:
             do_change_pause()
     elif curr_status == CDStatus.STOP:
         if event == CDEvent.PRESS_RUNNING:
             do_change_running()
         elif event == CDEvent.PRESS_PAUSE:
             do_change_pause()
     elif curr_status == CDStatus.PAUSE:
         if event == CDEvent.PRESS_RUNNING:
             do_change_running()
         elif event == CDEvent.PRESS_STOP:
             do_change_stop()
     else :
         print "error!"
 
 
def main():
     current_status = CDStatus.STOP
     event = CDEvent.PRESS_RUNNING
 
     dispather(current_status, event)
     return
 
if __name__ == "__main__" :
     main()

可以看到，这个例子极为繁琐，if...else还需要嵌套2层，外层判断状态，里层判断事件，最终通过当前状态和发生的事件，对应“CD机状态迁移表”， 处理事件以及转移状态。

这种方式非常不灵活，因为每增加一个状态，都要加一堆if ..else的判定。


2. switch...case..... python中没有switch语法，可以用dict来代替，这里我用大体的C语言来描述。

下面的代码可以直接编译运行，在dispather中，嵌套了2层switch，类似上面if..else的结构，只不过换成了switch.

?
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
 
 
typedef enum
{
   STOP = 0 ,
   RUNNING,
   PAUSE,
} CD_STATE;
 
 
typedef enum
{
   PRESS_RUNNING = '0' ,
   PRESS_PAUSE = '1' ,
   PRESS_STOP = '2' ,
} CD_EVENT;
 
char state_to_str[ 3 ][ 100 ] = { "STOP" , "RUNNING" , "PAUSE" };
 
//全局变量，用来存储CD当前状态
int current_state = STOP;
 
void do_change_running()
{
   printf( "CD Status from  %s to RUNING\n" , state_to_str[current_state]);
   current_state = RUNNING;
}
 
void do_change_stop()
{
   printf( "CD Status from  '%s' to STOP\n" , state_to_str[current_state]);
   current_state = STOP;
}
 
void do_change_pause()
{
   printf( "CD Status from  '%s' to pause\n" , state_to_str[current_state]);
   current_state = PAUSE;
}
 
int dispather(current_state, event)
{
   switch (current_state)
   {
     case STOP:
       switch (event) {
         case PRESS_RUNNING:
           do_change_running();
           break ;
         case PRESS_PAUSE:
           do_change_pause();
           break ;
         default :
           printf( "CD's state not change\n" );
           break ;
       }
       break ;
     case PAUSE:
       switch (event) {
         case PRESS_RUNNING:
           do_change_running();
           break ;
         case PRESS_STOP:
           do_change_stop();
           break ;
         default :
           printf( "CD's state not change\n" );
           break ;
       }
       break ;
     case RUNNING:
       switch (event) {
         case PRESS_PAUSE:
           do_change_pause();
           break ;
         case PRESS_STOP:
           do_change_stop();
           break ;
         default :
           printf( "CD's state not change\n" );
           break ;
       }
       break ;
     default :
       printf( "Error! no such status!\n" );
       break ;
   }
}
 
 
int main ()
{
   char ch = '0' ;
 
   printf ( "请输入数字操作CD机(0:RUNNING, 1:PAUSE, 2:STOP):\n" );
   while ( 1 )
   {
     ch = getchar();
     if (ch == '\n' )
     {
     }
     else if ((ch < '0' ) || (ch > '3' ))
     {
       printf ( "非法输入，请重新输入!\n" );
       continue ;
     }
     else
     {
       char event = ch;
       dispather(current_state, event);
       printf ( "请输入数字操作CD机(0:RUNNING, 1:PAUSE, 2:STOP):\n" );
     }
   }
   return 0 ;
}
</string.h></stdlib.h></stdio.h>

3. 函数指针法，这种方法是我最常用的，也是最喜欢的。所以这里我会分别贴出C和python的代码，详细讲解。

仔细观察第一章中的“CD机状态转换图”， 它其实就是一个二维矩阵结构，二维矩阵结构对应到数据结构中，无非就是二维数组。在状态转换时，都有对应的逻辑处理，所以，我们完全可以使用 “二维函数指针”来实现状态转换图。这里我没有使用二维数组，使用了结构体数组，这种实现更为直观。

如果有新的状态加入，只需要在state_mechine这个数组中加入新的状态，事件以及处理函数即可。

?
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
 
 
typedef enum
{
   STOP = 0 ,
   RUNNING,
   PAUSE,
   MAX_STATE,
} CD_STATE;
 
 
typedef enum
{
   PRESS_RUNNING = 0 ,
   PRESS_PAUSE,
   PRESS_STOP,
   MAX_EVENT,
} CD_EVENT;
 
char state_to_str[ 3 ][ 100 ] = { "STOP" , "RUNNING" , "PAUSE" };
 
 
struct CD_STATE_MECHINE
{
   int state;
   int event;
   void (*func)(unsigned char *);
};
 
void do_change_running(unsigned char * user_data);
void do_change_stop(unsigned char * user_data);
void do_change_pause(unsigned char * user_data);
 
struct CD_STATE_MECHINE state_mechine[] = {
   {RUNNING, PRESS_RUNNING, NULL},
   {RUNNING, PRESS_STOP, do_change_stop},
   {RUNNING, PRESS_PAUSE, do_change_pause},
   {PAUSE, PRESS_RUNNING, do_change_running},
   {PAUSE, PRESS_STOP, do_change_stop},
   {PAUSE, PRESS_PAUSE, NULL},
   {STOP, PRESS_RUNNING, do_change_running},
   {STOP, PRESS_STOP, NULL},
   {STOP, PRESS_PAUSE, do_change_pause},
   {- 1 , - 1 , NULL},
};
 
 
//全局变量，用来存储CD当前状态
int current_state = STOP;
 
void do_change_running(unsigned char * user_data)
{
   printf( "CD Status from  %s to RUNING\n" , state_to_str[current_state]);
   current_state = RUNNING;
}
 
void do_change_stop(unsigned char * user_data)
{
   printf( "CD Status from  '%s' to STOP\n" , state_to_str[current_state]);
   current_state = STOP;
}
 
void do_change_pause(unsigned char * user_data)
{
   printf( "CD Status from  '%s' to pause\n" , state_to_str[current_state]);
   current_state = PAUSE;
}
 
int dispather(current_state, event)
{
   int i = 0 ;
   for (i = 0 ; state_mechine[i].state != - 1 ; i++)
   {
     if (current_state == state_mechine[i].state && event == state_mechine[i].event)
     {
       void (*func)(unsigned char *);
       func = state_mechine[i].func;
       if (func != NULL)
       {
         func(NULL);
       }
       else
       {
         printf( "state not change!\n" );
       }
       break ;
     }
   }
}
 
 
int main ()
{
   char ch = '0' ;
 
   printf ( "请输入数字操作CD机(0:RUNNING, 1:PAUSE, 2:STOP):\n" );
   while ( 1 )
   {
     ch = getchar();
     if (ch == '\n' )
     {
     }
     else if ((ch < '0' ) || (ch > '3' ))
     {
       printf ( "非法输入，请重新输入!\n" );
       continue ;
     }
     else
     {
       int event = ch - '0' ;
       dispather(current_state, event);
       printf ( "请输入数字操作CD机(0:RUNNING, 1:PAUSE, 2:STOP):\n" );
     }
   }
   return 0 ;
}
</string.h></stdlib.h></stdio.h>




hhh1108
关注
  • 0
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
软件设计开发笔记1：基于状态机的程序设计
木南创智
02-19 1260
  在编码实现的过程中，我们会经常使用到条件判断结构，而且使用起来很方便。但是在需要转移的状态比较多，或是条件比较复杂时，我们就可能需要很长的条件判断结构来处理。不过，过于复杂的条件判断结构会给代码的编写和维护带来很大的困扰，所以我们希望探索其他的方法来简化这类条件结构。 1、原理概述   条件判断在代码实现中非常有用，有时候甚至是必不可少的。但过于复杂的条件结构却会让程序逻辑变得冗长而繁琐，而在某些情况下我们希望采取方法避免这一情况出现。 1.1、问题提出   在项目开发中经常会遇到if/esle语句以及
用状态机进行软件设计用状态机进行软件设计
11-11
用状态机进行软件设计用状态机进行软件设计用状态机进行软件设计用状态机进行软件设计用状态机进行软件设计用状态机进行软件设计用状态机进行软件设计用状态机进行软件设计
基于有限状态机的工控系统软件设计
02-03
1.引言1.1工控软件的一般问题工控软件设计可分为基于控制环和基于实时操作系统两大类。控制环是把各个功能模块连接成首尾相接的环状结构。其特点为任何一个功能模块都不能出现死循环，甚至循环次数太多的循环语句都...
使用状态机设计数字电源
01-13
电源设计人员通常不是经验丰富的软件工程师。 但在数字电源项目中，通常会在开发团队中增加一名软件工程师。 经验表明，由电源和软件共同开发电源可能会产生一些复杂问题。  这两者之间的交流可能导致误解，并终...
FSM
weixin_34072159的博客
05-06 159
一.状态机简单介绍 软件设计中的状态机概念，一般是指有限状态机（英语：finite-state machine，缩写：FSM）又称有限状态自动机，简称状态机，是表示有限个状态以及在这些状态之间的转移和动作等行为的数学模型。   FSM（有限状态机）可以使用UML中的状态机图来表示。也可以使用类似以下格式的状态转移表等等。下面展示最常见的表示：当前状态（B）和事件（Y）的组合指示出下一个状态（...
用状态机原理进行软件设计
01-27
参考“嵌入式系统的微模块化程序设计”一书的编程实践讲解
软件状态机图以及具体应用
07-29
软件状态机图，分：转换，事件，怎么绘制状态机图，以及状态机图的具体应用
状态机(有限状态自动机 FSM)介绍以及常用状态机种类对比
黄嚯嚯
10-20 7472
状态机概念, 为什么要使用状态机
状态机简介：理解和实现编程中的状态转换
最新发布
fudaihb的博客
04-23 2814
状态机（State Machine）是一种数学模型和计算机科学中的抽象概念，它描述了对象在其生命周期中的状态如何根据输入或事件而转换。简单来说，状态机是一个可以表示对象状态及其状态之间转换的框架或图形表示。 在日常生活和软件开发中，我们经常会遇到需要管理和跟踪对象或系统状态的情况。例如，自动售货机、电梯控制系统、游戏角色状态等都可以通过状态机来清晰、高效地描述和管理。
设计模式 状态机
baiiu
02-19 1239
本文梳理状态机概念，在实操中状态机和类似，只是被封装起来，可以很方便的实现状态初始化和状态转换。
什么是状态机
qq_54357381的博客
02-08 849
状态机的概念
嵌入式软件架构设计-状态机
嵌入式Linux
02-10 465
点击上方蓝色字体了解更多的嵌入式编程实用技能。如果你觉得该文章对你有帮助，欢迎点赞+关注 前言 功能业务代码写多了，回看代码会发现用if-else if-else用的越来越多，因为有很多场景需要区分，不同场景下的功能不一样，因此需要通过if做判断，场景一旦多了起来起来，用if-else if-else就会越来越多。这里的if-else if-else通常是用来区分不同场景下的功能实现，和上篇提到的...
状态机总结（简洁）
quanqueen的博客
11-18 2865
状态机简写为 FSM（Finite State Machine），也称为同步有限状态机，我们一般简称为状态机，之所以说“同步”是因为状态机中所有的状态跳转都是在时钟的作用下进行的，而“有限”则是说状态的个数是有限的。状态机的每一个状态代表一个事件，从执行当前事件到执行另一事件我们称之为状态的跳转或状态的转移，我们需要做的就是执行该事件然后跳转到一下时间，这样我们的系统就“活”了，可以正常的运转起来了。
软件设计模式之路-----状态模式
qq_42193262的博客
09-29 179
在生活中，我们经常能有时会感受到，对象的行为跟她的心情有关系。她开心时你跟她开开玩笑，她能跟你打闹，要是她不开心时，你做相同的事，你可能是在玩火。女人嘛难免有几天不开心的。既然生活中存在对象在不同状态下有不同的行为，那么在软件系统中同样会有相同的可能，系统来源于生活。对这种一个对象在接收到同一信号，但是根据状态会做出不同动作的编程。简单的可以使用if--else这样处理，但是这样不灵活。所以我们考虑下状态设计模式。 状态（State）模式的定义：对有状态的对象，把复杂的“判断逻辑”提取到不同的状...
软件设计模式学习（二十四）状态模式
低吟不作语的博客
06-06 599
状态模式用于解决系统中复杂对象的状态转换以及不同状态下行为的封装问题 模式动机 很多情况下，一个对象的行为取决于一个或多个动态变化的属性，这样的属性叫做状态。一个对象可以拥有多个状态，这些状态可以相互转换，当对象状态不同时，其行为也有所差异。 假设一个人就是对象，人根据心情不同会有很多状态，比如开心和伤心，这两种状态可以相互转换。开心的人可能会突然接到女朋友的分手电话，然后哭得稀里哗啦（醒醒！你哪来的女朋友？），过了一段时间后，又可能因为中了一百万彩票而欢呼雀跃。而且不同状态下人的行为也不同，有些人..
时序(四)----有限状态机FSM
sinat_25887055的博客
09-09 1329
一、基本概念     1.一个有限状态的组成 M位输入，N为输出和K位状态，同时还具有一个时钟信号和可选的复位信号。包含两个组合逻辑块：下一状态的逻辑(next state logic)和输出逻辑(output logic)以及一组用于存储状态的寄存器。      2.运作方式 在每一个时钟沿，有限状态机进入下一状态，这个下一状态是根据当前状态和输入值计算和出来的。
"通信软件设计与状态机程序实践
本文主要介绍了通信软件设计方法中的状态机程序设计与无状态协议程序设计。该文档共有61张幻灯片，讲授的内容包括LINUX概况、LINUX下C语言程序编译和调试、LINUX开发环境学习、通信系统和通信软件、基于TCP-IP的主机...

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值