4種實時操作系統(tǒng)實時性的分析對比
關鍵詞: 實時操作系統(tǒng);VxWorks;mC/OS-II;RT-Linux;QNX
引言
20世紀70年代以來嵌入式系統(tǒng)的硬件和軟件技術的飛速進步,使得嵌入式應用得到了蓬勃發(fā)展,在這些應用中實時操作系統(tǒng)起著決定性的作用。
在復雜測控應用中,必須使用對實時性要求非常高的實時操作系統(tǒng)。例如在工業(yè)控制、交通管理、機器人、航空航天、武器裝備等領域,系統(tǒng)事件的響應如果不能準時或超時,就可能導致巨大的損失和災難。因而,選擇操作系統(tǒng)時,對實時性的仔細考慮至關重要。本文從實時性的角度細致的分析對比了適用于此類有苛刻實時性要求的4種操作系統(tǒng)——VxWorks、mC/OS-II、RT-Linux、QNX,為系統(tǒng)選型提供一定參考。
實時性能主要實現技術
實時操作系統(tǒng)的實時性是第一要求,需要調度一切可利用的資源完成實時任務。根據響應時間在微秒、毫秒和秒級的不同,可分為強實時、準實時和弱實時三種。強實時系統(tǒng)必須是對即時的事件作出反應,絕對不能錯過事件處理時限。例如測控領域就是要求強或接近強實時系統(tǒng)。在機頂盒、PDA、信息家電等應用領域,系統(tǒng)負荷較重的時候,允許發(fā)生錯過時限的情況而且不會造成太大的危害,準和弱實時系統(tǒng)就可滿足應用。一個強實時的操作系統(tǒng)通常使用以下技術:
● 占先式內核
當系統(tǒng)時間響應很重要時,要使用占先式內核。當前最高優(yōu)先級的任務一旦就緒,總能立即得到CPU的控制權,而CPU的控制權是可知的。使用占先式內核使得任務級響應時間得以最優(yōu)化。
● 調度策略分析
任務調度策略是直接影響實時性能的因素。強實時系統(tǒng)和準實時系統(tǒng)的實現區(qū)別主要在選擇調度算法上。選擇基于優(yōu)先級調度的算法足以滿足準實時系統(tǒng)的要求,而且可以提供高速的響應和大的系統(tǒng)吞吐率。當兩個或兩個以上任務有同樣優(yōu)先級,通常用時間片輪轉法進行調度。對硬實時系統(tǒng)而言,需要使用的算法就應該是調度方式簡單,反應速度快的實時調度算法了。盡管調度算法多種多樣,但大多由單一比率調度算法(RMS)和最早期限優(yōu)先算法(EDF)變化而來。前者主要用于靜態(tài)周期任務的調度,后者主要用于動態(tài)調度,在不同的系統(tǒng)狀態(tài)下兩種算法各有優(yōu)劣。在商業(yè)產品中采用的實際策略常常是各種因素的折中。
● 任務優(yōu)先級分配
每個任務都有其優(yōu)先級。任務越重要,賦予的優(yōu)先級應越高。應用程序執(zhí)行過程中諸任務優(yōu)先級不變,則稱之為靜態(tài)優(yōu)先級。在靜態(tài)優(yōu)先級系統(tǒng)中,諸任務以及它們的時間約束在程序編譯時是已知的。反之,應用程序執(zhí)行過程中,任務的優(yōu)先級是可變的,則稱之為動態(tài)優(yōu)先級。
● 時間的可確定性
強實時操作系統(tǒng)的函數調用與服務的執(zhí)行時間應具有可確定性。系統(tǒng)服務的執(zhí)行時間不依賴于應用程序任務的多少。系統(tǒng)完成某個確定任務的時間是可預測的。
實時性能重要指標
衡量實時操作系統(tǒng)實時性能的重要指標有:
● 任務切換時間
當多任務內核決定運行另外的任務時,它把正在運行任務的當前狀態(tài)(即CPU寄存器中的全部內容)保存到任務自己的棧區(qū)之中。然后把下一個將要運行的任務的當前狀態(tài)從該任務的棧中重新裝入CPU的寄存器,并開始下一個任務的運行。這個過程就稱為任務切換。做任務切換所需要的時間取決于CPU有多少寄存器要入棧。CPU的寄存器越多,額外負荷就越重。
● 中斷響應時間(可屏蔽中斷)
計算機接收到中斷信號到操作系統(tǒng)作出響應,并完成切換轉入中斷服務程序的時間。對于占先式內核,要先調用一個特定的函數,該函數通知內核即將進行中斷服務,使得內核可以跟蹤中斷的嵌套。占先式內核的中斷響應時間由下式給出:
中斷響應時間=關中斷的最長時間
+保護CPU內部寄存器的時間
+進入中斷服務函數的執(zhí)行時間
+開始執(zhí)行中斷服務例程(ISR)的第
一條指令時間
中斷響應時間是系統(tǒng)在最壞情況下響應中斷的時間,某系統(tǒng)100次中有99次在50ms之內響應中斷,只有一次響應中斷的時間是250ms,只能認為中斷響應時間是250ms。
表2列出了部分體現實時性能重要指標的典型值,它們的測試平臺和測試方法不完全相同,影響了數據的可比性,但我們仍可作為參考。
另外,還有系統(tǒng)響應時間(系統(tǒng)發(fā)出處理要求到系統(tǒng)給出應答信號的時間)、最長關中斷時間、非屏蔽中斷響應時間等輔助的衡量指標。
若干問題
雖然當今的實時操作系統(tǒng)已日臻完善,但仍有一些問題存在并干擾著強實時的實現。我們應充分的重視,并通過合理的安排程序減少它們的危害。
● 優(yōu)先級反轉
這是實時系統(tǒng)中出現得最多的問題。優(yōu)先級反轉是指一個任務等待比它優(yōu)先級低的任務釋放資源而被阻塞,如果這時有中等優(yōu)先級的就緒任務,阻塞會進一步惡化。它嚴重影響了實時任務的完成。
為防止發(fā)生優(yōu)先級反轉,一些商業(yè)內核(如VxWorks)使用了優(yōu)先級繼承技術,當優(yōu)先級反轉發(fā)生時,優(yōu)先級較低的任務被暫時地提高它的優(yōu)先級,使得該任務能盡快執(zhí)行,釋放出優(yōu)先級較高的任務所需要的資源。但它也不能完全避免優(yōu)先級反轉,只能稱其減輕了優(yōu)先級反轉的程度,減輕了優(yōu)先級反轉對實時任務完成的影響。
優(yōu)先權極限是另一種解決方案,系統(tǒng)把每一個臨界資源與1個極限優(yōu)先權相聯(lián)系,這個極限優(yōu)先權等于系統(tǒng)此時最高優(yōu)先權加1。當這個任務退出臨界區(qū)后,系統(tǒng)立即把它的優(yōu)先權恢復正常,從而保證系統(tǒng)不會出現優(yōu)先權反轉的情況。采用這種方案的另一個有利之處,是僅僅通過改變某個臨界資源的優(yōu)先級就可以使多個任務共享這個臨界資源。
● 任務執(zhí)行時間的抖動
各種實時內核都有將任務延時若干個時鐘節(jié)拍的功能。優(yōu)先級的不同、延時請求發(fā)生的時間、發(fā)出延時請求的任務自身的運行延遲,都會造成被延時任務執(zhí)行時間不同程度的提前或滯后,稱之為任務執(zhí)行時間的抖動??赡艿慕鉀Q方案有:
a. 增加微處理器的時鐘頻和時鐘節(jié)拍的頻率;b. 重新安排任務的優(yōu)先級;c. 避免使用浮點運算等。
強實時系統(tǒng)中,我們必須綜合考慮,充分利用各種手段,盡量減少任務執(zhí)行時間的抖動。
● 任務劃分
程序在CPU中是以任務的方式在運行,所以我們要將系統(tǒng)的處理框圖轉化為多任務流程圖,對處理進行任務劃分。任務劃分存在這樣一對矛盾:如果任務太多,必然增加系統(tǒng)任務切換的開銷;如果任務太少,系統(tǒng)的并行度就降低了,實時性就比較差。在任務劃分時要遵循H.Gomma原則:
a. I/O原則:不同的外設執(zhí)行不同任務;
b. 優(yōu)先級原則:不同優(yōu)先級處理不同的任務;
c. 大量運算:歸為一個任務;
d. 功能耦合:歸為一個任務;
e. 偶然耦合:歸為一個任務;
f. 頻率組合:對于周期時間,不同任務處理不同的頻率。
如果我們在具體分析一個系統(tǒng)的時候發(fā)生原則沖突的話,則要為每一個原則針對具體的系統(tǒng)設定“權重”,必要的時候可以通過計算“權重”來最終確定如何去劃分任務。
總結
VxWorks、mC/OS-II、RT-Linux、QNX都是優(yōu)秀的強實時操作系統(tǒng),各有特色:VxWorks的衡量指標值最好;mC/OS-II最短小精悍;RT-Linux支持調度策略的改寫;QNX支持分布式應用。當我們充分理解和掌握它們實現技術、衡量指標的不同,注意所存在的問題,就能在實時性應用中游刃有余?!?
參考文獻:
1. 劭貝貝,‘UC/OS-II源碼公開的實時嵌入式操作系統(tǒng)’, 北京:中國電力出版社, 2001, 29-68
2. 武強,‘選擇嵌入式實時操作系統(tǒng)應注意的幾個問題’,航空計算技術,2002,32(3):90-92
linux相關文章:linux教程
評論