As bibliotecas compartilhadas do Android evoluem de tempos em tempos. Manter os binários pré-construídos atualizados requer um esforço considerável. No Android 9 ou anterior, os binários pré-criados que dependem de bibliotecas ou ABIs removidas só falham ao vincular em tempo de execução. Os desenvolvedores precisam rastrear os logs para encontrar os binários pré-construídos desatualizados. No Android 10, um verificador de usos de ABI baseado em símbolos é introduzido. O verificador pode detectar binários pré-construídos desatualizados em tempo de compilação, para que os desenvolvedores de bibliotecas compartilhadas possam saber quais binários pré-compilados podem ser quebrados por sua alteração e quais binários pré-compilados devem ser reconstruídos.
Verificador de usos de ABI baseado em símbolos
O verificador de usos da ABI baseado em símbolos emula o vinculador dinâmico do Android no host. O verificador vincula o binário pré-construído com as dependências do binário pré-construído e verifica se todos os símbolos indefinidos foram resolvidos.
Primeiro, o verificador verifica a arquitetura de destino do binário pré-construído. Se o binário pré-compilado não for direcionado à arquitetura ARM, AArch64, x86 ou x86-64, o verificador ignorará o binário pré-compilado.
Segundo, as dependências do binário pré-construído devem ser listadas em LOCAL_SHARED_LIBRARIES ou shared_libs . O sistema de compilação resolve os nomes dos módulos para a variante correspondente (ou seja, core vs. vendor ) das bibliotecas compartilhadas.
Terceiro, o verificador compara as entradas DT_NEEDED com LOCAL_SHARED_LIBRARIES ou shared_libs . Em particular, o verificador extrai a entrada DT_SONAME de cada biblioteca compartilhada e compara esses DT_SONAME com as entradas DT_NEEDED registradas no binário pré-construído. Se houver uma incompatibilidade, uma mensagem de erro será emitida.
Quarto, o verificador resolve os símbolos indefinidos no binário pré-construído. Esses símbolos indefinidos devem ser definidos em uma das dependências e a associação de símbolos deve ser GLOBAL ou WEAK . Se um símbolo indefinido não puder ser resolvido, uma mensagem de erro será emitida.
Propriedades do módulo pré-construído
As dependências do binário pré-construído devem ser especificadas em um dos seguintes:
- Android.bp:
shared_libs: ["libc", "libdl", "libm"], - Android.mk:
LOCAL_SHARED_LIBRARIES := libc libdl libm
Se o binário pré-construído for projetado para ter alguns símbolos indefinidos não resolvidos , especifique um dos seguintes:
- Android.bp:
allow_undefined_symbols: true, - Android.mk:
LOCAL_ALLOW_UNDEFINED_SYMBOLS := true
Para que o binário pré-construído ignore a verificação do arquivo ELF, especifique um dos seguintes:
- Android.bp:
check_elf_files: false, - Android.mk:
LOCAL_CHECK_ELF_FILES := false
Execute o verificador
O verificador abrange todos os módulos pré-construídos ELF durante o processo de compilação do Android.
Para executar o verificador sozinho para tempos de resposta mais rápidos:
m check-elf-files
Corretor de erros ABI
O fixador automático pode ajudar a resolver erros de verificação de ABI. Basta executar o fixer com o Android.bp / Android.mk como entrada, e o fixer imprimirá a correção sugerida no stdout. Opcionalmente, execute o fixer com a opção --in --in-place para atualizar diretamente o Android.bp / Android.mk com a correção sugerida.
Para Android.bp,
m fix_android_bp_prebuilt# Print the fixed Android.bp to stdout.fix_android_bp_prebuilt <path-to-Android.bp># Update the Android.bp in place.fix_android_bp_prebuilt --in-place <path-to-Android.bp>
Para Android.mk,
m fix_android_mk_prebuilt# Print the fixed Android.mk to stdout.fix_android_mk_prebuilt <path-to-Android.mk># Update the Android.mk in place.fix_android_mk_prebuilt --in-place <path-to-Android.mk>