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=1.2 required=5.0 tests=AWL,DNS_FROM_RFC_ABUSE, SPF_NEUTRAL autolearn=disabled version=3.1.3 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 E3CABBB83 for ; Thu, 24 Aug 2006 21:06:29 +0200 (CEST) Received: from wr-out-0506.google.com (wr-out-0506.google.com [64.233.184.237]) by nez-perce.inria.fr (8.13.6/8.13.6) with ESMTP id k7OJ6SLS024277 for ; Thu, 24 Aug 2006 21:06:29 +0200 Received: by wr-out-0506.google.com with SMTP id i3so206409wra for ; Thu, 24 Aug 2006 12:06:28 -0700 (PDT) DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=tjG/U9zJIBDO8xWV/cpZ4vHzlnk4/dw/NI7At+gpJZU/uLkkX9Q2XIyCdd0TdHK1W0XaVFcvlC0GsByK66UDZ8sv089Os9DWJZO0Un/JOLzCzXPLVdcuyBR0RpfctCHcaEY3DWAyfWp5Vh2gZyzT0t7+n79DCkk9VNpn0zXxzDs= Received: by 10.90.105.20 with SMTP id d20mr463832agc; Thu, 24 Aug 2006 12:06:28 -0700 (PDT) Received: by 10.90.106.19 with HTTP; Thu, 24 Aug 2006 12:06:28 -0700 (PDT) Message-ID: Date: Thu, 24 Aug 2006 12:06:28 -0700 From: "Nathaniel Gray" To: skaller Subject: Re: [Caml-list] Re: Select on channels (again) Cc: "Jacques Garrigue" , caml-list@yquem.inria.fr In-Reply-To: <1156397869.16998.122.camel@rosella.wigram> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <20060822.172138.82692882.garrigue@math.nagoya-u.ac.jp> <1156314944.7834.46.camel@rosella.wigram> <1156397869.16998.122.camel@rosella.wigram> X-j-chkmail-Score: MSGID : 44EDF8B4.000 on nez-perce : j-chkmail score : X : 0/20 1 X-Miltered: at nez-perce with ID 44EDF8B4.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; semantics:01 bounded:01 bounded:01 ocaml:01 cheers:01 sourceforge:01 wrote:01 caml-list:01 functions:01 blocking:04 blocking:04 caltech:05 caltech:05 cases:08 useful:08 On 8/23/06, skaller wrote: > > IF you had some known semantics such as that > messages were of bounded length and transmitted > in bounded time .. select would be useful, since > blocking operations would block only for bounded time, > in which case they're not blocking at all. That's exactly what I'm talking about. There are plenty of cases where such assumptions are justified, including IPC on a single machine or communication on a small trusted network. Select on channels is no more or less useful than regular select, other than the fact that it makes it possible to use OCaml functions that only operate on channels. Cheers, -n8 -- >>>-- Nathaniel Gray -- Caltech Computer Science ------> >>>-- Mojave Project -- http://mojave.cs.caltech.edu -->