Archives of the Caml mailing list > Message from Eijiro Sumii

Browse thread

select (or polling) on in_channel?

Eijiro Sumii
- Gerd Stolpmann
  - Eijiro Sumii
- Christoph Bauer
  - Eijiro Sumii
    - Eijiro Sumii
    - Alex Baretta
      - Eijiro Sumii
        
        Alex Baretta
        
        Eijiro Sumii
        
        Richard Jones
        
        Eijiro Sumii

Date:	-- (:)
From:	Eijiro Sumii <eijiro_sumii@a...>
Subject:	Re: [Caml-list] select (or polling) on in_channel?

From: "Alex Baretta" <alex@barettadeit.com>
> Static determination of potential deadlocks in a message passing 
> environment like that implemented in Event amounts to proving that a 
> graph is cyclic.

Er, I believe I know it very well...:-) You might want to read our
papers

  - An Implicitly-Typed Deadlock-Free Process Calculus (CONCUR 2000)

and

  - A Generalized Deadlock-Free Process Calculus (HLCL 98)

linked from:

  http://www.cis.upenn.edu/~sumii/pub/

> Selecting amounts to manual threading: it gives you more control, but 
> not necessarily any more safety.

I'm afraid I disagree here: select _can_ be used for multi-threading,
but can also be used for things that are much easier than
multi-threading (which is my case as explained before).

Regards,

--
Eijiro Sumii (http://www.cis.upenn.edu/~sumii/)
Department of Computer and Information Science, University of Pennsylvania