| 研究概要 |
本研究の目的はオペレーティングシステム(OS)のカーネル階層で細粒度保護ドメインを提供することである,インターネットなどの広域分散環境からプラグイン等のコードをアプリケーションにダウンロードして利用する形態が一般的になり,悪意のあるコンポーネントからローカルな計算機資源を保護する技術が求められている.このような保護機構を提供することはOSの重要な役割の一つでありながら,従来のOSではコンポーネント間の保護に利用できるような細粒度の保護は提供されていない.
本年度の研究では,カーネル階層での細粒度保護ドメインにあたる抽象化として,多重保護ページテーブルと名付けた仮想アドレス空間の新たな抽象化を提案し,既存のプロセッサ上での実装方法の開発を行った.現時点では,タグ付きTLBを持つプロセッサ一般に利用できる手法と,タグ付きTLBは持たないが広く実用的に用いられているIntel x86アーキテクチャのプロセッサ上での実装方法の開発を行った.初期実験の結果によれば,1秒当り数千回から数十万回の細粒度保護ドメイン切り替えを行っても,保護のオーバヘッドは十数パーセントに押さえられることが確認できた.この結果についてはすでにIEEE International Conference on Distributed Computing Systemsに投稿し,採録が決まっている.
また,本提案方式を用いるとスレッドに保護を持たせたSafe Threadという新たな機能を提供できるとの知見を得て,そのアイデアをSymposium on Operating System Design and Implementationという国際学会のwork in progressセッションで発表し,有益なコメントを得ることができた.
|
