[發明專利]基于OKL4的嵌入式虛擬化平臺跨Cell數據傳輸系統

有效

• 申請號: 201510017166.9
• 申請日: 2015-01-13
• 公開（公告）號: CN104657225B
• 公開（公告）日: 2018-01-05
• 發明（設計）人: 白躍彬;王忠釗;程琨
• 申請（專利權）人: 北京航空航天大學
• 主分類號: G06F9/54
• 分類號: G06F9/54
• 代理公司: 暫無信息
• 代理人: 暫無信息

1.一種面向嵌入式虛擬化環境的、基于OKL4平臺實現的數據跨Cell傳輸系統，該系統通過實現異步事件管理子系統、批量數據跨Cell傳輸管理子系統、函數功能封裝庫以及共享內存管理子系統四個模塊，解決了基于微內核的嵌入式虛擬化系統在進行跨Cell傳輸時所存在的問題，具體來說，該系統特征在于：

(1)為了解決異步性問題，本系統基于OKL4平臺設計了一套完整的異步事件傳遞子系統，借助守護線程和消息暫存機制，使得消息能以異步的方式在OKL4平臺中傳遞；

(2)在OKL4之上構建了獨立運行的Cell，即DaemonServer Cell，它作為整個傳輸系統的核心，會記錄各虛擬機運行狀態以及各連接通道的實時通信狀態，OKL4之上的各虛擬機通過IPC機制與其進行通信，該獨立Cell是實現數據異步傳輸的關鍵；

(3)將系統相關的功能模塊以函數庫的方式存儲于OKL4系統中，上層各虛擬機通過加載靜態庫的方式，獲得庫中所提供的函數功能，此類函數模塊部署方式一方面可以提升OKL4功能模塊擴展的靈活性，有利于模塊的重用，另一方面可將模塊下層實現細節隱藏，提高系統的安全性；

(4)采用資源池的策略，將資源池中的共享內存塊作為數據傳輸載體，同時結合OKL4所提供的Capability權限約束機制，構建了有關內存塊及通信實體權限管理策略，在為通信雙方提供高效的傳輸性能同時，確保了系統的整體安全性。

2.如權利要求1所述的系統，其特征在于：為了完成事件信息在Cell間的異步傳遞，為每個虛擬機配置獨立的守護線程，用于實時追蹤所監視事件通道狀態信息。

3.如權利要求2所述的系統，其特征在于：以系統服務的模式將相關核心模塊放在微內核之上獨立的Cell中。

4.如權利要求1所述的系統，其特征在于：為了完成對多通道連接的管理，在DaemonServer Cell中構建映射表，記錄各Cell與事件通道間的映射關系。

5.如權利要求1所述的系統，其特征在于：所有共享內存塊統一由DaemonServer Cell集中管理，由需要通信的雙方Cell申請使用；通信結束后雙方Cell釋放所申請的共享內存交還給DaemonServer Cell。