【发布】基于Java的MPI同步通信死锁检测工具

有几个网友看了我的期刊论文之后，要求公开此工具的源码，当前你可以到：
http://liaomingxue.googlepages.com/index.htm下载试用
当然，这个工具还需要大力改进。若有什么建议，请不吝指教。这个东西的用途说明如下：
这个工具所能解决的问题叫做"多字符串队列匹配". 下面是一个多字符串队列(queue 1): (1) a2b(2) caa
(3) cb
该队列有三个字符串. 匹配过程遵循下面4条规则: 1若所有字符串为空，那么匹配成功. 
2如果两个字符串的第一个字母相同，那么从这两个字符串删除该字母. 
3如果某个字母不是在两个字符串中，那么队列非法，匹配失败. 
4如果队列不能应用上述规则，那么匹配失败. 根据上面的规则，queue 1 的匹配是成功的。问题是是否有一个高效算法能判断一个队列是否成功匹配. 我认为 最高效算法的时间复杂度与队列总长度成线性比例关系. queque (1)'的总长度是7. a∞的长度是1. MSQM可以扩展到MPI同步通信死锁检测.一个典型的MPI同步通信程序如下：  if(rank==0) MPI_Send a to 1
if(rank==1) MPI_Recv a from 0
所谓的rank是机群中一个计算机的唯一性标识. 问题是消息a能不能从0号计算机发送到1号. 换句话说, 消息传递过程中是否会发生死锁? 目前为止，我的程序不能回答一般的MPI程序中的类似问题. 我将能处理的MPI程序限制到一种相对简单的形式，该形式由 MPI model syntax definition定义. 当然，将来可以扩充这种定义.