David Teller wrote:
IIRC, there are already type systems which may prevent deadlocks in
pi-calculus.
This is true but (1) these typing systems are quite complicated
and it will take heroic educational efforts to push such
new typing systems into programming mainstream; (2) these typing
Gerd Stolpmann wrote:
I cannot agree. Just use Ocamlnet! Or other libraries doing it for you.
OK I was speaking carelessly. Of course one can use libraries for
e.g. event-handling.
On the contrary: Shared memory parallelization has the fundamental
disadvantage that you cannot reason about
Ulf Wigner wrote:
Going back to Jon's observation that you cannot exploit
multicore with event-based programming, I'm inclined to
agree, even though I think that message-passing concurrency
is quite suitable for making use of multiple cores (albeit
addressing a wholly different problem from
bread, but I have a (probably irrational) feeling that it's
difficult to beat fine grained locking if one can handle
the programming difficulties their use imposes.
Martin Berger
___
Caml-list mailing list. Subscription management:
http://yquem.inria.fr