星標「嵌入式大雜燴」，一起進步！

編程學習筆記，同時，公眾號內包含大量的學習資源。歡迎關注，一同交流學習，共同進步！" data-from="0">來源：https://blog.csdn.net/qq_36969440/article/details/110387716

狀態(tài)機基本術語

現態(tài)：是指當前所處的狀態(tài)。條件：又稱為“事件”，當一個條件被滿足，將會觸發(fā)一個動作，或者執(zhí)行一次狀態(tài)的遷移。動作：條件滿足后執(zhí)行的動作。動作執(zhí)行完畢后，可以遷移到新的狀態(tài)，也可以仍舊保持原狀態(tài)。

動作不是必需的，當條件滿足后，也可以不執(zhí)行任何動作，直接遷移到新狀態(tài)。次態(tài)：條件滿足后要遷往的新狀態(tài)?！按螒B(tài)”是相對于“現態(tài)”而言的，“次態(tài)”一旦被激活，就轉變成新的“現態(tài)”了。

傳統(tǒng)有限狀態(tài)機Fsm實現方法

如圖，是一個定時計數器，計數器存在兩種狀態(tài)，一種為設置狀態(tài)，一種為計時狀態(tài)

設置狀態(tài)

“ ” “-” 按鍵對初始倒計時進行設置 當計數值設置完成，點擊確認鍵啟動計時 ，即切換到計時狀態(tài)

計時狀態(tài)

按下“ ” “-” 會進行密碼的輸入?！?”表示1 ,“-”表示輸入0 ，密碼共有4位?

確認鍵：只有輸入的密碼等于默認密碼，按確認鍵才能停止計時，否則計時直接到零，并執(zhí)行相關操作

嵌套switch

??????/***************************************
??????1.列出所有的狀態(tài)
??????***************************************/
??????typedef?enum{
??????????SETTING,
??????????TIMING
??????}STATE_TYPE;
??????/***************************************
??????2.列出所有的事件
??????***************************************/
??????typedef?enum{
?????????UP_EVT,
??????????DOWN_EVT,
??????????ARM_EVT,
??????????TICK_EVT
??????}EVENT_TYPE;
??????/***************************************
??????3.定義和狀態(tài)機相關結構
??????***************************************/
??????struct??bomb
??????{
??????????uint8_t?state;
??????????uint8_t?timeout;
??????????uint8_t?code;
??????????uint8_t?defuse_code;
??????}bomb1;
??????/***************************************
??????4.初始化狀態(tài)機
??????***************************************/
??????void?bomb1_init(void)
??????{
??????????bomb1.state?=?SETTING;
??????????bomb1.defuse_code?=?6;????//0110?
??????}
??????/***************************************
??????5.?狀態(tài)機事件派發(fā)
??????***************************************/
??????void?bomb1_fsm_dispatch(EVENT_TYPE?evt?,void*?param)
??????{
??????????switch(bomb1.state)
??????????{
??????????????case?SETTING:
??????????????{
??????????????????switch(evt)
??????????????????{
??????????????????????case?UP_EVT:????//?" "???按鍵按下事件
????????????????????????if(bomb1.timeout60)?? bomb1.timeout;
??????????????????????????bsp_display(bomb1.timeout);
??????????????????????break;
??????????????????????case?DOWN_EVT:??//?"-"???按鍵按下事件
??????????????????????????if(bomb1.timeout?>?0)??--bomb1.timeout;
??????????????????????????bsp_display(bomb1.timeout);
??????????????????????break;
??????????????????????case?ARM_EVT:???//?"確認"?按鍵按下事件
??????????????????????????bomb1.state?=?TIMING;
??????????????????????????bomb1.code??=?0;
??????????????????????break;
??????????????????}
??????????????}?break;?
??????????????case?TIMING:
??????????????{
??????????????????switch(evt)
??????????????????{
??????????????????????case?UP_EVT:????//?" "???按鍵按下事件
?????????????????????????bomb1.code?=?(bomb1.code?<<1)?|0x01;
??????????????????????break;
??????????????????????case?DOWN_EVT:??//?"-"???按鍵按下事件
??????????????????????????bomb1.code?=?(bomb1.code?<<1);?
??????????????????????break;
??????????????????????case?ARM_EVT:???//?"確認"?按鍵按下事件
??????????????????????????if(bomb1.code?==?bomb1.defuse_code){
??????????????????????????????bomb1.state?=?SETTING;
??????????????????????????}
??????????????????????????else{
???????????????????????????bsp_display("bomb!")
??????????????????????????}
??????????????????????break;
??????????????????????case?TICK_EVT:
??????????????????????????if(bomb1.timeout)
??????????????????????????{
??????????????????????????????--bomb1.timeout;
??????????????????????????????bsp_display(bomb1.timeout);
??????????????????????????}
??????????????????????????if(bomb1.timeout?==?0)
??????????????????????????{
??????????????????????????????bsp_display("bomb!")
??????????????????????????}
??????????????????????break;
??????????????????}???
??????????????}break;
??????????}
??????}


優(yōu)點：

• 簡單，代碼閱讀連貫，容易理解

缺點

• 當狀態(tài)或事件增多時，代碼狀態(tài)函數需要經常改動，狀態(tài)事件處理函數會代碼量會不斷增加

• 狀態(tài)機沒有進行封裝，移植性差。

• 沒有實現狀態(tài)的進入和退出的操作。進入和退出在狀態(tài)機中尤為重要

• 進入事件：只會在剛進入時觸發(fā)一次，主要作用是對狀態(tài)進行必要的初始化

• 退出事件：只會在狀態(tài)切換時觸發(fā)一次 ，主要的作用是清除狀態(tài)產生的中間參數，為下次進入提供干凈環(huán)境

狀態(tài)表

二維狀態(tài)轉換表

狀態(tài)機可以分為狀態(tài)和事件 ，狀態(tài)的躍遷都是受事件驅動的，因此可以通過一個二維表格來表示狀態(tài)的躍遷。

(*) 僅當( code == defuse_code) 時才發(fā)生到setting 的轉換。

??????/*1.列出所有的狀態(tài)*/
??????enum
??????{
??????????SETTING,
??????????TIMING,
??????????MAX_STATE
??????};
??????/*2.列出所有的事件*/
??????enum
??????{
??????????UP_EVT,
??????????DOWN_EVT,
??????????ARM_EVT,
??????????TICK_EVT,
??????????MAX_EVT
??????};
??????
??????/*3.定義狀態(tài)表*/
??????typedef?void?(*fp_state)(EVT_TYPE?evt?,?void*?param);
??????static??const?fp_state??bomb2_table[MAX_STATE][MAX_EVENT]?=
??????{
??????????{setting_UP?,?setting_DOWN?,?setting_ARM?,?null},
??????????{setting_UP?,?setting_DOWN?,?setting_ARM?,?timing_TICK}
??????};
??????
??????struct?bomb_t
??????{
??????????const?fp_state?const?*state_table;?/*?the?State-Table?*/
??????????uint8_t?state;?/*?the?current?active?state?*/
??????????
??????????uint8_t?timeout;
??????????uint8_t?code;
??????????uint8_t?defuse_code;
??????};
??????struct?bomb?bomb2=
??????{
??????????.state_table?=?bomb2_table;
??????}
??????void?bomb2_init(void)
??????{
??????????bomb2.defuse_code?=?6;?//?0110
??????????bomb2.state?=?SETTING;
??????}
??????
??????void?bomb2_dispatch(EVT_TYPE?evt?,?void*?param)
??????{
??????????fp_state??s?=?NULL;
??????????if(evt?>?MAX_EVT)
??????????{
??????????????LOG("EVT?type?error!");
??????????????return;
??????????}
??????????s?=?bomb2.state_table[bomb2.state?*?MAX_EVT? ?evt];
??????????if(s?!=?NULL)
??????????{
??????????????s(evt?,?param);
??????????}
??????}
??????/*列出所有的狀態(tài)對應的事件處理函數*/
??????void?setting_UP(EVT_TYPE?evt,?void*?param)
??????{
??????????if(bomb1.timeout60)?? bomb1.timeout;
??????????bsp_display(bomb1.timeout);
??????}


優(yōu)點

• 各個狀態(tài)面向用戶相對獨立，增加事件和狀態(tài)不需要去修改先前已存在的狀態(tài)事件函數。

• 可將狀態(tài)機進行封裝，有較好的移植性 函數指針的安全轉換 , 利用下面的特性，用戶可以擴展帶有私有屬性的狀態(tài)機和事件而使用統(tǒng)一的基礎狀態(tài)機接口
  typedef?void?(*Tran)(struct?StateTableTag?*me,?Event?const?*e);
void?Bomb2_setting_ARM?(Bomb2?*me,?Event?const?*e);
typedef?struct?Bomb
{
???struct?StateTableTag?*me;??//必須為第一個成員
????uint8_t?private;
}


缺點

• 函數粒度太小是最明顯的一個缺點，一個狀態(tài)和一個事件就會產生一個函數，當狀態(tài)和事件較多時，處理函數將增加很快，在閱讀代碼時，邏輯分散。

• 沒有實現進入退出動作。

一維狀態(tài)轉換表

實現原理：

?typedef?void?(*fp_action)(EVT_TYPE?evt,void*?param);
????
????/*轉換表基礎結構*/
????struct?tran_evt_t
????{
???????EVT_TYPE?evt;
????????uint8_t?next_state;
????};
????/*狀態(tài)的描述*/
????struct??fsm_state_t
????{
????????fp_action??enter_action;??????//進入動作
????????fp_action??exit_action;???//退出動作
????????fp_action??action;???????????
????????
????????tran_evt_t*?tran;????//轉換表
????????uint8_t?????tran_nb;?//轉換表的大小
????????const?char*?name;
????}
????/*狀態(tài)表本體*/
????#define??ARRAY(x)???x,sizeof(x)/sizeof(x[0])
????const?struct??fsm_state_t??state_table[]=
????{
????????{setting_enter?,?setting_exit?,?setting_action?,?ARRAY(set_tran_evt),"setting"?},
????????{timing_enter?,?timing_exit?,?timing_action?,?ARRAY(time_tran_evt),"timing"?}
????};
????
????/*構建一個狀態(tài)機*/
????struct?fsm
????{
????????const?struct?state_t?*?state_table;?/*?the?State-Table?*/
????????uint8_t?cur_state;??????????????????????/*?the?current?active?state?*/
????????
????????uint8_t?timeout;
????????uint8_t?code;
????????uint8_t?defuse_code;
????}bomb3;
????
????/*初始化狀態(tài)機*/
????void??bomb3_init(void)
????{
????????bomb3.state_table?=?state_table;??//指向狀態(tài)表
????????bomb3.cur_state?=?setting;
????????bomb3.defuse_code?=?8;?//1000
????}
????/*狀態(tài)機事件派發(fā)*/
????void??fsm_dispatch(EVT_TYPE?evt?,?void*?param)
????{
????????tran_evt_t*?p_tran?=?NULL;
????????
????????/*獲取當前狀態(tài)的轉換表*/
????????p_tran?=?bomb3.state_table[bomb3.cur_state]->tran;
????????
????????/*判斷所有可能的轉換是否與當前觸發(fā)的事件匹配*/
????????for(uint8_t?i=0;i????????{
????????????if(p_tran[i]->evt?==?evt)//事件會觸發(fā)轉換
????????????{
????????????????if(NULL?!=?bomb3.state_table[bomb3.cur_state].exit_action){
??????????????bomb3.state_table[bomb3.cur_state].exit_action(NULL);??//執(zhí)行退出動作
?????????????}
????????????????if(bomb3.state_table[_tran[i]->next_state].enter_action){
???????????????????bomb3.state_table[_tran[i]->next_state].enter_action(NULL);//執(zhí)行進入動作
????????????????}
????????????????/*更新當前狀態(tài)*/
????????????????bomb3.cur_state?=?p_tran[i]->next_state;
????????????}
????????????else
????????????{
?????????????????bomb3.state_table[bomb3.cur_state].action(evt,param);
????????????}
????????}
????}
????/*************************************************************************
????setting狀態(tài)相關
????************************************************************************/
????void?setting_enter(EVT_TYPE?evt?,?void*?param)
????{
????????
????}
????void?setting_exit(EVT_TYPE?evt?,?void*?param)
????{
????????
????}
????void?setting_action(EVT_TYPE?evt?,?void*?param)
????{
????????
????}
????tran_evt_t?set_tran_evt[]=
????{
????????{ARM?,?timing},
????}
????/*timing?狀態(tài)相關*/



優(yōu)點

• 各個狀態(tài)面向用戶相對獨立，增加事件和狀態(tài)不需要去修改先前已存在的狀態(tài)事件函數。

• 實現了狀態(tài)的進入和退出

• 容易根據狀態(tài)躍遷圖來設計 （狀態(tài)躍遷圖列出了每個狀態(tài)的躍遷可能，也就是這里的轉換表）

• 實現靈活，可實現復雜邏輯，如上一次狀態(tài)，增加監(jiān)護條件來減少事件的數量。可實現非完全事件驅動

缺點

• 函數粒度較?。ū榷S小且增長慢），可以看到，每一個狀態(tài)需要至少3個函數，還需要列出所有的轉換關系。

QP嵌入式實時框架

特點

事件驅動型編程

好萊塢原則：和傳統(tǒng)的順序式編程方法例如“超級循環(huán)”，或傳統(tǒng)的RTOS 的任務不同。絕大多數的現代事件驅動型系統(tǒng)根據好萊塢原則被構造，（Don’t call me; I’ll call you.）

面向對象

類和單一繼承。

工具

QM ，一個通過UML類圖來描述狀態(tài)機的軟件，并且可以自動生成C代碼：

QS軟件追蹤工具：

QEP實現有限狀態(tài)機Fsm

????/*?qevent.h?----------------------------------------------------------------*/
??????typedef?struct?QEventTag?
??????{??
????????QSignal?sig;?????
???????uint8_t?dynamic_;??
??????}?QEvent;
??????/*?qep.h?-------------------------------------------------------------------*/
??????typedef?uint8_t?QState;?/*?status?returned?from?a?state-handler?function?*/
??????typedef?QState?(*QStateHandler)?(void?*me,?QEvent?const?*e);?/*?argument?list?*/
??????typedef?struct?QFsmTag???/*?Finite?State?Machine?*/
??????{?
????????QStateHandler?state;?????/*?current?active?state?*/
??????}QFsm;
??????
??????#define?QFsm_ctor(me_,?initial_)?((me_)->state?=?(initial_))
??????void?QFsm_init?(QFsm?*me,?QEvent?const?*e);
??????void?QFsm_dispatch(QFsm?*me,?QEvent?const?*e);
??????
??????#define?Q_RET_HANDLED?((QState)0)
??????#define?Q_RET_IGNORED?((QState)1)
??????#define?Q_RET_TRAN?((QState)2)
??????#define?Q_HANDLED()?(Q_RET_HANDLED)
??????#define?Q_IGNORED()?(Q_RET_IGNORED)
??????
???????#define?Q_TRAN(target_)?(((QFsm?*)me)->state?=?(QStateHandler)???(target_),Q_RET_TRAN)
??????
??????enum?QReservedSignals
??????{
??????????Q_ENTRY_SIG?=?1,?
????????Q_EXIT_SIG,?
????????Q_INIT_SIG,?
????????Q_USER_SIG?
??????};
??????
??????/*?file?qfsm_ini.c?---------------------------------------------------------*/
??????#include?"qep_port.h"?/*?the?port?of?the?QEP?event?processor?*/
??????#include?"qassert.h"?/*?embedded?systems-friendly?assertions?*/
??????void?QFsm_init(QFsm?*me,?QEvent?const?*e)?
??????{
??????????(*me->state)(me,?e);?/*?execute?the?top-most?initial?transition?*/
???????/*?enter?the?target?*/
????????(void)(*me->state)(me?,?