AIDL para HALs

O Android 11 apresenta a capacidade de usar a AIDL para HALs no Android. Isso permite implementar partes do Android sem HIDL. Transição de HALs para usar AIDL exclusivamente sempre que possível (quando HALs upstream usam HIDL, ela precisa ser usada).

As HALs que usam a AIDL para se comunicar entre componentes do framework, como as de system.img, e componentes de hardware, como os de vendor.img, precisam usar a AIDL estável. No entanto, para se comunicar em uma partição, por exemplo, de um HAL para outro, não há restrição no mecanismo de IPC a ser usado.

Motivação

A AIDL existe há mais tempo que a HIDL e é usada em muitos outros lugares, como entre componentes do framework do Android ou em apps. Agora que a AIDL tem suporte à estabilidade, é possível implementar uma pilha inteira com um único ambiente de execução de IPC. O AIDL também tem um sistema de controle de versão melhor do que o HIDL.

  • O uso de uma única linguagem de IPC significa ter apenas uma coisa para aprender, depurar, otimizar e proteger.
  • A AIDL oferece suporte a controle de versões no local para os proprietários de uma interface:
    • Os proprietários podem adicionar métodos ao final das interfaces ou campos a parceláveis. Isso significa que é mais fácil fazer a versão do código ao longo dos anos, e também o custo anual é menor (os tipos podem ser alterados no local e não há necessidade de bibliotecas extras para cada versão da interface).
    • As interfaces de extensão podem ser anexadas durante a execução, e não no sistema de tipos. Portanto, não é necessário realocar as extensões downstream em versões mais recentes das interfaces.
  • Uma interface AIDL existente pode ser usada diretamente quando o proprietário decide estabilizá-la. Antes, uma cópia inteira da interface precisava ser criada em HIDL.

Criar com base no ambiente de execução da AIDL

O AIDL tem três back-ends diferentes: Java, NDK e CPP. Para usar a AIDL estável, é necessário sempre usar a cópia do sistema de libbinder em system/lib*/libbinder.so e conversar em /dev/binder. Para o código na imagem do fornecedor, isso significa que libbinder (do VNDK) não pode ser usado: essa biblioteca tem uma API C++ instável e internos instáveis. Em vez disso, o código do fornecedor nativo precisa usar o back-end do NDK do AIDL, vincular a libbinder_ndk (que é apoiada pelo libbinder.so do sistema) e vincular às bibliotecas do NDK criadas por entradas aidl_interface. Para conferir os nomes exatos dos módulos, consulte Regras de nomenclatura de módulos.

Gravar uma interface AIDL HAL

Para que uma interface AIDL seja usada entre o sistema e o fornecedor, a interface precisa de duas mudanças:

  • Todas as definições de tipo precisam ser anotadas com @VintfStability.
  • A declaração aidl_interface precisa incluir stability: "vintf",.

Somente o proprietário de uma interface pode fazer essas mudanças.

Quando você faz essas mudanças, a interface precisa estar no manifesto VINTF para funcionar. Teste isso (e requisitos relacionados, como verificar se as interfaces lançadas estão congeladas) usando o teste VTS vts_treble_vintf_vendor_test. Você pode usar uma interface @VintfStability sem esses requisitos chamando AIBinder_forceDowngradeToLocalStability no back-end do NDK, android::Stability::forceDowngradeToLocalStability no back-end C++ ou android.os.Binder#forceDowngradeToSystemStability no back-end Java em um objeto binder antes do envio para outro processo. Não é possível fazer downgrade de um serviço para a estabilidade do fornecedor em Java, porque todos os apps são executados em um contexto do sistema.

Além disso, para a máxima portabilidade de código e para evitar possíveis problemas, como bibliotecas adicionais desnecessárias, desative o back-end do CPP.

O uso de backends no exemplo de código abaixo está correto, já que há três back-ends (Java, NDK e CPP). O código abaixo informa como selecionar especificamente o back-end do CPP para desativá-lo.

    aidl_interface: {
        ...
        backends: {
            cpp: {
                enabled: false,
            },
        },
    }

Encontrar interfaces HAL AIDL

As interfaces AIDL estáveis do AOSP para HALs estão nos mesmos diretórios base das interfaces HIDL, nas pastas aidl.

  • hardware/interfaces: para interfaces normalmente fornecidas pelo hardware
  • frameworks/hardware/interfaces: para interfaces de alto nível fornecidas ao hardware
  • system/hardware/interfaces: para interfaces de baixo nível fornecidas ao hardware

Coloque interfaces de extensão em outros subdiretórios hardware/interfaces em vendor ou hardware.

Interfaces de extensão

O Android tem um conjunto de interfaces oficiais do AOSP em cada versão. Quando os parceiros do Android querem adicionar funcionalidades a essas interfaces, eles não podem mudá-las diretamente, porque isso significaria que o ambiente de execução do Android deles é incompatível com o ambiente de execução do Android AOSP. Para dispositivos GMS, evitar a mudança dessas interfaces também é o que garante que a imagem GSI continue funcionando.

As extensões podem ser registradas de duas maneiras diferentes:

  • no momento da execução, consulte as extensões anexadas.
  • independente, registrado globalmente e no VINTF.

Não importa como uma extensão é registrada, quando componentes específicos do fornecedor (ou seja, que não fazem parte do AOSP upstream) usam a interface, não há possibilidade de conflito de mesclagem. No entanto, quando modificações downstream em componentes upstream do AOSP são feitas, conflitos de mesclagem podem ocorrer, e as estratégias a seguir são recomendadas:

  • As adições à interface podem ser enviadas para o AOSP na próxima versão
  • Adições de interface que permitem mais flexibilidade, sem conflitos de mesclagem, podem ser enviadas para upstream na próxima versão

Parcelables da extensão: ParcelableHolder

ParcelableHolder é um Parcelable que pode conter outro Parcelable. O caso de uso principal de ParcelableHolder é tornar um Parcelable extensível. Por exemplo, imagine que os implementadores de dispositivos esperam poder estender um Parcelable definido pelo AOSP, AospDefinedParcelable, para incluir os recursos de valor agregado deles.

Anteriormente, sem ParcelableHolder, os implementadores de dispositivos não podiam modificar uma interface AIDL estável definida pelo AOSP porque seria um erro adicionar mais campos:

parcelable AospDefinedParcelable {
  int a;
  String b;
  String x; // ERROR: added by a device implementer
  int[] y; // added by a device implementer
}

Como mostrado no código anterior, essa prática está corrompida porque os campos adicionados pelo implementador do dispositivo podem ter um conflito quando o Parcelable for revisado nas próximas versões do Android.

Usando ParcelableHolder, o proprietário de um parcelável pode definir um ponto de extensão em um Parcelable.

parcelable AospDefinedParcelable {
  int a;
  String b;
  ParcelableHolder extension;
}

Em seguida, os implementadores de dispositivos podem definir o próprio Parcelable para a extensão.

parcelable OemDefinedParcelable {
  String x;
  int[] y;
}

Por fim, o novo Parcelable pode ser anexado ao Parcelable original com o campo ParcelableHolder.


// Java
AospDefinedParcelable ap = ...;
OemDefinedParcelable op = new OemDefinedParcelable();
op.x = ...;
op.y = ...;

ap.extension.setParcelable(op);

...

OemDefinedParcelable op = ap.extension.getParcelable(OemDefinedParcelable.class);

// C++
AospDefinedParcelable ap;
OemDefinedParcelable op;
std::shared_ptr<OemDefinedParcelable> op_ptr = make_shared<OemDefinedParcelable>();

ap.extension.setParcelable(op);
ap.extension.setParcelable(op_ptr);

...

std::shared_ptr<OemDefinedParcelable> op_ptr;

ap.extension.getParcelable(&op_ptr);

// NDK
AospDefinedParcelable ap;
OemDefinedParcelable op;
ap.extension.setParcelable(op);

...

std::optional<OemDefinedParcelable> op;
ap.extension.getParcelable(&op);

// Rust
let mut ap = AospDefinedParcelable { .. };
let op = Rc::new(OemDefinedParcelable { .. });

ap.extension.set_parcelable(Rc::clone(&op));

...

let op = ap.extension.get_parcelable::<OemDefinedParcelable>();

Nomes de instâncias de servidor AIDL HAL

Por convenção, os serviços HAL do AIDL têm um nome de instância no formato $package.$type/$instance. Por exemplo, uma instância do HAL do vibrador é registrada como android.hardware.vibrator.IVibrator/default.

Programar um servidor HAL AIDL

Os servidores AIDL @VintfStability precisam ser declarados no manifesto da VINTF, por exemplo:

    <hal format="aidl">
        <name>android.hardware.vibrator</name>
        <version>1</version>
        <fqname>IVibrator/default</fqname>
    </hal>

Caso contrário, eles precisam registrar um serviço AIDL normalmente. Ao executar testes VTS, é esperado que todos os HALs AIDL declarados estejam disponíveis.

Programar um cliente AIDL

Os clientes da AIDL precisam se declarar na matriz de compatibilidade, por exemplo, desta forma:

    <hal format="aidl" optional="true">
        <name>android.hardware.vibrator</name>
        <version>1-2</version>
        <interface>
            <name>IVibrator</name>
            <instance>default</instance>
        </interface>
    </hal>

Converter uma HAL de HIDL para AIDL

Use a ferramenta hidl2aidl para converter uma interface HIDL em AIDL.

Recursos do hidl2aidl:

  • Criar arquivos .aidl com base nos arquivos .hal do pacote fornecido
  • Criar regras de build para o pacote AIDL recém-criado com todos os back-ends ativados
  • Criar métodos de tradução nos back-ends Java, CPP e NDK para converter dos tipos HIDL para os tipos AIDL
  • Criar regras de build para bibliotecas de tradução com dependências obrigatórias
  • Criar declarações estáticas para garantir que os enumeradores HIDL e AIDL tenham os mesmos valores nos back-ends do CPP e do NDK.

Siga estas etapas para converter um pacote de arquivos .hal em arquivos .aidl:

  1. Crie a ferramenta localizada em system/tools/hidl/hidl2aidl.

    Criar essa ferramenta com a versão mais recente oferece a experiência mais completa. É possível usar a versão mais recente para converter interfaces em versões anteriores.

    m hidl2aidl
    
  2. Execute a ferramenta com um diretório de saída seguido pelo pacote a ser convertido.

    Como alternativa, use o argumento -l para adicionar o conteúdo de um novo arquivo de licença à parte de cima de todos os arquivos gerados. Use a licença e a data corretas.

    hidl2aidl -o <output directory> -l <file with license> <package>
    

    Exemplo:

    hidl2aidl -o . -l my_license.txt android.hardware.nfc@1.2
    
  3. Leia os arquivos gerados e corrija os problemas com a conversão.

    • conversion.log contém problemas não tratados que precisam ser corrigidos primeiro.
    • Os arquivos .aidl gerados podem ter avisos e sugestões que podem precisar de ação. Esses comentários começam com //.
    • Aproveite para fazer uma limpeza e fazer melhorias no pacote.
    • Verifique a anotação @JavaDerive para recursos que podem ser necessários, como toString ou equals.
  4. Crie apenas os destinos necessários.

    • Desative os back-ends que não serão usados. Prefira o back-end do NDK em vez do back-end CPP. Consulte Como escolher o ambiente de execução.
    • Remova as bibliotecas de tradução ou qualquer código gerado que não será usado.
  5. Consulte Principais diferenças entre AIDL e HIDL.

    • O uso de Status e exceções integradas do AIDL normalmente melhora a interface e elimina a necessidade de outro tipo de status específico da interface.
    • Os argumentos da interface AIDL nos métodos não são @nullable por padrão, como estavam no HIDL.

SEPolicy para HALs da AIDL

Um tipo de serviço AIDL que é visível para o código do fornecedor precisa ter o atributo hal_service_type. Caso contrário, a configuração de sepolicy é a mesma de qualquer outro serviço AIDL (embora haja atributos especiais para HALs). Confira um exemplo de definição de um contexto de serviço HAL:

    type hal_foo_service, service_manager_type, hal_service_type;

Para a maioria dos serviços definidos pela plataforma, um contexto de serviço com o tipo correto já é adicionado. Por exemplo, android.hardware.foo.IFoo/default já seria marcado como hal_foo_service. No entanto, se um cliente de framework oferecer suporte a vários nomes de instância, outros nomes de instância precisarão ser adicionados em arquivos service_contexts específicos do dispositivo.

    android.hardware.foo.IFoo/custom_instance u:object_r:hal_foo_service:s0

Os atributos HAL precisam ser adicionados quando criamos um novo tipo de HAL. Um atributo HAL específico pode ser associado a vários tipos de serviço, cada um deles pode ter várias instâncias, como acabamos de discutir. Para um HAL, foo, temos hal_attribute(foo). Essa macro define os atributos hal_foo_client e hal_foo_server. Para um determinado domínio, as macros hal_client_domain e hal_server_domain associam um domínio a um determinado atributo HAL. Por exemplo, o servidor do sistema sendo um cliente desse HAL corresponde à política hal_client_domain(system_server, hal_foo). Um servidor HAL também inclui hal_server_domain(my_hal_domain, hal_foo). Normalmente, para um determinado atributo HAL, também criamos um domínio como hal_foo_default para referência ou exemplo de HALs. No entanto, alguns dispositivos usam esses domínios para os próprios servidores. A distinção entre domínios para vários servidores só é importante se tivermos vários servidores que atendem à mesma interface e precisam de um conjunto de permissões diferente nas implementações. Em todas essas macros, hal_foo não é um objeto sepolicy. Em vez disso, esse token é usado por essas macros para se referir ao grupo de atributos associados a um par de servidores de clientes.

No entanto, até agora, não associamos hal_foo_service e hal_foo (o par de atributos de hal_attribute(foo)). Um atributo HAL é associado a serviços HAL AIDL usando a macro hal_attribute_service (HALs HIDL usam a macro hal_attribute_hwservice). Por exemplo, hal_attribute_service(hal_foo, hal_foo_service). Isso significa que os processos hal_foo_client podem acessar o HAL, e os processos hal_foo_server podem registrar o HAL. A aplicação dessas regras de registro é feita pelo gerenciador de contexto (servicemanager). Observe que os nomes de serviço nem sempre correspondem aos atributos HAL. Por exemplo, podemos ver hal_attribute_service(hal_foo, hal_foo2_service). No entanto, geralmente, como isso implica que os serviços são sempre usados juntos, podemos considerar a remoção do hal_foo2_service e o uso de hal_foo_service para todos os nossos contextos de serviço. A maioria dos HALs que definem vários hal_attribute_service é porque o nome do atributo HAL original não é geral o suficiente e não pode ser alterado.

Juntando tudo isso, um exemplo de HAL fica assim:

    public/attributes:
    // define hal_foo, hal_foo_client, hal_foo_server
    hal_attribute(foo)

    public/service.te
    // define hal_foo_service
    type hal_foo_service, hal_service_type, protected_service, service_manager_type

    public/hal_foo.te:
    // allow binder connection from client to server
    binder_call(hal_foo_client, hal_foo_server)
    // allow client to find the service, allow server to register the service
    hal_attribute_service(hal_foo, hal_foo_service)
    // allow binder communication from server to service_manager
    binder_use(hal_foo_server)

    private/service_contexts:
    // bind an AIDL service name to the selinux type
    android.hardware.foo.IFooXxxx/default u:object_r:hal_foo_service:s0

    private/<some_domain>.te:
    // let this domain use the hal service
    binder_use(some_domain)
    hal_client_domain(some_domain, hal_foo)

    vendor/<some_hal_server_domain>.te
    // let this domain serve the hal service
    hal_server_domain(some_hal_server_domain, hal_foo)

Interfaces de extensão anexadas

Uma extensão pode ser anexada a qualquer interface de vinculação, seja uma interface de nível superior registrada diretamente no gerenciador de serviços ou uma subinterface. Ao receber uma extensão, você precisa confirmar se o tipo dela é o esperado. As extensões só podem ser definidas pelo processo que serve um binder.

As extensões anexadas devem ser usadas sempre que uma extensão modificar a funcionalidade de um HAL existente. Quando uma funcionalidade totalmente nova é necessária, esse mecanismo não precisa ser usado, e uma interface de extensão pode ser registrada diretamente no gerenciador de serviços. As interfaces de extensão anexadas fazem mais sentido quando estão anexadas a subinterfaces, porque essas hierarquias podem ser profundas ou em várias instâncias. O uso de uma extensão global para espelhar a hierarquia da interface do binder de outro serviço exigiria uma contabilidade extensa para fornecer funcionalidade equivalente às extensões anexadas diretamente.

Para definir uma extensão no Binder, use as seguintes APIs:

  • No back-end do NDK: AIBinder_setExtension
  • No back-end Java: android.os.Binder.setExtension
  • No back-end do CPP: android::Binder::setExtension
  • No back-end Rust: binder::Binder::set_extension

Para receber uma extensão em um binder, use as seguintes APIs:

  • No back-end do NDK: AIBinder_getExtension
  • No back-end Java: android.os.IBinder.getExtension
  • No back-end do CPP: android::IBinder::getExtension
  • No back-end Rust: binder::Binder::get_extension

Você pode encontrar mais informações sobre essas APIs na documentação da função getExtension no back-end correspondente. Um exemplo de como usar extensões pode ser encontrado em hardware/interfaces/tests/extension/vibrator.

Principais diferenças entre AIDL e HIDL

Ao usar HALs da AIDL ou interfaces da HAL da AIDL, observe as diferenças em relação à criação de HALs da HIDL.

  • A sintaxe da linguagem AIDL é mais próxima do Java. A sintaxe de HIDL é semelhante à do C++.
  • Todas as interfaces AIDL têm status de erro integrados. Em vez de criar tipos de status personalizados, crie ints de status constantes em arquivos de interface e use EX_SERVICE_SPECIFIC nos back-ends CPP/NDK e ServiceSpecificException no back-end Java. Consulte Tratamento de erros.
  • A AIDL não inicia pools de linhas de execução automaticamente quando os objetos de vinculação são enviados. Elas precisam ser iniciadas manualmente (consulte gerenciamento de linhas de execução).
  • A AIDL não é interrompida em erros de transporte não verificados (a Return do HIDL é interrompida em erros não verificados).
  • O AIDL só pode declarar um tipo por arquivo.
  • Os argumentos AIDL podem ser especificados como in/out/inout, além do parâmetro de saída (não há "callbacks síncronos").
  • O AIDL usa um fd como o tipo primitivo em vez de identificador.
  • O HIDL usa versões principais para mudanças incompatíveis e versões secundárias para mudanças compatíveis. Na AIDL, as mudanças compatíveis com versões anteriores são feitas no lugar. O AIDL não tem um conceito explícito de versões principais. Em vez disso, ele é incorporado aos nomes de pacotes. Por exemplo, o AIDL pode usar o nome do pacote bluetooth2.
  • O AIDL não herda a prioridade em tempo real por padrão. A função setInheritRt precisa ser usada por vinculação para ativar a herança de prioridade em tempo real.