tweag/asterius
Make use of precomputed `Int` and `Char` closures in the runtime
Ouverte
#331 ouverte le 20 oct. 2019
P2good first issuetype: bug
Métriques du dépôt
- Stars
- (1 949 étoiles)
- Métriques de merge PR
- (Aucune PR mergée en 30 j)
Description
The ghc rts has precomputed Int and Char closures for small Int and Char values. When the garbage collector finds an Int or Char closure in the dynamic memory which fall into the range, the closure is replaced with a precomputed closure. This trick is based on the assumption that a lot of such closures actually contain small values, and can slightly improve the gc efficiency. We don't implement this trick for now, but it shouldn't be too hard to do so; additionally, rts_mk* functions can also return precomputed closures directly.