首页    期刊浏览 2024年11月08日 星期五
登录注册

文章基本信息

  • 标题:リアルタイムシステム向け仮想化における高信頼かつ効率的なOS間通信
  • 本地全文:下载
  • 作者:Daniel SANGORRÍN ; 本田 晋也 ; 高田 広章
  • 期刊名称:コンピュータ ソフトウェア
  • 印刷版ISSN:0289-6540
  • 出版年度:2012
  • 卷号:29
  • 期号:4
  • 页码:4_182-4_198
  • DOI:10.11309/jssst.29.4_182
  • 出版社:Japan Society for Software Science and Technology
  • 摘要:

    Dual-OS communications allow a real-time operating system (RTOS) and a general-purpose operating system (GPOS)—sharing the same processor through virtualization—to collaborate in complex distributed applications. However, they also introduce new threats to the reliability (e.g., memory and time isolation) of the RTOS that need to be considered. Traditional dual-OS communication architectures follow essentially the same conservative approach which consists of extending the virtualization layer with new communication primitives. Although this approach may be able to address the aforementioned reliability threats, it imposes a rather big overhead on communications due to unnecessary data copies and context switches. In this paper, we propose a new dual-OS communications approach able to accomplish efficient communications without compromising the reliability of the RTOS. We implemented our architecture on a physical platform using a highly reliable dual-OS system (SafeG) which leverages ARM TrustZone hardware to guarantee the reliability of the RTOS. We observed from the evaluation results that our approach is effective at minimizing communication overhead while satisfying the strict reliability requirements of the RTOS.

国家哲学社会科学文献中心版权所有