5-1 マイクロカーネルによるマルチコアシステム用OSの開発(セッション5「システムの信頼性,保全性,ライフサイクルおよびソフトウェア面」(1))

抄録

システムの高信頼性・高性能の要求を応えるため、マイクロカーネルを用いるマルチコアシステムの構築について検討する。複数のプロセッサを搭載したシステムにおいて、アーキテクチャの性能向上率への影響を考慮してオペレーティングシステム機能を分散することでシステムの高信頼性を実現する。この思想のもとに、マイクロカーネル技術を用いてマルチコアシステムモデルの構築とその実現手段について報告する。