Development of Highly Open Distributed Operating System

高度开放的分布式操作系统开发

• 批准号: 03558006
• 负责人: MASUDA Takashi
• 金额: $ 8.32万
• 依托单位: The University of Tokyo
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Developmental Scientific Research (B)
• 财政年份: 1991
• 资助国家: 日本
• 起止时间: 1991 至 1993
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-03558006/
• 关键词: Operating system; Remote procedure call; higher order function; thread; tuple space; cecondary storage management; file system; composite object; 分散オペレ-ティングシステム; マルチスレッド; 永続オブジェクト; タプルスペ-ス

The primary terget of this research was the development of distributed operating system XERO with high openness. An open operating system has an ability to share communicate data with other systems regardless of the obstacles of the real world, such as differences of hardware architectures, data representations, communication protocols, and programming models. The XERO operating system has three outstanding features for high openness : high-performance program execution mechanism through "dynamic" multithreading, flexible inter-thread communication through remote procedure calls, a mechanism for managing data on the secondary storage as persistent objects, and uniform handling of inter-thread communication and persistent objects. The dynamic multithreading was implemented, and substantial performance improvement has been taken after the performance measurement and reconstruction of implementation and design. Through the investigation of theoretical backgrounds, we realized remote procedure calls in XERO with powerful expressive power, that is, any statically typed data and higher-order functions can be transferred. We are integrating the modules that we have implemented for two years, and implemented the UNIX compatibility. We are running UNIX utilities on XERO without re-compilation nor re-link. The persistent object management system provides a simple type system for persistent programming. Several technology was investigated for efficient implementation of persistent storage.

本课题的主要目标是开发具有高度开放性的分布式操作系统XERO。一个开放的操作系统具有与其他系统共享通信数据的能力，而不管真实的世界的障碍，诸如硬件体系结构、数据表示、通信协议和编程模型的差异。XERO操作系统具有三个突出的高开放性特征：通过“动态”多线程实现的高性能程序执行机制，通过远程过程调用实现的灵活的线程间通信，将二级存储器上的数据作为持久对象进行管理的机制，以及对线程间通信和持久对象的统一处理。实现了动态多线程技术，并通过性能测试和实现设计的重构，使系统性能得到了实质性的改善。通过对理论背景的研究，我们在XERO中实现了具有强大表达能力的远程过程调用，即可以调用任何静态类型的数据和高阶函数。我们正在整合我们已经实施了两年的模块，并实现了UNIX兼容性。我们在XERO上运行UNIX实用程序，无需重新编译或重新链接。持久对象管理系统为持久编程提供了一个简单的类型系统。研究了几种有效实现持久存储的技术。

项目成果

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)

Shigekazu Inohara、Kazuhiko Kato 和 Takashi Masuda：“在 64 位地址空间上构建协作系统。IPSJ SIG 报告” IPS Japan。

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)

TAJIMA Keishi：“支持多模式设施的面向对象数据库系统的研究。”

S.Chiba,K.Kato,and T.Masuda: "¨Exploiting a Weak Consistency to Implement Distributed Tuple Space,¨" Proceedings of IEEE 12th Int.Conf.on Distributed Computing Systems. 416-423 (1992)

S. Chiba、K. Kato 和 T. Masuda：““利用弱一致性来实现分布式元组空间”，IEEE 第 12 届 Int.Conf.on 分布式计算系统论文集 (1992)。

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)

细田俊：《分布式持久编程语言系统的研究》硕士论文，东京大学研究生院理学部信息科学研究科。

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)

田岛敬史：“支持多模式设施的面向对象数据库系统的研究”硕士论文，东京大学研究生院。