进程和消息
单个进程或线程(以下统称进程),是顺序执行单元。进程之间的通信方式有资源共享和消息传递。
资源共享方式(memory, file etc)需要同步机制(lock模型)来实现对资源的并发访问。
同步和异步
同步和异步的不同,关键在于对时间和并发的理解。异步意味着并发,任务完成时的通知机制。
对每个任务(task or job), 其各自的生命周期,即状态变迁,也可以理解为不同的阶段(pipeline方式)。
并发和分布
从进程及进程间关系的角度来理解,并行和分布具有统一性。并行(parallel)主要是指节点内的并发(concurrency),分布(distributed)则指跨越节点边界的并发。
Replication
共享资源需要冗余,来保障安全和提高效率。如果说自己与自己不需要考虑一致性的话,replication却是自己和自己的一致性1*N。世上没有完全相同的两片树叶。需要不同的一致性模型,来实现replication的俗世价值。
形式化模型技术
图论
Petri Net
自动机
引用
The high-performance computation based on parallel computing has been the third underpinning of the human being"s scientific study. High performance is the first reason to use parallel programs, and correctness is the chiefly condition to use it. However, the tools which were used to aid parallel programs design and analysis pay attentions only to one of the two aspects--high-performance or correctness.The author presents a prototype of a tool that provides both performance analysis and verification of the parallel programs from design running to analysis of results. Also, this thesis presents the principles and methods to design CAPSE tools founded on the traits of previous tools. We think the Petri net is superior over other models to model the MPI parallel programs by comparison.The parallel program based on message passing is the most popular paradigm now, and MPI has become the most popularly accepted standard of this pattern. This thesis studies the features of the MPI functions, and gives the Petri net models of them and C language in which they are nested, and presents the preliminary steps and method to model an MPI program. We present the concepts of statically executable and concurrently correct parallel program, and study the safeness strongly connectedness reachability reversibility and liveness of MPI parallel program"s model MPInet, and present some possible reasons to disobey these properties, for instance, lack-of-sending message orphan message non-match message deadlock (including inconsistency deadlock and circular deadlock) livelock and so on. At the same time, we present algorithms using the graph traversal and reachability graph/tree T-invariants to verify these properties and reasons.
分享到:
相关推荐
a于状态空间平均法的BOOST变换器仿真分析 论文 Matlab仿真
。。。
。。。
分析了铁路信号计算机联锁系统中流通的信息, 将其分为涉安信息与非涉安信息两大类, 并进一步提出当使用逻辑 变量来表达涉安信息时的“安全侧逻辑状态...最后介绍了在研究实践中总结出的安全逻辑变量变换方法及其实效。
考虑到设备运行过程中各参数的影响,研究了设备状态及其评价层次模型,采用健康值来综合测度设备运行状态;运用层次分析法结合专家经验,研究了评价层级结构权重;采用模糊综合评价理论研究了正负指标的隶属函数构建方法,...
针对功率变换器故障导致的故障相绕组不能正常励磁或续流的问题,以12/8极开关磁阻电机驱动系统三相不对称半桥型功率变换器为研究对象,分析其故障类型,推导出正常状态和故障状态下相绕组电流的解析解。讨论了不同工况...
这里分析了接收解决方案的所有细节及其极化变换。 该结果尤其可以应用于量子计算和量子密码学的问题。 建议的形式主义通过复矢量的几何可行框架代替了在复杂矢量希尔伯特空间框架中构造的对象的常规量子力学状态。
该方法将特征变换当成高维信号的稀疏逼近问题,采用状态绑定的方法训练得到基于域划分的线性变换矩阵( Region Dependent Linear Transform,RDLT) 和基于最小音素错误准则均值补偿的特征( mean-offset feature ...
针对机电设备的状态监测和故障诊断,阐述了一种离线设计预测算子和提升算子的方法,通过求解线性方程组确定预测系数和提升系数,并在此基础上构造基于插值细分方法的第2代小波变换算法。在某炼油厂机组的状态监测和...
为了解决多状态退化系统问题,利用马尔可夫过程理论及补充变量法建立了微分方程组,并采用Laplace变换法及其反演方法,研究了带有小修和一般型更换维修策略的模型。假定系统连续退化成许多离散状态,在系统退化到失效...
依据UPS系统的电压补偿工作原理和功率因数校正工作原理,详细分析了串联Delta变换器和并联主变换器的工作状态及其在UPS系统中的重要作用。基于同步旋转坐标系下的d-q变换法,对电流增量和不对称有畸变的市电电压进行...
2.4 状态寄存器ST0T 和ST1 2.5 存储器与I/O空间 2.5.1 与外部存储器和I/O空间接口的信号 2.5.2 程序储存器 2.5.3 局部数据存储器 2.5.4 全局数据存储器 2.5.5 I/O空间 2.6 程序控制 2.7 时钟源模块 2.8 系统复位 第3...
对其非线性特征进行对比分析,发现双级矩阵变换器的非线性有其明显的独特性,如窄脉冲、器件电压降、滤波电容电压纹波等,这些问题与调制策略、工作机理、拓扑结构和运行状态等有关。为保证系统可靠运行,补偿非线性所...
首先, 利用Haar 小波变换建立目标状态及其观测在不同粗尺度下的系统模型; 然后, 基于该模型, 在不同粗尺度上分别进行分布式信息一致滤波估计; 最后, 针对不同粗尺度估计, 通过Haar 小波逆变换重构最细尺度(初始尺度...
里面包含了一个使用C++BUILDER编写的九宫格游戏,以及使用VC2008编写的解决自动还原九宫格游戏的程序代码,及其应用程序。 应用程序的使用方法为: 输入 1 2 3 4 5 6 7 8 9 表示一个三行三列的矩阵,而9表示那个空格...
1无制动状态的不可逆PWM系统 1.1电流连续时PWM系统控制特性 分析 1.2电流断续时PWM系统控制特性 分析 2带制动回路的不可逆PWM 系统 第3章 可逆直流PWM系统 1双极模式可逆PWM系统 1.1T型双极模式PWM控制 ...
通过对时间序列的相空问的重构,用G-P算法、Wolf算法证明了混沌时间序列经过线性变换后其关联维数、Lyapunov指数以及Kolmogorov熵大小不变,从而得出了线性变换后混沌时间序列的混沌特性保持不变的结论.同时将这一...
摘要:详细分析了单相Boost型AC/AC交流变换器的工作原理及其控制策略。通过对输入电压的极性判断,并结合输出电压误差放大信号与三角载波的比较结果,可确定各开关管的工作状态。对单相Boost型AC/AC交流变换器进行了...
上,研究用于机械信号特征提取的信息嫡方法,分析不同的信号变换空间 中信息嫡的构造方法,提出多分辨率奇异谱嫡模型和算法,并对模型参数 进行优化。通过理论分析和仿真实验研究不同分析空间中信号信息嫡之间 联系...