一种分布式共享存储系统的线程分配算法 被引量：5

1

作者 刘轶 郑守淇 钱德沛 《计算机研究与发展》 EI CSCD 北大核心 2000年第5期521-526,共6页

讨论了软件实现的多线程 DSM系统中的通信开销和线程分配问题 ,给出了一种基于线程关系图的调度模型 ,并在此基础上提出了一种基于迭代的线程分配算法 .通过大量的线程关系图对算法进行了评价 ,并且在一个软件 DSM系统中实现了该算法 ,... 讨论了软件实现的多线程 DSM系统中的通信开销和线程分配问题 ,给出了一种基于线程关系图的调度模型 ,并在此基础上提出了一种基于迭代的线程分配算法 .通过大量的线程关系图对算法进行了评价 ,并且在一个软件 DSM系统中实现了该算法 ,同时给出了算法的评价结果和应用程序的性能数据 . 展开更多

关键词 分布共享存储系统 线程分配算法 多处理机系统

下载PDF 职称材料

以操作系统为中心的存储一致性模型——线程一致性模型 被引量：5

2

作者 戴华东 杨学军 《计算机研究与发展》 EI CSCD 北大核心 2003年第2期351-359,共9页

分布共享存储系统为保证程序的正确执行 ,必须通过存储一致性模型对共享存储访问顺序加以限制 ,而现有模型在可扩展性和操作系统级实现方面存在不足 结合多线程的特点 ,提出了一种以操作系统为中心的线程一致性模型 ,通过并行程序执行... 分布共享存储系统为保证程序的正确执行 ,必须通过存储一致性模型对共享存储访问顺序加以限制 ,而现有模型在可扩展性和操作系统级实现方面存在不足 结合多线程的特点 ,提出了一种以操作系统为中心的线程一致性模型 ,通过并行程序执行过程中线程状态的变化来观察和限制存储访问事件的正确顺序 ,有利于系统的可扩展性、一致性维护信息获取的方便性和完备性以及操作系统本身的设计和实现 分别从模型的定义、正确性证明。 展开更多

关键词 操作系统 存储一致性模型 线程一致性模型 分布共享存储系统 内核

下载PDF 职称材料

DSM系统中存储一致性模型的一种新框架——S^3C框架 被引量：1

3

作者 戴华东 杨学军 《计算机学报》 EI CSCD 北大核心 2002年第12期1387-1396,共10页

存储一致性模型对共享存储系统的正确性、性能以及程序的复杂性都有重要的影响 .该文立足于分布共享存储系统 ,提出了一种新的存储一致性模型框架—— S3 C框架 .该框架通过同步点的概念来描述不同模型中正确的存储访问事件顺序 ;通过... 存储一致性模型对共享存储系统的正确性、性能以及程序的复杂性都有重要的影响 .该文立足于分布共享存储系统 ,提出了一种新的存储一致性模型框架—— S3 C框架 .该框架通过同步点的概念来描述不同模型中正确的存储访问事件顺序 ;通过一致性维护点的概念 ,对同一模型的不同实现方式也能够进行区别和比较 .结合 S3 C框架 ,该文提出了一种以操作系统为中心的线程一致性模型 ,并针对以顺序一致性模型为代表的存储一致性模型的正确实现进行了论述 . 展开更多

关键词 DSM系统 存储 一致性 S^3C框架 分布共享存储系统 服务器 操作系统

下载PDF 职称材料

放松的存储一致性模型

4

作者 王晓霞 《数学教学研究》 2010年第12期50-52,共3页

讨论了在分布共享存储系统中对严格一致性模型在不同程度上进了行放松的各种存储一致性模型,并介绍了实现一致性模型的Cache一致性协议.

关键词 分布共享存储系统 存储一致性模型 CACHE一致性协议

下载PDF 职称材料

分布式共享存储系统中的存储管理及优化技术 被引量：4

5

作者 戴华东 夏军 杨学军 《计算机工程》 CAS CSCD 北大核心 2003年第5期13-15,共3页

分布式共享存储体系结构由于结合了较好的可扩展性和可编程性，已经成为目前并行计算机领域的主要发展方向。文章针对分布式共享存储系统中存储管理的两个关键问题——存储一致性模型和数据局部性优化技术进行了探讨。

关键词 分布式共享存储系统 存储管理 优化技术 操作系统 计算机 存储一致性模型 页迁移

下载PDF 职称材料

基于分布式共享存储系统的并行文件子系统DPFS 被引量：4

6

作者 章隆兵 陈意云 +1 位作者 章锋 陈国良 《计算机研究与发展》 EI CSCD 北大核心 2002年第3期360-366,共7页

为了改进软件 DSM系统中对文件的存取性能以获得更好的应用程序性能 ,基于软件 DSM系统 JIAJIA的并行文件子系统 DPFS被开发出来 .DPFS系统采用文件映射接口作为应用编程接口 ,使得文件存取界面简单 ,并且能充分利用软件 DSM系统的大量... 为了改进软件 DSM系统中对文件的存取性能以获得更好的应用程序性能 ,基于软件 DSM系统 JIAJIA的并行文件子系统 DPFS被开发出来 .DPFS系统采用文件映射接口作为应用编程接口 ,使得文件存取界面简单 ,并且能充分利用软件 DSM系统的大量特性 ,系统设计相对简单 .在曙光 2 0 0 0并行机上进行的应用测试表明 ,采用DPFS文件子系统后 。 展开更多

关键词 分布式共享存储系统 文件映射接口 DPFS 并行文件子系统 工作站网络

下载PDF 职称材料

软件DSM系统的重放

7

作者 章隆兵 张福新 陈意云 《小型微型计算机系统》 CSCD 北大核心 2003年第3期340-343,共4页

软件 DSM系统的并行调试环境已经成为制约其广泛应用的一个重要因素 .重放方法使得用户能用循环调试技术来调试具有执行不确定性的软件 DSM程序 .本文定义了软件 DSM程序执行的 happen- before- 1关系 ,并依据其提出一种在软件 DSM系统 ... 软件 DSM系统的并行调试环境已经成为制约其广泛应用的一个重要因素 .重放方法使得用户能用循环调试技术来调试具有执行不确定性的软件 DSM程序 .本文定义了软件 DSM程序执行的 happen- before- 1关系 ,并依据其提出一种在软件 DSM系统 JIAJIA上实现重放的方法 .实际应用测试表明 。 展开更多

关键词 软件DSM系统 软件工程 软件测试 分布式共享存储系统 重放方法 数据竞争 日志文件

下载PDF 职称材料

实时重新配置的分布式共享存储的研究 被引量：1

8

作者 胡卫华 陈基禄 +1 位作者 朱永利 王新 《华北电力大学学报（自然科学版）》 CAS 北大核心 2003年第4期82-85,共4页

针对分布式共享存储(DSM)系统固定节点集合配置的限制,提出一种支持节点重新配置的DSM系统的实现方案。方案中,系统允许用户在执行DSM程序时改变节点集合。这种增加节点的能力使得用户可以进一步缩短DSM程序的执行时间,同时,通过动态删... 针对分布式共享存储(DSM)系统固定节点集合配置的限制,提出一种支持节点重新配置的DSM系统的实现方案。方案中,系统允许用户在执行DSM程序时改变节点集合。这种增加节点的能力使得用户可以进一步缩短DSM程序的执行时间,同时,通过动态删除系统中的节点,可以避免系统用户和计算机用户之间的资源竞争问题。为实现上述功能,系统采用了适宜工作量的重新分配和亲合页面的迁移等技术。该系统支持顺序一致性和释放一致性,能提供面向对象的并行程序环境。 展开更多

关键词 分布式共享存储系统 节点重新配置 存储器 计算机

下载PDF 职称材料

基于Linux的软件DSM实现 被引量：1

9

作者 李鹏 王雷 《计算机工程》 EI CAS CSCD 北大核心 2006年第4期58-60,共3页

分布式共享存储系统在分布式存储器的基础上构造逻辑上的共享存储模型。提出了在操作系统层实现分布式共享存储的系统框架,并以Linux操作系统为平台介绍了其实现。该系统提供简单的调用接口,并与Linux内存管理框架紧密结合。通过采用合... 分布式共享存储系统在分布式存储器的基础上构造逻辑上的共享存储模型。提出了在操作系统层实现分布式共享存储的系统框架,并以Linux操作系统为平台介绍了其实现。该系统提供简单的调用接口,并与Linux内存管理框架紧密结合。通过采用合适的DSM一致性协议提高了整体性能。 展开更多

关键词 分布式共享存储系统 操作系统 内存管理 一致性协议

下载PDF 职称材料

一种新的分布式共享存储协议:用户级共享存储协议

10

作者 吴俊敏 高原 +1 位作者 江松 郑世荣 《小型微型计算机系统》 CSCD 北大核心 2000年第4期337-340,共4页

在大规模并行处理系统中 ,采用共享存储和消息传递两种通信模型均存在各自的局限性 ,本文提出了一种新的改善共享存储系统性能的设计策略 :用户级共享存储协议 ,并在基于 X86处理器的分布式共享存储系统仿真器Sim DSM上对两个典型应用... 在大规模并行处理系统中 ,采用共享存储和消息传递两种通信模型均存在各自的局限性 ,本文提出了一种新的改善共享存储系统性能的设计策略 :用户级共享存储协议 ,并在基于 X86处理器的分布式共享存储系统仿真器Sim DSM上对两个典型应用问题进行了测试 ,实验结果表明 ,它的性能比采用传统协议有显著提高 . 展开更多

关键词 分布式共享存储系统 用户级共享存储协议

下载PDF 职称材料

基于NOWs分布式共享存储系统的并行图像处理数据通讯研究

11

作者 黄国满 何建邦 《计算机科学》 CSCD 北大核心 2002年第3期96-98,共3页

1.引言目前,并行分布式系统的应用正在不断地发展和扩大.将现有的微机、工作站用高速网络连接起来,再配上并行分布式计算的软件环境,便能实现高速的并行计算….这将有利于普及并行计算.在所有类型的并行系统中,基于分布式存储的工作站集... 1.引言目前,并行分布式系统的应用正在不断地发展和扩大.将现有的微机、工作站用高速网络连接起来,再配上并行分布式计算的软件环境,便能实现高速的并行计算….这将有利于普及并行计算.在所有类型的并行系统中,基于分布式存储的工作站集群(NOWs)由于具有很高的性价比,越来越受到高性能计算领域的重视[2～4]. 展开更多

关键词 并行图像处理 数据通讯 NOWs 分布式共享存储系统 计算机

下载PDF 职称材料

一种并行内存缓冲系统及其实现技术

12

作者 赵朔 吴绍春 +1 位作者 吴耿锋 任小龙 《计算机工程与应用》 CSCD 北大核心 2003年第33期122-124,共3页

为支持数据挖掘应用,对NOW机群系统的分布式共享存储管理机制进行了适当的简化1～2,结合数据挖掘中数据处理的特点,设计了一个并行内存缓冲系统。该缓冲系统为应用程序提供上下两层应用接口,既可以保证内存操作的透明性,又为应用程序自... 为支持数据挖掘应用,对NOW机群系统的分布式共享存储管理机制进行了适当的简化1～2,结合数据挖掘中数据处理的特点,设计了一个并行内存缓冲系统。该缓冲系统为应用程序提供上下两层应用接口,既可以保证内存操作的透明性,又为应用程序自主操作数据提供了极大的灵活性。缓冲系统可以充分利用网络结点的存储空间为应用程序实现网络虚拟存储环境,同时也可以很好地支持应用程序对数据文件的并行化处理。 展开更多

关键词 数据挖掘 分布式共享存储系统 并行文件系统 机群 文件缓冲

下载PDF 职称材料

基于Windows的DSM系统中线程迁移的实现

13

作者 郑志军 张金表 赖红武 《浙江科技学院学报》 CAS 2006年第2期114-117,共4页

随着多线程DSM系统的发展,线程迁移已经成为DSM系统中一个非常重要的研究课题。在分析Windows操作系统的存储和控制结构的基础上,讨论了基于Windows操作系统的多线程DSM系统的基本框架,提出了一种对线程进行动态迁移的方法。并且在一个... 随着多线程DSM系统的发展,线程迁移已经成为DSM系统中一个非常重要的研究课题。在分析Windows操作系统的存储和控制结构的基础上,讨论了基于Windows操作系统的多线程DSM系统的基本框架,提出了一种对线程进行动态迁移的方法。并且在一个基于Windows操作系统工作站机群的Smonn系统中成功实现,表明了该方法的有效性。 展开更多

关键词 分布式共享存储系统 多线程 线程迁移

下载PDF 职称材料

PC机群上共享存储与消息传递的比较 被引量：8

14

作者 章隆兵 吴少刚 +1 位作者 蔡飞 胡伟武 《软件学报》 EI CSCD 北大核心 2004年第6期842-849,共8页

共享存储和消息传递是目前两种主流的并行编程模型.一般认为,消息传递的可编程性不及共享存储友好.OpenMP是目前共享存储编程的实际工业标准.机群OpenMP系统在机群上提供了OpenMP编程环境,具有易编程和可扩展的特点,但是其性能如何一直... 共享存储和消息传递是目前两种主流的并行编程模型.一般认为,消息传递的可编程性不及共享存储友好.OpenMP是目前共享存储编程的实际工业标准.机群OpenMP系统在机群上提供了OpenMP编程环境,具有易编程和可扩展的特点,但是其性能如何一直是关注的热点.以机群OpenMP系统OpenMP/JIAJIA和典型的消息传递系统MPI(message passing interface)为例,在分析两种并行编程环境各自特点的基础上,在PC机群上采用7个应用比较了二者的性能.实验结果表明,对于所测试的7个应用而言,OpenMP版本在8个处理机运行时的平均性能为MPI版本的81%,但是采用OpenMP编程却比MPI简单很多. 展开更多

关键词 OPENMP 消息传递 PC机群 并行编程模型 共享存储 软件分布式共享存储系统

下载PDF 职称材料

基于锁集合的动态数据竞争检测方法 被引量：12

15

作者 章隆兵 张福新 +1 位作者 吴少刚 陈意云 《计算机学报》 EI CSCD 北大核心 2003年第10期1217-1223,共7页

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

关键词 编程技巧 动态数据竞争检测方法 锁集合 软件分布式共享存储系统 域一致性模型 程序并行性

下载PDF 职称材料

一种适用于机群OpenMP系统的有效调度算法 被引量：1

16

作者 吴少刚 章隆兵 +1 位作者 蔡飞 胡伟武 《计算机研究与发展》 EI CSCD 北大核心 2004年第7期1298-1305,共8页

OpenMP作为共享存储并行编程标准 ,以其良好的易用性、支持增量并行等特点成为并行程序设计的主流模型之一 OpenMP标准是针对UMA共享存储结构制定的 ,其循环调度机制只考虑了负载平衡而无须考虑数据分布 然而在机群OpenMP系统中 ,数据... OpenMP作为共享存储并行编程标准 ,以其良好的易用性、支持增量并行等特点成为并行程序设计的主流模型之一 OpenMP标准是针对UMA共享存储结构制定的 ,其循环调度机制只考虑了负载平衡而无须考虑数据分布 然而在机群OpenMP系统中 ,数据局部性是影响性能的关键因素 针对OpenMP标准中静态调度策略不适合机群计算的缺点 ,提出了一个充分体现拥有者计算原则的LBS调度算法 ,并通过扩展制导的方式在机群OpenMP系统 (OpenMP/JIA JIA)上加以实现 测试结果表明 。 展开更多

关键词 OPENMP 机群计算 循环调度算法 软件分布式共享存储系统 JIAJIA

下载PDF 职称材料

适合机群OpenMP系统的制导扩展 被引量：2

17

作者 章隆兵 吴少刚 +1 位作者 蔡飞 胡伟武 《计算机学报》 EI CSCD 北大核心 2004年第8期1129-1136,共8页

OpenMP以其易用性和支持增量并行的特点成为共享存储体系结构的编程标准 .机群OpenMP系统在机群上实现了OpenMP计算环境 ,它将OpenMP的易编程性和机群的可扩展性结合起来 ,是很有意义的 .OpenMP的编程方式主要有循环级和SPMD两种 ,其中... OpenMP以其易用性和支持增量并行的特点成为共享存储体系结构的编程标准 .机群OpenMP系统在机群上实现了OpenMP计算环境 ,它将OpenMP的易编程性和机群的可扩展性结合起来 ,是很有意义的 .OpenMP的编程方式主要有循环级和SPMD两种 ,其中循环级方式易于编程而SPMD方式难于编程 .然而在机群OpenMP系统中获得高性能OpenMP程序 ,必需采用SPMD方式 .该文描述了适合机群OpenMP系统的一个简单的OpenMP制导扩展子集 (包括数据分布制导、循环调度模式 ) ,并在机群OpenMP系统OpenMP/JIAJIA上进行了实现 .应用测试表明 ,利用这些制导扩展进行编程 ,既保持循环级方式的易编程性又获得与SPMD方式相当的性能 ,是有效的编程方式 . 展开更多

关键词 OPENMP 制导扩展 数据分布 软件分布式共享存储系统 JIAJIA

下载PDF 职称材料

软件DSM系统中的动态数据竞争检测 被引量：1

18

作者 章隆兵 吴少刚 张福新 《小型微型计算机系统》 CSCD 北大核心 2004年第12期2070-2074,共5页

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

关键词 软件分布式共享存储系统 数据竞争 代码装配

下载PDF 职称材料

线程一致性模型及其实现

19

作者 周伟波 戴华东 杨学军 《计算机工程与科学》 CSCD 2003年第1期71-75,共5页

在虚拟分布式共享存储系统(SVM)中,为了保证程序在分布式环境下正确运行,维护存储一致性是关键问题之一。本文提出了一种全新的一致性模型——线程一致性模型(TC),并阐述了基于TC模型的虚拟分布式共享存储系统MTK的实现。线程一致性模... 在虚拟分布式共享存储系统(SVM)中,为了保证程序在分布式环境下正确运行,维护存储一致性是关键问题之一。本文提出了一种全新的一致性模型——线程一致性模型(TC),并阐述了基于TC模型的虚拟分布式共享存储系统MTK的实现。线程一致性模型从操作系统内核的角度出发,把程序执行过程中的同步点与线程状态结合起来考虑存储一致性问题,有利于数据局部性的开发。另外,多线程体系结构的一个显著优势就是能把计算和通信重叠起来,从而有效地隐藏通信延迟。在内核级实现线程一致性模型时,线程及同步原语(锁、栅栏)都维护一个写记录,同时定义了同构唤醒线程簇。 展开更多

关键词 线程一致性模型 操作系统 内核 计算机 虚拟分布式共享存储系统

下载PDF 职称材料

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

20

作者 章隆兵 章晓良 《计算机工程与应用》 CSCD 北大核心 2002年第7期115-118,共4页

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

关键词 软件分布式共享存储系统 重放方法 向量时间戳 因果分布式断点 全局断点技术

下载PDF 职称材料