Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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" <>
> 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

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


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

linked from:

> 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).


Eijiro Sumii (
Department of Computer and Information Science, University of Pennsylvania