Research on Massively Parallel Operating Systems with Flexibility

柔性大规模并行操作系统研究

• 批准号: 04680034
• 负责人: FUKUDA Akira
• 金额: $ 1.34万
• 依托单位: KYUSHU UNIVERSITY
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for General Scientific Research (C)
• 财政年份: 1992
• 资助国家: 日本
• 起止时间: 1992 至 1993
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-04680034/
• 关键词: Parallel Operating Systems; Micro-kernel; Parallelizing Compiler; Two-level Scheduling; Data Partitioning Graph; 並列オペレーティング・システム; 中間表現; メッセージプール; サーバの粒度

1. Parallel Operating SystemsWe showed that promising parallel operating system architecture is microkernel-baced one, where kernel provides the minimum functions and out-of-kernel functions are provided by system servers implemented in user spaces. We developed parallel operating system prototype according to the architecture. The prototype was implemented on a computer. Through running some programs, we confirmed that proposed architecture was effective.Environments of Developing Parallel Operating SystemWe showed that it is effective to model parallel operating systems as process network. We also studied debugging methods. We employed slicing method in programming languages into formal languages.CompilerThrough simulation experiments, we showed that two-level scheduling was promising one for large-scaled multiprocessors. In addition, we investigated alternative policies in the scheduling. The simulation results said that these performance greatly depend on multiprocessor memory architectures. We also studied parallelizing compilers considering non-uniformity of memory accesses. We proposed intermediate representation called DPG(Data Partitioning Graph).

1. 并行操作系统我们表明，有前途的并行操作系统体系结构是基于微内核的体系结构，其中内核提供最少的功能，而内核外的功能由在用户空间中实现的系统服务器提供。我们根据该体系结构开发了并行操作系统原型。该原型是在计算机上实现的。通过运行一些程序，我们证实了所提出的体系结构是有效的。并行操作系统的开发环境我们证明了将并行操作系统建模为进程网络是有效的。我们还研究了调试方法。我们采用了将编程语言中的切片方法转化为形式化语言的方法。编译器通过模拟实验，我们表明二级调度对于大规模多处理器来说是一种有前途的调度方法。此外，我们还研究了调度中的替代政策。仿真结果表明，这些性能很大程度上取决于多处理器内存架构。我们还研究了考虑内存访问不均匀性的并行编译器。我们提出了称为 DPG（数据分区图）的中间表示。

项目成果

中西 恒夫: "DPG:データ分割グラフ" 情報処理学会計算機アーキテクチャ研究会. 104-16. 121-128 (1994)

Tsuneo Nakanishi：“DPG：数据分区图”日本计算机体系结构研究组信息处理104-16（1994）。

恒富 邦彦: "A Message-Pool-Based Parallel Operating System for the Kyushu University Reconfigurable Parallel Processor" J.Information Processing. 14. 423-432 (1992)

Kunihiko Tsunetomi：“九州大学可重构并行处理器的基于消息池的并行操作系统”J.信息处理。14. 423-432 (1992)

城和貴: "An Analytic Model for a Parallel Computer-Prediction of a Shared Block Behavior-" Proc.Workshop on Performance Evaluation of Parallel Systems. 67-74 (1993)

Kazutaka Shiro：“并行计算机的分析模型 - 预测共享块行为”Proc. 并行系统性能评估研讨会 67-74 (1993)。

城 和 貴: "An Analytic Model for a Parallel Computer-Prediction of a Shared Block Behavior-" Proc.Workshop on Performance Evaluation of Parallel Systems. 67-74 (1993)

Kazutaka Shiro：“并行计算机的分析模型 - 预测共享块行为”Proc. 并行系统性能评估研讨会 67-74 (1993)。

桑山 雅行: "並列オペレーティング・システムK1-マイクロカーネルの考察と設計-" コンピュータシステムシンポジウム. 69-76 (1992)

Masayuki Kuwayama：“并行操作系统 K1 - 微内核的考虑和设计”计算机系统研讨会 69-76 (1992)。