MPI同步通信顺序模型死锁静态检测算法


Autoria(s): 廖名学; 何晓新; 范植华
Data(s)

2008

Resumo

静态检测MPI程序同步通信死锁比较困难,通常需要建立程序模型.顺序模型是其他所有复杂模型的基础.通过一种映射方法将顺序模型转化为字符串集合,将死锁检测问题转化为等价的多队列字符申匹配问题,从而设计并实现了一种MPI同步通信顺序模型的静态死锁检测算法.该算法的性能优于通常的环检测方法,并能适应动态消息流.

Identificador

http://ir.iscas.ac.cn/handle/311060/616

http://www.irgrid.ac.cn/handle/1471x/67479

Idioma(s)

中文

Fonte

廖名学,何晓新,范植华.MPI同步通信顺序模型死锁静态检测算法.计算机工程,2008,34(17):274-275, 278

Palavras-Chave #MPI程序
Tipo

期刊论文