Changes between Version 4 and Version 5 of Status/May12


Ignore:
Timestamp:
May 8, 2012 12:12:30 PM (3 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/May12

    v4 v5  
    3232 * '''Support for SSE primitives when using the LLVM back end''' (Geoffrey M). The `simd` git branch of GHC adds support for primitive 128-bit SIMD vector types and associated primops when using the LLVM back end, meaning this branch can now generate SSE instructions on x86 platforms. We hope this support will make it into 7.6.1. Experimental versions of the vector library [8] and DPH [9] provide higher-level interfaces to the new primitives. Initial benchmarks indicate that numerical code can benefit substantially. 
    3333 
     34 * '''Data Parallel Haskell'''. The vectorisation transformation underlying our implementation of nested data parallelism in GHC has a fundamental and long standing asymptotic complexity problem that we were finally able to resolve. Details are in a recent draft paper entitled ''Work Efficient Higher-Order Vectorisation'' [11]. The implementation described in the paper is available in the DPH packages from Hackage (which need to be used with GHC 7.4.1). The new implementation of the DPH libraries still needs to be optimised; hence, our next step will be to optimise constant factors. 
     35 
     36 
    3437[1] [http://hackage.haskell.org/trac/ghc/query?status=closed&order=priority&col=id&col=summary&col=status&col=owner&col=type&col=priority&col=component&milestone=7.4.2&resolution=fixed] [[BR]] 
    3538[2] [http://hackage.haskell.org/trac/ghc/wiki/Status/Oct11][[BR]] 
     
    4144[9] [http://ghc-simd.blogspot.co.uk/2012/03/simd-support-for-vector-library.html] [[BR]] 
    4245[10] [http://ghc-simd.blogspot.co.uk/2012/04/adding-simd-support-to-data-parallel.html] [[BR]] 
     46[11] [http://www.cse.unsw.edu.au/~chak/papers/LCKLP12.html] [[BR]]