Início / coding / Perguntas / 77876748
Accepted
ChrisB
Asked: 2024-01-25 07:20:33 +0800 CST

Quando ocorre o pânico em um comportamento indefinido do limite Rust FFI?

  • 772

O Rustnomicon contém o seguinte exemplo:

#[no_mangle]
extern "C" fn assert_nonzero(input: u32) {
    assert!(input != 0)
}

Se assert_nonzerofor chamado com o argumento 0, é garantido que o tempo de execução aborte (com segurança) o processo, compilado ou não com panic=abort.

A Referência Rust, por outro lado, afirma que:

Comportamento considerado indefinido: [...] Chamar uma função com a ABI de chamada errada ou desenrolar de uma função com a ABI de desenrolar errada.

Estas duas afirmações parecem-me contraditórias. assert_nonzerotem o CABI, mas relaxa com o pânico da Rust. Então, isso é garantido para abortar (com segurança) ou UB ? Não pode ser ambos.

Chayim Friedman gentilmente sugeriu em outra questão que este é realmente o UB.

Então o Rustnomicon está simplesmente desatualizado ou estou entendendo mal alguma coisa?

De forma mais geral: exatamente quando um pânico de Rust cruzando um limite FFI é considerado um comportamento indefinido?

rust

1 respostas

  1. Best Answer

    Da RFC para -unwindABIs :

    Mudanças no comportamento de strings ABI existentes

    Antes desta RFC, qualquer operação de desenrolamento que cruzasse um extern "C"limite, seja por um panic!"escapamento" de uma função Rust definida com extern "C"ou pela entrada em Rust de outro idioma por meio de um ponto de entrada declarado com extern "C", causava um comportamento indefinido.

    Este RFC retém a maior parte desse comportamento indefinido, com uma exceção: com o panic=unwindtempo de execução, panic!causará um abortcaso contrário, "escaparia" de uma função definida com extern "C".

    Essa alteração será aplicada a todas as strings ABI diferentes de "Rust", como "system".

    Parece que costumava ser UB, mas depois que essa RFC foi aceita, não é mais UB e é garantido que será abortado.

    Não sei se podemos dizer que a referência está desatualizada, pois podemos dizer que simplesmente não relaxamos (mas abortamos) em caso de pânico das extern "C"funções Rust.

    • 2

relate perguntas