是否可以在 Erlang 中实现 Pregel 而无需超级步骤？

Question

假设我们使用 Erlang 实现 Pregel 。为什么我们实际上需要超级步骤？仅将消息从一个主管发送到代表节点的进程不是更好吗？他们可以将计算函数应用到自己身上，互相发送消息，然后向主管发送“完成”消息。

Pregel 并发 Erlang 实现中超级步骤的全部目的是什么？

Answer 1

• Pregel 模型所拥护的 SuperStep 概念可以被视为并行执行实体的某种障碍。在每个超级步骤结束时，每个工作人员将其状态刷新到持久存储中。
• 该算法在每个 SuperStep 的末尾设置检查点，以便在发生故障时，当新节点必须接管故障对等点的功能时，它有一个起点。 Pregel 保证，由于节点的数据在 SuperStep 启动之前就已刷新到磁盘，因此它可以可靠地从该点开始。
• 它在某种程度上也标志着算法的“进步”。可以为预凝胶算法/作业提供“最大超级步骤数”，之后算法应终止。

您在问题中指定的内容（关于主管向工作人员发送计算函数并等待“完成”）绝对可以实现（尽管我不认为与 OTP 打包的当前主管可以开箱即用地执行类似的操作），但我想SuperStep 的概念只是 Pregel 模型的一个要求。另一方面，如果您正在实现类似并行映射器的东西（就像乔在他的书中实现的那样），您将不需要超级步骤/