-
题名基于锁集合的动态数据竞争检测方法
被引量：12
- 1
-
-
作者
章隆兵
张福新
吴少刚
陈意云
-
机构
中国科学院计算技术研究所
中国科学技术大学计算机科学技术系
-
出处
《计算机学报》
EI
CSCD
北大核心
2003年第10期1217-1223,共7页
-
基金
国家自然科学基金项目 ( 60 0 73 0 18
698962 5 0 )
+1 种基金
中国科学院全国首届优秀博士学位论文作者专项基金
中国科学院计算技术研究所领域前沿青年基金 ( 2 0 0 162 80 6)资助
-
文摘
数据竞争使得共享存储程序难于调试 .以前大部分针对共享存储程序的动态数据竞争检测工作都是通过维护发生序来实现 .这种方法有一个重要缺点 ,即针对程序的一种输入 ,对程序的一次执行进行检测 ,不能检测出所有的可行数据竞争 .文中利用存储一致性模型的框架模型 ,针对域一致性模型提出了增强发生序概念 ,并依此得出一种基于锁集合的动态数据竞争检测算法 ,克服了这个问题 .在软件DSM系统JIAJIA上的实现获得了很好的性能 ,应用平均减速比为 3.14 .利用该方法 ,在TSP程序中找到了大量的读写数据竞争的情况 .
-
关键词
编程技巧
动态数据竞争检测方法
锁集合
软件分布式共享存储系统
域一致性模型
程序并行性
-
Keywords
software distributed shared memory system
scope consistency
data race
enhanced-happen-before order
JIAJIA
-
分类号
TP311.1
[自动化与计算机技术—计算机软件与理论]
-
-
题名访存密集型应用在SMP机群系统中的性能分析
被引量：3
- 2
-
-
作者
顾丽红
吴少刚
-
机构
中国石油大学(华东)计算机与通信工程学院
-
出处
《小型微型计算机系统》
CSCD
北大核心
2006年第7期1258-1261,共4页
-
基金
国家自然科学基金项目(60303016)资助
国家"九七三"计划项目(2005C8321600)资助
中国石油大学(华东)校基金项目"分布式应用系统集群技术研究"资助.
-
文摘
SM P机群系统因其良好的性价比、卓越的可扩展性与可用性,逐渐成为当前高性能计算机领域的主流结构.这种结点内共享存储、结点间消息传递的两级混合结构是目前并行计算研究的热点.在单个SM P结点中,总线和内存带宽是否满足CPU和I/O的需求对于访存密集型应用的性能影响很大.本文针对访存密集型应用的特点测试分析了在SM P机群中访存冲突对系统性能的影响,结果表明我们的SM P结点存在性能瓶颈,这种量化分析对于设计大规模的基于SM P的机群系统有很好的指导意义.
-
关键词
访存密集应用
SMP机群
OPENMP
软件DSM系统
JIAJIA
-
Keywords
memory intensive applications
SMP cluster
OpenMP
software distributed shared memory system
JIAJIA
-
分类号
TP316
[自动化与计算机技术—计算机软件与理论]
-
-
题名软件DSM系统中的动态数据竞争检测
被引量：1
- 3
-
-
作者
章隆兵
吴少刚
张福新
-
机构
中国科学院计算技术研究所
-
出处
《小型微型计算机系统》
CSCD
北大核心
2004年第12期2070-2074,共5页
-
基金
国家自然科学基金项目 ( 60 0 73 0 18
698962 5 0 )资助
中国科学院全国首届优秀博士学位论文作者专项基金资助
-
文摘
数据竞争是共享存储程序中的一类难于调试的错误 .在支持域存储一致性模型的软件 DSM系统 JIAJIA上 ,通过采用汇编代码装配技术来获得程序所读写的共享变量集合的方法 ,实现了基于锁集合的动态数据竞争检测算法 .利用本文方法 ,在 TSP和 Barnes程序中找到了数据竞争情况 ,并根据找到的数据竞争 ,修正了 Barnes中的错误 .实际使用经验表明 ,本文方法易于用户使用 。
-
关键词
软件分布式共享存储系统
数据竞争
代码装配
-
Keywords
software distributed shared memory system
data race
code instrumentation
-
分类号
TP302
[自动化与计算机技术—计算机系统结构]
-
-
题名软件DSM系统中的全局断点技术
- 4
-
-
作者
章隆兵
章晓良
-
机构
中国科技大学计算机系
合肥工业大学机械与汽车工程学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2002年第7期115-118,共4页
-
基金
中科院计算所领域前沿青年基金资助(编号:20016280-6)
-
文摘
软件DSM系统的并行调试环境已经成为制约其广泛应用的一个重要因素。全局断点技术是用户调试程序的一种基本方法。该文通过定义软件DSM程序执行的HB1序来描述程序的执行,并以此定义因果分布式断点。并使用重放方法和向量时间戳技术来获得因果分布式断点。应用测试结果表明,该方法产生很小的空间和时间开销。
-
关键词
软件分布式共享存储系统
重放方法
向量时间戳
因果分布式断点
全局断点技术
-
Keywords
software distributed shared memory system,Replay technique,Vector Timestamp ,Causal distributed Break-point
-
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
-
