ThreadId

Manuel M. T. Chakravarty chak@cse.unsw.edu.au
Sun, 24 Jun 2001 21:07:31 +1000


How much of a thread's memory is kept alive - after the
thread has terminated - as long as a program holds on to the
thread's `ThreadId'?  The following ToDo comment in
`PrelConc' seems to indicate that it is currently more than
we really want:

  data ThreadId = ThreadId ThreadId#
  -- ToDo: data ThreadId = ThreadId (Weak ThreadId#)
  -- But since ThreadId# is unlifted, the Weak type must use open
  -- type variables.

In combination with finalisers, this can be troublesome.

Cheers,
Manuel