Unison分布式包Mode选择的语义、影响及Seq.fromList用法咨询

unique type Mode = Parallel | Sequential是Unison中用于标记Seq（可调度序列树）执行策略的核心类型，Seq.fromList传入的Mode会统一标记生成的整棵序列树的所有节点，作用不局限于嵌套并行控制，两个构造值对应的具体语义和影响如下：

• Sequential
  该模式下生成的Seq所有分支都会被标记为串行执行单元。不管是本地运行时还是分布式调度器，都不会对该序列做任何并行拆分：本地执行时会单线程按顺序跑完所有元素，分布式场景下整个序列的计算逻辑会固定在提交任务的节点执行，不会做跨节点分片派发。
  这个模式的优势是完全没有并行拆分、任务分发、跨节点结果合并的额外开销，适合元素数量少、步骤间有强先后依赖的场景。
• Parallel
  该模式下生成的Seq所有分支都会被标记为可并行拆分单元。本地运行时会根据当前可用CPU核心数自动切分子任务并行执行；Unison分布式包的调度器会按照预设的分片大小自动拆分序列分支，将分片派发给集群中的空闲工作节点，同时自动处理分片容错、结果聚合的逻辑。
  这个模式可以充分利用多核算力或集群分布式资源提升大体量序列的处理吞吐量，但如果序列本身计算量很小，调度、分发带来的额外开销反而会让执行速度慢于串行模式。

这里补充对文档说明的澄清：

结果树中的所有分支都将使用传入的Mode

这句话指的是Seq.fromList生成的序列树不会出现混合执行策略的节点，从根节点到最底层的所有子分支都会统一使用传入的Mode标记，并不是说该参数只控制嵌套分支的并行行为。如果需要不同层级分支使用不同执行策略，无法通过单次Seq.fromList实现，需要手动调用Seq的节点构造接口逐层指定不同Mode拼接。

分布式场景下两个模式的实际运行差异可以总结为：

• 选Sequential不会产生任何网络IO、任务序列化、跨节点通信开销，但完全无法利用集群的多节点算力
• 选Parallel会自动触发分布式分片调度，支持线性扩展集群算力提升处理速度，但会引入固定的调度开销，仅适合处理耗时较长、体量较大的序列任务

内容的提问来源于stack exchange，提问作者bbarker