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 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 80839BBAF for ; Tue, 22 Sep 2009 23:30:57 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoMBAC/fuEqE4zwCmWdsb2JhbACDApd3AQEBAQEICwoHE7wThBsFhy4 X-IronPort-AV: E=Sophos;i="4.44,433,1249250400"; d="scan'208";a="36622731" Received: from isis.lip6.fr ([132.227.60.2]) by mail1-smtp-roc.national.inria.fr with ESMTP; 22 Sep 2009 23:30:57 +0200 Received: from tibre.lip6.fr (tibre.lip6.fr [132.227.74.2]) by isis.lip6.fr (8.14.3/lip6) with ESMTP id n8MLUp8b016011 for ; Tue, 22 Sep 2009 23:30:52 +0200 (CEST) X-pt: isis.lip6.fr Received: from [127.0.0.1] (micmac [132.227.83.124]) by tibre.lip6.fr (8.14.3/8.13.3) with ESMTP id n8MLUpMY025739 for ; Tue, 22 Sep 2009 23:30:51 +0200 (MEST) From: Philippe Wang Content-Type: text/plain; charset=us-ascii; format=flowed; delsp=yes Content-Transfer-Encoding: 7bit Subject: OC4MC : OCaml for Multicore architectures Date: Tue, 22 Sep 2009 23:30:51 +0200 Message-Id: To: caml-list@inria.fr Mime-Version: 1.0 (Apple Message framework v1076) X-Mailer: Apple Mail (2.1076) X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.2.2 (isis.lip6.fr [132.227.60.2]); Tue, 22 Sep 2009 23:30:52 +0200 (CEST) X-Scanned-By: MIMEDefang 2.63 on 132.227.60.2 X-Spam: no; 0.00; ocaml:01 ocaml:01 runtime:01 chailloux:01 2009:98 blogs:98 2009:98 mathias:98 threads:01 threads:01 benjamin:01 implemented:02 bugs:03 library:03 parallel:05 This is some additional "noise" about "OCaml for Multicore architectures" (or "Ok with parallel threads GC"). ---------------------------- Dear list, We have implemented an alternative runtime library for OCaml, one that allows threads to compute in parallel on different cores of now widespread CPUs. This project will be presented at IFL 2009 (http://blogs.shu.edu/projects/IFL2009/ ). A testing version available online at http://www.algo-prog.info/ocmc/ It works with OCaml 3.10.2 for Linux x86-64bit, we haven't met any bugs with the latest build (it doesn't *unexpectedly* crash, not yet). Hope you'll enjoy, -- Mathias Bourgoin, Adrien Jonquet, Emmanuel Chailloux, Benjamin Canou, Philippe Wang