• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

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

Research Project

Project/Area Number 10139227
Research Category

Grant-in-Aid for Scientific Research on Priority Areas (A)

Allocation TypeSingle-year Grants
Research InstitutionNara Institute of Science and Technology

Principal Investigator

福田 晃  奈良先端科学技術大学院大学, 情報科学研究科, 教授 (80165282)

Co-Investigator(Kenkyū-buntansha) 中西 恒夫  奈良先端科学技術大学院大学, 情報科学研究科, 助手
片山 徹郎  奈良先端科学技術大学院大学, 情報科学研究科, 助手 (50283932)
最所 圭三  奈良先端科学技術大学院大学, 情報科学研究科, 助教授 (50170486)
Project Period (FY) 1998
Project Status Completed (Fiscal Year 1998)
Budget Amount *help
¥2,000,000 (Direct Cost: ¥2,000,000)
Fiscal Year 1998: ¥2,000,000 (Direct Cost: ¥2,000,000)
Keywordsオペレーティングシステム / マイクロカーネル / 動的構築 / ユーザレベルスレッドライブラリ / スケジューリング / デバイスドライバ / 自動生成 / 形式的仕様記述言語
Research Abstract

本研究では、1)OS(オペレーティングシステム)機能の動的変更・追加および削除、2)応用プログラムに適したスケジューリング方式の選択、3)新たなデバイスへの迅速な適応、が可能となり、発展・多様化する計算機環境に適応したOSを構築することを、目的としている。今年度は、上述の課題について、それぞれ以下のことを行なった。
1. OS機能の動的変更・追加および削除を行なう際のメモリ保護に関する研究を行なった。具体的には、メモリ保護を行なう際の問題点を洗い出し、その問題点を踏まえ、OSサーバのプロトタイプを現有のワークステーションのOS上に実装し、評価を行なったっこの成果を、AI'99で発表する。
2. ユーザレベルスレッドライブラリPPLにおいて、柔軟性のあるスケジューラの機構を開発した。この機構により、ユーザが自由にスケジューリングポリシーを定義したり、同時に複数のスケジューリングポリシーを使用することなどが可能となった。この機構を、現有のマルチプロセッサシステム上に実装し、有効性を評価し、電子情報通信学会CPSY研究会で発表した。
3. デバイスドライバの基本機能を洗い出し、抽象化とモジュール化、および、デバイスチップ対応機能の抽象化を行ない、IWPSE98で発表した。また、これらの抽象化を踏まえて、デバイスドライバの生成システムの提案と具体的な入力とを提示し、その入力形式を評価し、情報処理学会OS研究会で発表した。さらに、このシステムの入力に形式的仕様記述言語を適用する手法について検討、評価した。この成果を、AI'99で発表する。

Report

(1 results)
  • 1998 Annual Research Report
  • Research Products

    (5 results)

All Other

All Publications (5 results)

  • [Publications] T.Katayama: "A Method for Automatic Generation of Device drivers with a Formal Specification Language" Int'l Workshop on Principles of Software Evolution(IWPSE98). 183-187 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] 北口修一: "並列性と移植性を持つユーザレベルスレッドライブラリPPLの拡張" 電子情報通信学会CPSY研究会(SWoPP'98). 98・234. 57-68 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] 山下勝也: "デバイスドライバ生成システムにおける入力形式に関する考察" 情報処理学会OS研究会(SWoPP'98). 98-OS-79. 61-64 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] T.Katayama: "Generating a Device Driver with a Formal Specification Language" Proc.1999 Applied Informatics(AI'99). (1999)

    • Related Report
      1998 Annual Research Report
  • [Publications] K.Kashiwagi: "A Dynamically Reconfigurable Operating System Server with Protection" Proc.1999 Applied Informatics(AI'99). (1999)

    • Related Report
      1998 Annual Research Report

URL: 

Published: 1998-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi