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.