Efficient Debugging of Parallel Programs

这个项目的地址技术算法设计和 并行程序调试系统的实现。 使用 返排分析提供了以下因素之间因果关系的信息： 事件，而不必重新执行 调试程序。 返排分析直接关注 程序员对问题的原因。 主要解决两个问题：（1）使返排分析实用化 通过开发一种方法， 在程序执行期间，以及（2）扩展回流的语义 分析并行程序。 增量跟踪，使用语义 对调试程序进行了分析，使回退分析具有实用性 在执行期间仅产生少量的跟踪。 返排 分析扩展到适用于并行程序，处理 同步活动、流程之间的依赖关系以及共享 内存访问 一种检测交互中竞争条件的方法 还描述了协同操作过程。 有效调试这两种程序所必需的技术和算法 并行和顺序程序被合并在一个原型系统中 构建在商业上可用的多处理器上。

This project addresses techniques algorithms for design and implementation of a debugging system for parallel programs. The use of flowback analysis provides information on causal relationships between events in a program's execution, without having to re-execute the program for debugging. Flowback analysis directly focuses the programmer on the cause of a problem. Two major issues are addressed: (1) making flowback analysis practical by developing a method that significantly reduces the overhead induced during program execution, and (2) extending the semantics of flowback analysis to parallel programs. Incremental tracing, using semantic analyses of the debugged program, makes the folwback analysis practical with only a small amount of trace generated during execution. Flowback analysis is extended to apply to parallel programs, handling synchronization activities, dependencies between processes, and shared memory access. A method to detect race conditions in the interactions of the co-operating processes is also described. The techniques and algorithms necessary to efficiently debugging both parallel and sequential programs are incorporated in a prototype system built on a commercially available multiprocessor.