期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
公平消息传递并行程序设计的Petri网方法 被引量:1
1
作者 崔焕庆 吴哲辉 方欢 《系统仿真学报》 CAS CSCD 北大核心 2009年第13期3933-3936,3940,共5页
公平性是并行程序正确的主要标准之一,但是并行程序执行的不确定性导致公平性验证较为困难。针对消息传递模式的并行程序,在建立相应Petri网模型的基础上,首先证明了并行程序的公平性与其Petri网模型的公平性之间的关系,然后提出了利用T... 公平性是并行程序正确的主要标准之一,但是并行程序执行的不确定性导致公平性验证较为困难。针对消息传递模式的并行程序,在建立相应Petri网模型的基础上,首先证明了并行程序的公平性与其Petri网模型的公平性之间的关系,然后提出了利用T-不变量判断并行程序公平性,以及通过添加控制库所实现并行程序公平的算法,最后指出了将改造后的模型转换为公平并行程序的方法,并用一个实例进行了验证。 展开更多
关键词 消息传递并行程序 公平性 PETRI网 T-不变量 控制库所
在线阅读 下载PDF
分布式并行计算环境:MPI 被引量:10
2
作者 王萃寒 赵晨 +1 位作者 许小刚 吴国新 《计算机科学》 CSCD 北大核心 2003年第1期25-26,共2页
Message passing Interface (MPI) is a kind of network distributed parallel computing environments whichhave been widely used on super parallel computers and networks. First,this paper describes the rssearch backgrounda... Message passing Interface (MPI) is a kind of network distributed parallel computing environments whichhave been widely used on super parallel computers and networks. First,this paper describes the rssearch backgroundand developing status of MPI. Then on this basis it will study and analyze the functions and features of MPI ,summa-rize its insufficiencies and gives some suggestions for modification. 展开更多
关键词 分布式并行计算环境 MPI 消息传递 消息传递程序 计算机通信
在线阅读 下载PDF
大规模并行计算机系统并行性能模拟技术研究 被引量:2
3
作者 徐传福 车永刚 王正华 《计算机科学》 CSCD 北大核心 2009年第9期7-10,35,共5页
性能模拟技术是计算机系统性能评价的重要手段。介绍了面向大规模并行计算机系统以及消息传递应用程序的并行性能模拟技术,总结了相关的关键技术和国内外研究现状。对几个代表性的并行模拟器系统进行了详细介绍。结合并行计算机系统和... 性能模拟技术是计算机系统性能评价的重要手段。介绍了面向大规模并行计算机系统以及消息传递应用程序的并行性能模拟技术,总结了相关的关键技术和国内外研究现状。对几个代表性的并行模拟器系统进行了详细介绍。结合并行计算机系统和应用的发展趋势,讨论了未来并行模拟器设计、实现面临的问题和可能的解决方案。 展开更多
关键词 并行模拟 并行计算机 消息传递应用程序
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部