From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 0EB547EC41 for ; Tue, 16 Oct 2012 17:11:03 +0200 (CEST) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of dhouse@janestreet.com) identity=pra; client-ip=38.105.200.112; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="dhouse@janestreet.com"; x-sender="dhouse@janestreet.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of dhouse@janestreet.com designates 38.105.200.112 as permitted sender) identity=mailfrom; client-ip=38.105.200.112; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="dhouse@janestreet.com"; x-sender="dhouse@janestreet.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@nyc-dmz-mxout1.janestreet.com) identity=helo; client-ip=38.105.200.112; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="dhouse@janestreet.com"; x-sender="postmaster@nyc-dmz-mxout1.janestreet.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgoBALt3fVAmachwl2dsb2JhbAArGr95KwEBAQEBBhgHO4IgAQEBBBICLAEBNwEPCwsDCi4iEgEFARwGEwgah2IDAQcsnDMJA4prgymBCgEFjzgGi0+GPZVugRWKCoMyFimEEIIW X-IronPort-AV: E=Sophos;i="4.80,593,1344204000"; d="scan'208";a="177479508" Received: from mx1.janestreet.com (HELO nyc-dmz-mxout1.janestreet.com) ([38.105.200.112]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 16 Oct 2012 17:11:02 +0200 Received: from nyc-qsv-mail1.delacy.com ([172.25.22.57]) by nyc-dmz-mxout1.janestreet.com with esmtp (Exim 4.76) (envelope-from ) id 1TO8nM-00054F-66 for caml-list@inria.fr; Tue, 16 Oct 2012 11:11:00 -0400 Received: from nyc-dmz-mxgoog1.delacy.com ([172.25.224.109] helo=mxgoog1.janestreet.com) by nyc-qsv-mail1.delacy.com with esmtps (TLSv1:AES256-SHA:256) (Exim 4.76) (envelope-from ) id 1TO8nM-00063m-4d for caml-list@inria.fr; Tue, 16 Oct 2012 11:11:00 -0400 Received: from mail-we0-f182.google.com ([74.125.82.182]) by mxgoog1.janestreet.com with esmtp (Exim 4.76) (envelope-from ) id 1TO8nM-00031q-0b for caml-list@inria.fr; Tue, 16 Oct 2012 11:11:00 -0400 Received: by mail-we0-f182.google.com with SMTP id x43so5944735wey.27 for ; Tue, 16 Oct 2012 08:10:59 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=janestreet.com; s=google; h=mime-version:x-originating-ip:in-reply-to:references:date :message-id:subject:from:to:cc:content-type; bh=dFncfmbdU5aTgoko745x5BM+17+9a/aib66Gam1sExU=; b=NRNm1AiA1KSsqBfhTVNu7e+asyKxgF+nPVfe93YCmmRGOhKcIqFRky1n94pAfAstAo NR7UVSupHR2F5EA47xbY4a2d4qPp6mWC6N0F+WTTx54VeO3KHvD248CS6+s5tfE3ytHO 6KuKJbcouo46AIC9dxzv1DiqmovdppSh12kno= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20120113; h=mime-version:x-originating-ip:in-reply-to:references:date :message-id:subject:from:to:cc:content-type:x-gm-message-state; bh=dFncfmbdU5aTgoko745x5BM+17+9a/aib66Gam1sExU=; b=nqIZa8GpeNjrjYpeVFsueNb0RreFbTi81Pwf6J8rUtYWuyk3UrLXIdPDfSaMV9SHAl 3npVgLRuiYGR8VK+XAMC+ZCvEXbI9YM3+o44W7GByUpYwKbHXlu2nXo4pluh2aYDzr4J XZjzmoRlZaTdOVEtnY6W1ndHWghfMzGKRb+3OZ1e6rQN5oqEMVLhiqdS9aSqGB93sNBq ey344wOqO+JCAPGk4+JsG76/Z55Y3HKdLFG35IEvTQx//ZSQrycsMkPaVwkbahAlliH9 HA6wI9yRArbMEldJPyYJlNQup34Pu6qjQTUL8dWtzH/OwLdXWxvmGEYkD95p8i6G+LVE ldlA== MIME-Version: 1.0 Received: by 10.180.104.97 with SMTP id gd1mr32640587wib.4.1350400259397; Tue, 16 Oct 2012 08:10:59 -0700 (PDT) Received: by 10.180.145.104 with HTTP; Tue, 16 Oct 2012 08:10:59 -0700 (PDT) X-Originating-IP: [80.169.196.210] In-Reply-To: References: Date: Tue, 16 Oct 2012 16:10:59 +0100 Message-ID: From: David House To: Lin Hong Cc: "caml-list@inria.fr" Content-Type: text/plain; charset=ISO-8859-1 X-Gm-Message-State: ALoCoQlVn1Fg8+NSifm5ThEaaCfFubDhplgUc3TYc4WqFgwDMGboq8ecqpGNuJFDBsBifuyO0MT8 Subject: Re: [Caml-list] Segmentation fault from Array.append Segfaults in the GC are often the fault of random heap corruption. Are you using any C stubs that might be at fault here? Is the fault reproducable? On Tue, Oct 16, 2012 at 4:08 PM, Lin Hong wrote: > Hi, all > > we got a Segmentation fault with Ocaml 4.0.0 and 4.0.1 from append function > of Array. gdb traceback give us this: > > Program received signal EXC_BAD_ACCESS, Could not access memory. > Reason: KERN_INVALID_ADDRESS at address: 0x0000000107b65000 > 0x0000000100488840 in mark_slice () > (gdb) backtrace > #0 0x0000000100488840 in mark_slice () > #1 0x0000000100489216 in caml_major_collection_slice () > #2 0x000000010048984c in caml_check_urgent_gc () > #3 0x000000010048f26d in caml_array_gather () > #4 0x000000010048f42e in caml_array_append () > #5 0x00000001003ef216 in .L363 () > Previous frame inner to this frame (gdb could not unwind past this frame) > (gdb) > > looks like the error is from array.c > > we don't see this problem with Ocaml3.X.X, they have different array > function in the cside anyway. > > Does anyone else have similar problem like this? > > > Thanks in advance for any suggestions. > > Cheers, > Lin Hong > American Museum of Natural History > POY website : > https://code.google.com/p/poy/ > http://research.amnh.org/scicomp/scripts/download.php