FAW: Graphical Specification Techniques for Parallel Programming

在编写大规模并行计算程序时，程序员必须 有效地指定大量的进程及其交互 将它们的逻辑结构映射到不同的硬件结构上，以及 在缺乏可重复性和一致的全局状态的情况下进行调试。 这些活动中的一些可以由顺序的 工具，但大多数需要开发新的技术， 平行性 这一事态发展因以下因素而更具挑战性： 目标体系结构的多样性，相对缺乏经验 与并行性，以及可用的程度和粒度的范围 平行性 本研究的重点是支持消息传递 建筑 在供资期间，将继续开展以下工作： 并行程序规范和调试，并开始编程 特定于连接机器的支持。 编程环境提供的抽象决定了 程序员在实现和调试算法方面的有效性， 然而很少有抽象支持大规模并行性。 一种图形语法- 的编辑器可以促进简洁的，可伸缩的规范， 并行程序作为注释图族。 规格， 然而，这还不够。 程序图必须提供给其他 工具，如调试器、动画制作器和映射器， 环境 这项工作将调查现有的适用性 技术，设计局部可视化的方法，并确定 懒惰图生成的可行性和实用性。 旨在 探索这些图形规格说明技术的适应性 连接机器。

When programming massively parallel computations, programmers must specify large numbers of processes and their interactions, efficiently map their logical structures onto disparate hardware structures, and debug in the absence of reproducibility and consistent global states. Some of these activities can be supported by extensions of sequential tools, but most require development of novel techniques specific to parallelism. This development is made even more challenging by the diversity of target architectures, the relative lack of experience with parallelism, and the range in degree and granularity of available parallelism. This research focuses on support for message-passing architectures. During the funding period, work will continue on parallel program specification and debugging, and begin on programming support specific to the Connection Machine. The abstractions provided by a programming environment determine a programmer's effectiveness in implementing and debugging algorithms, yet few abstractions support massive parallelism. A graph grammar- based editor can facilitate the concise, scalable specification of parallel programs as annotated graph families. Specification, however, is not enough. Program graphs must be available to other tools - such as debuggers, animators, and mappers - within the environment. This work will investigate the applicability of existing techniques, to design methods of partial visualization, and determine the feasibility and utility of lazy graph generation. It is intended to explore the adaptation of these graphical specification techniques for the Connection Machine.