発展的機能を有するオペレーティングシステムの実証的研究

本研究では、発展的機能を有するオペレーティングシステム(OS)の実証的な研究を行なう。本年度は、動的構築可能なOS、応用プログラムに柔軟に対応できるランタイムソフトウェア、デバイスドライバの自動生成について、それぞれ以下のことを行なった。1.マイクロカーネルをベースとして、OSの機能の動的置換に関する基礎検討を行なうと共に、カーネル内スケジューラの動的置換手法を提案した。また、提案手法をワークステーション上で実現することにより、動的置換手法の有効性を検証し、情報処理学会OS研究会で発表した。2.既に開発しているユーザレベルスレッドライブラリPPL(Parallel Pthread Library)を基にして、スケジューリング方式を柔軟に変更できるようにPPLの構造の見直しを図った。3.デバイスのハードウェア仕様から、そのデバイスドライバのコードを生成する手法を検討すると共に、形式的仕様記述言語で記述したデバイスの仕様を入力とし、デバイスドライバを自動的に出力するデバイスドライバ自動生成システムを提案し、情報処理学会OS研究会で発表した。4.既存のOSのデバイスドライバの機能を抽象化すると共に、デバイスの処理やデバイス固有の値について、その特徴を再調査し、情報処理学会コンピュータシステムシンポジウムで発表した。

本研究では、発展的機能を有するオペレーティングシステム(OS)の実証的な研究を行なう。本年度は、動的構築可能なOS、応用プログラムに柔軟に対応できるランタイムソフトウェア、デバイスドライバの自動生成について、それぞれ以下のことを行なった。1.マイクロカーネルをベースとして、OSの機能の動的置換に関する基礎検討を行なうと共に、カーネル内スケジューラの動的置換手法を提案した。また、提案手法をワークステーション上で実現することにより、動的置換手法の有効性を検証し、情報処理学会OS研究会で発表した。2.既に開発しているユーザレベルスレッドライブラリPPL(Parallel Pthread Library)を基にして、スケジューリング方式を柔軟に変更できるようにPPLの構造の見直しを図った。3.デバイスのハードウェア仕様から、そのデバイスドライバのコードを生成する手法を検討すると共に、形式的仕様記述言語で記述したデバイスの仕様を入力とし、デバイスドライバを自動的に出力するデバイスドライバ自動生成システムを提案し、情報処理学会OS研究会で発表した。4.既存のOSのデバイスドライバの機能を抽象化すると共に、デバイスの処理やデバイス固有の値について、その特徴を再調査し、情報処理学会コンピュータシステムシンポジウムで発表した。