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