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

1993 年度 研究成果報告書概要

高度な開放性をもつ分散オペレーティングシステムの開発

研究課題

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

試験研究(B)

配分区分補助金
研究分野 情報学
研究機関東京大学

研究代表者

益田 隆司  東京大学, 大学院・理学系・研究科, 教授 (80114130)

研究分担者 加藤 和彦  筑波大学, 電子情報工学系, 講師 (90224493)
猪原 茂和  東京大学, 大学院・理学系・研究科, 助手 (30251391)
研究期間 (年度) 1991 – 1993
キーワード分散オペレーティングシステム / 遠隔手続き呼び出し / 高階関数 / スレッド / タプルスペース / 二次記憶管理 / ファイルシステム / 複合オブジェクト
研究概要

本研究では、分散システムの構築上特に重要であると思われる開放性に重点を置いた分散オペレーティングシステムXEROの研究開発を進めた。開放性とは、個々のハードウェアシステムのアーキテクチャおよびソフトウェアシステムのアーキテクチャの内部的なデータ表現を乗り越えてデータの通信と共有を行なう性質をいう。開放性に対する根本的な検討の結果、XEROでは次のような新たな機構をもつこととした。すなわち、動的マルチスレッド機構によりユーザプログラムを高速に並行実行する機構、遠隔手続き呼び出しに基づいた開放的スレッド間通信機構、二次記憶上の永続的オブジェクトを理論的なデータ型を保って管理する機構、そして、スレッド間通信と永続オブジェクトの操作を統一的に行なう機構である。平成4年度から、進めてきたこれらの機能を実現するためのモジュールの実現を行なっており、平成5年度は、各モジュールを完成させるとともにそれらを組み合わせて、分散オペレーティングシステムXEROを構築することを目標に研究を行なった。現在までに(1)スレッド管理機構は第1版が完成し、さらに性能改善のための第2版を開発した。(2)静的に型付け可能なポインタ型データや高階関数などを分散環境上で交換する高階RPC技術(higher-order remote procedure call technique)を開発した。(3)UNIXの基本ユ-ティリティのXEROへの移植とUNIXのコマンドインタプリタであるシェルからマルチスレッド機構を利用するための機能を開発した。さらに、(1)と(3)は、ターゲットマシンであるNEWS-1750上で結合を終了し、動作を確認した。(2)と(1)および(3)との結合は未完成であり、現在も進行中である。

  • 研究成果

    (54件)

すべて その他

すべて 文献書誌 (54件)

  • [文献書誌] K.Kato,S.Inohara,A.Narita,S.Chiba,and T.Masuda: "Design of the XERO open distributed operating system" Journal of Information Processing. Vol.14,No.4. 384-397 (1991)

    • 説明
      「研究成果報告書概要(和文)」より
  • [文献書誌] 加藤和彦: "オブジェクト指向データベースシステムの記憶構造" 情報処理学会誌. Vol.32,No.5. 532-539 (1991)

    • 説明
      「研究成果報告書概要(和文)」より
  • [文献書誌] 加藤和彦,大堀淳,村上岳生,益田隆司: "高階遠隔手続き呼び出しに基づいた分散C言語について" コンピュータソフトウェア,日本ソフトウェア科学会. Vol.9,No.3. 65-82 (1992)

    • 説明
      「研究成果報告書概要(和文)」より
  • [文献書誌] K.Kato and T.Masuda: "Persistent caching:An implementation technique for complex objects with object identity" IEEE Transactions on Software Engineering. Vol.18,No.7. 631-645 (1992)

    • 説明
      「研究成果報告書概要(和文)」より
  • [文献書誌] Inohara,Kato,Narita,Masuda.: "A thread facility based on user/kernel cooperation in the XERO operating system" ICICE Transactions on Information and Systems. Vol.E75-D No.5. 627-634 (1992)

    • 説明
      「研究成果報告書概要(和文)」より
  • [文献書誌] K.Kato,A.Narita,S.Inohara,and T.Masuda: "Distributed shared repository:A unified approach to distribution and persistency" Proceedings of the 13th IEEE International Conference on Distributed Computing Systems.20-29 (1993)

    • 説明
      「研究成果報告書概要(和文)」より
  • [文献書誌] Inohara,Kato,Narita,Masuda: "Thread facility based on user/kernel cooperation in the XERO operating system" Proceedings of the fifteenth IEEE International Computer Systems and Applications Conference. 398-405 (1991)

    • 説明
      「研究成果報告書概要(和文)」より
  • [文献書誌] S.Chiba,K.Kato,and T.Masuda: "Optimization of distributed communication in multiprotocol tuple space" Proc.IEEE Third Symp.on Parallel and Distributed Processing. 282-285 (1991)

    • 説明
      「研究成果報告書概要(和文)」より
  • [文献書誌] S.Chiba,K.Kato,and T.Masuda: "Exploiting a weak consistency to implement distributed tuple space" Proc.of the 12th IEEE Int'l Conf.on Distributed Computing Systems. 416-423 (1992)

    • 説明
      「研究成果報告書概要(和文)」より
  • [文献書誌] S.Chiba and T.Masuda: "The meta-level architecture for cooperative processing in object community" A.Yonezawa and B.C.Smith,editors,Proc.of the Int'l Workshop on Reflection and Meta-Level Architecture. 94 (1992)

    • 説明
      「研究成果報告書概要(和文)」より
  • [文献書誌] Shigekazu Inohara,Kazuhiko Kato,and Takashi Masuda: "Using huge address spaces to construct cooperative systems" Proceedings of International Symposium on Autonomous Decentralized Systems. 85-92 (1993)

    • 説明
      「研究成果報告書概要(和文)」より
  • [文献書誌] Shigekazu Inohara,Kazuhiko Kato,and Takashi Masuda: "‘Unstable Threads'kernel interface for minimizing the overhead of thread switching" Proceedings of the 7th IEEE International Parallel Processing Symposium.149-155 (1993)

    • 説明
      「研究成果報告書概要(和文)」より
  • [文献書誌] 成田篤信,加藤和彦,猪原茂和,益田隆司: "分散OS XEROにおけるマルチコンテキストの実現方式について." 情報処理学会オペレーティングシステム研究会. Vol.51 No.4. 25-32 (1991)

    • 説明
      「研究成果報告書概要(和文)」より
  • [文献書誌] 加藤厚志,猪原茂和,加藤和彦,益田隆司: "分散OS XEROにおける複合オブジェクトに基づいたファイルシステムについて" 情報処理学会第44回(平成4年前期)全国大会論文集. Vol.4. 27-28 (1992)

    • 説明
      「研究成果報告書概要(和文)」より
  • [文献書誌] 猪原茂和,加藤和彦,益田隆司: "64ビット空間を用いた協調的システムの構築" 1992年並列/分散/協調処理に関する「日向灘」サマーワークショップ(SWoPP日向灘'92)予稿集. Vol.56-5. 33-40 (1992)

    • 説明
      「研究成果報告書概要(和文)」より
  • [文献書誌] K.Kato,A.Narita,S.Inohara,and T.Masuda: "Distributed shared repository:a unified approach to distributed and persistent information management" Technical Report 92-1,Department of Information Science,Faculty of Science,Univ.of Tokyo. (1992)

    • 説明
      「研究成果報告書概要(和文)」より
  • [文献書誌] Shigekazu Inohara and Takashi Masuda: "A framework for minimizing thread management overhead based on asynchronous cooperation between user and kernel schedulers" Technical Report 94-02,Department of Information Science,University of Tokyo. (1994)

    • 説明
      「研究成果報告書概要(和文)」より
  • [文献書誌] Shun Hosoda: "A study of distributed and persistent programming language system" Master's thesis,Graduate School of Information Science,Division of Science,the University of Tokyo. (1992)

    • 説明
      「研究成果報告書概要(和文)」より
  • [文献書誌] Narita Atsunobu: "Design and implementation of the program execution environment of the XERO distributed operating system" Master's thesis,Graduate School of Information Science,Division of Science,the University of Tokyo. (1992)

    • 説明
      「研究成果報告書概要(和文)」より
  • [文献書誌] Masaki Ishiguro: "Storage management of complex objects through clustering with replication" Bachelor's Thesis,Department of Information Science,Faculty of Science,the University of Tokyo. (1992)

    • 説明
      「研究成果報告書概要(和文)」より
  • [文献書誌] Tan Choon Shian: "A schema pilot for object-oriented database system" Bachelor's Thesis,Department of Information Science,Faculty of Science,the University of Tokyo. (1992)

    • 説明
      「研究成果報告書概要(和文)」より
  • [文献書誌] Tomoki Shiratori: "Toward the visualization of concurrent programs:Using direct manipulation to design algorithm animation" Bachelor's Thesis,Department of Information Science,Faculty of Science,the University of Tokyo. (1992)

    • 説明
      「研究成果報告書概要(和文)」より
  • [文献書誌] Kenji Kono: "A study on a translation system for orthogonal distribution" Bachelor's Thesis,Department of Information Science,Faculty of Science,the University of Tokyo. (1993)

    • 説明
      「研究成果報告書概要(和文)」より
  • [文献書誌] TAJIMA Keishi: "A study on an object-oriented database system supporting multi-schema facilities" Master's thesis,The Graduate School of The University of Tokyo. (1993)

    • 説明
      「研究成果報告書概要(和文)」より
  • [文献書誌] Shigeru Chiba: "Open c++:An extensible reflective object-oriented language for distributed programming" Master's thesis,Graduate School of Information Science,Division of Science,the University of Tokyo. (1993)

    • 説明
      「研究成果報告書概要(和文)」より
  • [文献書誌] N.Sakata: "Distributed shared repository for cooperative software development in the XERO distributed operating system" Master's thesis,Department of Information Science,Faculty of Science,Univ.of Tokyo. (1993)

    • 説明
      「研究成果報告書概要(和文)」より
  • [文献書誌] 河合康典: "ログストラクチャードファイルシステムに関する研究" (1994)

    • 説明
      「研究成果報告書概要(和文)」より
  • [文献書誌] K.Kato, S.Inohara, A.Narita, S.Chiba, and T.Masuda.: "Design of the XERO open distributed operating system, Joural of Information Processing" Special issue on new operating systems.Vol.14, No.4. 384-397 (1991)

    • 説明
      「研究成果報告書概要(欧文)」より
  • [文献書誌] K.Kato: "Storage management techniques of object-oriented database systems." Journal of Information Processing Society of Japan (In Japanese). Vol.32, No.5. 532-539 (1991)

    • 説明
      「研究成果報告書概要(欧文)」より
  • [文献書誌] K.Kato, A.Ohori, T.Murakami, and T.Masuda.: "Distributed C language based on higher-order remote procedure call techniques. Computer Software, Japan Society for Software Science and Technology" Special issue on distributed operating systems. In Japanese.Vol.9, No.3. 65-82 (1992)

    • 説明
      「研究成果報告書概要(欧文)」より
  • [文献書誌] K.Kato and T.Masuda: "Persistent caching : An implementation technique for complex objects with object identity." IEEE Transactions on Software Engineering. Vol.18, No.7. 631-645 (1992)

    • 説明
      「研究成果報告書概要(欧文)」より
  • [文献書誌] Shigekazu inohara, Kazuhiko Kato, Atsunobu Narita, and Takashi Masuda.: "A thread facility based on user/kernel cooperation in the XERO operating system. ICICE Transactions on Information and systemns" revised version of COMPSAC91 paper.Vol.E75-D, No.5. 627-634 (1992)

    • 説明
      「研究成果報告書概要(欧文)」より
  • [文献書誌] K.Kato, A.Narita, S.Inohara, and T.Masuda.: "Distributed shared repository : A unified approach to distribution and persistency. In Proceedings of the 13th IEEE International Conference on Distributed Computing Systems" Pittsburgh, Pennsylvania. 20-29 (1993)

    • 説明
      「研究成果報告書概要(欧文)」より
  • [文献書誌] Shigekazu Inohara, Kazuhiko Kato, Atsunobu Narita, and Takashi Masuda.: "Thread facility based on user/kernel cooperation in the XERO operating system. In Proceedings of the fifteenth IEEE International Computer Systems and Applications Conference" IEEE Computer Society. 398-405 (1991)

    • 説明
      「研究成果報告書概要(欧文)」より
  • [文献書誌] S.Chiba, K.Kato, and T.Masuda.: "Optimization of distributed communication in multiprotocol tuple space." In Proc. IEEE Third Symp. on Parallel and Distributed Processing. 282-285 (1991)

    • 説明
      「研究成果報告書概要(欧文)」より
  • [文献書誌] S.Chiba, K.Kato, and T.Masuda.: "Exploiting a weak consistency to implement distributed tuple space." In Proc. of the 12th IEEE Int'l Conf.on Distributed Computing Systems. 416-423 (1992)

    • 説明
      「研究成果報告書概要(欧文)」より
  • [文献書誌] S.Chiba and T.Masuda.: "The meta-level architecture for cooperative processing in object community (abstract)." In A.Yonezawa and B.C.Smith, editors, Proc.of the Int'l Workshop on Reflection and Meta-Level Architecture. 94 (1992)

    • 説明
      「研究成果報告書概要(欧文)」より
  • [文献書誌] Shigekazu Inohara, Kazuhiko Kato, and Takashi Masuda.: "Using huge address spaces to construct cooperative systems. In Proceedings of International Symposium on Autonomous Decentralized Systems" IEEE Computer Society. 85-92 (1993)

    • 説明
      「研究成果報告書概要(欧文)」より
  • [文献書誌] Shigekazu Inohara, Kazuhiko Kato, and Takashi Masuda.: "'Unstable Threads' kernel interface for minimizing the overhead of thread switching. In Proceedings of the 7th IEEE International Parallel Processing Symposium" IEEE Computer Society. 149-155 (1993)

    • 説明
      「研究成果報告書概要(欧文)」より
  • [文献書誌] A.Narita, K.Kato, S.Inohara, and T.Masuda.: "Design and implementation of multi-context mechanism of XERO distributed operating system (In Japanese)" IPSJ Research Reports of Operating Systems. Vol.51, No.4. 25-32 (1991)

    • 説明
      「研究成果報告書概要(欧文)」より
  • [文献書誌] A.Kato, S.Inohara, K.Kato, and T.Masuda.: "On a complex object file system of the XERO distributed operting system (In Japanese)" In Proc.44th Annual Conference, Information Processing Society of Japan. Vol.4. 27-28 (1992)

    • 説明
      「研究成果報告書概要(欧文)」より
  • [文献書誌] Shigekazu Inohara, Kazuhiko Kato, and Takashi Masuda.: "Building cooperative systems on 64-bit address spaces. In IPSJ SIG Reports" IPS Japan. Vol.56-5. 33-44 (1992)

    • 説明
      「研究成果報告書概要(欧文)」より
  • [文献書誌] K.Kato, A.Narita, S.Inohara, and T.Masuda.: "Distributed shared repository : a unified approach to distributed and persistent information management." Technical Report 92-1, Department of Information Science, Faculty of Science, Univ.of Tokyo. (1992)

    • 説明
      「研究成果報告書概要(欧文)」より
  • [文献書誌] Shigekazu Inohara and Takashi Masuda.: "A framework for minimizing thread management overhead based on asynchronous cooperation between user and kernel schedulers." Technical Report 94-02, Department of Information Science, University of Tokyo. (1994)

    • 説明
      「研究成果報告書概要(欧文)」より
  • [文献書誌] Shun Hosoda: "A study of distributed and persistent programming language system." Master's thesis, Graduate School of Information Science, Division of Science, the University of Tokyo. (1992)

    • 説明
      「研究成果報告書概要(欧文)」より
  • [文献書誌] Narita Atsunobu: "Design and implementation of the progrm execution environment of the XERO distributed operating system." Master's thesis, Graduate School of Information Science, Division of Science, the University of Tokyo. (1992)

    • 説明
      「研究成果報告書概要(欧文)」より
  • [文献書誌] Masaki Ishiguro: "Storage management of complex objects through clustering with replication." Bachelor's Thesis, Department of Information Science, Faculty of Science, the University of Tokyo. (1992)

    • 説明
      「研究成果報告書概要(欧文)」より
  • [文献書誌] Tan Choon Shian: "A schema pilot for object-oriented database system." Bachelor's Thesis, Department of Information Science, Faculty of Science, the University of Tokyo. (1992)

    • 説明
      「研究成果報告書概要(欧文)」より
  • [文献書誌] Tomoki Shiratori: "Toward the visualization of concurrent programs : Using direct manipulation to design algorithm animation." Bachelor's Thesis, Department of Information Science, Faculty of Science, the University of Tokyo. (1992)

    • 説明
      「研究成果報告書概要(欧文)」より
  • [文献書誌] Kenji Kono: "A study on a translation system for orthogonal distributtion." Bachelor's Thesis, Department of Information Science, Faculty of Science, the University of Tokyo. (1993)

    • 説明
      「研究成果報告書概要(欧文)」より
  • [文献書誌] TAJIMA Keishi: "A study on an object-oriented database system supporting multi-schema facilities." Master's thesis, The Graduate School of The University of Tokyo. (1993)

    • 説明
      「研究成果報告書概要(欧文)」より
  • [文献書誌] Shigeru Chiba: "Open c++ : An extensible reflective object-oriented language for distributed programming." Master's thesis, Graduate School of Information Science, Division of Science, the University of Tokyo. (1993)

    • 説明
      「研究成果報告書概要(欧文)」より
  • [文献書誌] N.Sakata: "Distributed shared repository for cooperative software development in the XERO distributed operating system." Master's thesis, Department of Information Science, Faculty of Science, Univ.of Tokyo, Tokyo, Japan. (1993)

    • 説明
      「研究成果報告書概要(欧文)」より
  • [文献書誌] Yasunori Kawai: "Study of the log-structured file system" (1994)

    • 説明
      「研究成果報告書概要(欧文)」より

URL: 

公開日: 1995-03-27  

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

Powered by NII kakenhi