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 278FCBC57 for ; Sun, 15 Aug 2010 14:12:56 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgQEAG92Z0w+BBFke2dsb2JhbACDFZ1LAQEWIgMfpyOQdoEmgyJzBA X-IronPort-AV: E=Sophos;i="4.55,371,1278280800"; d="scan'208";a="55440237" Received: from smtp-100-sunday.noc.nerim.net (HELO mallaury.nerim.net) ([62.4.17.100]) by mail3-smtp-sop.national.inria.fr with ESMTP; 15 Aug 2010 14:12:55 +0200 Received: from hector.lesours (ours.starynkevitch.net [213.41.244.95]) by mallaury.nerim.net (Postfix) with ESMTP id 7F388A105B; Sun, 15 Aug 2010 14:12:55 +0200 (CEST) Received: from glinka.lesours ([192.168.0.1]) by hector.lesours with esmtp (Exim 4.72) (envelope-from ) id 1Okc59-0005k8-82; Sun, 15 Aug 2010 14:12:55 +0200 Subject: Re: [Caml-list] More re GC hanging From: Basile Starynkevitch Reply-To: basile@starynkevitch.net To: Adrien Cc: Paul Steckler , caml-list@yquem.inria.fr In-Reply-To: References: <1281855821.2115.4.camel@glinka> <1281863810.2115.11.camel@glinka> Content-Type: text/plain; charset="UTF-8" Date: Sun, 15 Aug 2010 14:12:51 +0200 Message-ID: <1281874371.2115.15.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 0200,:01 bindings:01 bindings:01 zsh:01 space':01 cheers:01 faiencerie:01 92340:01 reine:01 garbage:01 wrote:01 caml-list:01 behaviour:01 On Sun, 2010-08-15 at 12:45 +0200, Adrien wrote: > > Finally, C bindings. I created a few while not having access to the > internet and they are quite dirty. I highly doubt they play perfectly > well with the garbage collector: they seem ok but probably aren't > perfect. That's definitely something to check, even if the bindings > were written by someone else because working nicely with the GC can be > quite hard. Then I suggest to post here a representative (rather complex) example of your C binding glue code. > > Also, on my computer, I have the following behaviour: > 11:44 ~ % sudo echo 0 > /proc/sys/kernel/randomize_va_space > zsh: permission denied: /proc/sys/kernel/randomize_va_space This is normal. The sudo applies to the echo command, not to the redirection. You want to redirect as root, not as the user, so sudo sh -c 'echo 0 > /proc/sys/kernel/randomize_va_space' should work. 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} ***