From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 25056BBAF for ; Mon, 21 Dec 2009 14:07:25 +0100 (CET) X-IronPort-AV: E=Sophos;i="4.47,430,1257116400"; d="scan'208";a="39118664" Received: from macabane.inria.fr ([128.93.8.160]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/AES128-SHA; 21 Dec 2009 14:07:25 +0100 Message-Id: <527EB579-F4D8-4152-B4B7-09398BA1210B@inria.fr> From: Damien Doligez To: caml-list In-Reply-To: Content-Type: text/plain; charset=US-ASCII; format=flowed Content-Transfer-Encoding: 7bit Mime-Version: 1.0 (Apple Message framework v936) Subject: Re: [***SPAM*** Score/Req: 10.1/8.0] Re: [Caml-list] Re: OCaml is broken Date: Mon, 21 Dec 2009 14:07:24 +0100 References: <4B2D2BC1.6020204@msu.edu> <200912200443.57698.jon@ffconsultancy.com> X-Mailer: Apple Mail (2.936) X-Spam: no; 0.00; damien:01 damien:01 ocaml:01 ocaml:01 runtime:01 model:01 req:98 2009:98 20,:98 doligez:01 doligez:01 wrote:01 caml-list:01 erik:04 instances:06 On 2009-12-20, at 13:21, Erik Rigtorp wrote: > The first step for OCaml would be to be able to run multiple > communicating instances of the runtime bound to one core each in one > process and have them communicate via lock free queues. Does anyone know how to do lock-free queues in a weakly-consistent memory model? -- Damien