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 OAA16606; Tue, 6 Aug 2002 14:48:57 +0200 (MET DST) 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 OAA16525 for ; Tue, 6 Aug 2002 14:48:56 +0200 (MET DST) Received: from indyio.rz.uni-sb.de (indyio.rz.uni-sb.de [134.96.7.3]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g76Cmt104192 for ; Tue, 6 Aug 2002 14:48:55 +0200 (MET DST) Received: from mars.rz.uni-sb.de (IDENT:uomlnHzN15zKPwi5jFBUdoIZiVXk6QVd@mars.rz.uni-sb.de [134.96.7.4]) by indyio.rz.uni-sb.de (8.9.3/8.9.3) with ESMTP id OAA12892750 for ; Tue, 6 Aug 2002 14:48:55 +0200 (CEST) Received: from uni-sb.de (uni-sb.de [134.96.7.230]) by mars.rz.uni-sb.de (8.8.8/8.8.4/8.8.2) with ESMTP id OAA172928302 for ; Tue, 6 Aug 2002 14:48:54 +0200 (CEST) Received: from cs.uni-sb.de (cs.uni-sb.de [134.96.252.31]) by uni-sb.de (8.12.4/2002060500) with ESMTP id g76CmsT24297 for ; Tue, 6 Aug 2002 14:48:54 +0200 (CEST) Received: from mail.cs.uni-sb.de (IDENT:+LXVBSTBMIJ0qA7JSr4BEgpf0NJc+Dg/@mail.cs.uni-sb.de [134.96.254.200]) by cs.uni-sb.de (8.12.1/2002050600) with ESMTP id g76CmrX08562 for ; Tue, 6 Aug 2002 14:48:53 +0200 (CEST) Received: from ps.uni-sb.de (grizzly.ps.uni-sb.de [134.96.186.68]) by mail.cs.uni-sb.de (8.12.5/2002072200) with ESMTP id g76CmpK04905 for ; Tue, 6 Aug 2002 14:48:51 +0200 (CEST) X-Authentication-Warning: email: Host grizzly.ps.uni-sb.de [134.96.186.68] claimed to be ps.uni-sb.de Received: from ps.uni-sb.de (zoidberg.ps.uni-sb.de [134.96.186.121]) by ps.uni-sb.de (8.11.6/8.11.0) with ESMTP id g76CmtC15656; Tue, 6 Aug 2002 14:48:55 +0200 Message-ID: <3D4FC792.708E92E@ps.uni-sb.de> Date: Tue, 06 Aug 2002 14:56:50 +0200 From: Andreas Rossberg Organization: =?iso-8859-1?Q?Universit=E4t?= des Saarlandes X-Mailer: Mozilla 4.78 [en] (X11; U; Linux 2.4.9-21 i686) X-Accept-Language: de, en MIME-Version: 1.0 To: caml-list@inria.fr Subject: Re: [Caml-list] ocaml-3.05: a performance experience References: <20020806111007.52002.qmail@web11207.mail.yahoo.com> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Noel Welsh wrote: > > > > I'm intrigued by the relationship between these > > two parsers. > > I wonder if this is related to the difference between > lazy and strict evaluation. It is related to implicit data-flow synchronisation via futures (of which lazy futures are one instance). See: @article{Halstead:Multilisp, author = "Robert Halstead", title = "Multilisp: A Language For Concurrent Symbolic Computation", journal = "{ACM} Transactions on Programming Languages and Systems", volume = 7, number = 4, pages = "501--538", year = 1985, month = oct, } @inproceedings{Flanagan+Felleisen:SemanticsOfFuture, author = "Cormac Flanagan and Matthias Felleisen", title = "The Semantics of Future and Its Use in Program Optimizations", booktitle = "22nd {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages (POPL'95)", address = "San Francisco, California", pages = "209--220", year = "1995", url = "citeseer.nj.nec.com/flanagan95semantics.html" } [I believe there is also a more recent journal version of this paper.] @misc{Niehren+Schwinghammer+Smolka:Futures, author = {Joachim Niehren and Jan Schwinghammer and Gert Smolka}, title = {Concurrent Computation in a Lambda Calculus with Futures}, institute = {Programming Systems Lab, Universit\"at des Saarlandes}, year = {2002}, month = jun, note = {Submitted}, url = "http://www.ps.uni-sb.de/Papers/abstracts/lambdafut.html", } -- Andreas Rossberg, rossberg@ps.uni-sb.de "Computer games don't affect kids; I mean if Pac Man affected us as kids, we would all be running around in darkened rooms, munching magic pills, and listening to repetitive electronic music." - Kristian Wilson, Nintendo Inc. ------------------- 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