tweag/asterius

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

Offen

#331 geöffnet am 20.10.2019

Auf GitHub ansehenContributor Guide
 (2 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)Haskell (56 Forks)batch import
P2good first issuetype: bug

Repository-Metriken

Stars
 (1.949 Sterne)
PR-Merge-Metriken
 (Keine gemergten PRs in 30 T)

Beschreibung

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.

Contributor Guide

Research-Richtung
Das Problem besteht darin, die Wiederverwendung von vorberechneten `Int` und `Char` Closures in der GHC Laufzeitumgebung zu implementieren, wie es im Upstream GHC geschieht. Der Beitragende sollte den vorhandenen GHC RTS Quellcode untersuchen, insbesondere die Behandlung kleiner `Int` und `Char` Werte und die vorberechneten Closures (z. B. in `rts/Apply.cmm` oder ähnlich). Er muss den Garbage Collector so ändern, dass berechtigte Closures ersetzt werden, und die Funktionen `rts mkInt`/`rts mkChar` anpassen, damit sie direkt vorberechnete Closures zurückgeben. Hinweis: Dieses Repository ist veraltet und die Arbeit wird möglicherweise nicht übernommen; erwägen Sie stattdessen, das GHC Wasm Backend Repository zu prüfen.
Tech Stack
c
Domain
backend
Issue Type
Performance
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
3
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
Halber Tag
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Veraltet
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Klar
Voraussetzungen
CGit
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
50