数值计算与计算机应用
數值計算與計算機應用
수치계산여계산궤응용
JOURNAL ON NUMERICAL METHODS AND COMPUTER APPLICATIONS
2008年
2期
153-160
,共8页
MPI%比例方程组%算法%死锁
MPI%比例方程組%算法%死鎖
MPI%비례방정조%산법%사쇄
介绍了一种MPI程序死锁检测的静态方法以及该方法所处理的程序模型.为实现该方法,提出了比例方程组(一种特殊线性方程组)的概念并设计了求解方程组最简解的线性时空复杂度的高效算法.算法由一个四遍扫描过程与一个主控程序构成.主控程序用来处理并行计算节点计算机构成的划分.四遍扫描过程采用深度优先搜索方法确定方程组中各变元之间的比例关系.通过该算法所获得的最简解,任意多个变元之间的比例关系能在常数时间内获得.证明了该算法的正确性,并采用Java语言实现了该算法的标准程序库.该程序库目前已运行于MPI同步通信静态死锁检测的软件框架中.
介紹瞭一種MPI程序死鎖檢測的靜態方法以及該方法所處理的程序模型.為實現該方法,提齣瞭比例方程組(一種特殊線性方程組)的概唸併設計瞭求解方程組最簡解的線性時空複雜度的高效算法.算法由一箇四遍掃描過程與一箇主控程序構成.主控程序用來處理併行計算節點計算機構成的劃分.四遍掃描過程採用深度優先搜索方法確定方程組中各變元之間的比例關繫.通過該算法所穫得的最簡解,任意多箇變元之間的比例關繫能在常數時間內穫得.證明瞭該算法的正確性,併採用Java語言實現瞭該算法的標準程序庫.該程序庫目前已運行于MPI同步通信靜態死鎖檢測的軟件框架中.
개소료일충MPI정서사쇄검측적정태방법이급해방법소처리적정서모형.위실현해방법,제출료비례방정조(일충특수선성방정조)적개념병설계료구해방정조최간해적선성시공복잡도적고효산법.산법유일개사편소묘과정여일개주공정서구성.주공정서용래처리병행계산절점계산궤구성적화분.사편소묘과정채용심도우선수색방법학정방정조중각변원지간적비례관계.통과해산법소획득적최간해,임의다개변원지간적비례관계능재상수시간내획득.증명료해산법적정학성,병채용Java어언실현료해산법적표준정서고.해정서고목전이운행우MPI동보통신정태사쇄검측적연건광가중.