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
Where's my non-classical shared memory concurrency technology?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Martin Berger <M.Berger@d...>
Subject: Re: [Caml-list] Re: Where's my non-classical shared memory concurrency technology?
> In short, with monadic threads, you can safely invoke non-concurrent 
> code from concurrent code.  (The inverse
> can be dangerous - but you usually don't do this anyway since you will 
> end up optaining an 'a Lwt.t).

In my experience that rarely works, in the sense of scaling to code of
significant size.

Such code must be written with the concurrency mechanism at the forefront
from the start.

I don't agree that event based mechanisms prevent syncronisation bugs
or consistency bugs as you call them, but the issue has already been
taken up by others in this thread, so I shall keep this message short.