Difference between revisions of "Ghc-gc-tune"
Jump to navigation
Jump to search
DonStewart (talk | contribs) |
m (Reverted edits by Tomjaguarpaw (talk) to last revision by DonStewart) |
||
(7 intermediate revisions by 2 users not shown) | |||
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] |
||
+ | |||
+ | * CacheProf |
||
+ | |||
+ | [http://www.galois.com/~dons/images/cacheprof-time-gc-space.png http://www.galois.com/~dons/images/cacheprof-time-gc-space.png] |
||
+ | |||
+ | * pandoc |
||
+ | |||
+ | [http://www.galois.com/~dons/images/pandoc-time-gc-space.png http://www.galois.com/~dons/images/pandoc-time-gc-space.png] |
||
+ | |||
+ | * darcs changes |
||
+ | |||
+ | [http://www.galois.com/~dons/images/darcs-time-gc-space.png http://www.galois.com/~dons/images/darcs-time-gc-space.png] |
||
+ | |||
+ | * DLA simulation |
||
+ | |||
+ | [http://www.galois.com/~dons/images/DLA-time-gc-space.svg http://www.galois.com/~dons/images/DLA-time-gc-space.svg] |
||
== Other forms of output == |
== Other forms of output == |
Latest revision as of 15:17, 6 February 2021
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
- CacheProf
- pandoc
- darcs changes
- DLA simulation
http://www.galois.com/~dons/images/DLA-time-gc-space.svg
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.