From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id SAA29851 for caml-redistribution@pauillac.inria.fr; Wed, 8 Mar 2000 18:18:35 +0100 (MET) Resent-Message-Id: <200003081718.SAA29851@pauillac.inria.fr> 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 AAA08014 for ; Tue, 7 Mar 2000 00:05:21 +0100 (MET) Received: from localhost.localdomain (stan21.zip.com.au [61.8.17.21]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id AAA27401; Tue, 7 Mar 2000 00:05:12 +0100 (MET) Received: from maxtal.com.au (IDENT:root@localhost [127.0.0.1]) by localhost.localdomain (8.9.3/8.8.7) with ESMTP id KAA26647; Tue, 7 Mar 2000 10:11:35 +1100 Sender: root@localhost.localdomain Message-ID: <38C43B27.E8E8482A@maxtal.com.au> Date: Tue, 07 Mar 2000 10:11:35 +1100 From: John Max Skaller X-Mailer: Mozilla 4.7 [en] (X11; I; Linux 2.2.12-20 i686) X-Accept-Language: en MIME-Version: 1.0 To: Xavier Leroy CC: William Chesters , caml-list@inria.fr Subject: Re: Interpreter vs hardware threads References: <14518.34203.741447.637489@gargle.gargle.HOWL> <38BC93FC.65E3ED43@in.ot.com.au> <38bd773a@tequila.cs.yale.edu> <200003021818.SAA13646@toy.william.bogus> <20000306183546.18171@pauillac.inria.fr> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Resent-From: weis@pauillac.inria.fr Resent-Date: Wed, 8 Mar 2000 18:18:35 +0100 Resent-To: caml-redistribution@pauillac.inria.fr Xavier Leroy wrote: > I'm not sure that OCaml is the best input language for generating > FSMs, but, yes, generating FSMs from a high-level concurrent language > is an excellent approach. You get both ultimate execution speed and a > readable, maintainable description of the program. Have a look for > instance at Esterel (another glorious INRIA product :-)) OK. Thanks for the explanation. 'Threads' are typically delayed waiting for 'any' event, and occasionally, a specific event (response to a request). -- John (Max) Skaller, mailto:skaller@maxtal.com.au 10/1 Toxteth Rd Glebe NSW 2037 Australia voice: 61-2-9660-0850 checkout Vyper http://Vyper.sourceforge.net download Interscript http://Interscript.sourceforge.net