Armazenamento em cache da compilação

No Android 10 e versões mais recentes, a API Neural Networks (NNAPI) oferece funções para oferecer suporte ao armazenamento em cache de artefatos de compilação, o que reduz o tempo usado para a compilação quando um app é iniciado. Com essa funcionalidade de armazenamento em cache, o driver não necessárias para gerenciar ou limpar os arquivos armazenados em cache. Esse é um recurso opcional que pode ser implementado com a HAL de NN 1.2. Para mais informações sobre essa função, ver ANeuralNetworksCompilation_setCaching

O driver também pode implementar o armazenamento em cache de compilação independente da NNAPI. Isso podem ser implementados independentemente de os recursos de armazenamento em cache da NNAPI e da HAL serem usados ou não. O AOSP oferece uma biblioteca de utilitários de baixo nível (um mecanismo de armazenamento em cache). Para mais informações, consulte Como implementar um mecanismo de armazenamento em cache.

Visão geral do fluxo de trabalho

Esta seção descreve fluxos de trabalho gerais com o recurso de armazenamento em cache de compilação implementado.

Informações do cache fornecidas e ocorrências em cache

  1. O app transmite um diretório de armazenamento em cache e uma soma de verificação exclusiva para o modelo.
  2. O tempo de execução da NNAPI procura os arquivos de cache com base na soma de verificação, o preferência de execução e o resultado do particionamento e localiza os arquivos.
  3. A NNAPI abre os arquivos de cache e passa os identificadores para o driver. com prepareModelFromCache
  4. O driver prepara o modelo diretamente dos arquivos de cache e retorna o modelo preparado.

Informações de cache fornecidas e ausência no cache

  1. O app transmite uma soma de verificação exclusiva para o modelo e um diretório de armazenamento em cache.
  2. O ambiente de execução da NNAPI procura os arquivos de armazenamento em cache com base na soma de verificação, na preferência de execução e no resultado do particionamento, mas não encontra os arquivos de cache.
  3. A NNAPI cria arquivos de cache vazios com base no checksum, na preferência de execução e no particionamento, abre os arquivos de cache e transmite os identificadores e o modelo para o driver com prepareModel_1_2.
  4. O driver compila o modelo, grava informações de armazenamento em cache nos arquivos e retorna o modelo preparado.

Informações de cache não fornecidas

  1. O app invoca a compilação sem fornecer nenhuma informação de armazenamento em cache.
  2. O app não transmite nada relacionado ao armazenamento em cache.
  3. O ambiente de execução da NNAPI passa o modelo para o driver com prepareModel_1_2
  4. O driver compila o modelo e retorna o modelo preparado.

Informações do cache

As informações de armazenamento em cache fornecidas a um driver consistem em um token e gerenciadores de arquivos em cache.

Token

O token é um token de armazenamento em cache Constant::BYTE_SIZE_OF_CACHE_TOKEN que identifica o modelo preparado. O mesmo token é fornecido ao salvar o armazenar arquivos em cache com prepareModel_1_2 e recuperar o modelo preparado com prepareModelFromCache. O cliente do driver precisa escolher um token com uma taxa de colisão baixa. O driver não detecta uma colisão de tokens. Uma colisão resulta em uma execução com falha ou bem-sucedida que produz valores de saída incorretos.

Identificadores de arquivos de cache (dois tipos de arquivos de cache)

Os dois tipos de arquivos de cache são cache de dados e cache de modelo.

  • Cache de dados: use para armazenar em cache dados constantes, incluindo buffers de tensor pré-processados e transformados. Uma modificação no cache de dados não deve resultar em nenhum efeito pior do que gerar valores de saída incorretos no momento da execução.
  • Cache de modelo: use para armazenar em cache dados confidenciais de segurança, como compilados. código de máquina executável no formato binário nativo do dispositivo. Uma modificação no cache do modelo pode afetar o comportamento de execução do driver, e um cliente malicioso pode usar isso para executar além da permissão concedida. Portanto, o driver precisa verificar se o cache do modelo está corrompido antes de preparar o modelo do cache. Para mais informações, consulte Segurança.

O driver precisa decidir como as informações de cache são distribuídas entre os dois de arquivos de cache e informa quantos arquivos de cache são necessários para cada tipo com getNumberOfCacheFilesNeeded

O tempo de execução da NNAPI sempre abre gerenciadores de arquivos de cache com leitura e gravação permissão.

Segurança

No armazenamento em cache da compilação, o cache do modelo pode conter dados sensíveis à segurança, como como código de máquina executável compilado no formato binário nativo do dispositivo. Se não for protegido corretamente, uma modificação no cache do modelo poderá afetar o comportamento de execução do driver. Como o conteúdo do cache é armazenado no diretório do app, os arquivos de cache podem ser modificados pelo cliente. Um cliente com bugs pode o cache acidentalmente e um cliente malicioso poderia intencionalmente Ele pode ser usado para executar um código não verificado no dispositivo. Dependendo das características do dispositivo, isso pode ser um problema de segurança. Assim, o o motorista precisa conseguir detectar possível corrupção do cache do modelo antes de prepará-lo do cache.

Uma forma de fazer isso é manter um mapa do token para um hash criptográfico do cache do modelo. O driver pode armazenar o token e a do cache do modelo ao salvar a compilação no cache. O driver verifica o novo hash do cache do modelo com o token registrado e o par de hashes ao extrair a compilação do cache. Esse mapeamento precisa ser persistente em reinicializações do sistema. O motorista pode usar Serviço de armazenamento de chaves do Android, a biblioteca de utilitários do framework/ml/nn/driver/cache, ou qualquer outro mecanismo adequado para implementar um gerenciador de mapeamento. Depois do motorista atualização, este gerenciador de mapeamento deve ser reinicializado para impedir a preparação do cache arquivos de uma versão anterior.

Para evitar ataques time-of-check to time-of-use (TOCTOU, na sigla em inglês), o driver precisa calcular o hash registrado antes de salvar no arquivo e calcular o novo hash depois de copiar o conteúdo do arquivo para um buffer interno.

Este código de exemplo demonstra como implementar essa lógica.

bool saveToCache(const sp<V1_2::IPreparedModel> preparedModel,
                 const hidl_vec<hidl_handle>& modelFds, const hidl_vec<hidl_handle>& dataFds,
                 const HidlToken& token) {
    // Serialize the prepared model to internal buffers.
    auto buffers = serialize(preparedModel);

    // This implementation detail is important: the cache hash must be computed from internal
    // buffers instead of cache files to prevent time-of-check to time-of-use (TOCTOU) attacks.
    auto hash = computeHash(buffers);

    // Store the {token, hash} pair to a mapping manager that is persistent across reboots.
    CacheManager::get()->store(token, hash);

    // Write the cache contents from internal buffers to cache files.
    return writeToFds(buffers, modelFds, dataFds);
}

sp<V1_2::IPreparedModel> prepareFromCache(const hidl_vec<hidl_handle>& modelFds,
                                          const hidl_vec<hidl_handle>& dataFds,
                                          const HidlToken& token) {
    // Copy the cache contents from cache files to internal buffers.
    auto buffers = readFromFds(modelFds, dataFds);

    // This implementation detail is important: the cache hash must be computed from internal
    // buffers instead of cache files to prevent time-of-check to time-of-use (TOCTOU) attacks.
    auto hash = computeHash(buffers);

    // Validate the {token, hash} pair by a mapping manager that is persistent across reboots.
    if (CacheManager::get()->validate(token, hash)) {
        // Retrieve the prepared model from internal buffers.
        return deserialize<V1_2::IPreparedModel>(buffers);
    } else {
        return nullptr;
    }
}

Casos de uso avançados

Em alguns casos de uso avançados, um driver exige acesso ao conteúdo do cache (leitura ou gravação) após a chamada de compilação. Exemplos de casos de uso incluem:

  • Compilação just-in-time:a compilação é adiada até que o a primeira execução.
  • Compilação em vários estágios: uma compilação rápida é realizada inicialmente e uma compilação otimizada opcional é realizada mais tarde, dependendo da frequência de uso.

Para acessar o conteúdo do cache (leitura ou gravação) após a chamada de compilação, verifique se que o motorista:

  • Duplica os identificadores de arquivo durante a invocação de prepareModel_1_2 ou prepareModelFromCache e lê/atualiza o conteúdo do cache mais tarde.
  • Implementa a lógica de travamento de arquivos fora da chamada de compilação comum para evitar que uma gravação ocorra simultaneamente a uma leitura ou outra gravação.

Implementar um mecanismo de armazenamento em cache

Além da interface de armazenamento em cache da compilação NN HAL 1.2, também é possível encontrar uma biblioteca de utilitários de armazenamento em cache frameworks/ml/nn/driver/cache diretório. O nnCache o subdiretório contém um código de armazenamento permanente para o driver implementar armazenamento em cache de compilação sem usar os recursos de armazenamento em cache da NNAPI. Essa forma de armazenamento em cache de compilação pode ser implementada com qualquer versão do HAL de NN. Se o opta por implementar o armazenamento em cache desconectado da interface HAL, o motorista é responsável por liberar artefatos armazenados em cache quando eles não forem mais necessários.