狀態(tài)機(jī)編程
轉(zhuǎn)載正文2
狀態(tài)機(jī)思路在單片機(jī)程序設(shè)計(jì)中的應(yīng)用狀態(tài)機(jī)的概念狀態(tài)機(jī)是軟件編程中的一個(gè)重要概念。比這個(gè)概念更重要的是對(duì)它的靈活應(yīng)用。在一個(gè)思路清晰而且高效的程序中,必然有狀態(tài)機(jī)的身影浮現(xiàn)。比如說(shuō)一個(gè)按鍵命令解析程序,就可以被看做狀態(tài)機(jī):本來(lái)在A狀態(tài)下,觸發(fā)一個(gè)按鍵后切換到了B狀態(tài);再觸發(fā)另一個(gè)鍵后切換到C狀態(tài),或者返回到A狀態(tài)。這就是最簡(jiǎn)單的按鍵狀態(tài)機(jī)例子。實(shí)際的按鍵解析程序會(huì)比這更復(fù)雜些,但這不影響我們對(duì)狀態(tài)機(jī)的認(rèn)識(shí)。進(jìn)一步看,擊鍵動(dòng)作本身也可以看做一個(gè)狀態(tài)機(jī)。一個(gè)細(xì)小的擊鍵動(dòng)作包含了:釋放、抖動(dòng)、閉合、抖動(dòng)和重新釋放等狀態(tài)。同樣,一個(gè)串行通信的時(shí)序(不管它是遵循何種協(xié)議,標(biāo)準(zhǔn)串口也好、I2C也好;也不管它是有線的、還是紅外的、無(wú)線的)也都可以看做由一系列有限的狀態(tài)構(gòu)成。顯示掃描程序也是狀態(tài)機(jī);通信命令解析程序也是狀態(tài)機(jī);甚至連繼電器的吸合/釋放控制、發(fā)光管(LED)的亮/滅控制又何嘗不是個(gè)狀態(tài)機(jī)。當(dāng)我們打開(kāi)思路,把狀態(tài)機(jī)作為一種思想導(dǎo)入到程序中去時(shí),就會(huì)找到解決問(wèn)題的一條有效的捷徑。有時(shí)候用狀態(tài)機(jī)的思維去思考程序該干什么,比用控制流程的思維去思考,可能會(huì)更有效。這樣一來(lái)狀態(tài)機(jī)便有了更實(shí)際的功用。程序其實(shí)就是狀態(tài)機(jī)。也許你還不理解上面這句話。請(qǐng)想想看,計(jì)算機(jī)的大廈不就是建立在“0”和“1”兩個(gè)基本狀態(tài)的地基之上么?
狀態(tài)機(jī)的要素狀態(tài)機(jī)可歸納為4個(gè)要素,即現(xiàn)態(tài)、條件、動(dòng)作、次態(tài)。這樣的歸納,主要是出于對(duì)狀態(tài)機(jī)的內(nèi)在因果關(guān)系的考慮。“現(xiàn)態(tài)”和“條件”是因,“動(dòng)作”和“次態(tài)”是果。詳解如下:①現(xiàn)態(tài):是指當(dāng)前所處的狀態(tài)。②條件:又稱為“事件”。當(dāng)一個(gè)條件被滿足,將會(huì)觸發(fā)一個(gè)動(dòng)作,或者執(zhí)行一次狀態(tài)的遷移。③動(dòng)作:條件滿足后執(zhí)行的動(dòng)作。動(dòng)作執(zhí)行完畢后,可以遷移到新的狀態(tài),也可以仍舊保持原狀態(tài)。動(dòng)作不是必需的,當(dāng)條件滿足后,也可以不執(zhí)行任何動(dòng)作,直接遷移到新?tīng)顟B(tài)。④次態(tài):條件滿足后要遷往的新?tīng)顟B(tài)。“次態(tài)”是相對(duì)于“現(xiàn)態(tài)”而言的,“次態(tài)”一旦被激活,就轉(zhuǎn)變成新的“現(xiàn)態(tài)”了。如果我們進(jìn)一步歸納,把“現(xiàn)態(tài)”和“次態(tài)”統(tǒng)一起來(lái),而把“動(dòng)作”忽略(降格處理),則只剩下兩個(gè)最關(guān)鍵的要素,即:狀態(tài)、遷移條件。狀態(tài)機(jī)的表示方法有許多種,我們可以用文字、圖形或表格的形式來(lái)表示一個(gè)狀態(tài)機(jī)。純粹用文字描述是很低效的,所以就不介紹了。接下來(lái)先介紹圖形的方式。
狀態(tài)遷移圖(STD)狀態(tài)遷移圖(STD),是一種描述系統(tǒng)的狀態(tài)、以及相互轉(zhuǎn)化關(guān)系的圖形方式。狀態(tài)遷移圖的畫(huà)法有許多種,不過(guò)一般都大同小異。我們結(jié)合一個(gè)例子來(lái)說(shuō)明一下它的畫(huà)法,如圖1所示。圖1 狀態(tài)遷移圖 ①狀態(tài)框:用方框表示狀態(tài),包括所謂的“現(xiàn)態(tài)”和“次態(tài)”。 ②條件及遷移箭頭:用箭頭表示狀態(tài)遷移的方向,并在該箭頭上標(biāo)注觸發(fā)條件。 ③節(jié)點(diǎn)圓圈:當(dāng)多個(gè)箭頭指向一個(gè)狀態(tài)時(shí),可以用節(jié)點(diǎn)符號(hào)(小圓圈)連接匯總。 ④動(dòng)作框:用橢圓框表示。 ⑤附加條件判斷框:用六角菱形框表示。 狀態(tài)遷移圖和我們常見(jiàn)的流程圖相比有著本質(zhì)的區(qū)別,具體體現(xiàn)為:在流程圖中,箭頭代表了程序PC指針的跳轉(zhuǎn);而在狀態(tài)遷移圖中,箭頭代表的是狀態(tài)的改變。 我們會(huì)發(fā)現(xiàn),這種狀態(tài)遷移圖比普通程序流程圖更簡(jiǎn)練、直觀、易懂。這正是我們需要達(dá)到的目的。 狀態(tài)遷移表 除了狀態(tài)遷移圖,我們還可以用表格的形式來(lái)表示狀態(tài)之間的關(guān)系。這種表一般稱為狀態(tài)遷移表。 表1就是前面介紹的那張狀態(tài)遷移圖的另一種描述形式。 表1 狀態(tài)遷移表 ①采用表格方式來(lái)描述狀態(tài)機(jī),優(yōu)點(diǎn)是可容納更多的文字信息。例如,我們不但可以在狀態(tài)遷移表中描述狀態(tài)的遷移關(guān)系,還可以把每個(gè)狀態(tài)的特征描述也包含在內(nèi)。 ②如果表格內(nèi)容較多,過(guò)于臃腫不利于閱讀,我們也可以將狀態(tài)遷移表進(jìn)行拆分。經(jīng)過(guò)拆分后的表格根據(jù)其具體內(nèi)容,表格名稱也有所變化。 ③比如,我們可以把狀態(tài)特征和遷移關(guān)系分開(kāi)列表。被單獨(dú)拆分出來(lái)的描述狀態(tài)特征的表格,也可以稱為“狀態(tài)真值表”。這其中比較常見(jiàn)的就是把每個(gè)狀態(tài)的顯示內(nèi)容單獨(dú)列表。這種描述每個(gè)狀態(tài)顯示內(nèi)容的表稱之為“顯示真值表”。同樣,我們把單獨(dú)表述基于按鍵的狀態(tài)遷移表稱為“按鍵功能真值表”。另外,如果每一個(gè)狀態(tài)包含的信息量過(guò)多,我們也可以把每個(gè)狀態(tài)單獨(dú)列表。 ④由此可見(jiàn),狀態(tài)遷移表作為狀態(tài)遷移圖的有益補(bǔ)充,它的表現(xiàn)形式是靈活的。 ⑤狀態(tài)遷移表優(yōu)點(diǎn)是信息涵蓋面大,缺點(diǎn)是視覺(jué)上不夠直觀,因此它并不能取代狀態(tài)遷移圖。比較理想的是將圖形和表格結(jié)合應(yīng)用。用圖形展現(xiàn)宏觀,用表格說(shuō)明細(xì)節(jié)。二者互為參照,相得益彰。
用狀態(tài)機(jī)思路實(shí)現(xiàn)一個(gè)時(shí)鐘程序接下來(lái),我將就狀態(tài)機(jī)的應(yīng)用,結(jié)合流程圖、狀態(tài)遷移圖和狀態(tài)遷移,舉一個(gè)實(shí)際例子。下面這張圖是一個(gè)時(shí)鐘程序的狀態(tài)遷移圖,如圖2所示。圖2 時(shí)鐘程序狀態(tài)遷移圖 把這張圖稍做歸納,就可以得到它的另一種表現(xiàn)形式——狀態(tài)遷移表,如表2所示。 表2 時(shí)鐘程序狀態(tài)遷移表 狀態(tài)機(jī)應(yīng)用的注意事項(xiàng) 基于狀態(tài)機(jī)的程序調(diào)度機(jī)制,其應(yīng)用的難點(diǎn)并不在于對(duì)狀態(tài)機(jī)概念的理解,而在于對(duì)系統(tǒng)工作狀態(tài)的合理劃分。 初學(xué)者往往會(huì)把某個(gè)“程序動(dòng)作”當(dāng)作是一種“狀態(tài)”來(lái)處理。我稱之為“偽態(tài)”。那么如何區(qū)分“動(dòng)作”和“狀態(tài)”。本匠人的心得是看二者的本質(zhì):“動(dòng)作”是不穩(wěn)定的,即使沒(méi)有條件的觸發(fā),“動(dòng)作”一旦執(zhí)行完畢就結(jié)束了;而“狀態(tài)”是相對(duì)穩(wěn)定的,如果沒(méi)有外部條件的觸發(fā),一個(gè)狀態(tài)會(huì)一直持續(xù)下去。 初學(xué)者的另一種比較致命的錯(cuò)誤,就是在狀態(tài)劃分時(shí)漏掉一些狀態(tài)。我稱之為“漏態(tài)”。 “偽態(tài)”和“漏態(tài)”這兩種錯(cuò)誤的存在,將會(huì)導(dǎo)致程序結(jié)構(gòu)的渙散。因此要特別小心避免。 更復(fù)雜的狀態(tài)機(jī) 前面介紹的是一種簡(jiǎn)單的狀態(tài)結(jié)構(gòu)。它只有一級(jí),并且只有一維,如圖3所示。 圖3
轉(zhuǎn)載正文3
實(shí)際的狀態(tài)機(jī)編程思想例子看看小時(shí)候玩的5塊錢(qián)那種最簡(jiǎn)單的電子表。只有2個(gè)按鈕就能操作。暫且稱為按鈕A和按鈕B現(xiàn)給出一個(gè)完整的功能文字描述:在顯示時(shí)間時(shí)按A,屏幕顯示變成日期在顯示日期時(shí)按A,屏幕顯示變成秒鐘在顯示秒鐘時(shí)按A,屏幕顯示變成時(shí)間在顯示秒鐘時(shí)按B,秒鐘歸0在顯示時(shí)間時(shí)按B,屏幕 時(shí)間、日期交替顯示。在時(shí)間、日期交替顯示時(shí)按B,屏幕“時(shí)”閃爍在“時(shí)”閃爍時(shí)按B,屏幕“時(shí)”加1,超過(guò)23回0在“時(shí)”閃爍時(shí)按A,屏幕“分”閃爍在“分”閃爍時(shí)按B,屏幕“分”加1,超過(guò)59回0在“分”閃爍時(shí)按A,屏幕“月”閃爍在“月”閃爍時(shí)按B,屏幕“月”加1,超過(guò)12回0在“月”閃爍時(shí)按A,屏幕“日”閃爍在“日”閃爍時(shí)按B,屏幕“日”加1,超過(guò)31回0在“日”閃爍時(shí)按A,屏幕回到時(shí)間顯示如果按照新手的思路,嘗試去畫(huà)流程圖,很快就會(huì)陷入一頭霧水:你會(huì)發(fā)現(xiàn)實(shí)現(xiàn)這個(gè)功能的程序根本就沒(méi)有“確定的流程”。因?yàn)槌绦驅(qū)嶋H流程是根據(jù)人的操作而變化的。程序運(yùn)行到什么地方,完全取決于兩個(gè)鍵的次序,有無(wú)數(shù)種次序組合,根本不可能畫(huà)出流程圖來(lái)。但是我們會(huì)發(fā)現(xiàn),這個(gè)電子表功能的“語(yǔ)言描述”在語(yǔ)法上似乎有某種規(guī)律,就是:當(dāng)系統(tǒng)處于某狀態(tài)(S1)時(shí),如果發(fā)生了什么事情(E),就執(zhí)行某功能(F),然后系統(tǒng)變成新?tīng)顟B(tài)(S2)只要能用上面這句話描述的系統(tǒng),都可以用一種狀態(tài)跳轉(zhuǎn)機(jī)制很方便的實(shí)現(xiàn),并且一句話其實(shí)就是一個(gè)if(...),無(wú)論有多少多復(fù)雜的功能,只要能用上面這句話描述,都可以通過(guò)狀態(tài)機(jī)編程實(shí)現(xiàn)。 我們將它們抽象。整個(gè)系統(tǒng)中有2個(gè)事件分別是:A按下,B按下A按下(可以是中斷)時(shí)執(zhí)行:{if(Status==TIME) //當(dāng)顯示時(shí)間時(shí)按下A鍵{Status=DATE //變成顯示日期}if(Status==DATE) //當(dāng)顯示日期時(shí)按下A鍵{Status=SEC //變成顯示秒鐘}if(Status==SEC) //當(dāng)顯示秒鐘時(shí)按下A鍵{Status=TIME //變成顯示時(shí)間}if(Status==SET_HOUR) //當(dāng)設(shè)置“小時(shí)”時(shí)按下A鍵{Status=SET_MINUT //變成設(shè)置“分鐘”}if(Status==SET_MINUT) //當(dāng)設(shè)置“分鐘”時(shí)按下A鍵{Status=SET_MONTH //變成設(shè)置“月”}..........}B按下(可以是中斷)時(shí)執(zhí)行:{if(Status==SEC) //當(dāng)顯示秒鐘時(shí)按下B鍵{Secound=0 //秒歸0}if(Status==TIME) //當(dāng)顯示時(shí)間時(shí)按下B鍵{Status=TIMEDATE //變成時(shí)間日期交替顯示}if(Status==TIMEDATE) //當(dāng)日期交替顯示時(shí)按下B鍵{Status=SET_HOUR //變成設(shè)置“時(shí)”(時(shí)閃爍)}if(Status==SET_HOUR) //當(dāng)設(shè)置“時(shí)”時(shí)按下B鍵{Status=Hour++ //時(shí)加1if(Hour>23) Hour=0; }.......... }和語(yǔ)言描述完全一致,很快就能寫(xiě)完程序。這就是最簡(jiǎn)單的狀態(tài)機(jī)思想。當(dāng)然,上述一大堆if可以用switch case來(lái)實(shí)現(xiàn)實(shí)際中,大量的并發(fā)過(guò)程都可以表述為狀態(tài)跳轉(zhuǎn)關(guān)系,從而將CPU從過(guò)程中解放出來(lái),只需處理狀態(tài)關(guān)系,因?yàn)檎嬲枰狢PU的是狀態(tài)變化的時(shí)刻,而不是過(guò)程中大量的等待,這樣大量的并發(fā)過(guò)程都可以并行處理。
評(píng)論