From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id SAA10851; Wed, 19 Feb 2003 18:26:56 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id SAA10756 for ; Wed, 19 Feb 2003 18:26:55 +0100 (MET) X-SPAM-Warning: Sending machine is listed in blackholes.five-ten-sg.com Received: from web41210.mail.yahoo.com (web41210.mail.yahoo.com [66.218.93.43]) by nez-perce.inria.fr (8.11.1/8.11.1) with SMTP id h1JHQsP24663 for ; Wed, 19 Feb 2003 18:26:54 +0100 (MET) Message-ID: <20030219172653.26180.qmail@web41210.mail.yahoo.com> Received: from [195.224.189.78] by web41210.mail.yahoo.com via HTTP; Wed, 19 Feb 2003 09:26:53 PST Date: Wed, 19 Feb 2003 09:26:53 -0800 (PST) From: Noel Welsh Subject: Re: [Caml-list] Re: feature priorities (multithreading) To: Brian Hurt Cc: caml-list@inria.fr In-Reply-To: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk --- Brian Hurt 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