From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <oleg@okmij.org>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sympa.inria.fr (Postfix) with ESMTPS id 32B2B7EE51
	for <caml-list@sympa.inria.fr>; Fri, 12 Apr 2013 10:56:13 +0200 (CEST)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  oleg@okmij.org) identity=pra; client-ip=66.39.3.115;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="oleg@okmij.org"; x-sender="oleg@okmij.org";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  oleg@okmij.org designates 66.39.3.115 as permitted sender)
  identity=mailfrom; client-ip=66.39.3.115;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="oleg@okmij.org"; x-sender="oleg@okmij.org";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@www1.g3.pair.com) identity=helo;
  client-ip=66.39.3.115;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="oleg@okmij.org";
  x-sender="postmaster@www1.g3.pair.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AtICAN7KZ1FCJwNzemdsb2JhbABQszORZIEgDgEBCwcNCTyCHwEBBHoFSn2IEwa9Yo8WHYMrA5M3A4NHAZQaPA
X-IPAS-Result: AtICAN7KZ1FCJwNzemdsb2JhbABQszORZIEgDgEBCwcNCTyCHwEBBHoFSn2IEwa9Yo8WHYMrA5M3A4NHAZQaPA
X-IronPort-AV: E=Sophos;i="4.87,461,1363129200"; 
   d="scan'208";a="10711326"
Received: from www1.g3.pair.com ([66.39.3.115])
  by mail3-smtp-sop.national.inria.fr with SMTP; 12 Apr 2013 10:56:11 +0200
Received: (qmail 74137 invoked by uid 9370); 12 Apr 2013 08:56:10 -0000
Date: 12 Apr 2013 08:56:10 -0000
Message-ID: <20130412085610.74136.qmail@www1.g3.pair.com>
From: oleg@okmij.org
To: paulfsnively@gmail.com
CC: caml-list@inria.fr
X-Validation-by: oleg@okmij.org
Subject: [Caml-list] Delimcc.0 OPAM Package Difficulty on Mac OS X


> Unfortunately, testd0opt is my next headache: it crashes with a Bus Error on
> Darwin, but not on Debian Wheezy running in VirtualBox. VirtualBox doesn't
> do processor emulation, so the issue once again seems to be differences in
> the Darwin runtime environment from the Linux runtime environment. In the
> native context, my initial guess is that it may have something to do with
> stack alignment issues, but this is merely a guess.

I think Darwin and Ubuntu might be using different compilers (I think
Apple bet on LLVM/clang). Even when both system use GCC, chances are
they are of different versions, and some are more aggressive than
others (at optimization). The first thing to try is to compile
testd0opt without optimization (set -O0 or something like
that). Second, if there is a way to get a stack trace on seg fault
(e.g., via GDB) that could be helpful. 

BTW, it helps to compile stacks-native.c with the DEBUG
option. One can use either -DDEBUG or change
	#define DEBUG 0
at the beginning of the file so it reads "#define DEBUG 1". Now when
running the tesd0opt we should see more output. It would be good to
get the whole output of running tesd0opt.

And another thing: for native delimcc we don't have to use dynamic
linking. One may link in delimcc.cmx along with stacks-native.o
statically. Perhaps that might help.