Re: [Caml-list] segmentation fault

[Julia Lawall <julia.lawall@lip6.fr>]

On Thu, 29 Jun 2017, Damien Doligez wrote:

> Hi Julia,
>
> This is a long shot, but let's see if this is the Skylake/Kaby Lake
> processor bug. Could you follow the instructions at the beginning of
> https://lists.debian.org/debian-devel/2017/06/msg00308.html
> and tell us if you have one of the buggy processors?

The person who reported the bug does have one of the offending machines
and had hyperthreading enabled.  He is going to try with hyperthreading
disabled.

$ cat /proc/cpuinfo | grep "model"
model           : 78
model name      : Intel(R) Core(TM) i5-6200U CPU @ 2.30GHz
model           : 78
model name      : Intel(R) Core(TM) i5-6200U CPU @ 2.30GHz
model           : 78
model name      : Intel(R) Core(TM) i5-6200U CPU @ 2.30GHz
model           : 78
model name      : Intel(R) Core(TM) i5-6200U CPU @ 2.30GHz
$ grep -q '^flags.*[[:space:]]ht[[:space:]]' /proc/cpuinfo && echo
"Hyper-threading is supported"
Hyper-threading is supported


julia

>
> Cheers,
>
> -- Damien
>
> > On 2017-06-23, at 19:25, Julia Lawall <julia.lawall@lip6.fr> wrote:
> >
> >
> >
> > On Fri, 23 Jun 2017, SP wrote:
> >
> >> You can use `tailcall` attribute to verify if it is tail-call optimised.
> >>
> >> http://caml.inria.fr/pub/docs/manual-ocaml/extn.html#sec246
> >
> > Thanks.  For the moment, though, I have no idea what function call is
> > causing the problem.
> >
> > julia
> >
> >>
> >> --
> >>    SP
> >>
> >> --
> >> Caml-list mailing list.  Subscription management and archives:
> >> https://sympa.inria.fr/sympa/arc/caml-list
> >> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> >> Bug reports: http://caml.inria.fr/bin/caml-bugs
> >>
> >
> > --
> > Caml-list mailing list.  Subscription management and archives:
> > https://sympa.inria.fr/sympa/arc/caml-list
> > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> > Bug reports: http://caml.inria.fr/bin/caml-bugs
>
>