如何评估和模拟模型？

Question

我对评估和模具模型的工作方式有些怀疑。首先，这个模型如何控制线程粒度？

我的第二个疑问是关于评估和死亡流程的行为，例如，如果a具有这样的函数：

map (spark g) [1..10] 
  where 
      spark f x = x `par` f x 
      g x = x^x

评估和模具模型的流程对于此函数执行是唯一的吗？