多核處理器在綜合模塊化航空電子系統(tǒng)中的應用

1、    多核處理器在綜合模塊化航空電子系統(tǒng)中的應用    趙光【摘 要】隨著綜合模塊化航空電子系統(tǒng)（ima）的廣泛應用，對ima的開發(fā)和概念解讀也隨之變得重要。目前，在實現(xiàn)了第一代ima平臺的基礎上，下一代ima平臺的架構已提上日程。本文分析了利用虛擬化技術將多核處理器應用于航空電子系統(tǒng)的設計，利用虛擬機系統(tǒng)來實現(xiàn)硬件資源的共享管理和軟件子系統(tǒng)的劃分，并符合 arinc653規(guī)范的要求模塊化、可靠性、隔離性與開放性。構建由多核心硬件平臺、虛擬機監(jiān)視器（vmm，virtual machine monitor）和分區(qū)操作系統(tǒng)、航電應用軟件所組成的軟件架構，可

2、以滿足綜合模塊化航電系統(tǒng)（ima，integrated modular avionics）的功能要求與接口要求。其中，為實現(xiàn)符合 arinc653要求的vmm，傳統(tǒng)分區(qū)操作系統(tǒng)需要進行多項關鍵性調整，包括處理器特權級和特權指令、中斷、內存地址空間 分配、設備驅動等方面，從而可以構造基于vmm的綜合化航空電子系統(tǒng)。【關鍵詞】綜合模塊化航空電子系統(tǒng)；虛擬化；多核處理器航空電子系統(tǒng)是飛機的重要組成部分，其系統(tǒng)結構不斷演變，經歷了分立式、聯(lián)合式、綜合化到高度綜合化的發(fā)展過程。綜合模塊化航空電子系統(tǒng)（ima）則是目前需求發(fā)展的最新成果，ima具有模塊化、系統(tǒng)容錯、魯棒分離和動態(tài)重構、支持多傳感器綜合和信

3、息融合等突出的技術特征；提高了系統(tǒng)的可靠性、集成性、維修性、任務能力等；從而大幅度提高了飛機的整體性能，減少了機載設備的重量、體積，降低了成本。國外根據新一代航電的技術特點，提出了高安全、高可靠的實時操作系統(tǒng)的概念，并給出相應的標準，如美國航電委員會編制的arinc653以及北約組織的聯(lián)合標準航空電子系統(tǒng)結構委員會asaac制定的軟件標準do-178b等。為解決實時系統(tǒng)中共享計算資源的各任務模塊之間保護的問題，前者對航電系統(tǒng)提出了新要求，引入了分區(qū)（partition）的概念；后者則主要對系統(tǒng)的安全等級評價建立了一系列評估和測試的標準，航電系統(tǒng)軟件必須通過上述規(guī)范的測試，才能被進一步實用化。目

4、前國外已開發(fā)出符合上述標準的成熟系統(tǒng)，并應用在新一代飛機的航電系統(tǒng)中。但是，當前的綜合模塊化航空電子系統(tǒng)的運行平臺均構建在單核處理器之上。多核處理器在日常生活中已經得到了廣泛的使用，但在航空航天、火車、汽車等安全關鍵領域中單核處理器仍占據主流位置。阻止多核處理器在安全關鍵領域里運用的主要障礙是系統(tǒng)容錯性無法得到保障。將多核處理器引入到機載實時系統(tǒng)的設計中來，可以進一步提高航電系統(tǒng)的集成度，壓縮航電系統(tǒng)的體積和重量。1 現(xiàn)有航空電子系統(tǒng)軟件接口標準制定和實施合適的航空電子系統(tǒng)軟件接口標準，可提高航空電子應用軟件的可移植性，有效縮短開發(fā)周期，并降低成本。航空電子應用軟件與機載實時操作系統(tǒng)接口的標準

5、化、規(guī)范化，使得基礎軟件（操作系統(tǒng)）與應用軟件相對隔離，有利于實現(xiàn)軟件的模塊化設計，提高系統(tǒng)的可靠性。我國有關部門和單位參照美國航電委員會編制的arinc653制定了航空電子應用軟件接口要求，該標準主要描述了綜合模塊化航空電子系統(tǒng)（ima，integrated modular avionics）中應用軟件和操作系統(tǒng)之間的接口要求，主要包括功能要求和接口服務定義。下面對該標準進行簡要介紹。1.1 標準在功能上的要求標準首先對航電系統(tǒng)軟硬件結構進行描述，提出分區(qū)管理的概念，各個分區(qū)間利用存儲管理實現(xiàn)空間上的隔離，利用時間窗口輪轉實現(xiàn)時間上的隔離，空間隔離用來保證一個分區(qū)中應用程序的執(zhí)行不會干擾到另

6、一個分區(qū)中其它應用程序的內存或數據；時間隔離用來保證一個分區(qū)中的應用程序的行為不會影響到另一個分區(qū)中應用程序的時間特性。除分區(qū)隔離機制外，標準還對航電系統(tǒng)的進程、通信和健康監(jiān)控（health monitor）機制進行了規(guī)范。1.2 標準定義的接口服務類型標準中定義了如下幾類接口服務：分區(qū)管理，進程管理，時間管理，存儲器管理，分區(qū)內通信，分區(qū)間通信和健康監(jiān)控等。綜合模塊化航空電子系統(tǒng)的可靠性、集成性等特點主要體現(xiàn)在接口服務的定義方面。arinc-653規(guī)范定義的軟件接口為軟件模塊化打下了基礎，而模塊化的設計概念又保證了整個系統(tǒng)的容錯性。舉例來說，某一特定分區(qū)的故障無法導致駐留在同一運行平臺的其它

7、分區(qū)產生任何故障。系統(tǒng)容錯性是通過運行平臺（硬件和操作系統(tǒng)）來保障的，這不僅是綜合模塊化航空電子系統(tǒng)的基礎，還減輕了系統(tǒng)開發(fā)過程中校驗、驗證和認證的難度。2 高性能的多核處理器多核處理器是在一個處理器芯片上集成2至8個計算內核，每個內核一般都包括共享或獨有一級或二級專用指令和數據緩存，以及連接主內存的通用總線。由于這種處理器結構可以實現(xiàn)多核間的資源共享，所以它具有很高的集成度和卓越的性能。使用多核處理器后，可提升運算能力，并可有效減輕飛機重量。同時，這種更加靈活、輕便的多核處理器結構也為更為負責的飛行控制系統(tǒng)的嵌入提供了便利。隨著多核處理器的廣泛應用，單核處理模塊的使用量逐漸減少，所以單核處理

8、器在ima結構中的使用成本日益增加。因此，多核處理器將逐步替代單核處理器，并且在未來ima系統(tǒng)中的應用也是不可避免的。多核處理器包括一系列具有專用存儲器（高速緩存）的處理單元（或稱內核），通過互聯(lián)單元，這些內核可以與片上存儲器資源（如l2或l3高速緩存）、外部存儲控制器（如動態(tài)隨機存取控制器，dram）和輸入輸出控制器互聯(lián)和共享它們的資源。多核結構設計傾向于內核之間的直接通信。多核芯片包括多個內核，這些內核具有分布式存儲器以及一個基于片上網絡（noc）技術的復雜通信網絡。內核之間的通信通過軟件來管理，具有較好的可預測性。但是，由于間接訪問緩存的主存儲會造成失誤，網絡上的沖突仍有可能發(fā)生，所以多

9、核平臺在資源共享的管理上很難保證時間的可預測性。 由于單核處理器平臺上的操作系統(tǒng)本身已經可以保證整個系統(tǒng)容錯性，所以虛擬化技術一直未在關鍵領域里得到足夠的重視?，F(xiàn)有支持arinc 653的航電系統(tǒng)軟件均是在單核處理器平臺上開發(fā)的，從開發(fā)成本以及安全性角度方面考慮，將現(xiàn)存arinc 653系統(tǒng)移植到多核處理器運行平臺上是較優(yōu)的方案，而虛擬化技術可以為只能在單核處理器平臺上運行的arinc 653系統(tǒng)在多核平臺上提供一個虛擬的單核處理器運行環(huán)境，同時保證每個arinc 653的系統(tǒng)調度以及資源分配是獨立的，以此滿足系統(tǒng)的硬實時需求。3 虛擬化在航電系統(tǒng)中的應用早在20世紀60年代，ibm公司就提出

10、了虛擬化（virtualization）的概念。虛擬化的基本思想就是在對底層硬件資源進行管理的同時，為用戶提供多個獨立的分區(qū)映像，每個映像中都包含了完整的虛擬硬件執(zhí)行環(huán)境，包括處理器、存儲器、外圍設備等，用戶可以在其所屬分區(qū)內運行各自的操作系統(tǒng)。多個分區(qū)共享主機系統(tǒng)的硬件資源，并由虛擬機監(jiān)視器（vmm，virtual machine monitor）實現(xiàn)對硬件資源的分配和管理1?，F(xiàn)有支持 arinc653標準的航電系統(tǒng)軟件，大都是基于操作系統(tǒng)的應用級分區(qū)2。利用虛擬化技術將多核處理器應用于航空電子系統(tǒng)，可以構建出具有分區(qū)管理、進程管理等功能，符合航空電子應用軟件接口（apex，applicat

11、ion executive）要求，并具備綜合化、模塊化與開放性特征的航空電子系統(tǒng)軟件。在不修改現(xiàn)有成熟的航電應用的前提下，將其移植到虛擬環(huán)境下運行，是虛擬機系統(tǒng)要解決的一個重要問題。采用泛虛擬化技術的虛擬機平臺，支持應用程序不經修改即在虛擬機平臺運行，可以避免大量現(xiàn)有應用的重新開發(fā)工作。為適應泛虛擬化的執(zhí)行環(huán)境，操作系統(tǒng)在被移植時，需要在以下幾個方面進行調整：特權指令的執(zhí)行，內存的管理，設備的訪問。3.1 處理器特權級分配出于隔離和保護的目的，現(xiàn)代處理器都會提供多個特權等級，如 powerpc提供了2個特權等級，一般操作系統(tǒng)運行在最高特權級，應用程序運行在最低特權級。在虛擬機系統(tǒng)中，負責管理資

12、源和提供分區(qū)映像的是vmm，需要運行在最高特權級，分區(qū)操作系統(tǒng)需要進行修改以適應新的特權級。3.2 內存管理目前航電應用中有所使用的powerpc處理器為e600系列（g4）3，基于傳統(tǒng)的powerpc架 構，不支持軟件管理的轉換查找緩沖器（tlb， translation lookaside buffer）；因此當發(fā)生tlb失效時，處理器會自動對頁表進行查詢并執(zhí)行替換操作，而地址空間的切換需要刷新整個tlb。為改善性能，可以將 vmm置于虛擬內存空間最頂部的一段范圍內，從而避免應用程序或分區(qū)操作系統(tǒng)陷入vmm時導致tlb刷新操作。3.3 設備的訪問i/o 設備驅動，在航電系統(tǒng)中，分區(qū)調度一般

13、采用固定時間片輪轉的方式，傳統(tǒng)虛擬機系統(tǒng)的前后端驅動或專用驅動分區(qū)的方式，可能出現(xiàn)因驅動程序所在分區(qū)未被調度而影響其它分區(qū)的設備訪問的情況，這在硬實時應用的環(huán)境下是不允許的；此外，航電系統(tǒng)外設數量有限，且類型相對固定，因此可以考慮把設備驅動作為獨立的功能模塊在vmm內部實現(xiàn)，由其直接對設備進行i/o 操作。綜上所述，在實現(xiàn)vmm的過程中不僅要借鑒現(xiàn)有虛擬機系統(tǒng)的設計思路，還要充分考慮硬件平臺的特性和航電應用的特殊需求，在此基礎上，才能設計出性能優(yōu)異、且符合航電系統(tǒng)要求的vmm，以此實現(xiàn)arinc653系統(tǒng)向多核處理器平臺的移植。4 結論向多核平臺的遷移對綜合模塊化航電系統(tǒng)提出了進一步綜合化和模

14、塊化的要求，這些要求可以通過應用虛擬化技術來實現(xiàn)，從而集中解決分區(qū)隔離、實時調度、容錯和健康監(jiān)控等關鍵問題，為新一代綜合模塊化航電系統(tǒng)的設計和實現(xiàn)打下基礎。這些技術中最為關鍵也需要首先研究的是面向航電系統(tǒng)的vmm實現(xiàn)支撐技術，從而有效地實現(xiàn)面向航電系統(tǒng)的虛擬化平臺分區(qū)機制。根據本文的分析，這些技術有很好的實現(xiàn)基礎和可行性，但多核平臺會在不同內核上運行的并行分區(qū)見產生額外的硬件和軟件沖突通道，這需要通過巧妙的系統(tǒng)軟件設計來消除?！緟⒖嘉墨I】1chrisnall d.the definitive guide to the xen hypervisorm. boston：prenticehall，2007： 219-221.2rushby j.partitioning in avionics architectures： requirements， mechanisms， and assura