狀態機基本術語
現態:是指當前所處的狀態。條件:又稱為“事件”,當一個條件被滿足,將會觸發一個動作,或者執行一次狀態的遷移。動作:條件滿足后執行的動作。動作執行完畢后,可以遷移到新的狀態,也可以仍舊保持原狀態。
動作不是必需的,當條件滿足后,也可以不執行任何動作,直接遷移到新狀態。次態:條件滿足后要遷往的新狀態?!按螒B”是相對于“現態”而言的,“次態”一旦被激活,就轉變成新的“現態”了。
傳統有限狀態機Fsm實現方法
如圖,是一個定時計數器,計數器存在兩種狀態,一種為設置狀態,一種為計時狀態
設置狀態
“+” “-” 按鍵對初始倒計時進行設置當計數值設置完成,點擊確認鍵啟動計時 ,即切換到計時狀態
計時狀態
按下“+” “-” 會進行密碼的輸入?!?”表示1 ,“-”表示輸入0 ,密碼共有4位
確認鍵:只有輸入的密碼等于默認密碼,按確認鍵才能停止計時,否則計時直接到零,并執行相關操作
嵌套switch
/*************************************** 1.列出所有的狀態 ***************************************/ typedefenum{ SETTING, TIMING }STATE_TYPE; /*************************************** 2.列出所有的事件 ***************************************/ typedefenum{ UP_EVT, DOWN_EVT, ARM_EVT, TICK_EVT }EVENT_TYPE; /*************************************** 3.定義和狀態機相關結構 ***************************************/ structbomb { uint8_tstate; uint8_ttimeout; uint8_tcode; uint8_tdefuse_code; }bomb1; /*************************************** 4.初始化狀態機 ***************************************/ voidbomb1_init(void) { bomb1.state=SETTING; bomb1.defuse_code=6;//0110 } /*************************************** 5.狀態機事件派發 ***************************************/ voidbomb1_fsm_dispatch(EVENT_TYPEevt,void*param) { switch(bomb1.state) { caseSETTING: { switch(evt) { caseUP_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; caseARM_EVT://"確認"按鍵按下事件 bomb1.state=TIMING; bomb1.code=0; break; } }break; caseTIMING: { switch(evt) { caseUP_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; ??????????} ??????}
優點:
簡單,代碼閱讀連貫,容易理解
缺點
當狀態或事件增多時,代碼狀態函數需要經常改動,狀態事件處理函數會代碼量會不斷增加
狀態機沒有進行封裝,移植性差。
沒有實現狀態的進入和退出的操作。進入和退出在狀態機中尤為重要
進入事件:只會在剛進入時觸發一次,主要作用是對狀態進行必要的初始化
退出事件:只會在狀態切換時觸發一次 ,主要的作用是清除狀態產生的中間參數,為下次進入提供干凈環境
狀態表
二維狀態轉換表
狀態機可以分為狀態和事件 ,狀態的躍遷都是受事件驅動的,因此可以通過一個二維表格來表示狀態的躍遷。
(*) 僅當( code == defuse_code) 時才發生到setting 的轉換。
/*1.列出所有的狀態*/ enum { SETTING, TIMING, MAX_STATE }; /*2.列出所有的事件*/ enum { UP_EVT, DOWN_EVT, ARM_EVT, TICK_EVT, MAX_EVT }; /*3.定義狀態表*/ typedefvoid(*fp_state)(EVT_TYPEevt,void*param); staticconstfp_statebomb2_table[MAX_STATE][MAX_EVENT]= { {setting_UP,setting_DOWN,setting_ARM,null}, {setting_UP,setting_DOWN,setting_ARM,timing_TICK} }; structbomb_t { constfp_stateconst*state_table;/*theState-Table*/ uint8_tstate;/*thecurrentactivestate*/ uint8_ttimeout; uint8_tcode; uint8_tdefuse_code; }; structbombbomb2= { .state_table=bomb2_table; } voidbomb2_init(void) { bomb2.defuse_code=6;//0110 bomb2.state=SETTING; } voidbomb2_dispatch(EVT_TYPEevt,void*param) { fp_states=NULL; if(evt>MAX_EVT) { LOG("EVTtypeerror!"); return; } s=bomb2.state_table[bomb2.state*MAX_EVT+evt]; if(s!=NULL) { s(evt,param); } } /*列出所有的狀態對應的事件處理函數*/ voidsetting_UP(EVT_TYPEevt,void*param) { if(bomb1.timeout60)??++bomb1.timeout; ??????????bsp_display(bomb1.timeout); ??????}
優點
各個狀態面向用戶相對獨立,增加事件和狀態不需要去修改先前已存在的狀態事件函數。
可將狀態機進行封裝,有較好的移植性函數指針的安全轉換 , 利用下面的特性,用戶可以擴展帶有私有屬性的狀態機和事件而使用統一的基礎狀態機接口
typedefvoid(*Tran)(structStateTableTag*me,Eventconst*e); voidBomb2_setting_ARM(Bomb2*me,Eventconst*e); typedefstructBomb { structStateTableTag*me;//必須為第一個成員 uint8_tprivate; }
缺點
函數粒度太小是最明顯的一個缺點,一個狀態和一個事件就會產生一個函數,當狀態和事件較多時,處理函數將增加很快,在閱讀代碼時,邏輯分散。
沒有實現進入退出動作。
一維狀態轉換表
實現原理:
typedefvoid(*fp_action)(EVT_TYPEevt,void*param); /*轉換表基礎結構*/ structtran_evt_t { EVT_TYPEevt; uint8_tnext_state; }; /*狀態的描述*/ structfsm_state_t { fp_actionenter_action;//進入動作 fp_actionexit_action;//退出動作 fp_actionaction; tran_evt_t*tran;//轉換表 uint8_ttran_nb;//轉換表的大小 constchar*name; } /*狀態表本體*/ #defineARRAY(x)x,sizeof(x)/sizeof(x[0]) conststructfsm_state_tstate_table[]= { {setting_enter,setting_exit,setting_action,ARRAY(set_tran_evt),"setting"}, {timing_enter,timing_exit,timing_action,ARRAY(time_tran_evt),"timing"} }; /*構建一個狀態機*/ structfsm { conststructstate_t*state_table;/*theState-Table*/ uint8_tcur_state;/*thecurrentactivestate*/ uint8_ttimeout; uint8_tcode; uint8_tdefuse_code; }bomb3; /*初始化狀態機*/ voidbomb3_init(void) { bomb3.state_table=state_table;//指向狀態表 bomb3.cur_state=setting; bomb3.defuse_code=8;//1000 } /*狀態機事件派發*/ voidfsm_dispatch(EVT_TYPEevt,void*param) { tran_evt_t*p_tran=NULL; /*獲取當前狀態的轉換表*/ p_tran=bomb3.state_table[bomb3.cur_state]->tran; /*判斷所有可能的轉換是否與當前觸發的事件匹配*/ for(uint8_ti=0;ievt==evt)//事件會觸發轉換 { if(NULL!=bomb3.state_table[bomb3.cur_state].exit_action){ bomb3.state_table[bomb3.cur_state].exit_action(NULL);//執行退出動作 } if(bomb3.state_table[_tran[i]->next_state].enter_action){ bomb3.state_table[_tran[i]->next_state].enter_action(NULL);//執行進入動作 } /*更新當前狀態*/ bomb3.cur_state=p_tran[i]->next_state; } else { bomb3.state_table[bomb3.cur_state].action(evt,param); } } } /************************************************************************* setting狀態相關 ************************************************************************/ voidsetting_enter(EVT_TYPEevt,void*param) { } voidsetting_exit(EVT_TYPEevt,void*param) { } voidsetting_action(EVT_TYPEevt,void*param) { } tran_evt_tset_tran_evt[]= { {ARM,timing}, } /*timing狀態相關*/
優點
各個狀態面向用戶相對獨立,增加事件和狀態不需要去修改先前已存在的狀態事件函數。
實現了狀態的進入和退出
容易根據狀態躍遷圖來設計 (狀態躍遷圖列出了每個狀態的躍遷可能,也就是這里的轉換表)
實現靈活,可實現復雜邏輯,如上一次狀態,增加監護條件來減少事件的數量??蓪崿F非完全事件驅動
缺點
函數粒度較?。ū榷S小且增長慢),可以看到,每一個狀態需要至少3個函數,還需要列出所有的轉換關系。
QP嵌入式實時框架
特點
事件驅動型編程
好萊塢原則:和傳統的順序式編程方法例如“超級循環”,或傳統的RTOS 的任務不同。絕大多數的現代事件驅動型系統根據好萊塢原則被構造,(Don’t call me; I’ll call you.)
面向對象
類和單一繼承。
工具
QM ,一個通過UML類圖來描述狀態機的軟件,并且可以自動生成C代碼:
QS軟件追蹤工具:
QEP實現有限狀態機Fsm
/*qevent.h----------------------------------------------------------------*/ typedefstructQEventTag { QSignalsig; uint8_tdynamic_; }QEvent; /*qep.h-------------------------------------------------------------------*/ typedefuint8_tQState;/*statusreturnedfromastate-handlerfunction*/ typedefQState(*QStateHandler)(void*me,QEventconst*e);/*argumentlist*/ typedefstructQFsmTag/*FiniteStateMachine*/ { QStateHandlerstate;/*currentactivestate*/ }QFsm; #defineQFsm_ctor(me_,initial_)((me_)->state=(initial_)) voidQFsm_init(QFsm*me,QEventconst*e); voidQFsm_dispatch(QFsm*me,QEventconst*e); #defineQ_RET_HANDLED((QState)0) #defineQ_RET_IGNORED((QState)1) #defineQ_RET_TRAN((QState)2) #defineQ_HANDLED()(Q_RET_HANDLED) #defineQ_IGNORED()(Q_RET_IGNORED) #defineQ_TRAN(target_)(((QFsm*)me)->state=(QStateHandler)(target_),Q_RET_TRAN) enumQReservedSignals { Q_ENTRY_SIG=1, Q_EXIT_SIG, Q_INIT_SIG, Q_USER_SIG }; /*fileqfsm_ini.c---------------------------------------------------------*/ #include"qep_port.h"/*theportoftheQEPeventprocessor*/ #include"qassert.h"/*embeddedsystems-friendlyassertions*/ voidQFsm_init(QFsm*me,QEventconst*e) { (*me->state)(me,e);/*executethetop-mostinitialtransition*/ /*enterthetarget*/ (void)(*me->state)(me,&QEP_reservedEvt_[Q_ENTRY_SIG]); } /*fileqfsm_dis.c---------------------------------------------------------*/ voidQFsm_dispatch(QFsm*me,QEventconst*e) { QStateHandlers=me->state;/*savethecurrentstate*/ QStater=(*s)(me,e);/*calltheeventhandler*/ if(r==Q_RET_TRAN)/*transitiontaken?*/ { (void)(*s)(me,&QEP_reservedEvt_[Q_EXIT_SIG]);/*exitthesource*/ (void)(*me->state)(me,&QEP_reservedEvt_[Q_ENTRY_SIG]);/*entertarget*/ } } 實現上面定時器例子 #include"qep_port.h"/*theportoftheQEPeventprocessor*/ #include"bsp.h"/*boardsupportpackage*/ enumBombSignals/*allsignalsfortheBombFSM*/ { UP_SIG=Q_USER_SIG, DOWN_SIG, ARM_SIG, TICK_SIG }; typedefstructTickEvtTag { QEventsuper;/*derivefromtheQEventstructure*/ uint8_tfine_time;/*thefine1/10scounter*/ }TickEvt; typedefstructBomb4Tag { QFsmsuper;/*derivefromQFsm*/ uint8_ttimeout;/*numberofsecondstillexplosion*/ uint8_tcode;/*currentlyenteredcodetodisarmthebomb*/ uint8_tdefuse;/*secretdefusecodetodisarmthebomb*/ }Bomb4; voidBomb4_ctor(Bomb4*me,uint8_tdefuse); QStateBomb4_initial(Bomb4*me,QEventconst*e); QStateBomb4_setting(Bomb4*me,QEventconst*e); QStateBomb4_timing(Bomb4*me,QEventconst*e); /*--------------------------------------------------------------------------*/ /*theinitialvalueofthetimeout*/ #defineINIT_TIMEOUT10 /*..........................................................................*/ voidBomb4_ctor(Bomb4*me,uint8_tdefuse){ QFsm_ctor_(&me->super,(QStateHandler)&Bomb4_initial); me->defuse=defuse;/*thedefusecodeisassignedatinstantiation*/ } /*..........................................................................*/ QStateBomb4_initial(Bomb4*me,QEventconst*e){ (void)e; me->timeout=INIT_TIMEOUT; returnQ_TRAN(&Bomb4_setting); } /*..........................................................................*/ QStateBomb4_setting(Bomb4*me,QEventconst*e){ switch(e->sig){ caseUP_SIG:{ if(me->timeout60)?{ ??????????++me->timeout; BSP_display(me->timeout); } returnQ_HANDLED(); } caseDOWN_SIG:{ if(me->timeout>1){ --me->timeout; BSP_display(me->timeout); } returnQ_HANDLED(); } caseARM_SIG:{ returnQ_TRAN(&Bomb4_timing);/*transitionto"timing"*/ } } returnQ_IGNORED(); } /*..........................................................................*/ voidBomb4_timing(Bomb4*me,QEventconst*e){ switch(e->sig){ caseQ_ENTRY_SIG:{ me->code=0;/*clearthedefusecode*/ returnQ_HANDLED(); } caseUP_SIG:{ me->code<<=?1; ?????????me->code|=1; returnQ_HANDLED(); } caseDOWN_SIG:{ me->code<<=?1; ?????????return?Q_HANDLED(); ????????} ????????case?ARM_SIG:?{ ?????????if?(me->code==me->defuse){ returnQ_TRAN(&Bomb4_setting); } returnQ_HANDLED(); } caseTICK_SIG:{ if(((TickEvtconst*)e)->fine_time==0){ --me->timeout; BSP_display(me->timeout); if(me->timeout==0){ BSP_boom();/*destroythebomb*/ } } returnQ_HANDLED(); } } returnQ_IGNORED(); }
優點
采用面向對象的設計方法,很好的移植性
實現了進入退出動作
合適的粒度,且事件的粒度可控
狀態切換時通過改變指針,效率高
可擴展成為層次狀態機
缺點
對事件的定義以及事件粒度的控制是設計的最大難點,如串口接收到一幀數據,這些變量的更新單獨作為某個事件,還是串口收到數據作為一個事件。再或者顯示屏,如果使用此種編程方式,如何設計事件。
QP 實現層次狀態機 Hsm簡介
初始化:
初始化層次狀態機的實現:在初始化時,用戶所選取的狀態永遠是最底層的狀態,如上圖,我們在計算器開機后,應該進入的是開始狀態,這就涉及到一個問題,由最初top(頂狀態)到begin 是有一條狀態切換路徑的,當我們設置狀態為begin如何搜索這條路徑成為關鍵(知道了路徑才能正確的進入begin,要執行路徑中過渡狀態的進入和退出事件)
voidQHsm_init(QHsm*me,QEventconst*e) { Q_ALLEGE((*me->state)(me,e)==Q_RET_TRAN); t=(QStateHandler)&QHsm_top;/*HSMstartsinthetopstate*/ do{/*drillintothetarget...*/ QStateHandlerpath[QEP_MAX_NEST_DEPTH_]; int8_tip=(int8_t)0;/*transitionentrypathindex*/ path[0]=me->state;/*這里的狀態為begin*/ /*通過執行空信號,從底層狀態找到頂狀態的路徑*/ (void)QEP_TRIG_(me->state,QEP_EMPTY_SIG_); while(me->state!=t){ path[++ip]=me->state; (void)QEP_TRIG_(me->state,QEP_EMPTY_SIG_); } /*切換為begin*/ me->state=path[0];/*restorethetargetoftheinitialtran.*/ /*鉆到最底層的狀態,執行路徑中的所有進入事件*/ Q_ASSERT(ip(int8_t)QEP_MAX_NEST_DEPTH_); ??????do?{?/*?retrace?the?entry?path?in?reverse?(desired)?order...?*/ ??????????QEP_ENTER_(path[ip]);?/*?enter?path[ip]?*/ ???????}?while?((--ip)?>=(int8_t)0); t=path[0];/*currentstatebecomesthenewsource*/ }while(QEP_TRIG_(t,Q_INIT_SIG)==Q_RET_TRAN); me->state=t; }
狀態切換:
/*.................................................................*/ QStateresult(Calc*me,QEventconst*e) { switch(e->sig) {you caseENTER_SIG:{ break; } caseEXIT_SIG:{ break; } caseC_SIG: { printf("clear"); returnQ_HANDLED(); } caseB_SIG: { returnQ_TRAN(&begin); } } returnQ_SUPER(&reday); } /*.ready為result和begin的超狀態................................................*/ QStateready(Calc*me,QEventconst*e) { switch(e->sig) { caseENTER_SIG:{ break; } caseEXIT_SIG:{ break; } caseOPER_SIG: { returnQ_TRAN(&opEntered); } } returnQ_SUPER(&on); } voidQHsm_dispatch(QHsm*me,QEventconst*e) { QStateHandlerpath[QEP_MAX_NEST_DEPTH_]; QStateHandlers; QStateHandlert; QStater; t=me->state;/*savethecurrentstate*/ do{/*processtheeventhierarchically...*/ s=me->state; r=(*s)(me,e);/*invokestatehandlers*/ }while(r==Q_RET_SUPER);//當前狀態不能處理事件,直到找到能處理事件的狀態 if(r==Q_RET_TRAN){/*transitiontaken?*/ int8_tip=(int8_t)(-1);/*transitionentrypathindex*/ int8_tiq;/*helpertransitionentrypathindex*/ path[0]=me->state;/*savethetargetofthetransition*/ path[1]=t; while(t!=s){/*exitcurrentstatetotransitionsources...*/ if(QEP_TRIG_(t,Q_EXIT_SIG)==Q_RET_HANDLED){/*exithandled?*/ (void)QEP_TRIG_(t,QEP_EMPTY_SIG_);/*findsuperstateoft*/ } t=me->state;/*me->stateholdsthesuperstate*/ } ... } me->state=t;/*setnewstateorrestorethecurrentstate*/ }img
t=path[0];/*targetofthetransition*/ if(s==t){/*(a)checksource==target(transitiontoself)*/ QEP_EXIT_(s)/*exitthesource*/ ip=(int8_t)0;/*enterthetarget*/ } else{ (void)QEP_TRIG_(t,QEP_EMPTY_SIG_);/*superstateoftarget*/ t=me->state; if(s==t){/*(b)checksource==target->super*/ ip=(int8_t)0;/*enterthetarget*/ } else{ (void)QEP_TRIG_(s,QEP_EMPTY_SIG_);/*superstateofsrc*/ /*(c)checksource->super==target->super*/ if(me->state==t){ QEP_EXIT_(s)/*exitthesource*/ ip=(int8_t)0;/*enterthetarget*/ } else{ /*(d)checksource->super==target*/ if(me->state==path[0]){ QEP_EXIT_(s)/*exitthesource*/ } else{/*(e)checkrestofsource==target->super->super.. *andstoretheentrypathalongtheway*/ ....
QP實時框架的組成
內存管理
使用內存池,對于低性能mcu,內存極為有限,引入內存管理主要是整個架構中,是以事件作為主要的任務通信手段,且事件是帶參數的,可能相同類型的事件會多次觸發,而事件處理完成后,需要清除事件,無法使用靜態的事件,因此是有必要為不同事件創建內存池的。
對于不同塊大小的內存池,需要考慮的是每個塊的起始地址對齊問題。在進行內存池初始化時,我們是根據blocksize+header大小來進行劃分內存池的。假設一個2字節的結構,如果以2來進行劃分,假設mcu 4字節對齊,那么將有一半的結構起始地址無法對齊,這時需要為每個塊預留空間,保證每個塊的對齊。
事件隊列
每一個活動對象維護一個事件隊列,事件都是由基礎事件派生的,不同類型的事件只需要將其基礎事件成員添加到活動對象的隊列中即可,最終在取出的時候通過一個強制轉換便能獲得附加的參數。
事件派發
直接事件發送:
QActive_postLIFO()
發行訂閱事件發送:
豎軸表示信號(為事件的基類)
活動對象支持64個優先級,每一個活動對象要求擁有唯一優先級
通過優先級的bit位來表示某個事件被哪些活動對象訂閱,并在事件觸發后根據優先級為活動對象派發事件。
定時事件
非有序鏈表:
合作式調度器QV:
QP nano的簡介
完全支持層次式狀態嵌套,包括在最多4 層狀態嵌套情況下,對任何狀態轉換拓撲的可保證的進入/ 退出動作
支持高達8 個并發執行的,可確定的,線程安全的事件隊列的活動對象57
支持一個字節寬( 255 個信號)的信號,和一個可伸縮的參數,它可被配置成0 (沒有參數), 1 , 2 或4 字節
使用先進先出FIFO排隊策略的直接事件派發機制
每個活動對象有一個一次性時間事件(定時器),它的可配置動態范圍是0(沒有時間事件) , 1 , 2 或4 字節
內建的合作式vanilla 內核
內建的名為QK-nano 的可搶占型RTC內核(見第六章6.3.8節)
帶有空閑回調函數的低功耗架構,用來方便的實現節省功耗模式。
在代碼里為流行的低端CPU架構的C編譯器的非標準擴展進行了準備(例如,在代碼空間分配常數對象,可重入函數,等等)
基于斷言的錯誤處理策略
代碼風格:
審核編輯:劉清
-
驅動器
+關注
關注
53文章
8252瀏覽量
146449 -
嵌入式
+關注
關注
5083文章
19133瀏覽量
305602 -
計數器
+關注
關注
32文章
2256瀏覽量
94629 -
RTOS
+關注
關注
22文章
814瀏覽量
119686 -
狀態機
+關注
關注
2文章
492瀏覽量
27552
原文標題:嵌入式狀態機編程-QP狀態機框架
文章出處:【微信號:最后一個bug,微信公眾號:最后一個bug】歡迎添加關注!文章轉載請注明出處。
發布評論請先 登錄
相關推薦
評論