Pin em Rust: preservar o endereço do valor apontado sem congelar a variável do ponteiro

O que é

O módulo pin do Rust descreve o pinning como um contrato segundo o qual o valor apontado permanece válido em uma posição fixa de memória até o fim do seu tempo de vida. Pin diz respeito ao valor apontado, não é uma promessa de que a própria variável do ponteiro nunca será movida. A trait Unpin marca os tipos que não dependem dessas restrições de pinning. Rust std::pin

Por que importa

Um agente de código pode confundir uma alocação no heap, um endereço aparentemente estável no depurador e um contrato de pinning válido. Outro atalho tentador é o acesso sem verificação seguido de um move. Primeiro identifique qual componente depende da estabilidade do endereço e por quê; muitos dos valores ao redor não têm esse requisito.

Como aplicar

• Leia a API que exige Pin e identifique exatamente qual é o valor apontado. Represente a propriedade (ownership) separadamente das referências que podem apontar para dentro do valor ou depender da sua localização.
• Verifique se o tipo é Unpin. Se não for, respeite as restrições da API em vez de adicionar uma saída unsafe só para fazer a compilação passar.
• Prefira uma construção ou projeção segura já existente e adequada ao tipo. Ao revisar código unsafe personalizado, documente por que cada caminho preserva a validade do endereço até a destruição.
• Proponha verificações que exercitem a criação, o polling ou uso, as tentativas de substituição e o cancelamento ou a destruição. Inclua exemplos que devem falhar na compilação (compile-fail) onde o contrato deveria impedir um move.
• Trate mudanças em campos e destrutores como possíveis alterações no argumento de pinning. Mantenha a justificativa de segurança junto da operação cuja validade depende dela.

Armadilhas

Pin não é uma garantia geral de imutabilidade, de segurança entre threads (thread safety) nem de conclusão bem-sucedida de operações assíncronas. Um endereço estável observado durante um teste não prova um contrato que deve valer durante todo o tempo de vida. Estruturas autorreferenciais e intrusivas exigem um raciocínio cuidadoso sobre a destruição, além da construção. Este método de revisão não recomenda escrever projeções de pin unsafe personalizadas quando já existe uma abstração segura e mantida que expressa o comportamento necessário.