• 1.摘要
  • 2.基本信息
  • 3.定义类型和范围
  • 4.进程
  • 5.同步和通道
  • 6.结构

奥卡姆语言

奥卡姆语言又称OCCAM语言,Occam语言是根据C.A.R.HOARE提出的CSP(Communi—cating Sequential Processes)语言模型而设计的一种并发程序设计语言,Occam语言是用十四世纪英国牛津哲学家William of Occam的名字命名的。William of Occam有这样一种哲学观点:任何问题,用最简单的方法能解决的途径是最好的途径。简明性是Occam语言的特点。

基本信息

  • 中文名

    奥卡姆语言

  • 外文名

    Occam语言

  • 时间

    十四世纪

  • 人物

    哲学家William of Occam

  • 系统

    计算机

  • 应用学科

    计算机原理

定义类型和范围

Occam同Pascal等其他高级语言一样,要求程序中用到的每一个项都要有一个类型和每一项类型在某进程使用它之前进行定义。Occam不允许程序员定义新的类型。

名字:Occam中名字的长度不限,但它必须以字母表中的字母开头。名字的其余部分可由字母、数字和字符构成。大小写在Occam中区分识别,所以fred和Fred是两个不同的名字。

数据类型:变量可有多种数据类型。下面是Occam中经常使用的数据类型:

INT——整型。

BYTE——0和255之间的整数,经常用以表示字符。

B00L——逻辑值TRUE或FALSE。

通道类型:通道的类型为“CHAN OF类型”。对通道传送的值,要对其数据类型和数据结构进行定义。目前,我们把通道看作只传送单数据类型的单个值,就像变量一样。

传送单个整型值的通道可定义为:

CHAN OF INT chan3:

其中INT定义通过通道chan3的数据类型。chan3的类型是:

CHAN OF INT。

字符和字符串:Occam没有任何CHAR或STRING类型来表达字母、字符或字词。Occam中字母、字符用BYTE类型的数来表达,字符串用BYTE类型的数组来表达。

布尔类型:通过测试比较运算符的运算,产生布尔值。

常量:给某常数定一个名字,可通过“VAL类型名字IS值”来定义。

作用域:在Occam中,变量、通道和其他命名项都是属于某个进程的,进程紧跟在对应的命名项的定义后面。

进程

一个进程可以认为是执行一段程序,它启动、执行一定的动作,然后中止或结束。

Occam语言有三个基本进程;