Changes between Version 1 and Version 2 of DataParallel/ClosureConversion


Ignore:
Timestamp:
Mar 19, 2007 11:22:13 AM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • DataParallel/ClosureConversion

    v1 v2  
    22 
    33'''TODO:''' describe the treatment of higher-order functions and closure conversion here. The relevant paper is [http://www.cse.unsw.edu.au/~chak/papers/LCK06.html]. The approach is described in more detail in [http://opus.kobv.de/tuberlin/volltexte/2006/1286/]. 
     4 
     5=== From the Skype discussion, 16 Mar 07 === 
     6 
     7For each function `f::ty`, create a closure-converted function `fc::ty'`, where `ty'` is the closure-converted verion of `ty`. 
     8Optimisation: make `fc=f`, if the code for `fc` will be identical to that of `f`.   
     9 
     10For each data type `T`, create a closure-converted data type `Tc`, whose constructors use `Clo` instead of `->`.  Optimisation: if `Tc` is identical to `T`, don't create a new data type.