From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 8521ABC57 for ; Sat, 21 Aug 2010 01:31:01 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Am4DAKWsbkzRVda0kGdsb2JhbACSf4UziAAIFQEBAQEJCQwHEQMfoESJGIIThh8uiFQBAQMFhTIEgVaCWYVE X-IronPort-AV: E=Sophos;i="4.56,242,1280700000"; d="scan'208";a="68044625" Received: from mail-iw0-f180.google.com ([209.85.214.180]) by mail4-smtp-sop.national.inria.fr with ESMTP; 21 Aug 2010 01:31:01 +0200 Received: by iwn6 with SMTP id 6so3739689iwn.39 for ; Fri, 20 Aug 2010 16:30:59 -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=lYLGc9RYqLb6aK7EifTzWPp4pwGwaOVoWeGobTLUBzU=; b=YzbBawDqj0ykZ1va1zevR4DPrblpdgySx321Q8pMUfk+iWGkfnfaLsluaQ7sInE/lQ l5WMu/3ehrUGvhAM+z7my1DwtPsxGe3/aihCuDmAhkn/IN5lq5mCe+leqXGPzdA7B4o5 yWYhSL3xdMe7OhAYIcrslhkOL+K9otJ/uEVVE= 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=Co3GA/nNJLvxq0R/l2hmgWgjlzfwbJW0mdbxXlWBROQ7sdgh9x6T9edirTKgjOwFDH 364fMD8zSabD3PlazrlDrXduNyBMKEiNNRicVtfOF9Ii32IA34xTzuZYwkijWXbOAuOB ZqDd+nAJONkyEROOnwn2Ul+zgGhzWTnPZfs2w= MIME-Version: 1.0 Received: by 10.231.146.136 with SMTP id h8mr2355977ibv.0.1282347059898; Fri, 20 Aug 2010 16:30:59 -0700 (PDT) Received: by 10.231.111.132 with HTTP; Fri, 20 Aug 2010 16:30:59 -0700 (PDT) In-Reply-To: <20100820152144.GA25887@annexia.org> References: <1281855821.2115.4.camel@glinka> <20100820152144.GA25887@annexia.org> Date: Sat, 21 Aug 2010 02:30:59 +0300 Message-ID: Subject: Re: [Caml-list] More re GC hanging From: Eray Ozkural To: Richard Jones Cc: Basile Starynkevitch , Paul Steckler , caml-list@yquem.inria.fr Content-Type: multipart/alternative; boundary=0016e6475716fbed0c048e49b058 X-Spam: no; 0.00; eray:01 ozkural:01 0200,:01 basile:01 steckler:01 ocaml:01 bug:01 ocaml:01 bug:01 cheers:01 eray:01 ozkural:01 bilkent:01 0200,:01 basile:01 --0016e6475716fbed0c048e49b058 Content-Type: text/plain; charset=ISO-8859-1 On Fri, Aug 20, 2010 at 6:21 PM, Richard Jones wrote: > > 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. > > > > > > 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. > On many systems old versions of ocaml are shipped. In debian stable there is a pretty old version (10.x?), which is quite frustrating IMHO. At any rate, bug reporters must always indicate which ocaml version they're using. Cheers, -- Eray Ozkural, PhD candidate. Comp. Sci. Dept., Bilkent University, Ankara http://groups.yahoo.com/group/ai-philosophy --0016e6475716fbed0c048e49b058 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable On Fri, Aug 20, 2010 at 6:21 PM, Richard Jones <rich@annexia.org> wrote:

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 probl= em I
> > mentioned the other day.
> >
=A0
> I believe recent Ocaml versions (did you try 3.12?) have GC improvemen= ts
> for that.

Would that be:
https://bugzilla.redhat.com/show_bug.cgi?id=3D445545
(fixed in OCaml 3.11)?

Rich.
=A0

On many systems old versions of ocaml are shipp= ed. In debian stable there is a pretty old version (10.x?), which is quite = frustrating IMHO. At any rate, bug reporters must always indicate which oca= ml version they're using.

Cheers,

=A0
--
= Eray Ozkural, PhD candidate.=A0 Comp. Sci. Dept., Bilkent University, Ankar= a
http://groups.= yahoo.com/group/ai-philosophy
=A0 --0016e6475716fbed0c048e49b058--