-
题名全节点空间MPI同步通信死锁检测
- 1
-
-
作者
廖名学
何晓新
范植华
-
机构
中国科学院软件研究所综合信息系统技术国家级重点实验室
中国科学院研究生院
-
出处
《系统仿真学报》
CAS
CSCD
北大核心
2009年第8期2263-2266,2298,共5页
-
文摘
针对全节点空间上MPI同步通信程序死锁检测的现有穷举方法的弱点,提出了该场景中MPI程序的两种参数化模型:一次参数化模型和二次参数化模型。通过分析一次参数化模型的一类不变式的性质,给出了该模型的死锁检测算法。提出了同构节点空间的一系列概念和性质并由此设计出该算法的几种优化方法,以加快某些特定程序模型死锁检测的过程。仿真实验表明该算法及其优化方法比现有方法的性能提高若干数量级。
-
关键词
消息传递接口
死锁
参数化模型
全节点空间
同构节点空间
-
Keywords
message-passing interface
deadlock
parameterized model
whole node space
isomorphic node space
-
分类号
TP311.1
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于同构节点的动态故障树分析方法
被引量：7
- 2
-
-
作者
张红林
付剑
张春元
王英鸿
-
机构
国防科学技术大学计算机学院
[
-
出处
《计算机工程与设计》
CSCD
北大核心
2011年第1期1-4,共4页
-
基金
国家自然科学基金项目(60904082)
国防预研基金项目(51320010201)
-
文摘
为了解决动态故障树研究领域的马尔可夫链状态空间爆炸问题,给出了一个基于同构节点的动态故障树分析方法。为每个节点建立一个对象,识别同构节点,求解时对于同构节点仅计算一次,从而减少状态空间中的状态数目、缩短计算时间。运用该方法对空间信息处理平台进行可靠性分析,并与其他方法进行对比,结果表明,如果系统结构具有较强的冗余特征,该方法在求解效率上具有比较明显的优势。
-
关键词
动态故障树
同构节点
空间信息处理平台
故障树分析
可靠性分析
状态空间爆炸
-
Keywords
dynamic fault tree
isomorphic node
platformof space information system
fault tree analysis
reliability analysis
state space explosion
-
分类号
TP302.8
[自动化与计算机技术—计算机系统结构]
-
