Development of Highly Open Distributed Operating System

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

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.