Version française
Home     About     Download     Resources     Contact us    
Browse thread
select (or polling) on in_channel?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
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