文章介绍了MPI同步通信模型死锁检测理论和算法，该文已经被《HPCAsia2007》录用，等待发表中。为方便后续文章引用，利用此空间暂时开放该文章。文章正式发表后，将删除该资源。