Research on Massively Parallel Operating Systems with Flexibility

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

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).