[ocaml5-issue] Assertion failure on threadomain under debug runtime
jmid opened this issue · comments
Jan Midtgaard commented
On the CI run for #403 the threadomain
test triggered an assertion failure under Linux 5.1 with the debug runtime:
https://github.com/ocaml-multicore/multicoretests/actions/runs/6718030607/job/18256960646?pr=403#step:18:76
random seed: 313499378
generated error fail pass / total time test name
[ ] 0 0 0 0 / 500 0.0s Mash up of threads and domains
[ ] 0 0 0 0 / 500 0.0s Mash up of threads and domains (generating)
[00] file runtime/domain.c; line 1526 ### Assertion failed: (uintnat)dom_st->young_ptr > (uintnat)dom_st->young_trigger
File "src/threadomain/dune", line 4, characters 7-18:
4 | (name threadomain)
^^^^^^^^^^^
(cd _build/default/src/threadomain && ./threadomain.exe --verbose)
Command got signal ABRT.
[ ] 194 0 0 194 / 500 60.2s Mash up of threads and domains
I suspect this is the same bug as #353 as it is the same assertion failure being triggered.
I'm more uncertain whether this is the issue underlying #203... 🤔
Jan Midtgaard commented
This is fixed in ocaml/ocaml/pull/12742 for trunk
but will still show up in 5.1 tests