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 mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id BB241BBC4 for ; Sat, 18 Apr 2009 00:29:38 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgcEAMef6EmE4zwCgWdsb2JhbACWOQEBFiK4fIN9Bg X-IronPort-AV: E=Sophos;i="4.40,206,1238968800"; d="scan'208";a="38658745" Received: from isis.lip6.fr ([132.227.60.2]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 18 Apr 2009 00:29:38 +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 n3HMTanT007673 ; Sat, 18 Apr 2009 00:29:36 +0200 (CEST) X-pt: isis.lip6.fr Received: from [127.0.0.1] (micmac [132.227.83.124]) by tibre.lip6.fr (8.13.5.20060614/8.13.3) with ESMTP id n3HMTacY009947; Sat, 18 Apr 2009 00:29:36 +0200 (MEST) Cc: Philippe Wang , caml-list@inria.fr Message-Id: From: Philippe Wang To: Joel Reymont In-Reply-To: Content-Type: text/plain; charset=US-ASCII; format=flowed; delsp=yes Content-Transfer-Encoding: 7bit Mime-Version: 1.0 (Apple Message framework v930.3) Subject: Re: [Caml-list] "ok with parallel threads" GC (aka ocaml for multicore) Date: Sat, 18 Apr 2009 00:29:35 +0200 References: <50CD0BA8-B89C-49E2-9082-FFA037F251A6@lip6.fr> <9E5A9BDB-2A67-45DC-A963-AA45B7E1693B@lip6.fr> <5409216D-4094-424B-BEEE-3AC3701A87DD@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]); Sat, 18 Apr 2009 00:29:37 +0200 (CEST) X-Scanned-By: MIMEDefang 2.63 on 132.227.60.2 X-Spam: no; 0.00; ocaml:01 ocaml:01 trivial:01 runtime:01 trivial:01 intern:01 alignment:01 threads:01 wrote:01 wrote:01 emit:01 caml-list:01 seems:03 aka:04 fix:05 On Apr 18, 2009, at 00:20 CEDT, Joel Reymont wrote: > > On Apr 17, 2009, at 11:15 PM, Philippe Wang wrote: > >> PS. We tried to switch to 3.11, but it seems to need too much >> time, it's far from being a piece of cake. >> We have tried to make it work on Leopard (actually, I failed the >> 1st time - half the way, I may try again if I have time). > > > What was the problem with Leopard? We have our own amd64.S which is based on but quite different from ocaml 3.10 amd64.S. ocaml 3.11 has its amd64.S changed for Leopard. *And* we have made some small changes to emit.ml. Then, building the whole thing is not trivial. Building ocaml 3.10 with our modified runtime is not trivial with Linux x86_64 : we use an intern script that does it. Without it, it would need hours to build it. Adapting the script for Leopard is not trivial to do. But we think it's quite possible. Besides, it was late at night and I was sleepy and tired when I tried. Another answer is Leopard needs the changes made to amd64.S from 3.10 to 3.11, which mainly fix an alignment problem. -- Philippe Wang Philippe.Wang@lip6.fr http://www-apr.lip6.fr/~pwang/