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
Assertion failed in gc_ctrl.c #7831
Comments
Comment author: @db4 One more debug assertion of this kind, now with Linux i386/flambda: Running tests from 'tests/lib-bigarray' ... 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? |
Comment author: @xavierleroy 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. |
Is this forgotten as well? Seems no activity lately. |
IIUC these failures are random and not very common. I'm trying to reproduce them, without much success so far. |
This issue has been open one year with no activity. Consequently, it is being marked with the "stale" label. What this means is that the issue will be automatically closed in 30 days unless more comments are added or the "stale" label is removed. Comments that provide new information on the issue are especially welcome: is it still reproducible? did it appear in other contexts? how critical is it? etc. |
This issue has been open one year with no activity. Consequently, it is being marked with the "stale" label. What this means is that the issue will be automatically closed in 30 days unless more comments are added or the "stale" label is removed. Comments that provide new information on the issue are especially welcome: is it still reproducible? did it appear in other contexts? how critical is it? etc. |
Original bug ID: 7831
Reporter: @db4
Status: acknowledged (set by @xavierleroy on 2018-07-29T16:02:31Z)
Resolution: open
Priority: normal
Severity: major
Version: 4.07.0
Target version: 4.08.0+dev/beta1/beta2
Category: runtime system and C interface
Related to: #7829
Bug 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.
The text was updated successfully, but these errors were encountered: