From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.4 required=5.0 tests=SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id D99DEBC69 for ; Thu, 2 Aug 2007 17:41:13 +0200 (CEST) Received: from rv-out-0910.google.com (rv-out-0910.google.com [209.85.198.190]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l72FfCDE032696 for ; Thu, 2 Aug 2007 17:41:13 +0200 Received: by rv-out-0910.google.com with SMTP id k20so436048rvb for ; Thu, 02 Aug 2007 08:41:09 -0700 (PDT) DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=OjzFK52UCVLHmV9QY732rdtpbXb+kZTxh0/yIf6QAC8jY9EWrmR8P1K6t4bbjow5Vs4JbPE89TgS1f1wWTElXLGqopuICopX9vO5WOMYihKIj+HaxQrWVZjlHfP7p4uGtDOXRhXZj0Cz+RrHJzjy3J5gxx/qtqSlHH6MGRR+gDU= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=EShNFD5HCPH/UguAseoz/r2lNG/rV/zT6esT9gJ1y9hyS4bXYJK1pj3UihQW2IQIRLnr2EVCkBHkGo4watFA57X3mYVhWXBCpF+cua2uI3wzokwS2YYsqal9xMgIU66AOpWkDp6eu0QZjsKtaMww3bql/308xFLJ/nm2wE2ueis= Received: by 10.140.191.14 with SMTP id o14mr319839rvf.1186069269461; Thu, 02 Aug 2007 08:41:09 -0700 (PDT) Received: by 10.141.164.15 with HTTP; Thu, 2 Aug 2007 08:41:09 -0700 (PDT) Message-ID: Date: Thu, 2 Aug 2007 11:41:09 -0400 From: "Andres Varon" To: "OCaml List" Subject: Re: [Caml-list] segfault in 3.10.0 In-Reply-To: MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <7209A0C0-93DC-46A9-940D-47C54EB31E1B@gmail.com> X-j-chkmail-Score: MSGID : 46B1FB18.001 on concorde : j-chkmail score : X : 0/20 1 0.000 -> 1 X-Miltered: at concorde with ID 46B1FB18.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; segfault:01 segfault:01 -fpic:01 bug:01 wrappers:01 ocaml:01 functor:01 markus:01 mottl:01 markus:01 mottl:01 segfaults:01 ocaml:01 segfaults:01 wrote:01 Hello Everyone, This is what I have found: 1. The segfault is eliminated if I use position-dependent machine code (-fno-PIC), which is the main difference that I can see in the generated code for amd-64 between 3.09.3 and 3.10.0 (-fPIC is the default now). When using -fno-PIC there was little difference between the code spilled using -dlinear between the two versions. (I could not get my program to compile with the branch release310 (3.10.1+dev0 (2007-05-21)) due to a type error that ... ehm ... isn't really a type error ;-) ). 2. The bug occurs even when I have removed all calls to my C wrappers. Therefore, I believe this an OCaml issue. 3. The segfault always happens when switching between a pair of modules that come from the same functor with slightly different paramenters. I will continue trying to produce a small example to report to INRIA. Finally, I have received some very nice suggestions in private and I would like to thank those who have kindly sent them. best, Andres On 8/2/07, Markus Mottl wrote: > On 8/1/07, Andres Varon wrote: > > Has anyone observed sudden segfaults in OCaml 3.10.0 amd-64 under > > linux? > > I would almost bet it's that one: > > http://caml.inria.fr/mantis/view.php?id=4300 > > Avoid enabling native stack backtraces (i.e. don't set > OCAMLRUNPARAM=b=1). I haven't seen any segfaults yet unless these > were turned on in which case you may see them often. Native stack > backtraces unfortunately seem still broken. I was hopping it would be the case ,but no, I don't have > > Regards, > Markus > > -- > Markus Mottl http://www.ocaml.info markus.mottl@gmail.com >