Multi-Model Parallel Computing

并行编程的最新技术特征是各种各样的进程模型、通信机制以及共享和保护模式。经验表明，没有一个单一的并行模式在所有情况下都能满足需要。不幸的是，传统操作系统倾向于通过将单一模型嵌入内核来强制执行该模型。克服这一限制是心灵操作系统的主要目标。预计SPECGE将允许每个程序员为手头的任务使用最合适的模型，并将打开以前无法获得的机会，在单个应用程序中使用多个模型。这项研究的重点是将SPECGE作为多模型并行计算的试验台--评估SPECE用户界面使多模型编程成为可能的程度，并确定使其实用所需的用户级工具、技术和约定的种类。在现有的多处理器实现的基础上，逐步复杂的用户级程序，从共存但独立的并行模型开始，一直到可以与多种类型的客户端交互的系统服务器，以及在内部使用多种并行模型的应用程序将在实验中使用。在这项工作的后期阶段，我们将利用我们部门计算机视觉、机器人和规划小组的专业知识来构建大型、多模型的反应性应用程序。

The state of the art in parallel programming is characterized by a wide variety of process models, communication mechanisms, and patterns of sharing and protection. Experience suggests that no single model of parallelism will suffice in every case. Unfortunately, traditional operating systems tend to enforce a single model by embedding it in the kernel. Overcoming this limitation is the principal goal of the Psyche operating system. It is expected that Psyche will allow each programmer to use the most appropriate model for the task at hand, and will open up previously unavailable opportunities to use multiple models within a single application. This research focuses on Psyche as a testbed for multi-model parallel computing -- evaluating the extent to which the Psyche user interface makes multi-model programming possible, and determining the sorts of user-level tools, techniques, and conventions that are required to make it practical. Building on an existing multiprocessor implementation of Psyche, progressively more complicated user-level programs, beginning with coexisting but independent models of parallelism and working up to system servers that can interact with many kinds of clients, and applications that use more than one model of parallelism internally will be used in experiments. In the later phases of this work, expertise in our department's computer vision, robotics, and planning groups will be drawn on for the construction of large, multi-model reactive applications.