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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 83A79BC57 for ; Fri, 20 Aug 2010 17:21:48 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvsEAHc6bkxQRFuw/2dsb2JhbACgUHG8HYU3BA X-IronPort-AV: E=Sophos;i="4.56,239,1280700000"; d="scan'208";a="57604353" Received: from furbychan.cocan.org ([80.68.91.176]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 20 Aug 2010 17:21:48 +0200 Received: from rich by furbychan.cocan.org with local (Exim 4.63) (envelope-from ) id 1OmTPc-0006ku-Il; Fri, 20 Aug 2010 16:21:44 +0100 Date: Fri, 20 Aug 2010 16:21:44 +0100 To: Basile Starynkevitch Cc: Paul Steckler , caml-list@yquem.inria.fr Subject: Re: [Caml-list] More re GC hanging Message-ID: <20100820152144.GA25887@annexia.org> References: <1281855821.2115.4.camel@glinka> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <1281855821.2115.4.camel@glinka> User-Agent: Mutt/1.5.13 (2006-08-11) From: Richard Jones X-Spam: no; 0.00; 0200,:01 basile:01 steckler:01 verbose:01 ocaml:01 bug:01 ocaml:01 wrote:01 wrote:01 caml-list:01 kernel:02 kernel:02 sys:03 redhat:03 guess:04 On Sun, Aug 15, 2010 at 09:03:41AM +0200, Basile Starynkevitch wrote: > On Sun, 2010-08-15 at 15:57 +1000, Paul Steckler wrote: > > I haven't yet come up with a solution to the GC hanging problem I > > mentioned the other day. > > > > But here's something that looks funny. [..] > > > After turning on the Gc verbose option, I see: > > [...] > > !<>Sweeping 9223372036854775807 words > > Starting new major GC cycle > > Marking 9223372036854775807 words > > Subphase = 10 > > Sweeping 9223372036854775807 words > > > > Those are some big mark and sweep numbers at the end! > > I guess this is related to the fact that recent Linux kernel have turned > on the randomize virtual address space feature -designed to improve > system security. You could disable it by > echo 0 > /proc/sys/kernel/randomize_va_space > but first learn more about it. > > I believe recent Ocaml versions (did you try 3.12?) have GC improvements > for that. Would that be: https://bugzilla.redhat.com/show_bug.cgi?id=445545 (fixed in OCaml 3.11)? Rich. -- Richard Jones Red Hat