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
Parallelism with threads
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2008-01-08 (20:00)
From: Brian Hurt <bhurt@j...>
Subject: Re: [Caml-list] Parallelism with threads
Daniel Andor wrote:

>On Jan 8, 2008 9:56 AM, Jon Harrop <> wrote:
>>Is it possible to compute in parallel using separate threads rather than
>>separate processes in OCaml, i.e. having multiple threads sharing multiple
>>independent GCs?
>I often wonder about that myself.  I'd like to do very simple OpenMP
>style multi-threaded processing.  OcamlP3 is promising, although it is
>much more heavyweight.
>Does Xavier's "standard lecture on parallelism" still apply?:

Actually, something that might be nice to see, now that the flat page 
table has been replaced with a heap that can handle disjoint heap 
spaces, is to allow multiple different Ocaml runtimes to be running in 
seperate threads in the same process.
The heaps wouldn't be able to see each other, but they'd be able to 
communicate via light weight (and strongly typed) message passing, and 
you wouldn't have to dink around with sockets, pipes, MPI, or simiar 
"heavy weight" solutions, so it'd be simpler, and possibly faster.  This 
is not unlike the Erlang model, in fact.