CakeML/cakeml

Make the heap base pointer optional

Offen

#766 geöffnet am 17.09.2020

Auf GitHub ansehen
 (0 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)Standard ML (98 Forks)auto 404
code sizeenhancementgood first issuemedium rewardperformance

Repository-Metriken

Stars
 (1.169 Sterne)
PR-Merge-Metriken
 (PR-Metriken ausstehend)

Beschreibung

The x64 generated code adds %r14 to every pointer prior to dereferencing it. This seems like a useful feature to have, since it allows a heap anywhere in the address space for large values of tagbits and lenbits and plausibly helps with a future compressed-oops/32-on-64 type feature, but for general 64-bit code you may be able to assume that the address of the heap is close to 0 and not do the add. There are potential future compatibility issues here, e.g. with ASLR and 5-level paging, so it may not make sense to do this for the shipped release artifacts.

Contributor Guide

Research-Richtung
Untersuche die x64 Codegenerierung in CakeML, insbesondere die Addition von %r14 (Heap Basis) zu jedem Zeiger. Bestimme Szenarien, in denen die Heap Basis garantiert nahe Null liegt und die Addition ohne Beeinträchtigung der Korrektheit weggelassen werden kann. Berücksichtige Kompromisse bei zukünftigen Funktionen wie ASLR und 5 Level Paging.
Tech Stack
Keine
Domain
compilersbackend
Issue Type
Funktion
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.
1-2 Tage
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Frisch
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Meist klar
Voraussetzungen
Compiler code generationx64 assemblyCakeML internals
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
20