在知道实际数字的情况下，如何构建ThreadId？

Question

在GHCi中调试或玩游戏时，我经常碰巧知道实际的ThreadId数字（例如使用Debug.Trace），但这就是我所拥有的。

问题是所有线程API（例如killThread）都需要ThreadId而不是Int。

我已经尝试了Hoogle，但却出了问题。有没有办法做到这一点？我主要关心调试，所以我不介意它是一个讨厌的黑客，还是通过一个GHC专用的库。

Answer 1

你不能。 ThreadId是抽象的。您拥有的Int实际上只不过是一个计数器（source）：

32  static StgThreadID next_thread_id = 1;
...
59  StgTSO *
60  createThread(Capability *cap, W_ size)
61  {
62      StgTSO *tso;
...
126     ACQUIRE_LOCK(&sched_mutex);
127     tso->id = next_thread_id++;  // while we have the mutex
...
130     RELEASE_LOCK(&sched_mutex);
...
136 }
...
161 int
162 rts_getThreadId(StgPtr tso) 
163 {
164   return ((StgTSO *)tso)->id;
165 }

在rts_getThreadId ThreadId个实例中调用Show ThreadId。没有映射回实际的TSO。如果您想知道Int属于Int的内容，您需要自己跟踪它们。例如，您可以解析Map并填写{{1}}。