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] Segfault in Lin Out_channel test in 32-bit and bytecode mode #412

Closed jmid closed 5 months ago

jmid commented 1 year ago

On #411 we saw a segfault in Lin Out_channel test with Domain in a 32-bit trunk/5.2 run: https://github.com/ocaml-multicore/multicoretests/actions/runs/6826699760/job/18567181221?pr=411

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

[ ]    0    0    0    0 / 1000     0.0s Lin In_channel test with Domain
[ ]    0    0    0    0 / 1000     0.0s Lin In_channel test with Domain (generating)
[✓]    4    0    1    3 / 1000    12.8s Lin In_channel test with Domain

File "src/io/dune", line 21, characters 7-23:
21 |  (name lin_tests_domain)
            ^^^^^^^^^^^^^^^^
(cd _build/default/src/io && ./lin_tests_domain.exe --verbose)
Command got signal SEGV.
[ ]    0    0    0    0 / 5000     0.0s Lin Out_channel test with Domain
jmid commented 5 months ago

Note: this was first observed shortly after the merge of the compaction PR (Nov 6) which has been established as the cause of #446.

The condition (32bit) and symptoms (crash) are the same. As such I'm closing it as a duplicate.