Version française
Home     About     Download     Resources     Contact us    
Browse thread
AMD64 segfault
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Jon Harrop <jon@f...>
Subject: Re: [Caml-list] AMD64 segfault
On Thursday 12 May 2005 23:35, skaller wrote:
> I just built caml 3.08.3 on my new AMD64 and compiled and ran the usual
> hello world with ocamlopt.opt, however the Felix compiler segfaults.
> The bytecode version runs fine.  Felix uses bignums and unix, otherwise
> it is a pure ocaml program (no 3pl C libraries).
>
> I have no idea where start looking. I'm running Ubuntu (Hoary)
> and using gcc 3.4.
>
> Any hints?

Yes, the stack overflows much more quickly on AMD64 for me (pure64 Debian vs 
stock x86 Debian) and also causes a segfault instead of throwing 
Stack_overflow. I've no idea why.

Try playing with ulimit to set the stack size and rerunning your program.

I have found no other sources of segfaults with OCaml on AMD64.

-- 
Dr Jon D Harrop, Flying Frog Consultancy Ltd.
Objective CAML for Scientists
http://www.ffconsultancy.com/products/ocaml_for_scientists