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
Smart ways to implement worker threads
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2010-07-15 (16:19)
From: David McClain <dbm@r...>
Subject: Re: [Caml-list] Smart ways to implement worker threads
I have to second the motion to read and understand Reppy's fine book.  
However, be aware that CML was based on an architecture of spaghetti  
threads, where new tasks can be spawn with little or no cost, and the  
GC was responsible for reclaiming dead threads.

That is not the same as OCaml's architecture, and so OCaml can  
implement about 90% of CML but that last 10% might kill your dreams.  
CML likes to spawn potential handlers, of which only one will get the  
go ahead. The others are expected to die, after possibly cleaning up  
state. In this regard, CML is more akin to Erlang.

Dr. David McClain
Chief Technical Officer
Refined Audiometrics Laboratory
4391 N. Camino Ferreo
Tucson, AZ  85750

phone: 1.520.390.3995