bytecodealliance/wasmtime

Eagerly cast pointers in aarch64 relocation code to `usize` to avoid `unsafe` blocks in cranelift-jit

Fechada

#7.588 aberto em 27 de nov. de 2023

Ver no GitHubGuia do colaborador
 (2 comentários) (0 reação) (0 responsável)Rust (1.531 forks)batch import
good first issue

Métricas do repositório

Stars
 (17.002 estrelas)
Métricas de merge de PR
 (Mesclagem média 23h 31m) (212 fundiu PRs em 30d)

Description

When performing relocations in cranelift-jit, there are many introductions of a variable what that's defined as an unsafe pointer offset. These variables are almost always cast to usize or isize before they're used, so perhaps we should instead turn the base pointer into its target numeric type eagerly, to avoid needing the unsafe blocks for calling the offset method on the pointers.

https://github.com/bytecodealliance/wasmtime/blob/cd97c9f14713d81de5453fb9861319e78a761432/cranelift/jit/src/compiled_blob.rs#L55-L57

Guia do colaborador

Direção de pesquisa
Examine o arquivo `cranelift/jit/src/compiled blob.rs`, especificamente as linhas 55-57 e o código ao redor, para entender como o ponteiro `what` é usado nas funções de relocação. Identifique todas as ocorrências em que ponteiros são convertidos para `usize` ou `isize` após cálculos de deslocamento. Implemente uma alteração que converta o ponteiro base para `usize` antecipadamente para evitar blocos `unsafe` para chamadas de deslocamento de ponteiro.
Pilha de tecnologia
rustwasm
Domain
backenddeveloper experience
Tipo Issue
Refatoração
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-3 horas
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
Rustunsafe Rustpointer arithmetic
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
40