电子学报
電子學報
전자학보
ACTA ELECTRONICA SINICA
2008年
2期
402-407
,共6页
MPI(Message Passing Interface)%死锁%同步通信
MPI(Message Passing Interface)%死鎖%同步通信
MPI(Message Passing Interface)%사쇄%동보통신
本文提出了MPI程序的同步通信模型及三个基本简化模型,给出了判定这些基本模型是否死锁的方法和定理并予以了严格证明.简化模型的死锁检测理论和方法是真实MPI程序死锁检测的必要基础.这些方法基于程序静态分析,必要时进行运行时检测,它们对两种简化模型可以在程序编译前确定是否死锁,对另外一种模型,在编译前可静态确定部分死锁,运行中可确定其他死锁.我们的理论可以证明MPI程序死锁检测主流算法的正确性,其方法可以减少它们对客户源代码或MPI profiling接口的修改量,从而大大降低死锁检测开销,并可在运行前判定死锁.
本文提齣瞭MPI程序的同步通信模型及三箇基本簡化模型,給齣瞭判定這些基本模型是否死鎖的方法和定理併予以瞭嚴格證明.簡化模型的死鎖檢測理論和方法是真實MPI程序死鎖檢測的必要基礎.這些方法基于程序靜態分析,必要時進行運行時檢測,它們對兩種簡化模型可以在程序編譯前確定是否死鎖,對另外一種模型,在編譯前可靜態確定部分死鎖,運行中可確定其他死鎖.我們的理論可以證明MPI程序死鎖檢測主流算法的正確性,其方法可以減少它們對客戶源代碼或MPI profiling接口的脩改量,從而大大降低死鎖檢測開銷,併可在運行前判定死鎖.
본문제출료MPI정서적동보통신모형급삼개기본간화모형,급출료판정저사기본모형시부사쇄적방법화정리병여이료엄격증명.간화모형적사쇄검측이론화방법시진실MPI정서사쇄검측적필요기출.저사방법기우정서정태분석,필요시진행운행시검측,타문대량충간화모형가이재정서편역전학정시부사쇄,대령외일충모형,재편역전가정태학정부분사쇄,운행중가학정기타사쇄.아문적이론가이증명MPI정서사쇄검측주류산법적정학성,기방법가이감소타문대객호원대마혹MPI profiling접구적수개량,종이대대강저사쇄검측개소,병가재운행전판정사쇄.
