一種虛擬化操作系統(tǒng)基于事件驅(qū)動的實時調(diào)度方法※

黨茂昌

（中興通訊股份有限公司 上海研發(fā)中心 軟件平臺架構(gòu)部，上海 201203）

黨茂昌（系統(tǒng)架構(gòu)師），主要研究領(lǐng)域為嵌入式系統(tǒng)、操作系統(tǒng)、無線通信技術(shù)、虛擬化技術(shù)、圖形系統(tǒng)等，主要從事手機(jī)硬件／軟件系統(tǒng)架構(gòu)設(shè)計、BSP開發(fā)等工作。

引 言

目前，虛擬化操作系統(tǒng)（hypervisor）廣泛應(yīng)用于服務(wù)器、PC機(jī)等，這些應(yīng)用領(lǐng)域?qū)崟r性要求較低。隨著一些嵌入式實時應(yīng)用領(lǐng)域的發(fā)展，比如下一代手機(jī)對安全性、應(yīng)用聚合和云計算等方面的需求，需要采用虛擬化操作系統(tǒng)。傳統(tǒng)的虛擬化操作系統(tǒng)很難滿足這些應(yīng)用領(lǐng)域的實時性要求。經(jīng)過大量的測試與分析，發(fā)現(xiàn)虛擬化操作系統(tǒng)實時性差的主要源頭之一是調(diào)度算法實時性不佳。有必要對虛擬化操作系統(tǒng)的調(diào)度方法進(jìn)行實時性改造，使之可以應(yīng)用于實時性要求較高的場合。本文提出了一種基于系統(tǒng)事件驅(qū)動和時間驅(qū)動相結(jié)合的實時調(diào)度方法，經(jīng)實踐表明，該方法有效地解決了虛擬化操作系統(tǒng)在嵌入式系統(tǒng)應(yīng)用中帶來的實時性問題。

1 問題提出

基于虛擬化操作系統(tǒng)（hypervisor），可以實現(xiàn)單CPU上多個操作系統(tǒng)（GuestOS）在相互隔離的內(nèi)存域（Domain）中同時運(yùn)行。如圖1所示，箭頭表示調(diào)度。其中的系統(tǒng)調(diào)度采用二級調(diào)度策略，虛擬化操作系統(tǒng)對GuestOS（Domain）進(jìn)行第一級調(diào)度，GuestOS對自身的任務(wù)進(jìn)行第二級調(diào)度，系統(tǒng)的實時性響應(yīng)很難保證。

對于第一級調(diào)度（Domain調(diào)度），傳統(tǒng)的調(diào)度策略都是基于時間片的調(diào)度方法（SEDF、BVT、ARR、Credit等），通常應(yīng)用于實時性要求較低的場合（網(wǎng)絡(luò)服務(wù)器等），對于實時性要求較高的場合（手機(jī)等），調(diào)度的實時性就很難滿足系統(tǒng)要求。具體表現(xiàn)為：CPU利用率低、中斷響應(yīng)緩慢、GuestOS之間數(shù)據(jù)通信速率不足等。為了改進(jìn)這些性能，必須設(shè)計一種新的滿足實時性應(yīng)用場合的調(diào)度方法。根據(jù)實際測試和分析，發(fā)現(xiàn)實時性響應(yīng)差的主要瓶頸在于GuestOS不能夠得到及時的調(diào)度。

本文的方法主要對第一級調(diào)度策略進(jìn)行改造，即改造虛擬化操作系統(tǒng)對GuestOS（Domain）的調(diào)度方法。

圖1 虛擬化操作系統(tǒng)

2 解決方法

本文的方法采用系統(tǒng)實時事件驅(qū)動Domain調(diào)度器的策略。當(dāng)系統(tǒng)中有需要實時響應(yīng)的緊急或重要事件發(fā)生時，這些事件有機(jī)會驅(qū)動Domain調(diào)度器產(chǎn)生調(diào)度行為，使之（緊急或重要事件）得到快速處理。當(dāng)沒有緊急或重要事件發(fā)生時，Domain調(diào)度器采用基于時間片（權(quán)重）的調(diào)度算法。

2.1 調(diào)度原則

圖2表示了調(diào)度原則。圖2中，系統(tǒng)硬件中斷、GuestOS事件發(fā)送、Guest Idle之類的緊急或重要事件發(fā)生時，有機(jī)會通過強(qiáng)原則去驅(qū)動Domain調(diào)度器，切換Domain使之得到快速處理。當(dāng)系統(tǒng)中沒有緊急或重要事件發(fā)生時，Domain調(diào)度器通過弱原則進(jìn)行調(diào)度（時間片等）。

圖2 調(diào)度原則

2.2 實時性分析

以中斷處理為例分析中斷響應(yīng)時間，如圖3所示。從圖3中可以看到，原調(diào)度策略的中斷響應(yīng)時間包含：“等待Domain調(diào)度時間片結(jié)束”＋ “Doamin切換”。新的調(diào)度策略，僅包含“Doamin切換”時間?？梢?，采用新的策略，中斷的實時性響應(yīng)得到了提高。

圖3 中斷實時響應(yīng)分析

虛擬操作系統(tǒng)應(yīng)用中常會有以下3類事件的實時響應(yīng)需要考慮：

0類事件——底層硬件中斷需要得到上層某個Domain的快速響應(yīng)處理；

1類事件——Domain（GuestOS）之間的通信事件需要被另一個Doamin快速處理；

2類事件——Domain（GuetOS）中的任務(wù)空閑時，主動放棄CPU，通知Domain調(diào)度器使其他Domain（GuestOS）得到運(yùn)行機(jī)會。

這些事件的實時性響應(yīng)時間分析和中斷響應(yīng)類似。

在本方法中，如圖4所示，上述的3類事件都以設(shè)置觸發(fā)事件的形式驅(qū)動Domain調(diào)度器，Domain調(diào)度器可以

根據(jù)這些事件組合、當(dāng)前的GuestOS狀態(tài)組合、當(dāng)前的Domain調(diào)度狀態(tài)來產(chǎn)生調(diào)度決策。

2.3 方法實施

2.3.1 事件定義

本方法具體實現(xiàn)時，根據(jù)實時系統(tǒng)的具體應(yīng)用情況，首先定義出緊急／重要事件（需要引發(fā)調(diào)度才能滿足實時響應(yīng)要求的事件），并按照2.2節(jié)所述的3類實時事件劃分，對其分類并設(shè)計優(yōu)先級排序。0類事件優(yōu)先級最高，1類事件優(yōu)先級居中，2類事件優(yōu)先級最低，每類事件自身也按照優(yōu)先級排序。

2.3.2 狀態(tài)定義

然后，根據(jù)系統(tǒng)設(shè)計和運(yùn)行情況列出Domain狀態(tài)組合、GuestOS狀態(tài)組合，如表1、表2所列。最后，根據(jù)系統(tǒng)運(yùn)行要求，設(shè)計出驅(qū)動事件調(diào)度查詢表，如表3所列。

表1給出了GuestOS運(yùn)行狀態(tài)組合，表示每個guestOS中的任務(wù)運(yùn)行情況。每個GuestOS可以處于Run或Idle兩個狀態(tài)，多個GuestOS的狀態(tài)組合起來（本文用2個GuestOS說明），就可以制作出GuestOS的狀態(tài)組合表。

表1 GuestOS狀態(tài)組合

圖4 基于事件驅(qū)動的實時調(diào)度方法

表2 Domain狀態(tài)組合

表2表示了Domain狀態(tài)組合。表示Domain調(diào)度器的調(diào)度情況，每個Domain可以處于Run或Ready兩個狀態(tài)，多個Domain的狀態(tài)組合起來（本文采用2個Domain），就可以制作出Doamin的狀態(tài)組合表。

表3 調(diào)度查詢表

表3是調(diào)度查詢表。調(diào)度觸發(fā)事件可以通過它查詢到下一個需要被調(diào)度運(yùn)行的GuestOS。它是一個二維的數(shù)組，其中列的維度由調(diào)度觸發(fā)事件表示，優(yōu)先級從高向低排列，另一個行的維度由GuestOS狀態(tài)組合表示，包含表1的所有GuestOS狀態(tài)組合。通過這兩個維度的輸入，可以查詢到預(yù)期的需要被調(diào)度的GuestOS（Domain），作為調(diào)度器下一次調(diào)度決策的輸入。

2.3.3 事件置位與清除規(guī)則

2.2節(jié)圖4中表示了調(diào)度事件置位和清除規(guī)則，說明了3種類型的調(diào)度觸發(fā)事件是如何設(shè)置和清除的。

事件置位和清除規(guī)則時序如圖5所示。

圖5表示了3種類型的調(diào)度觸發(fā)事件的設(shè)置和清除時機(jī)，以及事件驅(qū)動策略和時間片驅(qū)動策略的切換時機(jī)，其中S＿timer的關(guān)閉／打開分別表示開始事件驅(qū)動調(diào)度／開始時間片驅(qū)動調(diào)度。圖中有5種事件置位／清除操作，其中虛線箭頭表示的5種操作是在GuestOS中進(jìn)行的，需要采用超級調(diào)用（hypercall）實現(xiàn)，其中的硬件中斷事件置位操作（實線箭頭）是在虛擬化操作系統(tǒng)特權(quán)空間中進(jìn)行的，可以直接操作。

2.3.4 事件優(yōu)先級處理策略

當(dāng)調(diào)度觸發(fā)事件到來時，首先設(shè)置事件標(biāo)識位，然后去檢查各類事件組中的標(biāo)識位。如果有更高優(yōu)先級的事件存在，返回；如果沒有，再檢查自己是否是第一個觸發(fā)事件。如果是，關(guān)閉時間片驅(qū)動調(diào)度策略，開始事件驅(qū)動調(diào)度策略 （關(guān)閉S＿timer），然后去查詢事件驅(qū)動調(diào)度表，對比當(dāng)前Domain判斷是否需要產(chǎn)生調(diào)度。

當(dāng)調(diào)度觸發(fā)事件響應(yīng)處理完成后，需要調(diào)用hypercall清除，清除該事件的標(biāo)識位后，要先去檢查一下是否有比自己優(yōu)先級低的事件存在。如果有，就去處理它，查詢事件驅(qū)動調(diào)度表，判斷是否需要產(chǎn)生新的調(diào)度；如果沒有比自己優(yōu)先級低的事件的存在，表示事件組中沒有其他事件存在了，啟動事件片調(diào)度策略，結(jié)束事件驅(qū)動調(diào)度策略（打開S＿timer）。

3 測試結(jié)果與分析

3.1 測試結(jié)果

硬件測試環(huán)境：ARM926EJ－S、主頻226MHz、64MB SDRAM、I／D Cache 16KB／16KB enable、MMU enable。軟件平臺：自研虛擬化操作系統(tǒng)（基于Xen）、Threadx、Linux（參考圖1）。測試軟件采用LMBench，以及根據(jù)實際應(yīng)用場景設(shè)計的大量測試用例。

對本文提出的調(diào)度方法和常用的BVT調(diào)度算法進(jìn)行對比測試，測試結(jié)果表明系統(tǒng)的實時性響應(yīng)和系統(tǒng)的運(yùn)行性能都有較大幅度的提升。根據(jù)對大量測試數(shù)據(jù)的統(tǒng)計，得到以下3個結(jié)果：

①GuestOS系統(tǒng)運(yùn)行性能的平均加速比為：threadx 1.82，Linux 1.94。

②中斷響應(yīng)加速比為：單個GuestOS運(yùn)行時為8.474，兩個GuestOS同時運(yùn)行時為15.6015。且響應(yīng)時間平穩(wěn)，有良好的可預(yù)測性。

圖5 事件置位和清除規(guī)則時序圖

③GuestOS之間的數(shù)據(jù)通信速度加速比為12.51，且速率穩(wěn)定。

3.2 測試分析

經(jīng)過實踐應(yīng)用表明，本文提出的方法有效地解決了虛擬化操作系統(tǒng)傳統(tǒng)調(diào)度方法帶來的CPU利用率低、中斷響應(yīng)緩慢、操作系統(tǒng)（GuestOS）之間數(shù)據(jù)通信速度慢等問題。

編者注：本文為期刊縮略版，全文見本刊網(wǎng)站www.mesnet.com.cn。

［1］M Joseph，P Pandya.Finding Response Times in a real－Time System［J］.The Computer Journal，1986（5）.

［2］C Liu，J Layland.Scheduling Algorithms for Multiprogramming in a Hard－Real－Time Environment［J］.Journal of theACM，1973（1）.

［3］Marco Spuri.Analysis of Deadline Scheduled Real－Time Systems［J］.Journal of the ACM，1996（1）.

［4］B Sprunt，L Sha，J Lehoczky.Aperiodic Task Scheduling for Hard－Real－Time Systems［J］.Real Time systems，1989（1）：27－60.

［5］秦嘯，韓宗芬，龐麗萍.基于異構(gòu)分布式系統(tǒng)的實時容錯調(diào)度算法 ［J］.計算機(jī)學(xué)報，2002（1）.