ocaml-multicore / multicoretests

PBT testsuite and libraries for testing multicore OCaml
https://ocaml-multicore.github.io/multicoretests/
BSD 2-Clause "Simplified" License
37 stars 16 forks source link

Assertion failure triggered in runtime/memprof.c #422

Closed jmid closed 8 months ago

jmid commented 9 months ago

We are seeing a new assertion failure in runtime/memprof.c triggered on trunk.

It is triggered bythread_joingraph:

random seed: 219047107
generated error fail pass / total     time test name

[ ]    0    0    0    0 /  100     0.0s Thread.create/join
[00] file runtime/memprof.c; line 238 ### Assertion failed: (trigger >= state->young_start) && (trigger < state->young_ptr)
File "src/thread/dune", line 6, characters 7-23:
6 |  (name thread_joingraph)
           ^^^^^^^^^^^^^^^^
(cd _build/default/src/thread && ./thread_joingraph.exe --verbose)
Command got signal ABRT.
[ ]    0    0    0    0 /  100     0.0s Thread.create/join (generating)

and by Lin Stack:

random seed: 146276534
generated error fail pass / total     time test name

[ ]    0    0    0    0 / 1000     0.0s Lin Stack test with Domain
[ ]    0    0    0    0 / 1000     0.0s Lin Stack test with Domain (generating)
[✓]    3    0    1    2 / 1000     2.9s Lin Stack test with Domain

[00] file runtime/memprof.c; line 238 ### Assertion failed: (trigger >= state->young_start) && (trigger < state->young_ptr)
File "src/stack/dune", line 4, characters 7-16:
4 |  (name lin_tests)
           ^^^^^^^^^
(cd _build/default/src/stack && ./lin_tests.exe --verbose)
Command got signal ABRT.
[ ]    0    0    0    0 /  250     0.0s Lin Stack test with Thread

After pinging Nick this has quickly been fixed in https://github.com/ocaml/ocaml/pull/12817

jmid commented 8 months ago

Closing as the fix has been merged to trunk and is no longer triggered.