一种多机系统的并行程序设计语言——OCCAM2程序设计特点

程序设计语言OCCAM可用来设计和实现处理并行进程和进行通道通讯的多机系统。INMOS公司的transputer提供了实现这种系统的硬件支持,而OCCAM正是为(transputer)而设计的。本文介绍了(transputeer)和OCCAM程序设计的基本概念,然后从软件工程角度讨论了OCCAM程序开发的几个方面,从而谈到了该语言不同于传统串行语言的一些特征。     

计算机体系结构的发展与分布式并行程序设计语音OCCAM

本文主要概述了计算机体系结构的发展趋势以及相应的程序设计语言必然向分布式并行语言方向发展。文章中归纳了分布式程序设计语言研制的两种途径,重点介绍了一种新型的分布式并行程序设计语言——OCCAM。OCCAM既是一种分布式多机并行系统设计的系统程序设计语言,又是一种面向应用和教学的并行程序设计语言。它适合于科学计算,数字处理,实时系统的程序设计。最后,文章给出了在IBM——PC机上,UCSD——P系统支持下的并行算法及其结构的OCCAM模拟程序。     

OCCAM并发进程通信在晶片机上的实现方式

本文从寄存器这一级剖析了OCCAM并发进程在晶片机(或多晶片机系统)中的通信方式,详细讨论了软通道和硬通道的实现机制,介绍了晶片机的通信协议,对深入了解晶片机的工作机制有所裨益。     

OCCAM并发进程通信在晶片机上的实现方式

本文从寄存器这一级剖析了OCCAM并发进程在晶片机(或多晶片机系统)中的通信方式,详细讨论了软通道和硬通道的实现机制,介绍了晶片机的通信协议,对深入了解晶片机的工作机制有所裨益。     

对称正定紧包装并行OCCAM算法模拟

首先引进Transputer系统及TDS_2环境支持下运行的OCCAM语言,并组成分布存储并行处理Transputer模拟系统。其次,介绍串行的OCCAM方法及其数值试验结果。最后,介绍并行OCCAM方法及模拟计算法的运行结果。     

MultiobjectC─一个面向对象的并发程序设计语言的设计

ＭｕｌｔｉｏｂｊｅｃｔＣ语言是我们设计的一个面向对象的并发程序设计语言，它以Ｃ语言为基语言，引入了类和对象等机制以及并发对象间的通信设施，支持面向对象的并发程序设计。本文讨论了我们在设计过程中的考虑，并与ＡＴ＆ＴＢｅｌｌ实验室的ＣｏｎｃｕｒｒｅｎｔＣ＋＋语言作了一些比较。     

Multiobject C—一个面向对象的并发程序设计语言的设计

Ｍｕｌｔｉｏｂｊｅｃｔ Ｃ语言是我们设计一个面向对象的并发程序设计语言，它以Ｃ语言为基语言，引入了类和对象等机制以及并发对象间的通信设施，支持面向对象的并发程序设计。本文讨论了我们在设计过程中的考虑，并与ＡＴ＆Ｔ Ｂｅｌｌ实验室的Ｃｏｎｃｕｒｒｅｎｔ Ｃ＾＋＋语言作了一些比较。     

Transputer板设计原理

前言 Transputer是英国INMOS公司于1985年推出的单片计算机,它采用了精简指令(RISC:REDUCED INSTRUCTION SET COMPUTER)技术,首次通过通信链(LINK)而非共享存储器(SHARED MEMORY)和公用总线(COMMON BUS)方式来高效地进行处理器之间互联,组成多机系统。在与Transputer推出的同时,INMOS公司还开发出了OCCAM语言用以支持用Transputer构成的并行多机系统,由于它为人们提供了     

并发过程及其软件的建模与模拟支持系统

模拟是对复杂系统进行分析研究和试验评估的一种重要手段和方法。本文针对具有并发实体或过程的实际系统和并发软件提出用实体—资源模型描述其主动和被动实体,用同步—通讯模型描述实体间的联系。并基于这种模型设计了一种以C~(++)为基础的面向问题的模拟语言。该语言以构件方式支持模拟程序的编制。对C~(++)语言扩充了描述并发成分的机构,并以此为基础设计了模拟的运行控制机构,用以支持进程方式的系统模拟。这种系统可用于对事件驱动型并发过程或并发软件进行分析设计和方案评估。用C语言编程时,允许直接利用模拟程序逐步求精,最终以实际程序取代,因此也可用作设计、开发并发软件的一种原型方法和工具。     

并发软件的图形化设计方法研究(二):并发设计语言CONDL的图形化表示

这项研究的目标是：为并发软件的设计提供一种图形化的方法和支撑工具,以便用图形表达并发软件的设计,并生成并发程序的框架(并发程序单元的划分和它们之间的通信)。这样做的好处在于提高软件的生产率,改善软件质量。在论文的这一部分,给出了并发设计语言OONDL的一种图形化表示,即泳道表示。     

局域网上分布式操作系统HZDOS

本文介绍了局域网上异种机分布式操作系统的系统结构及功能,着重讨论了该系统的设计方法及实现技术。其中包括:在实现多任务核心时,为保证及时响应和系统不可重入而采取的措施;分布式文件系统中,透明的文件存取和任务通信、并发控制、基于钥锁技术的存取控制方法、通信中的加密/解密技术的实现以及一个基于C的分布式程序设计语言的实现方法和异常处理机制。     

Apla语言中并发分布式机制的研究

从并发分布式程序设计的角度,对现有的并发分布式语言进行分析比较,选取Jayadev Misra教授近几年提出的全新结构化并发分布式语言Orc作为研究对象。通过深入分析Orc语言的基本原理和语言特征,提出了一个能够适合Apla抽象程序设计语言的并发分布式机制,设计了并发算子、并发语句、进程定义、进程通信和进程同步,并通过实例探讨了该设计方案的可行性和实用性,最后阐述了Apla语言中并发分布式机制具有通用性强、抽象层次高、简单易懂、便于并发分布式程序的开发等优点。     

IBM PC机OCCAM语言的开发应用

本文介绍武汉大学在IBM PC机上进行的OCCAM语言的开发应用工作情况。     

用于描述面向对象并发系统的实用图文法模型*

面向对象的并发系统与传统的并发系统(如用CSP或CCS所描述的系统)的不同之处在于其进程结构的动态性，系统中的进程以及进程之间的通信链路随着对象的变化而动态地建立或撤消．图文法模型比其他形式化工具更适合描述这种并发和动态的特性．这里我们介绍一个新的用于描述面向对象并发系统的图文法模型，在该模型中为系统的设计开发者提供了一个用来描述系统的静态和动态结构的语言工具——CSDL语言．在面向对象并发系统开发支持环境 的支持下，用CSDL语言描述的面向对象并发系统的结构可以转换成对系统运行期进程互联结构的控制机制，     

用于描述面向对象并发系统的实用图文法模型

面向对象的并发系统与传统的并发系统的不同之片在于其进程结构的动态性，系统中地进程以及进程之间的通信链路随着对象的变化而动态地建议或撤消。法模型比其他形式化化工具更适合描述这种并发和动态的特性。这里我们介绍一个新的用于描述向对象并发系统的图法模型，在该模型中为系统的设计开发提供了一个用来描述诉静态和动态结构的语言工具－ＣＤＳＬ语言。     

基于Socket技术的负荷分担通信系统仿真的设计

无线通信技术的快速发展可以说是一场新的革命。该文设计了一套考虑负荷分担的通信系统仿真,用来模拟无线通信时的负荷分担情况,该设计采用有三个节点的分配规则算法,进程间采用Socket通信及规定协议,通过Windows可执行文件来模拟进程,用C语言加以实现,并测试通信时运行良好。     

并行处理系统ECI—HPPS

ECI-HPPS是采用并行处理技术+RISC技术研制的一台微机多层次并行处理系统。整个系统分为三层:上层是根处理机,中间层是Cluster,底层是单元处理机。ECI-HPPS可运行在DOS和XENIX两种操作系统之下。它为用户提供的程序设计语言有串行语言:C、FORTRAN、PASCAL等;并行语言:C、FORTRAN、OCCAM等。ECI-HPPS在体系结构上采用积木式模块     

基于Socket技术的负荷分担通信系统仿真的设计

无线通信技术的快速发展可以说是一场新的革命。该文设计了一套考虑负荷分担的通信系统仿真,用来模拟无线通信时的负荷分担情况,该设计采用有三个节点的分配规则算法,进程间采用Socket通信及规定协议,通过Windows可执行文件来模拟进程,用C语言加以实现,并测试通信时运行良好。     

逻辑函数的if-then子句表示法

本文提出了逻辑函数的另一种表示方法,与传统的用布尔表达式中表示逻辑的方法不同,这里采用了if-then子句集的形式。本文还讨论了如何将一个布尔表达式转换成等价的if-then子句形式。逻辑函数的这种表示方法加快了逻辑模拟的速度,并且解决了采用诸如OCCAM等并发进程语言来进行逻辑模拟过程中的死锁问题。     

并发软件的图形化设计方法研究(一):并发设计语言CONDL的定义"

这项研究的目标是：为并发软件的设计提供一种图形化的方法和支撑工具，以便用图形表过并发软件的设计，并生成并发程序的框架（并发程序单元的划分和它们之间的通信），这样做的好处在于提高软件的生产率，改善软件质量，在论文的这一部分，给出了并发设计语言CONDL的定义。