第三章分私布式程序设计语言.pptVIP

第三章 分布式程序设计语言 3.5 逻辑上共享地址空间的语言 并行逻辑语言 ： 并发PROLOG ： 并行性来自合取的各目标的AND并行计算和保护Horn子句的各保护的OR并行计算。 并发PROLOG中的并行进程使用共享逻辑变量通信。同步是基于在只读变量上暂停的办法。 并发PROLOG使用保护Horn子句处理非确定性。 第三章 分布式程序设计语言 3.5 逻辑上共享地址空间的语言 并行逻辑语言 ： PARLOG： AND/OR并行性由程序员控制。有两种不同的合取操作符：“.”并行计算各合取；“”串行计算各合取(自左至右)。 进程通过共享变量进行通信，而同步方法是在无界共享变量上挂起。PARLOG有个机构用来指定哪些进程可以为某变量产生赋值。如果输入自变量未被赋值，则相应的合一将挂起，当某其他进程为该变量赋值时此合一将继续。 PARLOG使用保护的Horn子句用于非确定性。PARLOG中的保护可测试任何输入变量并为子句的局部变量赋值，但不能给在输入自变量中传送的变量赋值。 第三章 分布式程序设计语言 3.5 逻辑上共享地址空间的语言 基于分布数据结构语言 ： Linda： Linda的目标是将程序员从并行计算和并发事件的思考中解脱出来，从而使并行程序设计在概念上类似于顺序程序设计。 Linda使用简单原语eval创建顺序进程，但不为程序设计人员提供方法把进程变换