一種實(shí)時(shí)多任務(wù)系統(tǒng)軟件設(shè)計(jì)方法

摘要：從進(jìn)程和線程調(diào)度的角度出發(fā)，介紹了一種規(guī)范化的實(shí)時(shí)多任務(wù)系統(tǒng)軟件設(shè)計(jì)方法，提出了“前向分支”的設(shè)計(jì)原則，給出了完整的系統(tǒng)模型。

關(guān)鍵詞：線程拆分 前向分支 實(shí)時(shí)多任務(wù) 單片機(jī)

在機(jī)電產(chǎn)品研制開(kāi)發(fā)中，經(jīng)常要涉及到基于嵌入式系統(tǒng)或基于單片機(jī)系統(tǒng)的程序設(shè)計(jì)。實(shí)時(shí)多任務(wù)是這類系統(tǒng)最基于的要求之一。在實(shí)踐中通常采用以下兩種解決方案：

一是在商業(yè)化時(shí)操作系統(tǒng)的基礎(chǔ)上進(jìn)行二次開(kāi)發(fā);二是用戶自動(dòng)設(shè)計(jì)系統(tǒng)軟件。前者設(shè)計(jì)工作量小，設(shè)計(jì)周期短，系統(tǒng)的設(shè)計(jì)質(zhì)量也容易得到保證。但由于商業(yè)實(shí)時(shí)操作系統(tǒng)往往較多地考慮通用性，缺乏靈活性，對(duì)于一些特定的應(yīng)用場(chǎng)合，其性能往往不能令人滿意。同時(shí)，這種方案還存在著成本高，依賴于特定硬件等缺點(diǎn)。第二種方案可以從系統(tǒng)的實(shí)際要求和硬件的實(shí)際情況出發(fā)靈活地進(jìn)行系統(tǒng)設(shè)計(jì)，易于滿足一些特定場(chǎng)合的性能要求，成本也較低。但是，由于缺乏系統(tǒng)化、規(guī)范化的設(shè)計(jì)方法，缺少高層次抽象工具，使得系統(tǒng)的設(shè)計(jì)質(zhì)量不容易得到保證，你嚴(yán)重地依賴于程序員的水平和經(jīng)驗(yàn)。

本文針對(duì)上述第三種方案的高限，從進(jìn)程和線程調(diào)度的角度出發(fā)，介紹了一種系統(tǒng)化、規(guī)范化和易于工程化實(shí)施的實(shí)時(shí)多任務(wù)系統(tǒng)軟件設(shè)計(jì)方法，提出了“前向分支”的設(shè)計(jì)原則，并給出了完整的系統(tǒng)模型。

1 進(jìn)程的劃分

對(duì)復(fù)雜的系統(tǒng)需求進(jìn)行模塊化和層次化的劃分是軟件設(shè)計(jì)的基本方法。在實(shí)踐中復(fù)雜的系統(tǒng)需求通常被劃分為一些功能相對(duì)獨(dú)立的任務(wù)模塊，每個(gè)任務(wù)模塊被視作一個(gè)進(jìn)程(process)。系統(tǒng)中如有多個(gè)進(jìn)程并發(fā)(concurrent)運(yùn)行，該系統(tǒng)就是一個(gè)多任務(wù)的系統(tǒng)。在圖1所示的例子中，n個(gè)任務(wù)模塊構(gòu)成了宏觀上并發(fā)運(yùn)行的一組進(jìn)程(即Proc_1～Proc-n)。Proc_5和 Proc_9是兩個(gè)具有代表性的進(jìn)程結(jié)構(gòu)。Proc_5是斷續(xù)進(jìn)行的進(jìn)程，表示了某一順序邏輯控制的流程。Proc_9是LCD漢字顯示程序，其結(jié)構(gòu)是典型的多重循環(huán)。其功能是將數(shù)組aDisplay中所描述的24×24點(diǎn)陣中文字符串送至LCD顯示屏。ADisplay的結(jié)構(gòu)參幾圖3(e)。

Proc_9 的基本工作原理如下：當(dāng)cDispiay不為0時(shí)，依次從aDlsplay中取出每個(gè)待顯示漢字的點(diǎn)陣位置及其在LCD內(nèi)部顯存中的地址，根據(jù)這兩個(gè)參數(shù)將一個(gè)漢字的點(diǎn)陣順序發(fā)送到LCD內(nèi)部顯存中。直至全部漢字顯示完，cDisplay減為0，Proc_9轉(zhuǎn)入空檔狀態(tài)，等待新的顯示請(qǐng)求。

系統(tǒng)程序的主要任務(wù)之一就是對(duì)進(jìn)程進(jìn)行調(diào)度，包括啟動(dòng)和終止進(jìn)程、管理進(jìn)程之間的通訊、處理進(jìn)程之間的優(yōu)先級(jí)等。但是如果按圖1的結(jié)構(gòu)順序調(diào)度進(jìn)程、以進(jìn)程為基本單位分配CPU時(shí)間的話，顯然存在嚴(yán)重的問(wèn)題。例如在Proc_5中，當(dāng)程序處于等待K1閉合的狀態(tài)時(shí)，其它任何進(jìn)程都無(wú)法得到服務(wù)，尤其當(dāng)K1出現(xiàn)故障時(shí)，系統(tǒng)將處于“掛起”狀態(tài)。如果一個(gè)進(jìn)程過(guò)多地占據(jù)了CPU時(shí)間，其他進(jìn)程將不能得到公平、均勻的服務(wù)，響應(yīng)時(shí)間無(wú)法得到保證，系統(tǒng)效率會(huì)降低?？傊?，只有將CPU時(shí)間的分配單位減小，才能解決上述問(wèn)題。

2 線程的拆分

線程(Thread)是CPU的基本執(zhí)行單位。一個(gè)進(jìn)程可以由一個(gè)或多個(gè)線程構(gòu)成。如前所述，單一線程的進(jìn)程可能會(huì)存在諸多問(wèn)題，而將一進(jìn)程拆分為多個(gè)線程是解決上述問(wèn)題的有效手段。由圖1的Proc_5和Proc_9可以看出，一個(gè)進(jìn)程過(guò)多地占據(jù)CPU時(shí)間，是因?yàn)槠渲泻写螖?shù)不確定的等待循環(huán)、純延時(shí)和較為耗時(shí)的多重循環(huán)。其中，純延時(shí)可以用軟件延和中斷定時(shí)兩種方法實(shí)現(xiàn)，這兩種方法在進(jìn)程中又都可以歸結(jié)為循環(huán)。因此，在拆分線程時(shí)應(yīng)盡量遵循“前向分支”原則，使線程中不含有或少含有循環(huán)。

循環(huán)結(jié)構(gòu)本質(zhì)上是由一個(gè)分支判斷和一個(gè)“反向”轉(zhuǎn)跳構(gòu)成的。所謂“前向分支”原則是指：在一次調(diào)度中，當(dāng)程序發(fā)生雪支時(shí)，應(yīng)使程序跳向一段未被執(zhí)行過(guò)的代碼，而不得重復(fù)運(yùn)行已運(yùn)行過(guò)的代碼。如果嚴(yán)格按“前向分支”原則拆分線程，循環(huán)結(jié)構(gòu)將被完全消除。圖2和圖3分別是Proc_5和Proc_9嚴(yán)格按“前向分支”原則拆分為線程的結(jié)果。

如果進(jìn)程設(shè)計(jì)遵循結(jié)構(gòu)化程序思想，那么在對(duì)某一進(jìn)程嚴(yán)格按“前向分支”原則進(jìn)行線程拆分時(shí)，最小拆分?jǐn)?shù)量可按如下方法確定：進(jìn)程入口至第一個(gè)循環(huán)返回節(jié)點(diǎn)之間如無(wú)程序代碼，最小拆分?jǐn)?shù)量等于循環(huán)返回節(jié)點(diǎn)數(shù)Nback;進(jìn)程入口至第一個(gè)循環(huán)返回節(jié)點(diǎn)之間如有程序代碼，最小拆分?jǐn)?shù)量等于Nback+1。實(shí)際拆分?jǐn)?shù)量可以大于最小拆分?jǐn)?shù)量，但不應(yīng)小于該數(shù)，

否則必然有一個(gè)以上的線程中含循環(huán)。兩個(gè)循環(huán)返回節(jié)點(diǎn)之間(或入口到第一個(gè)循環(huán)返回節(jié)點(diǎn)之間、最后一個(gè)循環(huán)返回節(jié)點(diǎn)到出口之間)的代碼就構(gòu)成了一個(gè)線程的對(duì)待。如果原進(jìn)程中無(wú)循環(huán)，可將該進(jìn)程當(dāng)做單一線程對(duì)等。在圖1中，Proc_9中共有4個(gè)循環(huán)返回節(jié)點(diǎn)(①～④)，Nback=4。按最小拆分?jǐn)?shù)量拆分中循環(huán)返回節(jié)點(diǎn)數(shù)也為4，但其入口至第一個(gè)循環(huán)返回節(jié)點(diǎn)之間有代碼，所以，Proc_5按最小拆分?jǐn)?shù)量拆分為5個(gè)線程。

線程號(hào)變量tProc_n是系統(tǒng)中實(shí)現(xiàn)線程調(diào)度、在各相關(guān)線程間建立聯(lián)系的核心。按“前向分支”原則進(jìn)行線程拆分時(shí)，凡是遇到構(gòu)成循環(huán)的“反向”分支時(shí)，就將該分支轉(zhuǎn)向當(dāng)前線程的出口，并在出口前為所在進(jìn)程的線程號(hào)變量賦一新值指向要轉(zhuǎn)去的線程。如果所要轉(zhuǎn)去的線程與當(dāng)前所在線程一致時(shí)，線程號(hào)變量賦值可以省略。

在按“前向分支”原則設(shè)計(jì)的線程中，“結(jié)構(gòu)上”的循環(huán)可以完全消除，但進(jìn)程設(shè)計(jì)中“邏輯上”的循環(huán)仍然是存在的，否則進(jìn)程的原有功能將不能正確地實(shí)現(xiàn)。事實(shí)上，線程號(hào)變量中包含有“邏輯循環(huán)”的信息。只要在主循環(huán)中按圖4的方法設(shè)度各線程就可以實(shí)現(xiàn)進(jìn)程的“邏輯循環(huán)”。

為實(shí)現(xiàn)中斷定時(shí)，Proc_5中設(shè)置了兩個(gè)定時(shí)計(jì)數(shù)器cTimerAct_1和cTimerAct_2(以下稱之為“動(dòng)作定時(shí)器”)，在啟動(dòng)定時(shí)器設(shè)置好其初值，由一個(gè)基礎(chǔ)定時(shí)中斷程序按一定的時(shí)間間隔(本例為1ms)減1。當(dāng)動(dòng)作定時(shí)器減為0時(shí)表示定時(shí)結(jié)束。

對(duì)于繼續(xù)運(yùn)行的進(jìn)程(如Proc_5)，結(jié)束任務(wù)時(shí)應(yīng)將線程號(hào)為量指向任意一個(gè)不用的空線程。為統(tǒng)一和方便起見(jiàn)，本文約定所有進(jìn)程的0號(hào)線程均為空線程，進(jìn)程結(jié)束時(shí)線程號(hào)變量應(yīng)置為0。