|Anonymous | Login | Signup for a new account||2018-12-18 16:29 CET|
|Main | My View | View Issues | Change Log | Roadmap|
|View Issue Details|
|ID||Project||Category||View Status||Date Submitted||Last Update|
|0007831||OCaml||runtime system and C interface||public||2018-07-24 15:52||2018-07-29 18:02|
|Target Version||4.08.0+dev||Fixed in Version|
|Summary||0007831: Assertion failed in gc_ctrl.c|
|Description||Another problem while running the testsuite with the debug runtime inside a docker container, now on Linux x64:|
... testing 'weaklifetime.ml' with 1 (native) => passed
... testing 'weaklifetime.ml' with 2 (bytecode) => Process 14407 got signal 6(Aborted), core dumped
file gc_ctrl.c; line 71 ### Assertion failed: Color_hd (Hd_val (v)) != Caml_blue
Unfortunately, it does not happen always, restarted build may succeed, but no other test case seems to be failing on my x64 setup.
|Tags||No tags attached.|
One more debug assertion of this kind, now with Linux i386/flambda:
Running tests from 'tests/lib-bigarray' ...
... testing 'bigarrays.ml' with 1 (native) => Process 4101 got signal 6(Aborted), core dumped
Could not find core file.
failed (Compiling program /builds/ocaml/compiler/testsuite/_ocamltestd/tests/lib-bigarray/bigarrays/ocamlopt.byte/bigarrays.opt from modules bigarrays.ml: command
/builds/ocaml/compiler/byterun/ocamlrund /builds/ocaml/compiler/ocamlopt -runtime-variant d -I /builds/ocaml/compiler/asmrun -nostdlib -I /builds/ocaml/compiler/stdlib -o /builds/ocaml/compiler/testsuite/_ocamltestd/tests/lib-bigarray/bigarrays/ocamlopt.byte/bigarrays.opt bigarrays.ml
failed with exit code -6)
file gc_ctrl.c; line 165 ### Assertion failed: prev_hp == NULL || Color_hp (prev_hp) != Caml_blue || cur_hp == (header_t *) caml_gc_sweep_hp
I'm a little bit nervous about that. Of course, one could blame faulty hardware etc., but I never had any issues with it. Probably it's worth trying older OCaml releases?
Thanks for the reports.
I'm surprised we haven't run into these issues earlier, because one of our CI infrastructures runs the test suite with the debug runtime (see tools/ci/travis/travis-ci.sh in the OCaml source tree). Probably we need to strengthen our CI.
There can be a real bug, or the assertions can be wrong or outdated. That will be for our GC experts to find.
|2018-07-24 15:52||db||New Issue|
|2018-07-25 09:45||db||Note Added: 0019274|
|2018-07-29 17:58||xleroy||Relationship added||related to 0007829|
|2018-07-29 18:02||xleroy||Note Added: 0019280|
|2018-07-29 18:02||xleroy||Status||new => acknowledged|
|2018-07-29 18:02||xleroy||Target Version||=> 4.08.0+dev|
|Copyright © 2000 - 2011 MantisBT Group|