OCCAM并发程序设计语言及其通信机制

OCCAM是基于C·A·R HOARE提出的CSP(Communicating SequentialProcess)语言模型而设计的一种小巧的并发程序设计语言。它的特点是语言简洁、程序结构化及并发描述能力强等。OCCAM允许用户定义成组的多个并发进程以及它们之间的同步通信通道(Channel),适用于对高度并发系统的模拟仿真以及各种实时系统的控制。也适于用作高级并发语言的教材。本文扼要地说明OCCAM的语法及相应语义,并用实例分析其通信机制。OCCAM语言在国际上已受到日益广泛的注意和称赞,在分布式系统的模拟上,OCCAM也是很有价值的。