本文將深入研究劃分任務(wù)的方法，并在此基礎(chǔ)上，從實(shí)用的角度給出編寫基于RTX51 Tiny實(shí)時操作系統(tǒng)的應(yīng)用軟件的指導(dǎo)方針。
1、任務(wù)的概念和應(yīng)用軟件開發(fā)過程
在嵌入式實(shí)時多任務(wù)系統(tǒng)開發(fā)中，用C語言代碼表示的任務(wù)是一個無限的循環(huán)程序。任務(wù)不能有返回，不能有退出出口，但是任務(wù)可以被殺死，包括被別的任務(wù)殺死或自殺[2]。任務(wù)的概念與操作系統(tǒng)中的進(jìn)程概念相同，一個任務(wù)是獨(dú)立的執(zhí)行進(jìn)程，可以與其他的并發(fā)任務(wù)競爭CPU時間。
基于RTOS的單片機(jī)應(yīng)用軟件開發(fā)過程：首先是根據(jù)系統(tǒng)設(shè)計方案明確應(yīng)用軟件的功能，然后結(jié)合RTOS的并發(fā)特性(或準(zhǔn)并發(fā)特性)，對應(yīng)用軟件要實(shí)現(xiàn)的功能進(jìn)行大小適當(dāng)?shù)膭澐郑簿褪前褢?yīng)用軟件的功能按照一定的原則劃分為若干個任務(wù)模塊，并對各個任務(wù)間的通信和時延進(jìn)行仔細(xì)的確認(rèn)。
2、任務(wù)劃分的原則
任務(wù)劃分有3個原則，分別介紹如下。
2.1 原則1
原則1是將同一個外設(shè)的訪問放在一個任務(wù)中。
對每個獨(dú)立的硬件(例如串行通信端口)進(jìn)行操作的驅(qū)動程序段放在一個任務(wù)中。也就是說，要想對某個設(shè)備資源進(jìn)行操作，只有依靠執(zhí)行相應(yīng)的任務(wù)來實(shí)現(xiàn)。這樣無論何時切換任務(wù)，都不會對任何獨(dú)立的“外設(shè)”造成影響。
這樣做能夠避免嵌入式操作系統(tǒng)的特殊問題——資源沖突和重入問題，而且利于系統(tǒng)維護(hù)與升級。各個任務(wù)之間要實(shí)現(xiàn)通信，可以調(diào)用os_send_signal函數(shù)及全局變量來實(shí)現(xiàn)。
所謂“資源沖突”，就是任務(wù)A在訪問某個資源時，恰好發(fā)生了任務(wù)切換——由任務(wù)A切換到任務(wù)B，任務(wù)B也訪問這個資源且改變了它的狀態(tài)，這樣當(dāng)再次執(zhí)行任務(wù)A時，就可能發(fā)生沖突或帶來不確定性。而所謂“重入”，是指假設(shè)任務(wù)A在運(yùn)行某個函數(shù)，發(fā)生任務(wù)切換后，任務(wù)B也運(yùn)行這個函數(shù)，這樣就會破壞任務(wù)A執(zhí)行這個函數(shù)時的現(xiàn)場，從而可能導(dǎo)致任務(wù)A執(zhí)行函數(shù)時結(jié)果不正確。這種問題尤其容易出現(xiàn)在串行接口器件的操作中，例如串口，串行的AD、DA器件等。
2.2 原則2
原則2是要通過任務(wù)分割提高系統(tǒng)的實(shí)時性。
在嵌入式多任務(wù)實(shí)時系統(tǒng)中，任務(wù)是指一個程序分段。這個程序分段被操作系統(tǒng)當(dāng)作一個基本單元來調(diào)度。典型地，每個任務(wù)都是一個無限的循環(huán)。
RTOS本質(zhì)上就是嵌入的實(shí)時內(nèi)核，它負(fù)責(zé)管理各個任務(wù)，或者說是為每個任務(wù)分配CPU時間，并且負(fù)責(zé)任務(wù)之間的通信。實(shí)時內(nèi)核可分為可剝奪型和不可剝奪型兩類。因此，按照所使用內(nèi)核的不同，嵌入式實(shí)時系統(tǒng)也可分為兩類：使用不可剝奪型內(nèi)核的嵌入式實(shí)時系統(tǒng)和使用可剝奪型內(nèi)核的嵌入式實(shí)時系統(tǒng)。
2.2.1 長任務(wù)的定義
在RTOS中，長任務(wù)就是指整個任務(wù)的執(zhí)行時間較長，超出了RTOS中其他某一個或某幾個任務(wù)的實(shí)時要求容限，而對整個RTOS的實(shí)時性構(gòu)成威脅的那些任務(wù)。需要注意的是，長任務(wù)與復(fù)雜任務(wù)不能混淆，復(fù)雜任務(wù)的執(zhí)行時間不一定長，簡單任務(wù)也可能會構(gòu)成長任務(wù)。
2.2.2 長任務(wù)對RTOS的影響
當(dāng)使用可剝奪型實(shí)時內(nèi)核時，長任務(wù)由于執(zhí)行的時間較長，因而更容易被高優(yōu)先級的任務(wù)打斷；一旦高優(yōu)先級的任務(wù)進(jìn)入了就緒狀態(tài)，當(dāng)前任務(wù)的CPU使用權(quán)就被剝奪了，或者說任務(wù)被掛起了，那個高優(yōu)先級的任務(wù)立刻得到了CPU的控制權(quán)。這樣會出現(xiàn)兩個問題：一是長任務(wù)可能在一次執(zhí)行的過程中被頻繁打斷，長時間得不到一次完整的執(zhí)行；二是長任務(wù)被打斷時，可能要保存大量的現(xiàn)場信息，其目的是為了保證在高優(yōu)先級任務(wù)執(zhí)行完返回后，長任務(wù)能得以繼續(xù)執(zhí)行。然而，這樣做要占用一定的系統(tǒng)資源，同時保存現(xiàn)場本身也是要占用CPU時間的，因此，實(shí)時性也會下降。
當(dāng)使用不可剝奪型實(shí)時內(nèi)核時，長任務(wù)對RTOS的影響更為明顯，因?yàn)樵谶@種內(nèi)核中，任務(wù)的響應(yīng)時間取決于最長的任務(wù)執(zhí)行時間。也就是說，由于長任務(wù)的存在，任務(wù)的響應(yīng)時間要變長。其結(jié)果是CPU長時間停留在長任務(wù)中，其他任務(wù)得不到實(shí)時的響應(yīng)，甚至根本得不到執(zhí)行，系統(tǒng)的實(shí)時性勢必要下降。
總之，無論是使用可剝奪型內(nèi)核，還是使用不可剝奪型內(nèi)核，長任務(wù)都會對RTOS構(gòu)成嚴(yán)重的威脅。
2.2.3 長任務(wù)問題的解決方法
解決長任務(wù)問題最有效的途徑是進(jìn)行任務(wù)分割。所謂“任務(wù)分割”是指將影響系統(tǒng)實(shí)時性的長任務(wù)分割成若干個小任務(wù)。這樣單個任務(wù)的執(zhí)行時間變短，系統(tǒng)的任務(wù)響應(yīng)時間變短，實(shí)時性得以提高。
（1）對任務(wù)的分析與計算
當(dāng)然，長任務(wù)的分割必須結(jié)合系統(tǒng)中所使用的內(nèi)核，以及各任務(wù)對實(shí)時性的要求等情況，進(jìn)行必要的分析與計算，才能保證分割的合理性和有效性，具體的步驟如下。
① 分析系統(tǒng)共有多少個任務(wù)，這些任務(wù)對實(shí)時性的要求有多高，求出各個任務(wù)所要求的最低執(zhí)行頻率(f1，f2，…，fn)。
② 計算目前各任務(wù)的實(shí)際執(zhí)行時間(t1，t2，…，tn)
③ 確定系統(tǒng)中的長任務(wù)。如果max(t1，t2，…，tn)≤min(1f1，1f2，…，1fn)，則此系統(tǒng)中不存在長任務(wù)。如果max(t1，t2，…，tn)＞min(1f1，1f2，…，1fn)，則存在長任務(wù)，而且執(zhí)行時間為max(t1，t2，…，tn)的那個任務(wù)就是要找的長任務(wù)。
④ 分析此長任務(wù)是否需要分割，分析一下是什么原因?qū)е聢?zhí)行的時間過長，這個時間是否能夠通過程序的優(yōu)化來縮短？如果能，則不需要進(jìn)行任務(wù)分割；否則，要對這個長任務(wù)進(jìn)行分割。
（2）實(shí)施長任務(wù)分割
常用的任務(wù)分割的方法有以下兩種：
① 將長任務(wù)按功能分為若干個小模塊，每一個模塊構(gòu)成一個小任務(wù)，每個小任務(wù)實(shí)現(xiàn)一種相對獨(dú)立的功能，且要保證執(zhí)行時間tmin(1f1，1f2，…，1fn)。各個小任務(wù)被內(nèi)核順序調(diào)用，合起來實(shí)現(xiàn)長任務(wù)功能。
② 有的長任務(wù)比較特殊，例如鍵盤任務(wù)和動態(tài)LED數(shù)碼管顯示任務(wù)，很難按照上面的方法把它分成若干個功能相對獨(dú)立的小模塊。這時，一般是按照方便保存現(xiàn)場信息的原則，將其強(qiáng)制分割成若干個小任務(wù)，每個小任務(wù)在min(1f1，1f2，…，1fn)時間內(nèi)主動保存現(xiàn)場信息、放棄CPU的控制權(quán)，等到再次被內(nèi)核調(diào)度時繼續(xù)執(zhí)行。這種分割方法相對而言較復(fù)雜，各任務(wù)之間界限不是很明顯，看似未經(jīng)分割，但實(shí)際上它卻是由多次任務(wù)中斷來完成的。
2.3 原則3
原則3是要將軟件工程中的“解耦原則”用于任務(wù)劃分。
可以采用軟件工程中的解耦原則對應(yīng)用程序進(jìn)行任務(wù)的劃分。任務(wù)之間的耦合是影響軟件復(fù)雜程度的一個重要因素，應(yīng)該采取下述設(shè)計原則：盡量使用數(shù)據(jù)耦合，少用控制耦合和特征耦合，限制公共環(huán)境耦合的范圍，完全不用內(nèi)容耦合。具體方法可參見軟件工程方面的書籍，例如文獻(xiàn)[3]。
