From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id AE093BCAB for ; Tue, 31 May 2005 03:15:39 +0200 (CEST) Received: from smtp-1.hut.fi (smtp-1.hut.fi [130.233.228.91]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j4V1Fcxj001045 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Tue, 31 May 2005 03:15:39 +0200 Received: from localhost (katosiko.hut.fi [130.233.228.115]) by smtp-1.hut.fi (8.12.10/8.12.10) with ESMTP id j4V1Fcd3018170 for ; Tue, 31 May 2005 04:15:38 +0300 Received: from smtp-1.hut.fi ([130.233.228.91]) by localhost (katosiko.hut.fi [130.233.228.115]) (amavisd-new, port 10024) with LMTP id 24653-14-2 for ; Tue, 31 May 2005 04:15:38 +0300 (EEST) Received: from vipunen.hut.fi (vipunen.hut.fi [130.233.228.9]) by smtp-1.hut.fi (8.12.10/8.12.10) with ESMTP id j4V1FRFL018149 for ; Tue, 31 May 2005 04:15:27 +0300 Received: (from sliedes@localhost) by vipunen.hut.fi (8.12.10/8.12.9/Submit) id j4V1FQ7R008217 for caml-list@yquem.inria.fr; Tue, 31 May 2005 04:15:26 +0300 (EEST) Received: by sk2-4.tky.hut.fi (hashcash-sendmail, from uid 1000); Tue, 31 May 2005 04:15:30 +0300 Date: Tue, 31 May 2005 04:15:30 +0300 From: Sami Liedes To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Assertion failure in ocamlrund Message-ID: <20050531011530.GJ4700@sk2-4.tky.hut.fi> Mail-Followup-To: caml-list@yquem.inria.fr References: <20050527192631.GF4700@sk2-4.tky.hut.fi> Mime-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="t4apE7yKrX2dGgJC" Content-Disposition: inline In-Reply-To: <20050527192631.GF4700@sk2-4.tky.hut.fi> User-Agent: Mutt/1.5.9i X-Hashcash: 1:24:050531:caml-list@yquem.inria.fr::gavZN58P07EkvJ6K:0000000000000 000000000000000000000000KiRY X-TKK-Virus-Scanned: by amavisd-new-2.1.2-hutcc at katosiko.hut.fi X-Miltered: at nez-perce with ID 429BBABA.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 assertion:01 ocamlrund:01 ocamlrun:01 segfault:01 uncaught:01 debugging:01 freelist:01 assertion:01 ocamlrun:01 ocamlrund:01 segfaults:01 runtime:01 unhandled:01 backtrace:01 X-Attachments: type="application/pgp-signature" name="signature.asc" X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.2 X-Spam-Level: --t4apE7yKrX2dGgJC Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Fri, May 27, 2005 at 10:26:31PM +0300, Sami Liedes wrote: > After having ocamlrun segfault on my program (only when running with > OCAMLRUNPARAM=3Db, without b it reports an uncaught Not_found exception) > I compiled the debugging version of it, and this is what I get: >=20 > file freelist.c; line 123 ### Assertion failed: wo_sz >=3D 1 Hi again, I think I have narrowed down at least part of the problem now. It is related to a file descriptor leak in the code; why this would cause the above-mentioned assertion failure, I don't know, but I'd guess it's not handled somewhere (symbol loading?). Or perhaps that assertion failure is unrelated to the crash that happens when running the non-debug version of ocamlrun with OCAMLRUNPARAM=3Db. Somehow it seems that ocamlrund gets the assertion failure _much_ quicker than the non-debug version segfaults. Apparently this also causes the confusing claim by the runtime that in the event of an unhandled exception a backtrace cannot be produced because the program was compiled without debug symbols. Sami --t4apE7yKrX2dGgJC Content-Type: application/pgp-signature; name="signature.asc" Content-Description: Digital signature Content-Disposition: inline -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.1 (GNU/Linux) iD8DBQFCm7qyyc0QC7DZBM8RAo+JAKC+6t8hifJStiRnh1CQCScW288/tQCgvYXm 9nYasEwcP53tx0QF6vKWvfA= =4ZJY -----END PGP SIGNATURE----- --t4apE7yKrX2dGgJC--