[发明专利]基于OKL4的嵌入式虚拟化平台跨Cell数据传输系统

摘要

本发明提出了一种面向嵌入式虚拟化环境的、基于OKL4系统平台实现的跨Cell数据传输系统，为上层虚拟机间提供一种更为通用的批量数据传输机制。为了支持异步特性，本系统设计了一套完整的异步事件管理机制，上层程序借助该机制可实现事件信息在Cell的异步传递。同时，为了适应Cell间批量数据传输需求，本系统采用共享内存块作为数据传输载体，并且通过采用独立资源池策略，确保了系统的安全性。上层虚拟机通过借助系统中所提供的相关函数封装库，仅需提供简单的配置参数便可完成事件通道管理、共享内存块管理等复杂的操作过程。

主权项

一种面向嵌入式虚拟化环境的、基于OKL4平台实现的数据跨Cell传输系统，该系统通过实现异步事件管理子系统、批量数据跨Cell传输管理子系统、函数功能封装库以及共享内存管理子系统四个模块，解决了基于微内核的嵌入式虚拟化系统在进行跨Cell传输时所存在的问题，具体来说，该系统特征在于：(1)为了解决异步性问题，本系统基于OKL4平台设计了一套完整的异步事件传递子系统，借助守护线程和消息暂存机制，使得消息能以异步的方式在OKL4平台中传递；(2)在OKL4之上构建了独立运行的Cell，即DaemonServer Cell，它作为整个传输系统的核心，会记录各虚拟机运行状态以及各连接通道的实时通信状态，OKL4之上的各虚拟机通过IPC机制与其进行通信，该独立Cell是实现数据异步传输的关键；(3)将系统相关的功能模块以函数库的方式存储于OKL4系统中，上层各虚拟机通过加载静态库的方式，获得库中所提供的函数功能，此类函数模块部署方式一方面可以提升OKL4功能模块扩展的灵活性，有利于模块的重用，另一方面可将模块下层实现细节隐藏，提高系统的安全性；(4)采用资源池的策略，将资源池中的共享内存块作为数据传输载体，同时结合OKL4所提供的Capability权限约束机制，构建了有关内存块及通信实体权限管理策略，在为通信双方提供高效的传输性能同时，确保了系统的整体安全性。