在Ada会合

Question

在一次测试中，我被问到：

在Ada语言中没有以会合的一般形式存在哪些元素？

当我认为Ada完全支持约会时，我有点不知所措。现在看来没有了。有人能告诉我这些元素是什么吗？

Answer 1

Ada会合概念的基础是CSP会合.，所以在CSP上阅读可能是值得的。

Ada会合似乎提供了比CSP会合更多的功能，所以你真正失去的是一种很容易对行为进行正式推理的能力。

顺便说一句，在大学里，我们实际上是用奥卡姆语法来教CSP的，因为我们在第一年就学过Occam。我们还学习了Z符号和米兰达 (一种函数式语言，它是哈斯克尔的前身)。

它们一起为软件系统的形式推理提供了坚实的基础，无论是分布式的还是非分布式的。

Answer 2

我不认为有“一般形式的会合”这样的东西。我想这个词起源于Ada。野外关于这种所谓的“广义汇合形式”的信息似乎是不存在的。

参见Ada并发编程工具的局限性和维基百科上的这个同步的交会链接，后者重定向到Barrier (计算机科学)。