CAREER: Operating System Support and Programming Environment for Evolutionary Parallel and Distributed Applications

该项目将创建操作系统支持和编程环境，用于开发和维护持续发展的长期并行和分布式应用程序，例如自动化制造和科学计算。在运行时支持更改需要一个有效的、动态的重新配置工具和一个可扩展的编程环境。该研究的范围包括在系统级别构建工具包，用于开发应用程序的最终用户环境，包括算法设计，原型设计以及对设备的效率和有用性的评估。该工具包将利用部分顺序语义，并基于分层状态机形式。编程环境基于可伸缩的软件体系结构，用于指定和验证应用程序行为。CAREER项目的教育部分将发展高级和入门课程，以及关于并行处理的计算机实验室。这些发展为少数族裔研究生和本科生提供了提供先进教育和研究培训的有效场所，并使他们能够应对日益依赖分布式计算机系统的世界的挑战。

The project will create operating system support and a programming environment for developing and maintaining long-running parallel and distributed applications that are continually evolving, such as automated manufacturing and scientific computation. Supporting changes at runtime requires an efficient, dynamic reconfiguration facility and an extensible programming environment. The scope of the research includes building toolkit at the system level, end-user environment for developing applications including algorithm design, prototyping, and evaluation of the efficiency and usefulness of the facility. The toolkit will utilize partial-order semantics and is based on the hierarchical state machine formalism. The programming environment is based on a scalable software architecture for specifying and verifying application behavior. The educational component of the CAREER project will develop advanced and introductory courses, and computer laboratories on parallel processing. These developments, present effective venue for providing advanced education and research training to graduate and undergraduate minority students and equipping them to meet challenges in a world that is increasingly dependent on distributed computer systems.