• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

オペレーティングシステムの核を記述するための並行オブジェクト指向言語の開発

研究課題

研究課題/領域番号 62580036
研究種目

一般研究(C)

配分区分補助金
研究分野 実験動物学
研究機関国立遺伝学研究所
慶応義塾大学

研究代表者

土居 範久 (1988)  慶応義塾大学, 情報科学研究所, 教授 (50051553)

手塚 英夫 (1987)  遺伝研, 分子遺伝研究系, 助手 (70155456)

研究期間 (年度) 1987 – 1988
研究課題ステータス 完了 (1988年度)
配分額 *注記
1,900千円 (直接経費: 1,900千円)
1987年度: 1,900千円 (直接経費: 1,900千円)
キーワードオブジェクト指向言語 / オペレーティングシステム核 / ABCL / C+ / 放射線感受性 / 染色体異常 / DNA修復 / 細胞特異性 / 骨髄細胞 / 体細胞の分化 / 増殖 / CFU-E / 核酸代謝
研究概要

米澤らによって提案された並行オブジェクト指向計算モデルABCMを、手続きおよび関数をオブジェクトと統一行するルーチンオブジェクトを導入することによって拡張し、プロセスの世界、すなわちプロセスを活動単位として存在せしめ力環境、を作り出すことを可能にした(言語版並行オブジェクト指向言語ABCL/C+を設計し、その処理系を試作するとともにABCL/C+を用いてオペレーティングシステム核を記述することを試みた。ABCL/C+の設計に際してはベル研究所で開発されたオペレーティングシステム核XINUを書き替えることで言語機能の妥当性を確かめた。さらに、小型ではあるがXINUをベースとしたオペレーティングシステムをパーソナルコンピュータPC-9801上に実現し、その上に実験的なウィンドウシステムを試作することによって我々の考え方の有効性を確認している。これらの研究・開発を通して、ABCLのような簡潔にして強力な並行オブジェクトを記述する能力をもつ言語であれば、きわめて分りやすく見通しのよいオペレーティングシステムシステム核を記述できることが確かめられた。しかし、現実の問題として、次のような問題が残されている。
(1)言語処理系の吐き出すオブジェクトコードの効率
(2)並行オブジェクト間のメッセージパッシングの効率のよい実現方法
(3)オブジェクトの入れ子構造をモジュール化と併せて定義するための方法
特に、オペレーティングシステム核ともなると実行効率が死命を制することから(1)、(2)は今後の重要な研究課題である。

報告書

(2件)
  • 1988 研究成果報告書概要
  • 1987 実績報告書
  • 研究成果

    (13件)

すべて その他

すべて 文献書誌 (13件)

  • [文献書誌] 土居範久: 情報処理学会研究報告 87-OS-35. 35. 35-41-8 (1987)

    • 関連する報告書
      1988 研究成果報告書概要
  • [文献書誌] 土居範久: 慶応義塾大学情報科学研究所テクニカルレポート. KIIS-86-02. (1987)

    • 関連する報告書
      1988 研究成果報告書概要
  • [文献書誌] 土居範久: コンピュータソフトウェア. 5(4). 12-26 (1988)

    • 関連する報告書
      1988 研究成果報告書概要
  • [文献書誌] 土居範久: 情報処理. 29(4). 359-367 (1988)

    • 関連する報告書
      1988 研究成果報告書概要
  • [文献書誌] DOI,N.: PROCEEDINGS OF EURPAN CONFERENCE ON OBJECT-ORIENTED PROGRAMMING. 250-266 (1988)

    • 関連する報告書
      1988 研究成果報告書概要
  • [文献書誌] DOI,N.: ""AN IMPLEMENTATION OF AN OPERATING SYSTEM KERUEL USING CONCURRENT OBJECT ORIENTED LANGUAGE ABCL/C+,"IN YONEZAWA,A.(ED),ABCL:AN OBJECT-ORIENTED CONCURRENT SYSTEM." THE MIT PRESS, (1989)

    • 関連する報告書
      1988 研究成果報告書概要
  • [文献書誌] Tezuka, H.: Mutation Research. 161. 83-90 (1986)

    • 関連する報告書
      1987 実績報告書
  • [文献書誌] Inoue, T.: Cancer Research. 46. 3979-3982 (1986)

    • 関連する報告書
      1987 実績報告書
  • [文献書誌] 手塚 英夫: 実験医学. 4. 366-371 (1986)

    • 関連する報告書
      1987 実績報告書
  • [文献書誌] Jain, A.K.: Current Science. 56. 894-895 (1987)

    • 関連する報告書
      1987 実績報告書
  • [文献書誌] Jain, A.K.: Current Science. 56. 1005-1006 (1987)

    • 関連する報告書
      1987 実績報告書
  • [文献書誌] Tezuka, H.: Mutation research.

    • 関連する報告書
      1987 実績報告書
  • [文献書誌] Inoue, T.: "Antimutagenesis andAnticarcinogenesis Mechanisms" Plenum Press, 13 (1986)

    • 関連する報告書
      1987 実績報告書

URL: 

公開日: 1987-04-01   更新日: 2016-04-21  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi