ANN: deepseq-bounded, seqaid, leaky

Andrew Seniuk rasfar at gmail.com
Fri Dec 19 14:01:12 UTC 2014


Sorry, that was my first Reddit post and I messed up.

Please use this link
http://www.reddit.com/r/haskell/comments/2pscxh/ann_deepseqbounded_seqaid_leaky/

-Andrew

On Fri, Dec 19, 2014 at 7:07 AM, Andrew Seniuk <rasfar at gmail.com> wrote:

> This trio of related packages explores strictness control in a variety of
> ways.
>
> deepseq-bounded provides classes and generic functions to artificially
> force evaluation, to extents controlled by static or dynamic configuration.
>
> seqaid puts that into practise, providing a GHC plugin to auto-instrument
> your package with a strictness harness, which is dynamically optimisable
> during runtime.  This is supported directly in the GHC compilation
> pipeline, without requiring (or performing!) any edits to your sources.
>
> leaky is a minimal, prototypic executable that leaks space under current
> state-of-the-art compilation (GHC 7.8.3 -O2, at the present time).
>
> deepseq-bounded
>   hackage: https://hackage.haskell.org/package/deepseq-bounded
>   homepage: http://www.fremissant.net/deepseq-bounded
>
> seqaid
>   hackage: https://hackage.haskell.org/package/seqaid
>   homepage: http://www.fremissant.net/seqaid
>
> leaky
>   hackage: https://hackage.haskell.org/package/leaky
>   homepage: http://www.fremissant.net/leaky
>
> Reddit discussion for the three together:
>
> http://www.reddit.com/r/haskell/comments/2ps8f5/ann_deepseqbounded_seqaid_leaky/
>
> Easiest way to try them all, is to install seqaid and run the demo:
>
>   cabal install seqaid
>   seqaid demo
>
> This tests seqaid on a local copy of the leaky source package.
>
> It turned out to be routine to extend deepseq-bounded and seqaid to
> dynamically configurable parallelisation (paraid?).  Many other wrappers
> could be explored, too!  Maybe seqaid should be renamed to koolaid or
> something...
>
> It's a pretty complicated system, and just first release, so there's bound
> to be lots of problems.  I've not set up a bug tracker, but will maintain a
> casual list of bugs and feature requests at
>
>   http://www.fremissant.net/seqaid/trac
>
> and will set up a proper tracker if there's interest.
>
> Any isssues (or comments), I'm here, or on the reddit discussion (or
> email).
>
> Andrew Seniuk
> rasfar on #haskell
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/ghc-devs/attachments/20141219/aa69995f/attachment.html>


More information about the ghc-devs mailing list