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: 2008-05-28 (11:18)
From: Damien Doligez <damien.doligez@i...>
Subject: Re: [Caml-list] Re: Where's my non-classical shared memory concurrency technology?

On 2008-05-27, at 11:34, Martin Berger wrote:

>>> Here I disagree. Shared  memory concurrency is a specific form
>>> of message passing: Writing to a memory cell is in fact sending
>>> a message to that cell carrying two items, the new value and a
>>> return channel that is used to inform the writer that sending
>>> has succeeded, and likewise for reading.
> But broadcasting is a form of message-passing too!

That wasn't my point.  My point was that there is no return channel.
If you want to know when your write is done, you have to use a lock
or a memory barrier.  Both are very expensive.

-- Damien