QP之QEP原理


1.QP簡介:

量子平台(Quantum Platform, 簡稱QP)是一個用於實時嵌入式系統的軟件框架,QP是輕量級的、開源的、基於層次式狀態機的、事件驅動的平台。

QP包括事件處理器(QEP)、輕量級的事件驅動框架(QF)、任務調度微內核(QK)和實時跟蹤調試器(QS)四個部分。

利用QP可以開發出結構清晰的嵌入式應用程序(使用C或C++語言)。

QP

2.QEP核心思想

QEP的核心思想就是,用一個函數指針指向當前狀態函數,使用這個函數指針有條件地執行某狀態函數,並根據執行結果執行其它的相應動作。

(1)狀態圖到C語言的轉換
狀態圖可以很容易地轉換到C語言表示,下面舉例說明(略去了構造函數和初始化函數)。

例如下面的平面狀態機FSM,圖中有兩個狀態:設置狀態setting和定時狀態timing。

cb797ef4254453c0f3d38544

可以轉換成C代碼如下
兩個狀態函數聲明:

static QState Bomb4_setting(Bomb4 *me, QEvent const *e);/*聲明設置狀態函數*/

static QState Bomb4_timing (Bomb4 *me, QEvent const *e);/*聲明計時狀態函數*/

兩個狀態函數的實現(對事件的處理):

QState Bomb4_setting(Bomb4 *me, QEvent const *e) {
                 switch (e->sig) {
                     case UP_SIG: {/*UP_SIG事件處理---增加定時處理*/
                       ...
                         return Q_HANDLED();
                     }
                     case DOWN_SIG: {/*DOWN_SIG事件處理---減少定時事件處理*/
                      ...
                         return Q_HANDLED();
                     }
                     case ARM_SIG: {/*ARM_SIG事件處理---定時事件處理*/
                         return Q_TRAN(&Bomb4_timing); /* 轉到定時狀態*/
                     }
                 }
                 return Q_IGNORED(); /*忽略事件*/
}

                 /*----6.4-狀態函數(定時狀態處理)-----.*/
QState Bomb4_timing(Bomb4 *me, QEvent const *e) {
                 switch (e->sig) {
                     case Q_ENTRY_SIG: {/*狀態進入處理*/
                       ...
                         return Q_HANDLED();
                     }
                     case UP_SIG: {/*UP_SIG事件處理---保存密碼設置*/
                       ...
                         return Q_HANDLED();
                     }
                     case DOWN_SIG: {/*DOWN_SIG事件處理---保存密碼設置*/
                      ...
                         return Q_HANDLED();
                     }
                     case ARM_SIG: {/*ARM_SIG事件處理---密碼正確則解除定時引爆,轉到設置狀態*/
                         if (me->code == me->defuse) {
                             return Q_TRAN(&Bomb4_setting);
                                                   }
                         return Q_HANDLED();
                     }
                     case TICK_SIG: {/*定時事件處理*/
                      ...
                         return Q_HANDLED();
                     }
                 }
                 return Q_IGNORED();
}

(2)狀態函數指針
在QP中用函數表示狀態,叫狀態函數,一個狀態用一個狀態函數表示,系統有多個狀態,也就可以用多個函數來表示。在QEP中定義了一個狀態函數指針QStateHandler,用這個函數指針可以指向任何一個狀態函數。在狀態函數內使用了結構清晰的switch---case語句,對不同的事件(信號)進行分類處理。

狀態函數指針定義如下:

typedef QState  (*QStateHandler)(void *me, QEvent const *e);  /*狀態函數指針,指向狀態機中任何一個狀態函數*/

其中 QState是調用狀態函數的返回值,其定義如下:

typedef uint8_t QState;/*狀態返回值,狀態機狀態處理函數返回值*/

有四種返回值:0---QRETHANDLED,表示事件被處理了,但沒有轉換,叫內部轉換; 1---QRETIGNORED, 表示事件被忽略,沒有處理; 2---QRETTRAN,表示事件被處理了,並有轉換,轉換到其它狀態; 3---QRETSUPER,表示進入父狀態了,只用於層次狀態機HSM中。

(3)狀態機的當前狀態

平面狀態機FSM或層次狀態機HSM內部定義了一個QStateHandler類型的state變量,它是一個指向狀態函數的指針,state指向哪個狀態函數,哪個狀態函數就是當前狀態,有事件時,總是把事件發給當前狀態的狀態函數來處理。狀態機有多個狀態,但同一時刻,只有一個“焦點”(當前狀態),“焦點”可以用QTRAN(target)來改變。

當前狀態變量定義如下:

typedef struct QFsmTag {QStateHandler  state;  /*狀態變量,當前活動狀態,也就是經常用到的me->state */
                       } QFsm;  /*平面狀態機FSM數據結構*/

typedef struct QFsmTag QHsm;  /*層次狀態機HSM數據結構,與FSM一樣*/

狀態轉換定義如下:

#define Q_TRAN(target_)(((QFsm *)me)->state = (QStateHandler)(target_), Q_RET_TRAN)

發給狀態機的事件,總是發到當前狀態變量所指向的狀態函數來處理。

(4)事件處理器
事件處理器,也可以理解為一個狀態機引擎,當處理有事件時,調用當前狀態的狀態函數處理這個事件,並處理調用狀態函數的返回值,根據返回值進行相應的狀態變換(如轉移到父狀態)。

同時狀態引擎也處理狀態的進入(ENTER)、退出(EXIT),並處理初始偽狀態。

事件處理器利用狀態函數指針來調用狀態函數,總是把事件發送到當前狀態,但事件不是在當前狀態處理了,由調用的結果來判斷。

a928202d81aa112d359bf76f

3.結論

用狀態函數指針從原理上可以調用任何狀態函數,並檢查調用結果。狀態機引擎也就成了一個事件分派執行器。QHsm_dispatch()函數是QP中最復雜的函數,是理解狀態機處理的關鍵。

參考:
【1】QP量子平台、量子編程:http://www.state-machine.com


免責聲明!

本站轉載的文章為個人學習借鑒使用,本站對版權不負任何法律責任。如果侵犯了您的隱私權益,請聯系本站郵箱yoyou2525@163.com刪除。



 
粵ICP備18138465號   © 2018-2025 CODEPRJ.COM