Research on Massively Parallel Operating Systems with Flexibility

点击翻译按钮获取中文摘要

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