琳达的生成性沟通

审核人：Jerzy J.A.Klaczak

本文讨论了三个独立的主题：生成进程间通信的概念、实现和使用示例。生成传播是一种全新的传播模式；它是类PROLOG样式的端口的泛化（粗略地说）。它假设存在一个称为元组空间（TS）的环境。这意味着两个（正交）属性：通信过程的时间和空间（名称）解耦。它还允许结构化命名和非确定性。元组操作的简单规则导致创建名称空间（顺序计算中地址空间的类似物）。由进程发送到TS的消息（元组）对未绑定到任何人的所有进程都具有同等的访问权限。然后，这个概念被一些类似CSP的肉体包裹起来，成为一种名为Linda的语言。不幸的是，不可能只将元组定向到指定的接收方（任何人都可以生成或使用元组，而不是假定的对话者）。也没有名称位置和嵌套范围规则。补救方法是强制每个元组的第一个字段携带唯一的发送方ID（无论如何都是必需的），这些ID是分层构建的。包含重复或语句（C 2*[s1&vbm0；…&vbmO；sn]）也会有问题。示例部分占据了论文的一半，没有特定的主题。盖伦特举例说明，琳达并没有为了简单而牺牲表现力。我们可以模拟远程过程调用或类似CSP的集合，以及单向或双向命名。很容易构造中断处理程序、内容可寻址内存、共享全局变量、动态进程创建、空闲节点分配、看门狗等。还有“常用”应用程序：磁盘头调度程序和2相锁定（尽管附录4.1中的死锁检测算法有一个缺陷）。令人惊讶的是，作者根据Linda使用的工具对示例进行了排序。然而，个别示例与其他分布式语言（DPL）进行了比较。最后探讨了一种实现动态全局TS的方案，并注意了文件和可靠性（但握手协议与时间解耦相矛盾）。它对均匀维超立方体多处理器有效。对于一般网络，问题仍然存在。由于“硬件不复杂”，所描述的实现被拆除。我相信这个概念也适用于不太复杂的网络。总之，这是一篇最新的研究论文，对于DPL的理论家和构建者来说都是必须的。高水平的分布式计算成熟度是必要的；然而，给出了对特定DPL、Linda的其他方面以及分布式处理中的问题的必要参考。细节的深度因章而异，但阐述很清楚。当然，最吸引人的特征是生成性传播。它是一种语言吗就本文而言，没有。这是一个概念，足够通用，可以纳入任何DPL。这篇论文介绍了需要进一步研究的问题，但没有回答。与作者相反，它不是DPL的C语言；但它可以成为BASIC。这当然是我想走的路，并将继续走下去。