From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 D6F55BC57 for ; Sun, 15 Aug 2010 09:03:44 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmcEAIstZ0w+BBFqYmdsb2JhbACDFZ1BIiUfpiqQZ4EmgyJzBA X-IronPort-AV: E=Sophos;i="4.55,370,1278280800"; d="scan'208";a="55431271" Received: from smtp-106-saturday.noc.nerim.net (HELO mallaury.nerim.net) ([62.4.17.106]) by mail3-smtp-sop.national.inria.fr with ESMTP; 15 Aug 2010 09:03:44 +0200 Received: from hector.lesours (ours.starynkevitch.net [213.41.244.95]) by mallaury.nerim.net (Postfix) with ESMTP id DDBEBA105B; Sun, 15 Aug 2010 09:03:43 +0200 (CEST) Received: from glinka.lesours ([192.168.0.1]) by hector.lesours with esmtp (Exim 4.72) (envelope-from ) id 1OkXFv-0000qz-NN; Sun, 15 Aug 2010 09:03:43 +0200 Subject: Re: [Caml-list] More re GC hanging From: Basile Starynkevitch Reply-To: basile@starynkevitch.net To: Paul Steckler Cc: caml-list@yquem.inria.fr In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Date: Sun, 15 Aug 2010 09:03:41 +0200 Message-ID: <1281855821.2115.4.camel@glinka> Mime-Version: 1.0 X-Mailer: Evolution 2.28.3 Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; basile:01 basile:01 steckler:01 verbose:01 ocaml:01 cheers:01 faiencerie:01 92340:01 reine:01 wrote:01 caml-list:01 8501:02 2359:02 kernel:02 kernel:02 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. Cheers. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basilestarynkevitchnet mobile: +33 6 8501 2359 8, rue de la Faiencerie, 92340 Bourg La Reine, France *** opinions {are only mine, sont seulement les miennes} ***