基于锁集合的动态数据竞争检测方法

数据竞争使得共享存储程序难于调试 .以前大部分针对共享存储程序的动态数据竞争检测工作都是通过维护发生序来实现 .这种方法有一个重要缺点 ,即针对程序的一种输入 ,对程序的一次执行进行检测 ,不能检测出所有的可行数据竞争 .文中利用存储一致性模型的框架模型 ,针对域一致性模型提出了增强发生序概念 ,并依此得出一种基于锁集合的动态数据竞争检测算法 ,克服了这个问题 .在软件DSM系统JIAJIA上的实现获得了很好的性能 ,应用平均减速比为 3.14 .利用该方法 ,在TSP程序中找到了大量的读写数据竞争的情况 .

针对非规则应用的OpenMP制导扩展

许多非规则应用的核心是稀疏矩阵运算 .稀疏矩阵运算的特点是对一个数组元素的引用依赖于另两个数组的元素值 ,因此具有非规则访存特点 .本文针对稀疏矩阵运算特点 ,提出一种新的 Open MP制导子句 indirect,并在机群 Open MP系统Open MP/ JIAJIA上进行了实现 .采用一个真实的 Open MP应用 Equake进行了测试 ,测试结果表明该制导扩展很有效 ,对于直接使用该制导子句的函数代码 ,其性能改进了 18% ,而整个应用的性能改进了 15 % .

访存密集型应用在SMP机群系统中的性能分析

SM P机群系统因其良好的性价比、卓越的可扩展性与可用性,逐渐成为当前高性能计算机领域的主流结构.这种结点内共享存储、结点间消息传递的两级混合结构是目前并行计算研究的热点.在单个SM P结点中,总线和内存带宽是否满足CPU和I/O的需求对于访存密集型应用的性能影响很大.本文针对访存密集型应用的特点测试分析了在SM P机群中访存冲突对系统性能的影响,结果表明我们的SM P结点存在性能瓶颈,这种量化分析对于设计大规模的基于SM P的机群系统有很好的指导意义.

软件DSM系统中的动态数据竞争检测

数据竞争是共享存储程序中的一类难于调试的错误 .在支持域存储一致性模型的软件 DSM系统 JIAJIA上 ,通过采用汇编代码装配技术来获得程序所读写的共享变量集合的方法 ,实现了基于锁集合的动态数据竞争检测算法 .利用本文方法 ,在 TSP和 Barnes程序中找到了数据竞争情况 ,并根据找到的数据竞争 ,修正了 Barnes中的错误 .实际使用经验表明 ,本文方法易于用户使用 。

软件DSM系统中的全局断点技术

软件DSM系统的并行调试环境已经成为制约其广泛应用的一个重要因素。全局断点技术是用户调试程序的一种基本方法。该文通过定义软件DSM程序执行的HB1序来描述程序的执行,并以此定义因果分布式断点。并使用重放方法和向量时间戳技术来获得因果分布式断点。应用测试结果表明,该方法产生很小的空间和时间开销。

基于SDN多播的分布式共享内存研究

在分布式共享内存(DSM)中使用多播进行节点间的消息传输,可以大幅节省通信开销,但传统多播具有不可控性。为此,提出一种将基于软件定义网络(SDN)实现的多播应用于DSM中的方案。设计一种基于多播的DSM系统,并以基于SDN实现的多播为其提供数据传输。实验结果表明,与传统以太网相比,该方法能够有效降低DSM中的数据传输延迟,为DSM系统提供良好的通信性能保障。