我一直在阅读“Real World Haskell”一书，这是关于并发和并行性的一章。我的问题如下：
由于 Haskell 线程实际上只是一个“真实”操作系统线程中的多个“虚拟”线程，这是否意味着创建大量线程（如 1000 个）不会对性能产生重大影响？即，我们可以说使用 forkIO 创建 Haskell 线程所产生的开销（几乎）可以忽略不计吗？如果可能，请提供实用的例子。
轻量级线程的概念难道不会阻止我们利用多核架构的优势吗？据我了解，两个 Haskell 线程不可能在两个单独的内核上同时执行，因为从操作系统的角度来看，它们实际上是一个单线程。或者 Haskell 运行时是否做了一些巧妙的技巧来确保可以使用多个 CPU？
【问题讨论】：
标签： multithreading haskell concurrency multicore lightweight-processes
GHC 的运行时提供了一个执行环境，支持数十亿个 spark、数千个轻量级线程，这些线程可能分布在多个硬件内核上。使用-threaded 编译并使用+RTS -N4 标志设置所需的内核数。
具体来说：
这是否意味着创建很多（如 1000 个）不会对性能产生巨大影响？
嗯，creating 1,000,000 of them 当然是可能的。 1000太便宜了，甚至都不会出现。您可以在线程创建基准中看到，例如GHC is very, very good 的“线程环”。
轻量级线程的概念难道不会阻止我们利用多核架构的好处吗？
一点也不。 GHC has been running on multicores 自 2004 年以来。多核运行时的当前状态是 tracked here.
它是如何做到的？阅读此架构的最佳位置是在论文中，"Runtime Support for Multicore Haskell"：
GHC 运行时系统支持数百万轻量级线程 通过将它们多路复用到少数操作系统线程上， 每个物理 CPU 大约一个。 ...
Haskell 线程由一组操作系统执行 线程，我们称之为工作线程。我们维持大致一 每个物理 CPU 的工作线程，但确切地说是哪个工作线程 可能会随时变化...
由于工作线程可能发生变化，我们只维护一个 每个 CPU 的 Haskell 执行上下文 (HEC)。 HEC是一个 包含操作系统工作线程的所有数据的数据结构 需要才能执行 Haskell 线程
您可以监视正在创建的线程以及它们在哪里执行，via threadscope.。在这里，例如运行二叉树基准测试：
【讨论】：
Warp 网络服务器广泛使用这些轻量级线程来获取really good performance。请注意，其他 Haskell Web 服务器也在竞争：这更像是“Haskell 很好”而不是“Warp 很好”。
Haskell 提供了一个多线程运行时，可以跨多个系统线程分配轻量级线程。它适用于多达 4 个内核。除此之外，还有一些性能问题，尽管正在积极解决这些问题。
【讨论】：
创建1000个进程相对轻量级；不要担心这样做。至于性能，您应该只对其进行基准测试。
如前所述，多核工作正常。多个 Haskell 线程可以通过调度在不同的 OS 线程上同时运行。
【讨论】：