pregel<br>
有向有环图
当前执行中的一个或多个节点，所有的后序节点，作为一个 SuperStep，整体一起执行。
支持 Branch，支持图中有环，但是可能需要人为添加 passthrough 节点，来确保 SuperStep 中的节点符合预期
dag
有向无环图
每个节点有确定的前序节点，当所有前序节点都完成后，本节点才具备运行条件，所以不能有环。
支持 Branch。在运行时，将 Branch 未选中的节点记为已跳过，不影响 AllPredecessor 的语义。
不需要手动对齐 SuperStep。
