您何時(shí)需要實(shí)時(shí)操作系統(tǒng)？

　　摘要

　　目前的高性能處理器和通用操作系統(tǒng)實(shí)時(shí)補(bǔ)丁的飛速更新，似乎又重新將嵌入式系統(tǒng)是否還需要實(shí)時(shí)操作系統(tǒng)這一問題擺在我們面前。答案依然沒變：在嵌入式環(huán)境中，只有真正的實(shí)時(shí)操作系統(tǒng)才能在低端處理器上同樣提供資源保證。

　　簡介

　　大部分嵌入式項(xiàng)目還需要實(shí)時(shí)操作系統(tǒng)嗎?這個(gè)問題問得好，因?yàn)楝F(xiàn)代高性能處理器和 Linux、Windows 和其他通用操作系統(tǒng) (GPOS) 的實(shí)時(shí)補(bǔ)丁的出現(xiàn)等等這些都在飛速發(fā)展中。

　　嵌入式設(shè)備的本質(zhì)道出了答案。制造設(shè)備通常都需要幾千個(gè)甚至幾百萬個(gè)部件。哪怕設(shè)備硬件的單位成本節(jié)省 1 美元，都會為制造商帶來不小的財(cái)富。換言之，設(shè)備無法承受數(shù)千兆赫茲級處理器的成本(更不用考慮功耗這些因素了)。

　　例如，在汽車遠(yuǎn)程信息處理技術(shù)市場，常見的 32 位處理器以約 600Mhz 的速度運(yùn)行——遠(yuǎn)遠(yuǎn)慢于臺式機(jī)和服務(wù)器的通用處理器。 在這種運(yùn)行環(huán)境中，實(shí)時(shí)操作系統(tǒng)能得到低端硬件超快、可預(yù)測的響應(yīng)，因此具有顯著的節(jié)約成本的優(yōu)勢。

　　除節(jié)約成本之外，實(shí)時(shí)操作系統(tǒng)提供的服務(wù)還能使許多計(jì)算問題迎刃而解，特別是當(dāng)多種運(yùn)行爭奪系統(tǒng)資源時(shí)。例如，試想一個(gè)用戶期望(或需要)立即響應(yīng)輸入的系統(tǒng)。利用實(shí)時(shí)操作系統(tǒng)，軟件開發(fā)人員能確保用戶啟動(dòng)的操作會先于其他系統(tǒng)活動(dòng)執(zhí)行，除非必須先執(zhí)行更重要的任務(wù)(如幫助保護(hù)用戶安全的運(yùn)行)。

　　再試想一個(gè)必須滿足服務(wù)質(zhì)量 (QoS) 要求的系統(tǒng)，例如一臺可播放現(xiàn)場視頻的設(shè)備。如果設(shè)備依靠軟件播放其內(nèi)容，它可能會以用戶無法接受的速率出現(xiàn)失幀現(xiàn)象——從用戶的角度看，該設(shè)備不可靠。但使用實(shí)時(shí)操作系統(tǒng)的話，軟件開發(fā)人員就能精確控制軟件進(jìn)程的執(zhí)行順序，確保以適當(dāng)和一致的媒體速率播放。

　　實(shí)時(shí)操作系統(tǒng)并不“公平”

　　對“硬”實(shí)時(shí)的需求——以及對實(shí)現(xiàn)該功能的實(shí)時(shí)操作系統(tǒng)的需求——仍然是嵌入式產(chǎn)品業(yè)的普遍要求。問題是：實(shí)時(shí)操作系統(tǒng)具備哪些通用操作系統(tǒng)所不具備的功能呢?適用于一些通用操作系統(tǒng)的實(shí)時(shí)擴(kuò)展組件有多大用處呢?它們能提供和實(shí)時(shí)操作系統(tǒng)一樣的性能嗎?

　　讓我們先從任務(wù)調(diào)度開始。在通用操作系統(tǒng)中，調(diào)度程序通常使用一種“公平”策略，將線程和進(jìn)程分配到 CPU 中。這種策略可確保臺式機(jī)和服務(wù)器的應(yīng)用程序所需的較高的總吞吐量，但無法保證優(yōu)先級高、時(shí)間要求嚴(yán)格的線程先于優(yōu)先級低的線程執(zhí)行。

　　例如，通用操作系統(tǒng)可能會降低分配給優(yōu)先級高的線程的優(yōu)先級，或按照有利于系統(tǒng)內(nèi)其他線程的公平原則，以動(dòng)態(tài)方式調(diào)整優(yōu)先級。因此，優(yōu)先級高的線程就可能被優(yōu)先級低的線程搶占。此外，大多數(shù)通用操作系統(tǒng)都具有無限期的分配潛伏期：系統(tǒng)內(nèi)的線程越多，通用操作系統(tǒng)調(diào)度線程執(zhí)行所需的時(shí)間就越久。其中任何一種因素都能導(dǎo)致優(yōu)先級高的線程錯(cuò)過最后期限，即使在速度很快的 CPU 上。

　　另一方面，在實(shí)時(shí)操作系統(tǒng)中，線程會按其優(yōu)先級的順序執(zhí)行。如果優(yōu)先級高的線程準(zhǔn)備運(yùn)行，它能在很短且有限的時(shí)間間隔內(nèi)，從正在執(zhí)行的優(yōu)先級低的線程那里接管 CPU。此外，優(yōu)先級高的線程還能不間斷地運(yùn)行直到完成任務(wù)為止——當(dāng)然，除非它被優(yōu)先級更高的線程搶占。這種眾所周知的基于優(yōu)先級的搶占式調(diào)度，可確保優(yōu)先級高的線程始終如一地滿足最后期限的要求，即使在其他線程爭奪 CPU 時(shí)間時(shí)。

　　搶占式內(nèi)核

　　大多數(shù)通用操作系統(tǒng)的操作系統(tǒng)內(nèi)核都不是搶占式的。因此，優(yōu)先級高的用戶線程無法搶占內(nèi)核調(diào)用，相反，它必須等待整個(gè)調(diào)用全部結(jié)束——即使是系統(tǒng)內(nèi)優(yōu)先級低的進(jìn)程進(jìn)行調(diào)用。此外，當(dāng)驅(qū)動(dòng)程序或其他系統(tǒng)服務(wù)(通常在內(nèi)核調(diào)用中運(yùn)行)以客戶端線程的名義執(zhí)行時(shí)，操作系統(tǒng)通常會丟失所有優(yōu)先級信息。這種系統(tǒng)行為會導(dǎo)致無法預(yù)料的延遲，而且會妨礙關(guān)鍵運(yùn)行按時(shí)完成。

　　另一方面，在實(shí)時(shí)操作系統(tǒng)中，內(nèi)核運(yùn)行是可搶占的。在通用操作系統(tǒng)中，有一些時(shí)間窗有可能是無法被搶占的，但在精心設(shè)計(jì)的實(shí)時(shí)操作系統(tǒng)中，這些時(shí)間窗非常短暫，通常僅約幾百納秒。另外，實(shí)時(shí)操作系統(tǒng)會針對搶占推遲和中斷禁止的時(shí)限設(shè)置上限;這能保證軟件開發(fā)人員確定情況最糟的延遲期。

　　為實(shí)現(xiàn)一致的可預(yù)見性目標(biāo)和及時(shí)完成關(guān)鍵運(yùn)行，實(shí)時(shí)操作系統(tǒng)內(nèi)核必須盡可能簡單精致。實(shí)現(xiàn)這種簡單性的最佳途徑是設(shè)計(jì)一種只包含短執(zhí)行路徑服務(wù)的內(nèi)核。通過排除內(nèi)核中任務(wù)集中的運(yùn)行(如進(jìn)程加載)并將其分配到外部進(jìn)程或線程，實(shí)時(shí)操作系統(tǒng)的設(shè)計(jì)人員就能保證通過內(nèi)核的最長的非搶占代碼路徑有上限。

　　在一些通用操作系統(tǒng)中，內(nèi)核增加了某種程度的可搶占性。但無法搶占的時(shí)間間隔仍然比常見實(shí)時(shí)操作系統(tǒng)的長得多;這種搶占間隔的長度取決于通用操作系統(tǒng)內(nèi)核中包含的最長的關(guān)鍵模塊部分(如網(wǎng)絡(luò))。另外，搶占式通用操作系統(tǒng)內(nèi)核不能解決可能的無限期延遲情形，例如因?yàn)榭蛻舳苏{(diào)用驅(qū)動(dòng)程序或其他系統(tǒng)服務(wù)時(shí)丟失優(yōu)先級信息。

　　避免優(yōu)先級反轉(zhuǎn)

　　在通用操作系統(tǒng)(甚至實(shí)時(shí)操作系統(tǒng))中，優(yōu)先級低的線程也能在無意中阻止優(yōu)先級高的線程訪問 CPU——這種情況被稱為優(yōu)先級反轉(zhuǎn)。當(dāng)出現(xiàn)無限期的優(yōu)先級反轉(zhuǎn)時(shí)，可能會錯(cuò)過關(guān)鍵的最后期限，進(jìn)而導(dǎo)致系統(tǒng)運(yùn)行異常和全面故障的結(jié)果。遺憾的是，在系統(tǒng)設(shè)計(jì)過程中人們往往會忽視優(yōu)先級反轉(zhuǎn)。有很多優(yōu)先級反轉(zhuǎn)的實(shí)例，包括 1997 年 7 月火星探路者項(xiàng)目遭受困擾的實(shí)例。[1]

　　一般來說，當(dāng)優(yōu)先級不同的兩個(gè)任務(wù)共享資源，而優(yōu)先級高的任務(wù)無法從優(yōu)先級低的任務(wù)那里獲得資源時(shí)，就會出現(xiàn)優(yōu)先級反轉(zhuǎn)。為防止這種狀況超過有限的時(shí)間間隔，實(shí)時(shí)操作系統(tǒng)可提供一種通用操作系統(tǒng)不具備的選擇機(jī)制，包括優(yōu)先級繼承和優(yōu)先級封頂模擬。我們不能單純地評價(jià)兩種機(jī)制的優(yōu)劣，所以我們著重介紹優(yōu)先級繼承的實(shí)例。