ocaml-multicore / multicoretests

PBT testsuite and libraries for testing multicore OCaml

Home Page:https://ocaml-multicore.github.io/multicoretests/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

[ocaml5-issue] Assertion failure on threadomain under debug runtime

jmid opened this issue · comments

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... 🤔

This is fixed in ocaml/ocaml/pull/12742 for trunk but will still show up in 5.1 tests