如何将Haskell的ThreadId转换为（LWP）PID？

我们有以下两个Haskell线程创建函数：

forkIO :: IO () -> IO ThreadId
forkOS :: IO () -> IO ThreadId

线程ID的类型为data ThreadId，外部仅能获取该类型的实例，其内部结构定义为：

data ThreadId = ThreadId ThreadId#

它的内部参数无法直接访问，且该ID与内存地址相关，而非操作系统层面的PID。

另外，Haskell线程（对应POSIX线程）在Linux系统中会映射为LWP（推测采用N:M线程模型），可以通过ps -AL命令查看这类LWP，示例输出如下：

........
15001 15001 ?        00:00:00 haskell-languag
15001 15177 ?        00:00:02 ghc_ticker
15001 15178 ?        00:00:56 haskell-langu:w
15001 15179 ?        00:00:47 haskell-langu:w
15001 15180 ?        00:01:00 haskell-langu:w
15001 15181 ?        00:00:56 haskell-langu:w
15001 15182 ?        00:00:07 haskell-langu:w
15001 15183 ?        00:00:57 haskell-langu:w
........

问题：是否存在从ThreadId获取PID（或LWP）的方法？若存在，该方法是否具备跨平台性（适用于OSX、Windows等系统）？

• 存在获取途径，但依赖GHC底层与第三方库
  Haskell标准库未提供直接从ThreadId转换为系统级线程ID（PID/LWP）的公开接口，但可以通过两种方式实现：

  1. 调用GHC私有API：借助GHC.Threads模块中的非公开函数（如threadIdToOSThreadId），但这类接口属于GHC内部实现，不保证跨版本兼容性，且仅支持GHC编译器。
  2. 使用第三方封装库：比如thread-id或ghc-thread-id这类库，它们封装了GHC的内部逻辑，提供了像getThreadIdOS这样的函数，能直接返回对应系统线程的ID数值。

• 跨平台性存在局限
  这类转换方法的跨平台能力依赖底层系统与GHC实现：

  • Linux：可以获取到对应LWP号，与ps -AL输出的第二列数值对应。
  • macOS：能获取POSIX线程ID（对应ps -M输出的线程ID），但macOS线程模型与Linux不同，LWP概念并不完全适配。
  • Windows：可以获取Windows线程ID（对应GetCurrentThreadId的返回值），但Windows没有LWP概念，PID与线程ID属于不同体系。
    另外，所有这类方法都绑定GHC实现，无法在其他Haskell编译器（如Hugs）下运行，且不同GHC版本可能存在兼容性问题。

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