Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

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

Closed
jmid opened this issue Nov 1, 2023 · 1 comment
Closed

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

jmid opened this issue Nov 1, 2023 · 1 comment
Labels
ocaml5-issue A potential issue in the OCaml5 compiler/runtime

Comments

@jmid
Copy link
Collaborator

jmid commented Nov 1, 2023

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

@jmid
Copy link
Collaborator Author

jmid commented Nov 16, 2023

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
ocaml5-issue A potential issue in the OCaml5 compiler/runtime
Projects
None yet
Development

No branches or pull requests

1 participant