用Transputer网络实现进程并发计算模型  

作　　者：刘恩林 司光亚 

出　　处：《计算机工程与科学》1989年第1期89-96,共8页Computer Engineering & Science

摘　　要：一、引言一般地,对新的计算机系统结构的研究都以一定的计算模型为基础。如以一阶谓词演算为计算模型的并行逻辑结构,基于作用型计算模型的归约结构,基于状态转换的数据流结构等等。进程并发计算模型是对传统的冯·诺依曼计算模型的改进,以便充分实现并行性的开发。英国INMOS公司及其牛津大学的合作者们以进程并发模型为基础,不但设计出能对该模型进行逻辑描述的新的程序设计语言occam,而且设计并生产了能高效执行occam代码的Transputer处理机芯片。

关 键 词：计算模型 TRANSPUTER 高效执行 计算机系统结构 状态转换 一阶谓词演算 诺依曼 并行性 LINKS 归约 

分 类 号：TP3[自动化与计算机技术—计算机科学与技术]