Haskell绑定线程的实现机制及调度器相关技术疑问

1. -N[n]标志的调度器与OS线程的关系 #

• 是的，通过-N[n]指定的每个调度器（GHC术语中称为Capability）都会对应一个独立的OS线程。
• 每个Capability负责管理一组Haskell线程的调度与执行，这些OS线程会并行运行，充分利用多核CPU的计算资源。

2. forkOS绑定线程的实现机制 #

• forkOS创建的绑定线程，本质是被固定绑定到某个特定的Capability（即对应的OS线程），永远不会被GHC运行时迁移到其他OS线程上执行。
• 当绑定线程调用外部函数时，直接在它绑定的OS线程上发起调用，对外部函数来说，完全等同于通过pthread_create创建的原生OS线程——因为调用上下文始终是同一个OS线程，外部的线程本地存储（TLS）状态能保持一致。
• 多个绑定线程可以被固定到同一个OS线程：比如当你指定-N1（仅一个调度器OS线程）时，所有forkOS创建的绑定线程都会在这个唯一的OS线程上被调度执行，它们的外部函数调用也都来自这个OS线程。

3. OS线程创建时机与“绑定”效果的实现 #

• OS线程创建时机：
  • 程序启动时，GHC运行时会根据-N[n]的参数创建n个OS线程，每个线程对应一个Capability，作为调度器线程负责执行Haskell线程。
  • 除了初始的调度器OS线程，当遇到某些特殊场景（比如外部调用长时间阻塞，导致对应Capability无法处理其他线程），运行时可能会临时创建额外的OS线程来接管该Capability的调度，但这种情况属于运行时内部的资源调度，绑定线程的绑定关系不会改变。
• “绑定”效果的实现：
  • 绑定线程在创建时，会被标记为Bound状态，并关联到当前的Capability（即执行forkOS的线程所在的Capability）。
  • GHC运行时的调度器会保证，这个绑定线程只会在它关联的Capability对应的OS线程上被调度执行，不会被迁移到其他Capability的OS线程。这样无论绑定线程执行Haskell代码还是调用外部函数，始终使用同一个OS线程，实现了对外部表现为原生OS线程的效果。

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