并行在 JVM 上运行测试

Question

目标

• 确定性 -- 使用并行选项调用 quick-check 得到的答案与不使用并行选项时相同
  -- 但是，我们不得不放弃一些确定性，因为我认为我们无法合理
  说每次调用 {{reporter-fn}} 的方式都会相同，甚至无法保证
  返回的 {{:num-tests}} 值始终相同
• 在 JVM 上针对挂起的任务做最好的处理
• 是否有必要有一些动态变量，比如线程 ID 或者类似的东西，
  这样用户就可以使用它来协调对全局资源的使用？或者他们
  可以手动使用 {{ThreadLocal}} 或者一个池

问题

• 这真的是值得的吗？弊端是它使 {{quick-check}} 的 API 和实施变得更加复杂，

Answer 1

参考：https://clojure.atlassian.net/browse/TCHECK-115（由 gfredericks 报告）