BrickOS:面向异构硬件资源的积木式内核
BrickOS:specialized kernels for heterogeneous hardware resources
古金宇 1李浩 1夏虞斌 1管海兵 2丁佐华 3赵永望 4陈海波1
作者信息
- 1. 上海交通大学电子信息与电气工程学院软件学院,上海 200240
- 2. 上海交通大学上海市可扩展计算与系统重点实验室,上海 200240
- 3. 浙江理工大学信息学院,杭州 310018
- 4. 浙江大学网络空间安全学院,杭州 310007
- 折叠
摘要
人机物融合的新兴领域需要新型操作系统内核以支持泛在计算,对下管控海量异构硬件,对上服务动态多变应用场景.本文提出一种积木式内核架构BrickOS,可以根据使用场景灵活选择要加入内核的系统组件,同时可以选择将系统组件运行在用户态以提供较好的安全性,或者运行在共享地址空间的内核态中以提升性能.为了保障运行在相同地址空间中的系统组件的安全性,BrickOS为底层硬件的内存保护机制提供了统一的抽象,并将其用于单地址空间的内存隔离.测试结果表明BrickOS可以根据不同场景生成定制化内核,并拥有较低的进程间通信(inter-process call,IPC)开销,整体性能良好.
Abstract
The emerging field of human-machine-material integration requires new operating system kernels to support the ubiquitous computing,so as to manage and control massive heterogeneous hardware and serve dynamic and changeable application scenarios.This paper proposes a configurable specialized kernel architecture,named BrickOS,which can flexibly select the system components of the kernel according to the usage scenario.Developers can choose to run the system components in user mode to provide better security,or run in a shared-address-space kernel mode to improve performance.In order to ensure the security of system components running in the same address space,BrickOS provides a unified abstraction for the memory protection mechanism of the underlying hardware used for memory isolation in a single address space.The test results show that BrickOS can generate customized kernels that meet the requirements for different scenarios,with low inter-process call(IPC)overhead and good overall performance.
关键词
操作系统内核/组件编排/进程间通信/内存隔离Key words
operating system kernel/components arrangement/inter-process communication/memory isolation引用本文复制引用
基金项目
国家自然科学基金重点项目(62132014)
国家杰出青年科学基金(61925206)
国家自然科学基金青年科学基金(62202292)
出版年
2024
NETL
NSTL
万方数据