--- Brian Hurt <brian.hurt@qlogic.com> wrote:
> I've toyed occassional with the idea of having the
> compiler or run time 
> environment add synchronization automatically.  

I believe the SAC language

  http://www.informatik.uni-kiel.de/~sacbase/

automatically parallelises matrix operations to take
advantage of SMP machines.  I believe this does at
least part of what you're interesting in.

The alternative is to have no synchronisation, wich is
essentially what Erlang does.  Message passing is the
only way threads can communicate, and messages are
asynchronous and lossy.  An Erlang process is purely
functional so there can be no race conditions.

Noel


__________________________________________________
Do you Yahoo!?
Yahoo! Shopping - Send Flowers for Valentine's Day
http://shopping.yahoo.com
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners