search

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

[ocaml5-issue] Fatal error: Failed to create domain on s390x, MinGW, Cygwin, ... #428

Closed jmid closed 7 months ago

jmid commented 8 months ago

On multiple platforms (s390x, MinGW, Cygwin, ...) domain_spawntree triggers an abort with a Fatal error: Failed to create domain:

https://ocaml-multicoretests.ci.dev:8100/job/2023-12-20/111746-ci-ocluster-build-24859a

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

[ ]    0    0    0    0 /  100     0.0s domain_spawntree - with Atomic
[ ]    0    0    0    0 /  100     0.0s domain_spawntree - with Atomic (generating)Fatal error: Fatal error: Fatal error: Fatal error: Fatal error: Fatal error: Fatal error: Fatal error: Fatal error: Fatal error: Fatal error: Fatal error: Fatal error: Fatal error: Fatal error: Fatal error: Failed to create domainFailed to create domain
Fatal error: Failed to create domain
File "src/domain/dune", line 14, characters 7-23:
14 |  (name domain_spawntree)
            ^^^^^^^^^^^^^^^^
(cd _build/default/src/domain && ./domain_spawntree.exe --verbose)
Command got signal ABRT.

I think this originates from the memprof commit to trunk: https://github.com/ocaml/ocaml/commit/3838bbfffcb80dae8d2713be475d57c937c874d9 which seems to trigger this error in caml_memprof_new_domain from init_memprof_failure.

I think the issue is worth separating from #354 which we have observed on Windows since June (long before memprof was merged).

jmid commented 7 months ago

Fixed in https://github.com/ocaml/ocaml/pull/12855