MPI同步通信顺序模型死锁静态检测算法
文献类型：期刊论文
| 作者 | 廖名学 ; 何晓新 ; 范植华 |
| 刊名 | 计算机工程
 |
| 出版日期 | 2008 |
| 卷号 | 34期号:17页码:274-275, 278 |
| 关键词 | MPI程序 |
| 其他题名 | Static Detection Algorithm of Deadlock in MPI Synchronization Communication Sequential Model |
| 中文摘要 | 静态检测MPI程序同步通信死锁比较困难,通常需要建立程序模型.顺序模型是其他所有复杂模型的基础.通过一种映射方法将顺序模型转化为字符串集合,将死锁检测问题转化为等价的多队列字符申匹配问题,从而设计并实现了一种MPI同步通信顺序模型的静态死锁检测算法.该算法的性能优于通常的环检测方法,并能适应动态消息流. |
| 收录类别 | 其他 |
| 语种 | 中文 |
| 公开日期 | 2009-12-29 |
| 源URL | [http://124.16.136.157/handle/311060/616]  |
| 专题 | 软件研究所_基础软件国家工程研究中心_期刊论文 |
| 推荐引用方式 GB/T 7714 | 廖名学,何晓新,范植华. MPI同步通信顺序模型死锁静态检测算法[J]. 计算机工程,2008,34(17):274-275, 278. |
| APA | 廖名学,何晓新,&范植华.(2008).MPI同步通信顺序模型死锁静态检测算法.计算机工程,34(17),274-275, 278. |
| MLA | 廖名学,et al."MPI同步通信顺序模型死锁静态检测算法".计算机工程 34.17(2008):274-275, 278. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。