Difference between revisions of "Ghc-gc-tune"
Jump to navigation
Jump to search
DonStewart (talk | contribs) |
DonStewart (talk | contribs) |
||
Line 32: | Line 32: | ||
[http://www.galois.com/~dons/images/Djinn-time-gc-space.png http://www.galois.com/~dons/images/Djinn-time-gc-space.png] |
[http://www.galois.com/~dons/images/Djinn-time-gc-space.png http://www.galois.com/~dons/images/Djinn-time-gc-space.png] |
||
+ | |||
+ | * Happy |
||
+ | |||
+ | [http://www.galois.com/~dons/images/happy-time-gc-space.png http://www.galois.com/~dons/images/happy-time-gc-space.png] |
||
== Other forms of output == |
== Other forms of output == |
Revision as of 22:28, 6 July 2010
Examples of the use of ghc-gc-tune (on a Linux x86_64 laptop, core 2 duo, 2Ghz, 4G ram, 4M L2 cache).
Video
- A video for the use of the interactive mode: http://vimeo.com/13112184
On Shootout Microbenchmarks
On Real Programs
- GHC
- Galois Raytrace
- Alex
- Djinn
- Happy
Other forms of output
It can also generate .svg output:
http://www.galois.com/~dons/images/binary-trees-gc-space.svg
As well as embedded html and pdf.