... | ... | @@ -43,6 +43,14 @@ Here are the projects we're currently working on: |
|
|
>
|
|
|
> Finally, we are about to release (it may be out by the time you read this) a stable, end-user ready version of the Repa-like array library Accelerate for GPU computing on Hackage. It integrates with Repa, so you can mix GPU and CPU multicore computing, and via the new `meta-par` package you can share workload between CPUs and GPUs \[13\]. This new version 0.12 is already available on GitHub \[14\]. You need a CUDA-capable NVIDIA GPU to use it.
|
|
|
|
|
|
- **Lightweight concurrency substrate** (Sivaramakrishnan Krishnamoorthy Chandrasekaran, aka "KC"). During his internship at MSR Cambridge, KC has been working on replacing the RTS scheduler with some APIs that enable the scheduler to be implemented in Haskell. The aim is to not just move the scheduler into Haskell, but also enable user-defined schedulers to coexist, which will ultimately enable much greater control over scheduling behaviour. This follows on from previous work \[15\] with Peng Li and Andrew Tolmach, but this time we are taking a slightly different approach that has a couple of important benefits.
|
|
|
|
|
|
>
|
|
|
> Firstly, KC found a way to enable concurrency abstractions to be defined without depending on a particular scheduler. This means for example that we can provide `MVar`s that work with any user-defined scheduler, rather than needing one `MVar` implementation per scheduler. Secondly, we found ways to coexist with some of the existing RTS machinery for handling blackholes and asynchronous exceptions in particular, which means that these facilities will continue to work as before (with the same performance), and writers of user-defined schedulers do not need to worry about them. Furthermore this significantly lowers the barrier for writing a new scheduler.
|
|
|
|
|
|
>
|
|
|
> This is all still very much experimental, and it is not clear whether it will ever be in GHC proper. It depends on whether we can achieve good enough performance, amongst other things. All we can say for now is that the approach is promising. You can find KC's work on the `ghc-lwc` branch of the git repo.
|
|
|
|
|
|
\[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](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)
|
|
|
\[2\][ http://hackage.haskell.org/trac/ghc/wiki/Status/Oct11](http://hackage.haskell.org/trac/ghc/wiki/Status/Oct11)
|
|
|
\[3\][http://www.haskell.org/ghc/docs/7.4.1/html/users_guide/kind-polymorphism-and-promotion.html\#kind-polymorphism](http://www.haskell.org/ghc/docs/7.4.1/html/users_guide/kind-polymorphism-and-promotion.html#kind-polymorphism)
|
... | ... | @@ -55,4 +63,5 @@ Here are the projects we're currently working on: |
|
|
\[11\][ http://www.cse.unsw.edu.au/\~chak/papers/LCKLP12.html](http://www.cse.unsw.edu.au/~chak/papers/LCKLP12.html)
|
|
|
\[12\][ http://repa.ouroborus.net/](http://repa.ouroborus.net/)
|
|
|
\[13\][ http://parfunk.blogspot.com.au/2012/05/how-to-write-hybrid-cpugpu-programs.html](http://parfunk.blogspot.com.au/2012/05/how-to-write-hybrid-cpugpu-programs.html)
|
|
|
\[14\][ https://github.com/AccelerateHS/accelerate](https://github.com/AccelerateHS/accelerate) |
|
|
\ No newline at end of file |
|
|
\[14\][ https://github.com/AccelerateHS/accelerate](https://github.com/AccelerateHS/accelerate)
|
|
|
\[15\][ http://community.haskell.org/\~simonmar/papers/conc-substrate.pdf](http://community.haskell.org/~simonmar/papers/conc-substrate.pdf) |
|
|
\ No newline at end of file |