diff options
| author | David Feuer <David.Feuer@gmail.com> | 2023-03-02 17:25:35 -0500 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2023-03-25 00:04:04 -0400 |
| commit | 7131b705d54ed7ed20e9946d9ace45228ec5febd (patch) | |
| tree | a2ee66e5274e24d3020db88b9713d74792646062 | |
| parent | f2d56bf735185a59d7ce916edcf6a97f1401b230 (diff) | |
| download | haskell-7131b705d54ed7ed20e9946d9ace45228ec5febd.tar.gz | |
Modify ThreadId documentation and comments
For a long time, `GHC.Conc.Sync` has said
```haskell
-- ToDo: data ThreadId = ThreadId (Weak ThreadId#)
-- But since ThreadId# is unlifted, the Weak type must use open
-- type variables.
```
We are now actually capable of using `Weak# ThreadId#`, but the
world has moved on. To support the `Show` and `Ord` instances, we'd
need to store the thread ID number in the `ThreadId`. And it seems
very difficult to continue to support `threadStatus` in that regime,
since it needs to be able to explain how threads died. In addition,
garbage collection of weak references can be quite expensive, and it
would be hard to evaluate the cost over he whole ecosystem. As discussed
in
[this CLC issue](https://github.com/haskell/core-libraries-committee/issues/125),
it doesn't seem very likely that we'll actually switch to weak
references here.
| -rw-r--r-- | libraries/base/GHC/Conc/Sync.hs | 10 |
1 files changed, 3 insertions, 7 deletions
diff --git a/libraries/base/GHC/Conc/Sync.hs b/libraries/base/GHC/Conc/Sync.hs index b587da0785..ff40c4263f 100644 --- a/libraries/base/GHC/Conc/Sync.hs +++ b/libraries/base/GHC/Conc/Sync.hs @@ -133,9 +133,6 @@ infixr 0 `par`, `pseq` ----------------------------------------------------------------------------- data ThreadId = ThreadId ThreadId# --- ToDo: data ThreadId = ThreadId (Weak ThreadId#) --- But since ThreadId# is unlifted, the Weak type must use open --- type variables. {- ^ A 'ThreadId' is an abstract type representing a handle to a thread. 'ThreadId' is an instance of 'Eq', 'Ord' and 'Show', where @@ -146,10 +143,9 @@ useful when debugging or diagnosing the behaviour of a concurrent program. /Note/: in GHC, if you have a 'ThreadId', you essentially have -a pointer to the thread itself. This means the thread itself can\'t be -garbage collected until you drop the 'ThreadId'. -This misfeature will hopefully be corrected at a later date. - +a pointer to the thread itself. This means the thread itself can\'t be +garbage collected until you drop the 'ThreadId'. This misfeature would +be difficult to correct while continuing to support 'threadStatus'. -} -- | @since 4.2.0.0 |