From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 18DB2BBAF for ; Sun, 22 Aug 2010 15:02:29 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AucBAKa8cEzRVdQ0kGdsb2JhbACgKwgVAQEBAQkJDAcRAx+eeYkYghOFCC6IVAEBAwWFMgSJdg X-IronPort-AV: E=Sophos;i="4.56,251,1280700000"; d="scan'208";a="55884093" Received: from mail-vw0-f52.google.com ([209.85.212.52]) by mail3-smtp-sop.national.inria.fr with ESMTP; 22 Aug 2010 15:02:28 +0200 Received: by vws14 with SMTP id 14so5111437vws.39 for ; Sun, 22 Aug 2010 06:02:28 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:received:in-reply-to :references:date:message-id:subject:from:to:cc:content-type; bh=fOgBmVVR+mZ+6ua9XnTHG3JH9pzALfPzSrlG5J8H5lw=; b=oRkpwp62reqrd2yct45gSc32PBXjBRx1h6KzgFySNAZtY5DrU+pCmMaFCioA75yZRH 0Mb88/n1jO2ODQo7L1APOtM9m4Z05GX3m8tk1U6XFaJmFb/CDcmuFJChO6JK4CLkA6VK GJALJiFQeI+t1JdsMvoE6qOPk/u6J22yluu0o= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; b=k4vejowQkiSP04wPe6u/mYWbmShycdWyKF3emQT0lkc8ZLHSWFjUh0tFsLYV3QEeVV ABzfnkOZGqZNEeOb4utYWcGqTPQcNFsuUIWkvzZ9ubjW6UD6DM8uR4vKWQjzdYbaKKst 1nevGqA8TgOYBC3YT2gXzKRi7OhKtRsrdP/Gs= MIME-Version: 1.0 Received: by 10.220.124.198 with SMTP id v6mr2416574vcr.27.1282482147914; Sun, 22 Aug 2010 06:02:27 -0700 (PDT) Received: by 10.220.186.201 with HTTP; Sun, 22 Aug 2010 06:02:27 -0700 (PDT) In-Reply-To: References: <1281855821.2115.4.camel@glinka> <20100820152144.GA25887@annexia.org> Date: Sun, 22 Aug 2010 15:02:27 +0200 Message-ID: Subject: Re: [Caml-list] More re GC hanging From: Adrien To: Eray Ozkural Cc: Richard Jones , Basile Starynkevitch , Paul Steckler , caml-list@yquem.inria.fr Content-Type: text/plain; charset=ISO-8859-1 X-Spam: no; 0.00; basile:01 bindings:01 ocaml:01 bindings:01 bug:01 ocaml:01 caml-list:01 argument:02 argument:02 string:02 string:02 seems:03 reproduce:03 ugly:04 guess:04 David and Basile, you are absolutely right about the redirection issue. It also pretty obvious actually. I guess I need to pay more attention. Back to the original problem, I thought I had somehow gotten rid of it but it still happens on someone else's computer. Calling 'Gc.compact' regularly seems to work around the problem but calling 'Array.make' might actually have the same effect: it might not fix the problem, only prevent it from being triggered. I'll try to reproduce it this week. Also, I found out that I had a pretty ugly error in my C bindings but it looks like it had no bad impact. Basically, I had 'external ml_f : *string* -> string array' but the C side read 'value ml_f()': the C function took *no* argument while ocaml was passing one (I wasn't actually using the argument). Has anything been developped against that? Anything to warn about errors in bindings? Finally, I don't think it has to do with the bug on 64bit systems with ASLR, at least not directly: I'm using ocaml 3.11.2 and tried with ASLR disabled. But I need to make a reproducer: the very high word count did not always show up (although the out-of-memory error always did). --- Adrien Nader