述伪码中第二个递归调用不是分叉的；这是故意为之的，因为分叉任务是要付出代价的。如果把二个递归调用都设置为子任务，主任务在被阻塞在之前将没有任何额外的工作可以进行。
实现.在fork–join模型的实现中，fork的典型的是任务、纤程即轻量级线程，而非操作系统级别的“重量级”线程或进程，并使用线程池来执行这些任务：fork原语（primitive）允许编程者指定“潜在的”并行，由实现机制接着把它们映射（map）到实际的并行执行之上。这么设计的原因是建立新线程趋于导致很大的开销。在