網(wǎng)絡軟件設計10——有狀態(tài)設計

1、網(wǎng)絡軟件設計網(wǎng)絡軟件設計制作主講段景山段景山段景山2有狀態(tài)與無狀態(tài)服務器有狀態(tài)與無狀態(tài)服務器段景山段景山3有狀態(tài)服務有狀態(tài)服務段景山段景山4無狀態(tài)是一個協(xié)議問題無狀態(tài)是一個協(xié)議問題段景山段景山5有限狀態(tài)機有限狀態(tài)機狀態(tài)狀態(tài)轉(zhuǎn)換轉(zhuǎn)換事件事件動作動作缺點缺點時序時序性不性不強強段景山段景山6有限狀態(tài)機的基本結(jié)構有限狀態(tài)機的基本結(jié)構n狀態(tài)：狀態(tài)：l 實體有有限個狀態(tài)實體有有限個狀態(tài)l 每一時刻，實體只處于其中一個狀態(tài)每一時刻，實體只處于其中一個狀態(tài)n事件：事件：l 事件引起實體產(chǎn)生動作，如收到事件引起實體產(chǎn)生動作，如收到PDU、定時器到時等、定時器到時等l 事件按發(fā)生的順序排在事件隊列中，等待處理事

2、件按發(fā)生的順序排在事件隊列中，等待處理l 事件可能有附加條件事件可能有附加條件n動作：動作：l 處理隊列中的一個事件，轉(zhuǎn)移到下一狀態(tài)處理隊列中的一個事件，轉(zhuǎn)移到下一狀態(tài) l 不同狀態(tài)下，對同一事件可能有不同的處理方法不同狀態(tài)下，對同一事件可能有不同的處理方法l 最簡動作：忽略事件，保持狀態(tài)（圖中可省略不畫）最簡動作：忽略事件，保持狀態(tài)（圖中可省略不畫）FSM事事件件狀態(tài)狀態(tài)1狀態(tài)狀態(tài)2事件事件e1 / 動作動作a1事件事件e2 / 動作動作a2事件事件e3 / 動作動作a3段景山段景山7例例段景山段景山8停等協(xié)議的狀態(tài)機（停等協(xié)議的狀態(tài)機（1）狀態(tài)機狀態(tài)機（Ns, Nr）發(fā)送發(fā)送接收接收遞交遞

3、交上層上層DU協(xié)議實體協(xié)議實體PDU、ACKTo：對等實體：對等實體PDU、ACKFrom：對等實體：對等實體狀態(tài)機的位置狀態(tài)機的位置段景山段景山9停等協(xié)議（停等協(xié)議（2）0ACK1ACK準備發(fā)送幀準備發(fā)送幀1準備發(fā)送幀準備發(fā)送幀0等待幀等待幀1等待幀等待幀0段景山段景山10停等協(xié)議狀態(tài)機停等協(xié)議狀態(tài)機接收方接收方發(fā)送方發(fā)送方段景山段景山11有限狀態(tài)機小結(jié)有限狀態(tài)機小結(jié)狀態(tài)狀態(tài)1狀態(tài)狀態(tài)2/x段景山段景山12有限狀態(tài)機小結(jié)有限狀態(tài)機小結(jié)狀態(tài)狀態(tài)1狀態(tài)狀態(tài)2事件事件1/動作動作1事件事件2（動作（動作1)/動作動作2，動作，動作2事件事件1,事件事件2/動作動作3事件事件1/動作動作1事件事件2

4、/動作動作2狀態(tài)狀態(tài)3狀態(tài)狀態(tài)1事件事件3/動作動作3段景山段景山13有限狀態(tài)機小結(jié)有限狀態(tài)機小結(jié)狀態(tài)狀態(tài)1/動作動作1事件事件1/x狀態(tài)狀態(tài)1事件事件2/動作動作2事件事件3/段景山段景山14有限狀態(tài)機的作用有限狀態(tài)機的作用(1)狀態(tài)轉(zhuǎn)移表狀態(tài)轉(zhuǎn)移表段景山段景山15狀態(tài)轉(zhuǎn)移表狀態(tài)轉(zhuǎn)移表準備準備發(fā)送幀發(fā)送幀0準備準備發(fā)送幀發(fā)送幀1段景山段景山16狀態(tài)轉(zhuǎn)移表狀態(tài)轉(zhuǎn)移表等待幀等待幀0等待幀等待幀1段景山段景山17fsm程序框架程序框架fsm( 當前狀態(tài)當前狀態(tài),事件事件 ）switch( 事件）事件）case 事件事件1:case 事件事件2:default：ignore；return next_

5、state;action 1;next_state = xxx;main() state = initial; while(1) waite for a event; state = fsm(state,event); fsm.cif（當前狀態(tài)（當前狀態(tài)=X）段景山段景山18改進的改進的fsm程序框架程序框架main() state = initial; while(1) waite for a event; switch（state） case X: state = x_fsm(event); case Y: state = y_fsm(event); x_fsm(事件事件)switch(

6、事件）事件）case 事件事件1:case 事件事件2:default：ignore；return next_state;action 1;next_state = xxx;段景山段景山19有限狀態(tài)機的設計有限狀態(tài)機的設計段景山段景山20有限狀態(tài)機的設計有限狀態(tài)機的設計main() state = initial; while(1) waite for a event; switch（state） case X: state = x_fsm(event); case Y: state = y_fsm(event); 段景山段景山21停等協(xié)議的有限狀態(tài)機設計停等協(xié)議的有限狀態(tài)機設計段景山段景山2

7、2停等協(xié)議的有限狀態(tài)機設計停等協(xié)議的有限狀態(tài)機設計段景山段景山停等協(xié)議的有限狀態(tài)機設計停等協(xié)議的有限狀態(tài)機設計23段景山段景山2425段景山段景山26停等協(xié)議的有限狀態(tài)機設計停等協(xié)議的有限狀態(tài)機設計段景山段景山停等協(xié)議的有限狀態(tài)機設計停等協(xié)議的有限狀態(tài)機設計28段景山段景山案例：某嵌入式終端主控程序設計案例：某嵌入式終端主控程序設計29段景山段景山30段景山段景山31段景山段景山基于狀態(tài)機的主控設計基于狀態(tài)機的主控設計32段景山段景山33段景山段景山34序號名稱說明界面宏定義1空 閑 狀態(tài)系統(tǒng)進入的初始狀態(tài)，輸入動作被取消時的狀態(tài)；歡迎頁面ST_IDLE2設 置 狀態(tài)用戶按設置鍵，進入設置狀態(tài)

8、，具有多個子狀態(tài)；設置頁面ST_SET3編 輯 狀態(tài)用戶按編輯鍵，進入編輯狀態(tài)；編輯頁面ST_EDIT4等 待 回顯狀態(tài)向上位機發(fā)送數(shù)據(jù)后，等待上位機回顯信息的狀態(tài)。等待頁面ST_WAIT5回 顯 狀態(tài)得到上位機數(shù)據(jù)，進行顯示。有多個子狀態(tài)；回顯頁面ST_SYSINFO段景山段景山35段景山段景山36事件動作狀態(tài)功能鍵或RFID掃描上位機數(shù)據(jù)數(shù)字編輯鍵確認（OK鍵）取消（返回鍵）設置鍵上下鍵左右鍵WLAN驅(qū)動文字菜單圖片有編輯無編輯有編輯無編輯上下左右AP列表空閑組 包 上傳 ； 顯示 等 待回 顯 頁面計 算 自動換行，滾動條，顯 示 一屏 靜 態(tài)回 顯 頁面計算滾動條，顯示一屏交互回顯頁面

9、（目前在picServer中接收圖片，收完后會給命令解析發(fā)送命令，顯示這個圖片）。顯示圖片記錄鍵值，顯示編輯頁面（不可能出現(xiàn)）組包上傳；顯示等待頁面（不可能出現(xiàn)）組包上傳；顯示等待頁面顯示設置首頁頁面組包上傳；顯示等待頁面組包上傳；顯示等待頁面解釋為空格，顯示編輯頁面記錄列表等待回顯/靜態(tài)回顯回 顯 / 交互回顯回 顯 / 靜態(tài)回顯編輯等待等待設 置 /首頁等待等待編輯設置首頁組 包 上傳 ； 顯示 等 待回 顯 頁面計 算 自動換行,滾動條，顯 示 一屏 靜 態(tài)回 顯 頁面計算滾動條，顯示一屏交互回顯頁面（目前在picServer中）。顯示圖片修改焦點號，事件改為確認，再次進入狀態(tài)機顯示相應設置子頁面或確