Skip to content

Commit

Permalink
Merge pull request #405 from ocaml-multicore/add-assertion-race-cond
Browse files Browse the repository at this point in the history
Add assertion race condition issue
  • Loading branch information
jmid authored Nov 2, 2023
2 parents 954e584 + 12e2596 commit f62bfd7
Showing 1 changed file with 7 additions and 0 deletions.
7 changes: 7 additions & 0 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -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)
----------------------------------------------------------
Expand Down

0 comments on commit f62bfd7

Please sign in to comment.