Construction of Cooperative Distributed Systems

协作分布式系统构建

基本信息

批准号：
04452316
负责人：
MASUDA Takashi
金额：
$ 1.66万
依托单位：
The University of Tokyo
依托单位国家：
日本
项目类别：
Grant-in-Aid for General Scientific Research (B)
财政年份：
1992
资助国家：
日本
起止时间：
1992 至 1993
项目状态：
已结题

来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-04452316/
关键词：
64-bit microprocessor Distributed operating system Distributed shared memory Virtual memory management Version management Shared virtual space Shared data structure Memory object バージョン管理

项目摘要

The purpose of this research was to investigate the method for constructing "cooperative" distributed systems with high extensibility and flexibility. The technical points for realizing cooperative distributed systems are three-fold : (1) a virtual memory management mechanism that facilitates close interaction among processes, even if they reside in separate address spaces, (2) a communication mechanism that enables cooperation of processes without spoiling their individual functionalities and security, (3) a mechanism for changing the action (or specification) of processes during their execution. The first point was achieved by introducing a novel concept for address space management called "versioned single-level store" on a linear 64-bit address spaces. The versioned single-level store integrates the management of secondary storage and virtual memory, thereby providing user programs a uniform view of whole storage of a computer system. The single-level store eliminates the operational differences between the volatile data (those on the primary storage) and persistent data (those on the secondary storage). The uniform view of volatile and persistent data helps processes to cooperate, which has been difficult on conventional systems because they provides little support for sharing data and control among separate address spaces. The second and third point was realized by the "trigger" mechanism. The trigger system notifies users of an occurrence of specific events in the operating system, such as read and write on a specific file in the file system, delivery of a specific message from/to a process, occurrence of virtual memory protection, and so on. By revealing these events that conventional systems have hidden from the user programs, user programs gained the ability of monitoring the activities in the system, and change their own behavior according to the change of the outer environment.

这项研究的目的是研究构建具有高扩展性和灵活性的“合作”分布式系统的方法。实现合作分布式系统的技术要点是三倍：（1）一种虚拟内存管理机制，即使它们驻留在单独的地址空间中，也可以促进工艺之间的紧密互动，（2）一种通信机制，可以使过程合作，而无需破坏其个人功能和安全性，（3）在执行过程中更改过程的动作（或指定）的机制。第一个点是通过在线性64位地址空间上引入一个名为“版本的单层商店”的地址空间管理的新颖概念来实现的。版本的单级存储集成了辅助存储和虚拟内存的管理，从而为用户程序提供了整体存储计算机系统的均匀视图。单层存储消除了挥发性数据（主要存储）和持久数据（辅助存储中的数据）之间的操作差异。挥发性和持久数据的统一视图有助于过程进行合作，这在常规系统上很困难，因为它们几乎没有支持在单独的地址空间之间共享数据和控制的支持。第二点和第三点是通过“触发”机制实现的。触发系统通知用户操作系统中特定事件的发生，例如在文件系统中的特定文件上读写，从/到进程的特定消息，虚拟内存保护的发生等。通过揭示传统系统从用户程序中隐藏的这些事件，用户程序获得了监视系统活动中的活动的能力，并根据外部环境的变化来改变其自身行为。