tweag/asterius

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

Aberta

#331 aberto em 20 de out. de 2019

Ver no GitHubGuia do colaborador
 (2 comentários) (0 reação) (0 responsável)Haskell (56 forks)batch import
P2good first issuetype: bug

Métricas do repositório

Stars
 (1.949 estrelas)
Métricas de merge de PR
 (Nenhuma PRs mesclada em 30d)

Description

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.

Guia do colaborador

Direção de pesquisa
A questão é implementar a reutilização de closures `Int` e `Char` pré computadas no runtime do GHC, conforme feito no upstream do GHC. O contribuidor deve estudar o código fonte existente do GHC RTS, particularmente o tratamento de valores pequenos de `Int` e `Char` e as closures pré computadas (por exemplo, em `rts/Apply.cmm` ou similar). Eles precisam modificar o coletor de lixo para substituir closures elegíveis e ajustar as funções `rts mkInt`/`rts mkChar` para retornar diretamente as closures pré computadas. Observe que este repositório está obsoleto e o trabalho pode não ser mesclado; considere verificar o repositório do backend GHC Wasm em vez disso.
Pilha de tecnologia
c
Domain
backend
Tipo Issue
Performance
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.
Meio dia
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
Antigo
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Claro
Prerequisites
CGit
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
50