tweag/asterius

Make use of precomputed `Int` and `Char` closures in the runtime

Open

#331 aperta il 20 ott 2019

Vedi su GitHub
 (2 commenti) (0 reazioni) (0 assegnatari)Haskell (56 fork)batch import
P2good first issuetype: bug

Metriche repository

Star
 (1949 star)
Metriche merge PR
 (Nessuna PR mergiata in 30 g)

Descrizione

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.

Guida contributor

Direzione di ricerca
Il problema consiste nell'implementare il riutilizzo delle chiusure precalcolate `Int` e `Char` nel runtime di GHC, come avviene nell'upstream di GHC. Il contributore dovrebbe studiare il codice sorgente esistente di GHC RTS, in particolare la gestione dei valori piccoli di `Int` e `Char` e le chiusure precalcolate (ad esempio in `rts/Apply.cmm` o simili). È necessario modificare il garbage collector per sostituire le chiusure idonee e adattare le funzioni `rts mkInt`/`rts mkChar` in modo che restituiscano direttamente le chiusure precalcolate. Nota: questo repository è deprecato e il lavoro potrebbe non essere unito; considera di controllare invece il repository del backend GHC Wasm.
Tech stack
c
Dominio
backend
Tipo issue
Performance
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
Mezza giornata
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Datata
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
CGit
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
50