Re: [Caml-list] Re: Where's my non-classical shared memory concurrency technology?

2008-05-19 Thread Martin Berger
Jon Harrop wrote: Similarly, avoiding threads removes concurrency bugs... I don't believe you have removed any concurrency bugs. I think you just pushed them around a bit. I couldn't agree more. If you 'avoid' concurrency by writing your own 'sequential' event handling code, you have not

Re: [Caml-list] Re: Where's my non-classical shared memory concurrency technology?

2008-05-19 Thread Jon Harrop
On Monday 19 May 2008 15:09:04 Gerd Stolpmann wrote: On the contrary: Shared memory parallelization has the fundamental disadvantage that you cannot reason about it, I have been reasoning about shared memory parallel programs for many years. and so the only way of checking the quality of the

Re: [Caml-list] Re: Where's my non-classical shared memory concurrency technology?

2008-05-19 Thread Berke Durak
On Mon, May 19, 2008 at 11:47 PM, Jon Harrop [EMAIL PROTECTED] wrote: There are two problems with what you wrote in this context: 1. You are replying to a thread about shared-memory parallelism with a discussion of sequential concurrency, which is completely different. 2. You keep saying

Re: [Caml-list] Re: Where's my non-classical shared memory concurrency technology?

2008-05-19 Thread Raoul Duke
If the answer is STM, please show me some non-trivial application that uses it, preferably in an impure language. yes, that would be interesting to see. presumably the example would have to come from Haskell, Clojure, or classically some SQL database? i am under the impression that STM is