Add assertion race condition issue

ocaml-multicore · Nov 1, 2023 · 12e2596 · 12e2596
1 parent 17d3dac
commit 12e2596
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -380,6 +380,13 @@ property can be done in two different ways:
 Issues
 ======
 
+Assertion race condition in `install_backup_thread` (new, fixed, runtime)
+-------------------------------------------------------------------------
+
+A repro test case [submitted upstream from `multicoretests` to the ocaml
+compiler test suite](https://github.com/ocaml/ocaml/pull/11749) and two separate
+`multicoretests` all [triggered an race condition in `install_backup_thread`](https://github.com/ocaml/ocaml/pull/12707)
+
 
 Float register preservation on ppc64 (new, fixed, codegen)
 ----------------------------------------------------------