A partir do Android 10, a API de redes neurais (NNAPI) fornece funções para oferecer suporte ao armazenamento em cache de artefatos de compilação, o que reduz o tempo usado para compilação quando um aplicativo é iniciado. Usando esta funcionalidade de cache, o driver não precisa gerenciar ou limpar os arquivos armazenados em cache. Este é um recurso opcional que pode ser implementado com NN HAL 1.2. Para obter mais informações sobre esta função, consulte ANeuralNetworksCompilation_setCaching .
O driver também pode implementar cache de compilação independente da NNAPI. Isso pode ser implementado independentemente de os recursos de cache NNAPI NDK e HAL serem usados ou não. AOSP fornece uma biblioteca de utilitários de baixo nível (um mecanismo de cache). Para obter mais informações, consulte Implementando um mecanismo de cache .
Visão geral do fluxo de trabalho
Esta seção descreve fluxos de trabalho gerais com o recurso de cache de compilação implementado.
Informações de cache fornecidas e ocorrências de cache
- O aplicativo passa um diretório de cache e uma soma de verificação exclusiva para o modelo.
- O tempo de execução da NNAPI procura os arquivos de cache com base na soma de verificação, na preferência de execução e no resultado do particionamento e localiza os arquivos.
- A NNAPI abre os arquivos de cache e passa os identificadores para o driver com
prepareModelFromCache. - O driver prepara o modelo diretamente dos arquivos de cache e retorna o modelo preparado.
Informações de cache fornecidas e falta de cache
- O aplicativo passa uma soma de verificação exclusiva para o modelo e um diretório de cache.
- O tempo de execução da NNAPI procura os arquivos de cache com base na soma de verificação, na preferência de execução e no resultado do particionamento e não encontra os arquivos de cache.
- A NNAPI cria arquivos de cache vazios com base na soma de verificação, na preferência de execução e no particionamento, abre os arquivos de cache e passa os identificadores e o modelo para o driver com
prepareModel_1_2. - O driver compila o modelo, grava informações de cache nos arquivos de cache e retorna o modelo preparado.
Informações de cache não fornecidas
- O aplicativo invoca a compilação sem fornecer nenhuma informação de cache.
- O aplicativo não transmite nada relacionado ao cache.
- O tempo de execução da NNAPI passa o modelo para o driver com
prepareModel_1_2. - O driver compila o modelo e retorna o modelo preparado.
Informações de cache
As informações de cache fornecidas a um driver consistem em um token e em identificadores de arquivo de cache.
Símbolo
O token é um token de cache de comprimento Constant::BYTE_SIZE_OF_CACHE_TOKEN que identifica o modelo preparado. O mesmo token é fornecido ao salvar os arquivos de cache com prepareModel_1_2 e recuperar o modelo preparado com prepareModelFromCache . O cliente do driver deve escolher um token com baixa taxa de colisão. O driver não consegue detectar uma colisão de token. Uma colisão resulta em uma execução com falha ou em uma execução bem-sucedida que produz valores de saída incorretos.
Alças de arquivo 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 dados constantes em cache, incluindo buffers tensores 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 em tempo de execução.
- Cache de modelo: use para armazenar em cache dados sensíveis à segurança, como código de máquina executável compilado 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 mal-intencionado pode fazer uso disso para executar além da permissão concedida. Assim, o driver deve verificar se o cache do modelo está corrompido antes de preparar o modelo a partir do cache. Para obter mais informações, consulte Segurança .
O driver deve decidir como as informações de cache são distribuídas entre os dois tipos de arquivos de cache e relatar quantos arquivos de cache são necessários para cada tipo com getNumberOfCacheFilesNeeded .
O tempo de execução NNAPI sempre abre identificadores de arquivo de cache com permissão de leitura e gravação.
Segurança
No cache de compilação, o cache do modelo pode conter dados sensíveis à segurança, como código de máquina executável compilado no formato binário nativo do dispositivo. Se não estiver devidamente protegido, 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 app, os arquivos de cache podem ser modificados pelo cliente. Um cliente com bugs pode corromper acidentalmente o cache, e um cliente mal-intencionado pode usá-lo intencionalmente para executar código não verificado no dispositivo. Dependendo das características do dispositivo, isto pode ser um problema de segurança. Assim, o driver deve ser capaz de detectar possíveis danos no cache do modelo antes de preparar o modelo a partir do cache.
Uma maneira de fazer isso é o driver manter um mapa do token para um hash criptográfico do cache do modelo. O driver pode armazenar o token e o hash 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 hash ao recuperar a compilação do cache. Esse mapeamento deve ser persistente durante as reinicializações do sistema. O driver pode usar o serviço de armazenamento de chaves do Android , a biblioteca de utilitários em framework/ml/nn/driver/cache ou qualquer outro mecanismo adequado para implementar um gerenciador de mapeamento. Após a atualização do driver, esse gerenciador de mapeamento deverá ser reinicializado para evitar a preparação de arquivos de cache de uma versão anterior.
Para evitar ataques de tempo de verificação para tempo de uso (TOCTOU), o driver deve calcular o hash gravado antes de salvar no arquivo e calcular o novo hash após 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 certos casos de uso avançados, um driver requer 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 é atrasada até a primeira execução.
- Compilação em vários estágios: Uma compilação rápida é executada inicialmente e uma compilação otimizada opcional é executada posteriormente, dependendo da frequência de uso.
Para acessar o conteúdo do cache (leitura ou gravação) após a chamada de compilação, certifique-se de que o driver:
- Duplica os manipuladores de arquivo durante a invocação de
prepareModel_1_2ouprepareModelFromCachee lê/atualiza o conteúdo do cache posteriormente. - Implementa a lógica de bloqueio de arquivo fora da chamada de compilação comum para evitar que uma gravação ocorra simultaneamente com uma leitura ou outra gravação.
Implementar um mecanismo de cache
Além da interface de cache de compilação NN HAL 1.2, você também pode encontrar uma biblioteca de utilitários de cache no diretório frameworks/ml/nn/driver/cache . O subdiretório nnCache contém código de armazenamento persistente para o driver implementar o cache de compilação sem usar os recursos de cache NNAPI. Esta forma de cache de compilação pode ser implementada com qualquer versão do NN HAL. Se o driver optar por implementar o cache desconectado da interface HAL, o driver será responsável por liberar os artefatos armazenados em cache quando eles não forem mais necessários.