Dual OS architecture for reliable multiprocessor embedded system.

双操作系统架构，用于可靠的多处理器嵌入式系统。

• 批准号: 23700035
• 负责人: HONDA Shinya
• 金额: $ 2.66万
• 依托单位: Nagoya University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Young Scientists (B)
• 财政年份: 2011
• 资助国家: 日本
• 起止时间: 2011 至 2012
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-23700035/
• 关键词: オペレーティングシステム; 組込みシステム; 仮想化; リアルタイムOS; Linux; RTOS

SafeG-MP is a virtualization environment that allows a real-time operating system (RTOS) to run concurrently with a general-purpose operating (GPOS) on a multi-core embedded system. SafeG-MP schedules the workload of each core between both OSs independently. When both Oss are ready to run on a certain core, the RTOS is executed with higher priority. Unfortunately, such scheduling algorithm has performance issues on the GPOS: an increased synchronization delay, and a load imbalance among cores.We propose a technique to address both issues. We implemented and evaluated it on a physical platform, confirming its effectiveness at mitigating the GPOS performance loss.

SafeG-MP 是一个虚拟化环境，允许实时操作系统 (RTOS) 与通用操作系统 (GPOS) 在多核嵌入式系统上同时运行。 SafeG-MP 在两个操作系统之间独立调度每个内核的工作负载。当两个Os都准备好在某个核心上运行时，RTOS会以更高的优先级执行。不幸的是，这种调度算法在 GPOS 上存在性能问题：同步延迟增加以及内核之间的负载不平衡。我们提出了一种解决这两个问题的技术。我们在物理平台上实施并评估了它，确认了它在减轻 GPOS 性能损失方面的有效性。

项目成果

Integrated Scheduling for a Reliable Dual-OS Monitor

可靠的双操作系统监视器的集成调度

• 发表时间: 2012
• 作者: D. Sangorrin; S. Honda; H. Takada
• 通讯作者: H. Takada

Reliable and Efficient Dual-OS Communications for Real-Time Embedded Virtualization

用于实时嵌入式虚拟化的可靠、高效的双操作系统通信

• 发表时间: 2012
• 作者: Daniel Sangorrin; Shinya Honda; Hiroaki Takada
• 通讯作者: Hiroaki Takada

Reliable Device Sharing Mechanisms for Dual-OS Embedded Trusted Computing

双操作系统嵌入式可信计算的可靠设备共享机制

• 发表时间: 2012
• 作者: Daniel Sangorrin; Shinya Honda;Hiroaki Takada
• 通讯作者: Hiroaki Takada

研究成果である組込みシステム向け仮想化SystemBuilder の公開ページ

研究成果嵌入式系统虚拟化SystemBuilder公共页面

TOPPERSプロジェクト SafeG

TOPPERS 项目 SafeG