From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 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 F1905BBC4 for ; Tue, 14 Apr 2009 12:21:40 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsEDALcA5EmE4zwCgWdsb2JhbACWDAEBFiK4EYN8Bg X-IronPort-AV: E=Sophos;i="4.40,183,1238968800"; d="scan'208";a="26210405" Received: from isis.lip6.fr ([132.227.60.2]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 14 Apr 2009 12:21:40 +0200 Received: from tibre.lip6.fr (tibre.lip6.fr [132.227.74.2]) by isis.lip6.fr (8.13.5.20060614/lip6) with ESMTP id n3EALcuR018717 ; Tue, 14 Apr 2009 12:21:38 +0200 (CEST) X-pt: isis.lip6.fr Received: from [192.168.2.27] (micmac [132.227.83.124]) by tibre.lip6.fr (8.13.5.20060614/8.13.3) with ESMTP id n3EALc0K025594; Tue, 14 Apr 2009 12:21:38 +0200 (MEST) Cc: Philippe Wang , caml-list@inria.fr Message-Id: From: Philippe Wang To: forum@x9c.fr In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1; format=flowed; delsp=yes Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Apple Message framework v930.3) Subject: Re: [Caml-list] "ok with parallel threads" GC (aka ocaml for multicore) Date: Tue, 14 Apr 2009 12:21:41 +0200 References: <50CD0BA8-B89C-49E2-9082-FFA037F251A6@lip6.fr> X-Mailer: Apple Mail (2.930.3) X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.0.1 (isis.lip6.fr [132.227.60.2]); Tue, 14 Apr 2009 12:21:38 +0200 (CEST) X-Scanned-By: MIMEDefang 2.63 on 132.227.60.2 X-Spam: no; 0.00; ocaml:01 patched:01 ocaml:01 runtime:01 runtime:01 patched:01 ocamlopt:01 bug:01 bug:01 10,:98 decreased:98 threads:01 garbage:01 wrote:01 partial:01 On Apr 10, 2009, at 20:36 CEDT, forum@x9c.fr wrote: > Would it be correct to assume that the current state of the project > implies that you have patched the OCaml runtime to make it > fully reentrant ? Is this following partial answer relevant enough ? The garbage collector is clearly separated from the rest of the =20 runtime library: the GC is contained in a libgc.a and our patched =20 ocamlopt links programs to this GC. The GC variables are known by the =20= GC only. > If so, is this code/patch available for download ? Officially, not yet (and not before April 20th). We did not expect the debugging part to be so complex and hard, and =20 taking so long. The man power dramatically decreased in late September : the 2 =20 Master's students went back to Master's courses, and the 3 supervisors =20= had to do research in parallel with teaching. Some major bug fixes were made in February/March, a lot of major bug =20 fixes were made in April (yes, these last 2 weeks). You know, bugs hiding other bugs... however we are hopefully getting =20 close to the fix point: today there is no known bug ! :-) Unsupported features are - of course - not considered as bugs. For =20 instance, posix signals are (currently) not supported. And, as =20 parallel computing *potentially* requires quite a lot more memory, =20 some programs can easily end up in a blocked state when the heap =20 becomes full: our GC (currently) uses (parameterized) fixed size pages =20= and heap. The next days, we will concentrate on making benchmarks (if you have =20 some relevant testing programs, they are welcome), and if we don't =20 discover new bugs then we will focus on (finishing) writing a =20 documentation and a building script, for the release. If we release as such now, we will have too much support to do because =20= of the lack of documentation. So it's not quite a good idea... When we have the minimal-but-sufficient documentation, we will make =20 the release :-) In parallel, we try to make it work with OS X Leopard 64 bit and/or =20 ocaml 3.11 (currently we only support 3.10.2 - Linux x86_64). > Anyway, wholehearted respect for undertaking such a complex project. > Good luck in your bug-chasing tasks ! Thanks. -- Philippe Wang Philippe.Wang \at/ lip6.fr N.B. I hope we will not discover new bugs in our amd64.S, our assembly =20= guru is enjoying (abroad with no www) his "vacances de p=E2ques"...=