Daneel Yaitskov <dyaits...@gmail.com> writes: > Hi, > > There are 2 questions: > > 1. How to decipher myThreadId implementation in STG? > What is the principle behind STG version? > Is it matching first field from TSO by type? > "id" is not mentioned anyhow and there is no offset to id field. > The whole TSO struct is just mentioned. > See the Haddocks for GHC.Conc.Sync.ThreadId. In short, ThreadId# (which is what the myThreadId# primop returns) is an opaque thread identifier which is represented by a pointer to a TSO. The Show instance for ThreadId prints the `id` field of the TSO. However, we don't directly expose the `id` field to the user; you merely get Eq and Ord instances. Admittedly, this may be a problem for users wanting to use, e.g., a HashMap keyed on ThreadId. Perhaps we could expose the GHC.Conc.Sync.getThreadId to the user. However, using this correctly would take great care.
Cheers, - Ben
signature.asc
Description: PGP signature
_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
