7、深入理解Rendezvous机制及其相关语句

深入理解Rendezvous机制及其相关语句

1. Rendezvous概述

Rendezvous与远程过程调用类似，涉及两个进程：调用进程和处理调用的进程。不过，调用由现有进程处理，不会因调用而创建新进程。从调用进程的角度看，Rendezvous是同步的，且两个进程可位于不同的虚拟或物理机器上。

Rendezvous通过操作来实现，调用进程使用操作的调用调用来发起Rendezvous。操作由执行输入语句的现有进程提供服务。

2. 输入语句

2.1 输入语句的一般形式和语义

输入语句是较为复杂但强大的语句，包含一个或多个由方括号分隔的操作命令。每个操作命令指定要服务的操作、可选的同步子句、可选的调度子句和代码块。其一般形式如下：

Each operation command specifies an operation to service, an optional syn-
chronization clause, an optional scheduling clause, and a block of code. An
operation command has the general form

• op_expr ：计算为操作的任何表达式，如名称或能力。
• formal list ：包含参数的类型和名称，与Java的方法头类似。
• st （such - that）：引入同步表