40、并行编程与概率编程语义中的计算分布应用

并行编程与概率编程语义中的计算分布应用

1. Syndicate 协调并发编程相关工作

Syndicate 直接借鉴了网络微积分，而网络微积分又从 Actor 模型、进程演算以及 Erlang、Scala、E 和 AmbientTalk 等 Actor 语言中汲取了元素。同时，它与共享数据空间协调模型建立了新联系，涉及 Linda 和并发 ML（CML）等语言。

• 与 Linda 的对比
  • Linda 的元组空间对应 Syndicate 的数据空间，但 Linda 是“生成式”的，其元组创建后独立存在。而 Syndicate 的断言只有在有 Actor 持续断言时才存在，这为资源管理和处理部分故障提供了自然机制。
  • Linda 在故障处理方面的研究主要集中在原子性和事务上，不过 Rowstron 引入了代理遗嘱并构建了容错机制。Klaim 和 Lime 作为 Linda 的变体，提供了多个空间和不同形式的移动性。Syndicate 的非移动、分层、无名 Actor 和网络在这一设计空间中占据了未被探索的位置。
• 与 CML 的对比
  • CML 是用于协调 I/O 和并发的组合语言，使用同步通道在共享内存环境中协调抢先调度的线程。与 Syndicate 一样，CML 统一处理 I/O、通信和同步。
  • 但 CML 本质上是事务性的，依赖线程的垃圾回收和显式的“中止”处理程序来释放回滚事务中涉及的资源。而 Syndicate 监控感兴趣的断言，以检测对方不再关注