C语言_有限状态机（FSM）

C语言_有限状态机（Finite State Machine）

基本介绍

许多小型或复杂的应用程序都使用有限状态机 (FSM)，C 语言中的有限状态机是嵌入式系统的流行设计模式之一，有限状态机使开发变得容易和顺利。

有很多设备使用事件基态，如咖啡机、自动售货机、POS 设备、门锁系统等。一些 POS 设备使用事件表，在事件表中使用事件处理程序注册事件，通过相关条件触发事件的执行。

本文中，使用C语言创建一个简易的ATM状态机。 ATM 机的状态可以通过即将发生的事件进行更改。ATM状态机包含以下几个状态：

• Idle State
• Card Inserted State
• Pin entered State
• Option Selected State
• Amount Entered State

初始化时，ATM处于闲置状态，之后进入插卡状态，插卡处理完成之后需要用户输入密码，输入密码之后进行相关选项的操作，设置选项完成之后输入金额。创建一个状态机，按照以下步骤进行：

• Gather the information which the user wants.
• Analyze the all gather information and sketch the state transition diagram.
• create a code skeleton of the state machine.
• Make sure the transition (changing state) work properly
• Implement all the required information in the code skeleton of the state machine.
• Test the implemented state machine.

收集需求——>分析需求绘制状态图——>创建代码框架——>确认状态转换是否正确——>编写状态的具体动作——>测试状态机。

实现方法

在C语言中，有两种常用的方式实现基于事件的状态机：一种是通过嵌套的switch case（或者if else）实现，一种是look up table（查表）实现。

look up table 查表法实现有限状态机

结构体数组创建有限状态机是一种比较优雅的方式。状态机的状态和事件封装在一个结构中，并在适当的状态和事件上调用函数指针（事件处理程序），程序的可读性比较好。

#include <stdio.h>
//Different state of ATM machine
typedef enum
{
   
   
	Idle_State,
	Card_Inserted_State,
	Pin_Eentered_State,
	Option_Selected_State,
	Amount_Entered_State,
	last_State
} eSystemState;
//Different type events
typedef enum
{
   
   
	Card_Insert_Event,
	Pin_Enter_Event,
	Option_Selection_Event,
	Amount_Enter_Event,
	Amount_Dispatch_Event,
	last_Event
} eSystemEvent;
//typedef of function pointer
typedef eSystemState(*pfEventHandler)(void);
//structure of state and event with event handler
typedef struct
{
   
   
	eSystemState eStateMachine;
	eSystemEvent eStateMachineEvent;
	pfEventHandler pfStateMachineEvnentHandler;
} sStateMachine;
//function call to dispatch the amount and return the ideal state
eSystemState AmountDispatchHandler(void)
{
   
   
	return Idle_State;
}
//function call to Enter amount and return amount entered state
eSystemState EnterAmountHandler(void)
{
   
   
	return Amount_Entered_State;
}
//function call to option select and return the option selected state
eSystemState OptionSelectionHandler(void)
{
   
   
	return Option_Selected_State;
}
//function call to enter the pin and return pin entered state
eSystemState EnterPinHandler(void)
{
   
   
	return Pin_Eentered_State;
}
//function call to processing track data and return card inserted state
eSystemState InsertCardHandler(void)
{
   
   
	return Card_Inserted_State;
}
//Initialize array of structure with states and e