Parallel Program Modeling and Evaluation

为并行、分布式计算机系统开发大型程序至少与为更传统的顺序系统开发软件一样困难。增加的困难在于开发处理器的多样性所需的创新。已经花费了相当大的努力来建立操作和网络，以便它们有利于分布式编程，并且已经建立了新的编程语言来增加表达计算，以便它利用支持系统的结构。程序设计人员没有足够的工具来帮助他们创建和评估并行、分布式计算。他们也缺乏方便的方法来描述、建模和可视化这些计算。研究的目标是研究支持并行程序结构有序探索的机制，以及在设计过程中提供不同数量的反馈评估的机制。

Developing large programs for parallel, distributed computer systems is at least as difficult as developing software for more traditional sequential systems. The added difficulty is in the innovation required to exploit the multiplicity of processors. Considerable effort has been expended to build operating and networks so that they are conducive to distributed programming, and new programming languages have been built to increase the expressive computation so that it takes advantage of the structure of the support system. Program designers do not have adequate tools to assist them in creating and evaluating parallel, distributed computations. They also lack convenient ways to describe, model and visualize these computations. The goal of the research is to study mechanism that support the orderly exploration of parallel program structures, and which provide varying amounts of feedback evaluation during that design process.