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

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

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.