进程间的通信协议

分布式应用程序需要一个定义两个并发进程间通信机制的协议。存在两种建立这种应用程序的通信协议模型:消息传递/排队以及请求/响应。消息传递和请求/响应模型各有所长,可以相互代替执行。例如,能用较低级别的请求/响应协议来建立消息传递系统。Microsoft分布式计算环境(DCE)就是这样的。对于远程过程调用(RPC)应用程序来说,同步请求/响应的设计风格通常是自然契合的。     

基于CORBA环境的分布对象中间件异步轮询模型及算法研究

针对基于CORBA环境的分布对象中间件异步消息传递机制中的时间解耦问题进行研究.在分析了现有的CORBA中间件消息传递模型异步机制的基础上,提出了一种基于时间解耦的异步轮询模型,详细设计了该模型消息传递机制中的核心算法,并就算法的正确性进行分析与验证.     

Windows系统环境下的消息传递机制分析

在Windows系统中进行的程序编写是事件驱动,通过消息进行传递。因此,只有深入了解消息传递机制才能够完成Windows系统中程序编写,笔者根据自己对消息传递以及相关资料来分析消息传递机制。让大家大致知道消息的传递方向,再解释消息传递机制。消息传递机制主要包括的内容是消息的定义、消息的发送、消息和接收、消息的处理以及消息的处理中与之相关的窗口函数。     

基于对象的并发模型

为了研究和发展分布式人工智能,探讨一种新的计算模型,利用面向对象技术提出了一个基于对象的并发模型(OBCM).讨论了它的两种通讯机制,即同步和异步通讯方式,异步通讯方式又分为过去型消息传递和将来型消息传递,而同步通讯方式则包括现在型消息传递和等待方式.证明了它们可归约为过去型消息传递和等待状态.另外,OBCM为了增强其表达能力,提供了响应目的地机制.在OBCM中,对象的独立自治特点对模拟分布式问题求解尤为适用.最后以一个分布式问题求解的具体实例说明了OBCM的思想.     

基于消息中间件的网络报税系统的设计与实现

对于网络报税系统提出了一种基于消息中间件技术的数据传输框架模型 ,申报数据以 XML形式存储 ,消息传输提供同步和异步两种消息传递机制 ,数据交换中心内、外网采用基于私有协议消息传递设计方法。模型具有很高的安全性和可靠性、良好的复用性与扩展性 ,并能很好解决跨平台的问题     

基于对象的并发模型

为了研究和发展分布式人工智能,探讨一种新的计算模型,利用面向对象技术提出了一个基于对象的并发模型（OBCM）。讨论了它的两种通讯机制,即同步和异步通讯方式,异步通讯方式又分为过去型消息传递和将来型消息传递,而同步通讯方式则包括现在型消息传递和等待方式。证明了它们可归约为过去型消息传递和等待状态。另外,OBCM为了增强其表达能力,提供了响应目的地机制。在OBCM中,对象的独立自治特点对模拟分布式问题求解尤为适用。最后以一个分布式问题求解的具体实例说明了OBCM的思想。     

基于SMP集群的混合并行编程模型研究

提出一种适用于SMP集群的混合MPI＋OpenMP并行编程模型。该模型贴近于SMP集群的体系结构且综合了消息传递和共享内存2种编程模型的优势,能获得较好的性能。讨论该混合模型的实现机制以及MPI消息传递模型的特点。实验结果表明,在一定条件下,该混合并行编程模型是SMP集群的最优选择。     

消息传递机制的比较及其最新发展

消息传递机制在分布式计算中发挥着很重要的作用.随着人们对高性能计算需求的不断扩大和各种新技术的出现,消息传递机制也处于不断的发展和完善之中.首先对两种主要的消息传递系统PvM和MPI进行了详尽的比较,比如背景、目标、移植性、通信等;然后针对它们的现状列举了最新发展情况;最后归纳了消息传递机制的发展趋势.     

面向商品电子交易的一种层次结构通信中间件系统

针对大规模商品电子交易中交易引擎集中式竞价交易的应用要求，结合基于消息传递机制通信中间件的工作特点，提出了面向交易通信中间件系统的一种树状层次结构模型。分析并讨论了基于该模型的通信中间件系统的通信机制和工作特点。     

基于内容的网络集群负载平衡算法模型

在论述网络集群负载平衡算法的基础上,基于内容分类的方法,给出基于内容的网络集群负载平衡算法三元组模型。请求分类有利于提高缓存命中率,调度机制说明如何适当地转发请求,动态反馈避免将请求分配到重载的服务器,进而分析了调度机制的八种调度策略和六种基于内容的调度转发技术。该模型利用缓存内容来提高集群的吞吐量和响应时间,可部署多种服务类型。     

过程TPN模拟方法用于两种现场总线网络的性能比较研究

以具有过程说明的TPN为工具,对两种不同类型的Fieldbus网络性能进行了研究、分析和比较.在轮询协议中,采用了P/C通信模型,由主节点管理轮询队列;在令牌协议中,分别采用循环令牌和授权令牌来满足周期性和突发性通信需要,其中对网络响应时间、吞吐量和振颤等性能进行了重点讨论,给出了它们的性能差异和响应界限.     

Managing the optical networking solution: is increased bandwidth enough to reduce delays?

Many corporate network managers and service providers believe that more capacity can address bandwidth demands as well as delays in message transfer. As the sidebar "Optical Technology and Wavelength-Division Multiplexing" briefly describes, the solution of choice is optical technology that uses wavelength-division multiplexing (WDM). The implication of WDM is that network managers can improve their Internet application and network response time by leasing more capacity from service providers - response time being the sum of message (request and response) and application-processing delays. But although WDM transmission is promising, it presents a trade-off between bandwidth and message-transfer latency - a trade-off that is particularly significant for long-haul networks where latency begins to dominate and offset any additional bandwidth advantage for single-message transfers. To help IT network managers get the most from WDM-based technology, the authors have derived a model that establishes a boundary bandwidth for single message transfers. The boundary represents the point at which latency begins to offset any advantage from additional bandwidth. The model clearly shows that bandwidth management is as critical to the success of this technology as having access to a large supply of raw bandwidth.     

基于消息分类的复合模式消息中间件研究

总结消息传递模式和消息队列模式的优缺点，提出一种基于消息分类的复合模式消息中间件设计方案，通过使用最佳的传递模式传递不同需求的消息，提高消息中间件的适用性、灵活性，可以同时满足高速、大数据量数据的传输和可靠持久消息的传输，适用于多种应用领域。     

消息传递的MSVL通信机制及其实现

建模,仿真和验证语言（MSVL）是一种时序逻辑编程语言,它是投影时序逻辑（PTL）的可执行子集.MSVL和PTL可用于并发系统的建模和性质验证.然而,MSVL缺少一种消息传递的通信机制,这种机制对于并发分布式系统的建模和验证至关重要.本文说明了如何在MSVL中开发和实现合适的机制来对分布式系统进行建模和验证.该机制首先定义了通道结构,对通信语句和进程结构进行形式化描述,接着介绍了这些通信语句的实现机制.最后,提供了一个关于电子合同签名协议的建模和验证实例,说明消息传递在MSVL中的工作原理.     

COUPL+:并行PDE求解函数库

COUPL＋是一种基于消息传递模型的并行库,它将并行程序巾需要处理的数据划分、消息传递函数的调用等都封装在其函数中。COUPL＋可以简化在分布式存储结构并行机上编写基于网格的应用程序的任务。该文简要介绍了COUPL＋的基本原理,以及它与MPI、OpenMP和HPF的特性对比;并且使用COUPL＋实现了共轭梯度法和结构化网格计算两种并行计算中常用的任务,也对比了使用MPI和HPF的性能差异。     

一种进程间异步通信模型的研究

该文给出了在分布式系统下一种基于消息传递与排队技术的进程间异步通信模型,并给出了消息队列的管理方法和消息传递模式,最后提出了用局部按名手址方式来解决进程寻址问题。     

Comparing shared and distributed memory computers

There are two distinct types of MIMD (Multiple Instruction, Multiple Data) computers: the shared memory machine, e.g. Butterfly, and the distributed memory machine, e.g. Hypercubes, Transputer arrays. Typically these utilize different programming models: the shared memory machine has monitors, semaphores and fetch-and-add; whereas the distributed memory machine uses message passing. Moreover there are two popular types of operating systems: a multi-tasking, asynchronous operating system and a crystalline, loosely synchronous operating system.

In this paper I firstly describe the Butterfly, Hypercube and Transputer array MIMD computers, and review monitors, semaphores, fetch-and-add and message passing; then I explain the two types of operating systems and give examples of how they are implemented on these MIMD computers. Next I discuss the advantages and disadvantages of shared memory machines with monitors, semaphores and fetch-and-add, compared to distributed memory machines using message passing, answering questions such as “is one model ‘easier’ to program than the other?” and “which is ‘more efficient‘?”. One may think that a shared memory machine with monitors, semaphores and fetch-and-add is simpler to program and runs faster than a distributed memory machine using message passing but we shall see that this is not necessarily the case. Finally I briefly discuss which type of operating system to use and on which type of computer. This of course depends on the algorithm one wishes to compute.     

Structural testing criteria for message‐passing parallel programs

Parallel programs present some features such as concurrency, communication and synchronization that make the test a challenging activity. Because of these characteristics, the direct application of traditional testing is not always possible and adequate testing criteria and tools are necessary. In this paper we investigate the challenges of validating message‐passing parallel programs and present a set of specific testing criteria. We introduce a family of structural testing criteria based on a test model. The model captures control and data flow of the message‐passing programs, by considering their sequential and parallel aspects. The criteria provide a coverage measure that can be used for evaluating the progress of the testing activity and also provide guidelines for the generation of test data. We also describe a tool, called ValiPar, which supports the application of the proposed testing criteria. Currently, ValiPar is configured for parallel virtual machine (PVM) and message‐passing interface (MPI). Results of the application of the proposed criteria to MPI programs are also presented and analyzed. Copyright © 2008 John Wiley & Sons, Ltd.     

分布式实时操作系统消息机制的设计与实现

随着数字信号处理技术的迅猛发展,针对并行数字信号处理(DSP)应用自主开发了一个满足用户需要的高性能分布式实时操作系统--腾飞分布式实时操作系统(TF-RTOS).消息机制用于线程间的通信,是操作系统中的重要部分.在开发TF-RTOS过程中,从消息命令包、消息队列、消息传递过程和消息原语这4个方面设计并实现了一种直接消息传递的消息机制,该消息机制具有简化线程间通信、增强系统功能、提高系统性能的特点.     

MPI的多维数组传递协议

本文首先简要介绍了基于多机系统的半长处理平台所采用的消息传递机制，针对其在传递多维数组时存在的不足，提出了多维数组传递协议，并将其在ＭＰＩ并行虚拟处理平台上实现。