I think we're all rather excited about seeing this stuff land. What's the expected timeline, wrt. ghc 6.10's release? -- Don t-jodias:
I've added some text and links to point the reader in the right direction. Here's the new text, cribbed from the Wiki:
Dataflow optimization: We can define a new optimization simply by defining a lattice of dataflow facts (akin to a specialized logic) and then writing the dataflow-transfer functions found in compiler textbooks. Handing these functions to the dataflow engine produces a new optimization that is not only useful on its own, but that can easily be composed with other optimizations to create an integrated "superoptimization" that is strictly more powerful than any sequence of individual optimizations, no matter how many times they are re-run. The dataflow engine is based on (Lerner, Grove, and Chambers 2002 http://citeseer.ist.psu.edu/old/lerner01composing.html); you can find a functional implementation of the dataflow engine presented in (Ramsey and Dias 2005 http://www.cs.tufts.edu/~nr/pubs/zipcfg-abstract.html).
Let me know how I can further clarify the text, -j
-----Original Message----- From: Simon Peyton-Jones Sent: Tuesday, August 26, 2008 1:32 PM To: Norman Ramsey; John Dias Cc: Chad Scherrer; GHC Users Subject: RE: "dataflow rewriting engine"
Norman, John
Would you care to respond to this? (Perhaps by amplifying the wiki page?) A good starting point is perhaps Craig's paper.
Simon
| -----Original Message----- | From: glasgow-haskell-users-bounces@haskell.org [mailto:glasgow- haskell-users-bounces@haskell.org] On | Behalf Of Chad Scherrer | Sent: 22 August 2008 22:21 | To: GHC Users | Subject: "dataflow rewriting engine" | | Hello GHC, | | This page | http://hackage.haskell.org/trac/ghc/wiki/Commentary/Compiler/Integrated CodeGen | mentions a to-be-developed "dataflow rewriting engine". Can someone | please send a description of what this will do? | | Thanks! | -- | | Chad Scherrer | | "Time flies like an arrow; fruit flies like a banana" -- Groucho Marx | _______________________________________________ | Glasgow-haskell-users mailing list | Glasgow-haskell-users@haskell.org | http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
_______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users