中斷多任務(wù)+狀態(tài)機(jī) 單片機(jī)軟件結(jié)構(gòu)設(shè)計(jì)
對(duì)于無(wú)os的系統(tǒng),流行的設(shè)計(jì)是主程序(主循環(huán)) +(定時(shí))中斷,這種結(jié)構(gòu)雖然符合自然想法,不過(guò)卻有很多不利之處,首先是中斷可以在主程序的任何地方發(fā)生,隨意打斷主程序。其次主程序與中斷之間的耦合性(關(guān)聯(lián)度)較大,這種做法使得主程序與中斷纏繞在一起,必須仔細(xì)處理以防不測(cè)。
那么換一種思路,如果把主程序全部放入(定時(shí))中斷中會(huì)怎么樣?這么做至少可以立即看到幾個(gè)好處:系統(tǒng)可以處于低功耗的休眠狀態(tài),將由中斷喚醒進(jìn)入主程序;如果程序跑飛,則中斷可以拉回;沒(méi)有了主從之分(其他中斷另計(jì)),程序易于模塊化。
(題外話:這種方法就不會(huì)有何處喂狗的說(shuō)法,也沒(méi)有中斷是否應(yīng)該盡可能的簡(jiǎn)短的爭(zhēng)論了)
為了把主程序全部放入(定時(shí))中斷中,必須把程序化分成一個(gè)個(gè)的模塊,即任務(wù),每個(gè)任務(wù)完成一個(gè)特定的功能,例如掃描鍵盤(pán)并檢測(cè)按鍵。設(shè)定一個(gè)合理的時(shí)基(tick),例如
這里的IDLE是一條sleep指令,讓mcu進(jìn)入低功耗模式。中斷程序的構(gòu)成
進(jìn)入中斷后,首先重置Timer,這主要針對(duì)8051, 8051自動(dòng)重裝分頻器只有8-bit,難以做到長(zhǎng)時(shí)間定時(shí);復(fù)位stack,即把stack指針賦值為棧頂或棧底(對(duì)于pic,TI DSP等使用循環(huán)棧的mcu來(lái)說(shuō),則無(wú)此必要),用以表示與過(guò)去決裂,而且不準(zhǔn)備返回到中斷點(diǎn),保證不會(huì)保留程序在跑飛時(shí)stack中的遺體。Enable_Timer_Interrupt也主要是針對(duì)8051。8051由于中斷控制較弱,只有兩級(jí)中斷優(yōu)先級(jí),而且使用了如果中斷程序不用reti返回,則不能響應(yīng)同級(jí)中斷這種偷懶方法,所以對(duì)于8051,必須調(diào)用一次reti來(lái)開(kāi)放中斷:
下面就是任務(wù)的執(zhí)行了,這里有幾種方法。第一種是采用固定順序,由于mcu程序復(fù)雜度不高,多數(shù)情況下可以采用這種方法:
…
可以看到中斷把所有任務(wù)調(diào)用一遍,至于任務(wù)是否需要運(yùn)行,由程序員自己控制。另一種做法是通過(guò)函數(shù)指針數(shù)組:
typedef void (*FUNCTIONPTR)();
const FUNCTIONPTR[] tasks = {
ProcessKey,
RunTask2,
…
RunTaskN
};
}
使用const是讓數(shù)組內(nèi)容位于code segment(ROM)而非data segment (RAM)中,8051中使用code作為const的替代品。
(題外話:關(guān)于函數(shù)指針賦值時(shí)是否需要取地址操作符&的問(wèn)題,與數(shù)組名一樣,取決于compiler.對(duì)于熟悉匯編的人來(lái)說(shuō),函數(shù)名和數(shù)組名都是常數(shù)地址,無(wú)需也不能取地址。對(duì)于不熟悉匯編的人來(lái)說(shuō),用&取地址是理所當(dāng)然的事情。Visual C++ 2005對(duì)此兩者都支持)
這種方法在匯編下表現(xiàn)為散轉(zhuǎn),一個(gè)小技巧是利用stack獲取跳轉(zhuǎn)表入口:
MultiJump:
還有一種方法是把函數(shù)指針數(shù)組(動(dòng)態(tài)數(shù)組,鏈表更好,不過(guò)在mcu中不適用)放在data segment中,便于修改函數(shù)指針以運(yùn)行不同的任務(wù),這已經(jīng)接近于動(dòng)態(tài)調(diào)度了:
FUNCTIONPTR[COUNTOFTASKS] tasks;
通過(guò)上面的手段,一個(gè)中斷驅(qū)動(dòng)的框架形成了,下面的事情就是保證每個(gè)tick內(nèi)所有任務(wù)的運(yùn)行時(shí)間總和不能超過(guò)一個(gè)tick的時(shí)間。為了做到這一點(diǎn),必須把每個(gè)任務(wù)切分成一個(gè)個(gè)的時(shí)間片,每個(gè)tick內(nèi)運(yùn)行一片。這里引入了狀態(tài)機(jī)(state machine)來(lái)實(shí)現(xiàn)切分。關(guān)于state machine,
(題外話:實(shí)踐升華出理論,理論再作用于實(shí)踐。我很長(zhǎng)時(shí)間不知道我一直沿用的方法就是state machine,直到學(xué)習(xí)UML/C++,書(shū)中介紹tachniques for identifying dynamic behvior,方才豁然開(kāi)朗。功夫在詩(shī)外,掌握C++,甚至C# JAVA,對(duì)理解嵌入式程序設(shè)計(jì),會(huì)有莫大的幫助)
狀態(tài)機(jī)的程序?qū)崿F(xiàn)相當(dāng)簡(jiǎn)單,第一種方法是用swich-case實(shí)現(xiàn):
}
另一種方法還是用更通用簡(jiǎn)潔的函數(shù)指針數(shù)組:
const FUNCTIONPTR[] states = { state0, state1, …, stateM };
void RunTaskN()
{
(*states[state])();
}
下面是state machine控制的例子:
void state0() { }
void state1() { state++; }
void state2() { state+=2; }
void state3() { state--; }
void state4() { delay = 100; state++; }
void state5() { delay--; if (delay <= 0) state++; }
void state6() { state=0; }
一個(gè)小技巧是把第一個(gè)狀態(tài)state0設(shè)置為空狀態(tài),即:
這樣,state =0可以讓整個(gè)task停止運(yùn)行,如果需要投入運(yùn)行,簡(jiǎn)單的讓state = 1即可。
評(píng)論