summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorZubin Duggal <zubin.duggal@gmail.com>2023-02-01 12:12:21 +0530
committerZubin Duggal <zubin.duggal@gmail.com>2023-02-07 18:47:09 +0530
commit27f154f9c68b2c64107eb64104d9eb92295191c6 (patch)
tree1209c23323e386384d7fb1960f755a58f4cfe4f4
parent09224b906659cf67752f943acb18b2373bf2fba1 (diff)
downloadhaskell-27f154f9c68b2c64107eb64104d9eb92295191c6.tar.gz
Document #22255 and #22468 in bugs.rst
-rw-r--r--docs/users_guide/bugs.rst10
1 files changed, 10 insertions, 0 deletions
diff --git a/docs/users_guide/bugs.rst b/docs/users_guide/bugs.rst
index 2b533fa42f..fde6986577 100644
--- a/docs/users_guide/bugs.rst
+++ b/docs/users_guide/bugs.rst
@@ -546,6 +546,16 @@ them will be fixed in the short term.
Bugs in GHC
~~~~~~~~~~~
+- `readIORef` from `Data.IORef` is missing memory barriers and might
+ result in inconsistent or unsafe behaviour in multithreaded programs
+ on architectures with weaker memory models such as AArch64. See
+ :ghc-ticket:`22468` for more details.
+
+- `isByteArrayPinned#` considers large `ByteArray#`s pinned, even if they
+ were not explicitly pinned. This is incorrect if the `ByteArray#` is
+ subsequently added to a compact region as the `ByteArray#` will be moved in
+ the process. See :ghc-ticket:`22255` for more details.
+
- GHC's runtime system implements cooperative multitasking, with
context switching potentially occurring only when a program
allocates. This means that programs that do not allocate may never