Research on Method to Construct Scalable Server Systems with Fault-Tolerance

可扩展容错服务器系统构建方法研究

• 批准号: 17300026
• 负责人: MATSUMOTO Takashi
• 金额: $ 7.81万
• 依托单位: National Institute of Informatics
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (B)
• 财政年份: 2005
• 资助国家: 日本
• 起止时间: 2005 至 2007
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-17300026/
• 关键词: computer system; dependable computing; operating system; scalability; fault tolerance; redundant execution

In this study, we have made a new model and mechanism for distributed resource management in which there are fault-tolerance, efficiency, scalability, and migration-ability and we have developed an implementation of the model and the mechanism. In the research and development of the SSS-PC operating system, we had proposed a methodology to make one virtualized UNIX domain over multiple PC machines, and invented a scalable and migratable process mechanism. This study would lead the SSS-PCs research and development to the next stage. The following was achieved by the end of fiscal year 2006. The arbitrary pieces of UNIX domains could be established in one SSS-PC system over multiple PC machines. In addition, the fault-tolerant protocol stack communicated with one other party as three TCP protocol stacks cooperated in the SSS-PC system was developed. The fault-tolerant file server system using this protocol stack was experimentally implemented in the first half of fiscal year 2007. One file server program was redundantly executed with three PC machines, and the program used the fault-tolerant protocol stack to communicate external client terminals. In this situation, it was proven to keep providing service even if one of PC machines where the file server program was running broke down. However, it was clarified that the overlap of the name space in redundant execution became a problem through this experimental implementation. For the fundamental solution of the problem, it was concluded that it was necessary to treat each program of redundant execution as independent existence on the name space. Therefore, the execution method was switched to the method to achieve each program execution of redundant execution respectively on another virtualized UNIX domain, and virtualization mechanisms for UNIX domain was enhanced in the latter half of fiscal year 2007.

在本研究中，我们提出了一种新的分布式资源管理模型和机制，具有容错性、高效性、可扩展性和可迁移性，并开发了该模型和机制的实现。在SSS-PC操作系统的研发中，我们提出了一种在多台PC机上创建一个虚拟化UNIX域的方法，并发明了一种可扩展和可迁移的进程机制。这项研究将引领SSS-PC的研究和开发进入下一阶段。到 2006 财年末，已实现以下目标。可以在多台 PC 机上的一个 SSS-PC 系统中建立任意 UNIX 域片段。此外，还开发了SSS-PC系统中三个TCP协议栈相互协作的容错协议栈。使用该协议栈的容错文件服务器系统于2007财年上半年进行了实验性实施。一个文件服务器程序用三台PC机冗余执行，该程序使用容错协议栈与外部客户端进行通信。在这种情况下，事实证明，即使其中一台运行文件服务器程序的PC机发生故障，它也能继续提供服务。然而，通过这个实验实现，我们发现冗余执行中名称空间的重叠成为了一个问题。为了从根本上解决问题，得出的结论是，需要将每个冗余执行的程序视为在名称空间上独立存在。因此，执行方式切换为在另一个虚拟化UNIX域上分别实现每个程序执行冗余执行的方式，并在2007财年下半年增强了UNIX域的虚拟化机制。

项目成果

Development of Distributed Virtual Disk System by Online Storage for Ubiquitous Computing Environment

普适计算环境下在线存储分布式虚拟磁盘系统的开发

• 发表时间: 2007
• 期刊: Proc. of 69th Annual Cony, of IPS Japan Vol.1
• 作者: Bjorn Hoffmeister;Thomas Zeugmann;S.Minato;湊 真一;Shin-ichi Minato;湊 真一;野尻 祐亮;野尻 祐亮;野尻 祐亮;藤井敦;Yusuke Nojiri;Yusuke Nojiri
• 通讯作者: Yusuke Nojiri

A Lightweight Synchronization Mechanism for an SMT Processor Architecture

一种SMT处理器架构的轻量级同步机制

• 发表时间: 2005
• 期刊: Trans. of IPS Japan Vol.46 No.SIG 16(ACS 12)
• 作者: Badam;Osor;Khaltar・Atsushi;Fujii;佐藤 未来子;Badam-Osor Khaltar and Atsushi Fujii;Kaname Uchikura;Badam-Osor Khaltar and Atsushi Fujii;Koichi Sasada
• 通讯作者: Koichi Sasada

Process Management of the Operating System Future for On Chip Multithreaded Architecture

片上多线程架构操作系统未来的进程管理

• 发表时间: 2005
• 期刊: Proc. on Computer System Symp.(IPS) Japan 2005
• 作者: Badam;Osor;Khaltar・Atsushi;Fujii;佐藤 未来子;Badam-Osor Khaltar and Atsushi Fujii;Kaname Uchikura;Badam-Osor Khaltar and Atsushi Fujii;Koichi Sasada;Kaname Uchikura;Mikiko Sato
• 通讯作者: Mikiko Sato

オンラインストレージを用いた分散仮想ディスクの開発

利用在线存储开发分布式虚拟磁盘

• 发表时间: 2007
• 期刊: 情報処理学会「システムソフトウェアとオペレーティング・システム」第105回研究報告 2007-OS-105
• 作者: Bjorn Hoffmeister;Thomas Zeugmann;S.Minato;湊 真一;Shin-ichi Minato;湊 真一;野尻 祐亮;野尻 祐亮;野尻 祐亮
• 通讯作者: 野尻 祐亮

SMTプロセッサ向けの軽量な同期機構

SMT处理器的轻量级同步机制

• 发表时间: 2005
• 期刊: 情報処理学会論文誌 46・SIGI6
• 作者: Atsushi Fujii;Tetsuya Ishikawa;笹田 耕一
• 通讯作者: 笹田 耕一