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 B1FAEBC57 for ; Sun, 15 Aug 2010 11:16:54 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgQEAPJMZ0w+BBFke2dsb2JhbACDFZ1KAQEWIgMfpWCQc4EmgyJzBA X-IronPort-AV: E=Sophos;i="4.55,370,1278280800"; d="scan'208";a="57111694" Received: from smtp-100-sunday.noc.nerim.net (HELO mallaury.nerim.net) ([62.4.17.100]) by mail2-smtp-roc.national.inria.fr with ESMTP; 15 Aug 2010 11:16:54 +0200 Received: from hector.lesours (ours.starynkevitch.net [213.41.244.95]) by mallaury.nerim.net (Postfix) with ESMTP id 13BA3A1053; Sun, 15 Aug 2010 11:16:54 +0200 (CEST) Received: from glinka.lesours ([192.168.0.1]) by hector.lesours with esmtp (Exim 4.72) (envelope-from ) id 1OkZKn-0001Xk-S9; Sun, 15 Aug 2010 11:16:53 +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: <1281855821.2115.4.camel@glinka> Content-Type: text/plain; charset="UTF-8" Date: Sun, 15 Aug 2010 11:16:50 +0200 Message-ID: <1281863810.2115.11.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 emacs:01 ocaml:01 camlparam:01 ocaml:01 cheers:01 faiencerie:01 92340:01 reine:01 garbage:01 wrote:01 caml-list:01 caml:02 On Sun, 2010-08-15 at 18:40 +1000, Paul Steckler wrote: > > 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. > > For some reason, I was able to edit that file using emacs, even when > echo wouldn't work. To check that it did work as expected (which I doubt) do cat /proc/sys/kernel/randomize_va_space it should give 0 > > But the hanging problem persists. Are you sure that you don't have badly coded C routines that you call from your Ocaml code (don't forget correct use of CAMLparam & CAMLlocal, read again carefully http://caml.inria.fr/pub/docs/manual-ocaml/manual032.html and perhaps other material about precise garbage collectors). Are you sure you don't have a memory leak in your Ocaml code? This could happen when a reference value refers to a "big" value you don't need anymore. 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} ***