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 nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id C41FEBB81 for ; Tue, 27 Sep 2005 17:24:13 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j8RFODrm003293 for ; Tue, 27 Sep 2005 17:24:13 +0200 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id RAA31402 for ; Tue, 27 Sep 2005 17:24:12 +0200 (MET DST) Received: from mercure.iro.umontreal.ca (mercure.iro.umontreal.ca [132.204.24.67]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j8RFOBib003286 for ; Tue, 27 Sep 2005 17:24:12 +0200 Received: from hidalgo.iro.umontreal.ca (hidalgo.iro.umontreal.ca [132.204.27.50]) by mercure.iro.umontreal.ca (Postfix) with ESMTP id 78CDA2CF5FE; Tue, 27 Sep 2005 11:24:11 -0400 (EDT) Received: from asado.iro.umontreal.ca (asado.iro.umontreal.ca [132.204.24.84]) by hidalgo.iro.umontreal.ca (Postfix) with ESMTP id 5276B4AC00A; Tue, 27 Sep 2005 11:24:01 -0400 (EDT) Received: by asado.iro.umontreal.ca (Postfix, from userid 20848) id 46C2DF69C4; Tue, 27 Sep 2005 11:24:01 -0400 (EDT) Message-ID: To: Brian Hurt Cc: skaller , caml-list Subject: Re: [Caml-list] Re: Ant: Efficiency of let/and References: <20050926043240.24009.qmail@web26809.mail.ukl.yahoo.com> <87hdc724wo.fsf-monnier+gmane.comp.lang.caml.inria@gnu.org> <1127800374.31518.167.camel@rosella> From: Stefan Monnier Date: Tue, 27 Sep 2005 11:24:00 -0400 In-Reply-To: (Brian Hurt's message of "Tue, 27 Sep 2005 08:06:30 -0500 (CDT)") User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.0.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-DIRO-MailScanner-Information: Please contact the ISP for more information X-DIRO-MailScanner: Found to be clean X-DIRO-MailScanner-SpamCheck: n'est pas un polluriel, SpamAssassin (score=-4.847, requis 5, autolearn=not spam, AWL 0.05, BAYES_00 -4.90) X-MailScanner-From: monnier@iro.umontreal.ca X-Miltered: at nez-perce with ID 4339641D.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 4339641B.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 umontreal:01 let:03 problem:05 problem:05 theory:07 theory:07 efficiency:07 practice:07 think:11 isn't:13 there:17 there:17 code:17 write:17 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 > chips, etc.). The problem is that the theory on how to write race > condition/deadlock/livelock -free code isn't there, to my knowledge I think the theory is pretty much there. The problem is to put it into practice. Stefan