Files in this item
Kindergarten Cop : dynamic nursery resizing for GHC
Item metadata
dc.contributor.author | Ferreiro, Henrique | |
dc.contributor.author | Castro, Laura | |
dc.contributor.author | Janjic, Vladimir | |
dc.contributor.author | Hammond, Kevin | |
dc.date.accessioned | 2016-03-17T16:30:10Z | |
dc.date.available | 2016-03-17T16:30:10Z | |
dc.date.issued | 2016-03-17 | |
dc.identifier | 241569241 | |
dc.identifier | e85c88e7-093d-4e8b-b9c0-5dfa5cb29bfb | |
dc.identifier | 84966474638 | |
dc.identifier | 000389808800006 | |
dc.identifier.citation | Ferreiro , H , Castro , L , Janjic , V & Hammond , K 2016 , Kindergarten Cop : dynamic nursery resizing for GHC . in CC 2016 Proceedings of the 25th International Conference on Compiler Construction . ACM , New York , pp. 56-66 , 25th International Conference on Compiler Construction , Barcelona , Spain , 17/03/16 . https://doi.org/10.1145/2892208.2892223 | en |
dc.identifier.citation | conference | en |
dc.identifier.isbn | 9781450342414 | |
dc.identifier.other | ORCID: /0000-0002-4326-4562/work/33080450 | |
dc.identifier.uri | https://hdl.handle.net/10023/8432 | |
dc.description.abstract | Generational garbage collectors are among the most popular garbage collectors used in programming language runtime systems. Their performance is known to depend heavily on choosing the appropriate size of the area where new objects are allocated (the nursery). In imperative languages, it is usual to make the nursery as large as possible, within the limits imposed by the heap size. Functional languages, however, have quite different memory behaviour. In this paper, we study the effect that the nursery size has on the performance of lazy functional programs, through the interplay between cache locality and the frequency of collections. We demonstrate that, in contrast with imperative programs, having large nurseries is not always the best solution. Based on these results, we propose two novel algorithms for dynamic nursery resizing that aim to achieve a compromise between good cache locality and the frequency of garbage collections. We present an implementation of these algorithms in the state-of-the-art GHC compiler for the functional language Haskell, and evaluate them using an extensive benchmark suite. In the best case, we demonstrate a reduction in total execution times of up to 88.5%, or an 8.7 overall speedup, compared to using the production GHC garbage collector. On average, our technique gives an improvement of 9.3% in overall performance across a standard suite of 63 benchmarks for the production GHC compiler. | |
dc.format.extent | 10 | |
dc.format.extent | 446144 | |
dc.language.iso | eng | |
dc.publisher | ACM | |
dc.relation.ispartof | CC 2016 Proceedings of the 25th International Conference on Compiler Construction | en |
dc.subject | Generational garbage collection | en |
dc.subject | Cache locality | en |
dc.subject | Allocation area | en |
dc.subject | Functional programming | en |
dc.subject | QA75 Electronic computers. Computer science | en |
dc.subject | NDAS | en |
dc.subject.lcc | QA75 | en |
dc.title | Kindergarten Cop : dynamic nursery resizing for GHC | en |
dc.type | Conference item | en |
dc.contributor.sponsor | European Commission | en |
dc.contributor.institution | University of St Andrews. School of Computer Science | en |
dc.contributor.institution | University of St Andrews. Centre for Interdisciplinary Research in Computational Algebra | en |
dc.identifier.doi | 10.1145/2892208.2892223 | |
dc.identifier.grantnumber | 644235 | en |
This item appears in the following Collection(s)
Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.