Understanding synchronization is important for a parallel programming tool that uses dependence analysis as the basis for advising programmers on the correctness of parallel constructs. This paper discusses static analysis methods that can be applied to parallel programs with event variable synchronization. The objective is to be able to predict potential data races in a parallel program. The focus is on how dependencies and synchronization statements inside loops can be used to analyze complete programs with parallel loop and parallel case style parallelism.
对于使用依赖关系分析作为向程序员提供有关并行结构正确性建议的基础的并行编程工具,理解同步非常重要。本文讨论了可以应用于具有事件变量同步的并行程序的静态分析方法。目的是能够在并行程序中预测潜在的数据竞争。重点是如何使用循环内的依赖关系和同步语句来分析具有并行循环和并行案例样式并行性的完整程序。 P>
Tera Computer Company, 400 North 34th Street, Suite 300, Seattle, WA;
Department of Computer Science, Rice University, Houston, Texas;
机译:使用乐观同步原语对自动并行化的程序进行有效的细粒度同步
机译:基于交互式跟踪的分析工具集,用于C程序的手动并行化
机译:JavaSymphony:一种新的编程范例,用于控制和同步并行,分布式计算的局部性,并行性和负载平衡
机译:事件同步分析,用于调试并行程序
机译:并行编程环境中的同步分析。
机译:大型生物数据集基于新图块的并行编程模型对SMP节点和工作站集群的并行算法进行分析
机译:并行编程工具中的事件同步分析
机译:具有确定性的可视并行编程:语言规范,分析技术和编程工具。