CakeML/cakeml

Make the heap base pointer optional

Aperta

#766 aperta il 17 set 2020

Vedi su GitHub
 (0 commenti) (0 reazioni) (0 assegnatari)Standard ML (98 fork)auto 404
code sizeenhancementgood first issuemedium rewardperformance

Metriche repository

Star
 (1169 stelle)
Metriche merge PR
 (Metriche PR in attesa)

Descrizione

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.

Guida contributor

Direzione di ricerca
Analizza la generazione di codice x64 in CakeML, in particolare l'aggiunta di %r14 (base dell'heap) a ogni puntatore. Determina gli scenari in cui la base dell'heap è garantita vicina a zero e l'addizione può essere omessa senza influire sulla correttezza. Considera i compromessi con funzionalità future come ASLR e paginazione a 5 livelli.
Tech stack
Nessuno
Dominio
compilersbackend
Tipo issue
Funzionalità
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-2 giorni
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Nuova
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Abbastanza chiara
Prerequisiti
Compiler code generationx64 assemblyCakeML internals
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
20