English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

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: 2005-05-13 (12:58)
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