CakeML/cakeml

Make the heap base pointer optional

Ouverte

#766 ouverte le 17 sept. 2020

Voir sur GitHub
 (0 commentaire) (0 réaction) (0 personne assignée)Standard ML (98 forks)auto 404
code sizeenhancementgood first issuemedium rewardperformance

Métriques du dépôt

Stars
 (1 169 étoiles)
Métriques de merge PR
 (Métriques PR en attente)

Description

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.

Guide contributeur

Direction de recherche
Examinez la génération de code x64 dans CakeML, en particulier l'ajout de %r14 (base du tas) à chaque pointeur. Déterminez les scénarios où la base du tas est garantie proche de zéro et où l'addition peut être omise sans affecter la correction. Tenez compte des compromis avec les fonctionnalités futures comme l'ASLR et le pagination à 5 niveaux.
Stack technique
Aucun
Domaine
compilersbackend
Type d'issue
Fonctionnalité
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
3
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
1-2 jours
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Récente
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Plutôt claire
Prérequis
Compiler code generationx64 assemblyCakeML internals
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
20