CakeML/cakeml

Make the heap base pointer optional

Aberta

#766 aberto em 17 de set. de 2020

Ver no GitHub
 (0 comentário) (0 reação) (0 responsável)Standard ML (98 forks)auto 404
code sizeenhancementgood first issuemedium rewardperformance

Métricas do repositório

Stars
 (1.169 estrelas)
Métricas de merge de PR
 (Métricas PR pendentes)

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.

Guia do colaborador

Direção de pesquisa
Investigue a geração de código x64 no CakeML, especificamente a adição de %r14 (base do heap) a cada ponteiro. Determine cenários em que a base do heap é garantida próxima de zero e a adição pode ser omitida sem afetar a correção. Considere as compensações com recursos futuros como ASLR e paginação de 5 níveis.
Pilha de tecnologia
None
Domain
compilersbackend
Tipo Issue
Funcionalidade
DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.
3
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
1-2 dias
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
Recente
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Principalmente claro
Prerequisites
Compiler code generationx64 assemblyCakeML internals
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
20