classe ara::diag::ReleaseHandler

A classe ara::diag::ReleaseHandler gerencia um estado compartilhado para determinar se um processamento de diagnóstico em andamento pode ser cancelado e um recurso compartilhado liberado [SWS_DM_01340]. As aplicações podem registrar uma função de notificação por meio de SetNotifier, bem como consultar sincronamente via MayRelease se o recurso não está mais em uso [SWS_DM_01536]. Como a construção padrão e as operações de cópia são proibidas, a instância é transferida por semântica de movimentação, sendo que modificações e destruição não são thread-safe.

mais ›

Contexto

No módulo de diagnóstico do AUTOSAR Adaptive, a classe ara::diag::ReleaseHandler encapsula um estado compartilhado (Shared State) que indica se um processamento em andamento deve ser cancelado ou se um recurso compartilhado deve ser liberado [SWS_DM_01340], AUTOSAR_AP_SWS_Diagnostics §8.23 «Header: ara/diag/release_handler.h». Na arquitetura de diagnóstico, ela serve como interface de sincronização e notificação entre o ambiente de tempo de execução de diagnóstico AUTOSAR e os manipuladores de diagnóstico específicos da aplicação. Isso diz respeito, em particular, a processamentos mais longos ou de uso intensivo de recursos, como os que ocorrem no contexto de sessões de transferência de arquivos e dados AUTOSAR_AP_SWS_Diagnostics §7.x «DataTransfer».

Por meio do ReleaseHandler, a aplicação obtém a possibilidade de ser informada sobre o término ou cancelamento de ciclos de processamento sem precisar recorrer a mecanismos bloqueantes. Com isso, a classe assume o papel de desacopladora entre o fluxo interno do servidor de diagnóstico e as rotinas de processamento subjacentes da aplicação.

Ciclo de vida

O ciclo de vida de uma instância de ReleaseHandler está sujeito a diretrizes semânticas estritas. A classe proíbe explicitamente a instanciação sem parâmetros por meio do construtor padrão [SWS_DM_01530], AUTOSAR_AP_SWS_Diagnostics §8.23.1.2.1.1 «Default Constructor». Como nenhum outro construtor público é especificado, a criação real do objeto provavelmente deve ocorrer internamente pelo servidor de diagnóstico, antes de a instância ser repassada ao respectivo manipulador de serviço. Além disso, ReleaseHandler é projetada puramente como uma classe move-only: tanto o construtor de cópia [SWS_DM_01534] quanto o operador de atribuição por cópia [SWS_DM_01535] foram excluídos. Pergunta Q-05a2e8b6b7deca40 (aberta)

A titularidade da instância só pode ser transferida por meio de operações de movimentação. O construtor de movimentação é definido como seguro contra exceções (noexcept) e explicitamente como thread-safe [SWS_DM_01532], AUTOSAR_AP_SWS_Diagnostics §8.23.1.2.1.2 «Move Constructor». Em contrapartida, o operador de atribuição por movimentação operator= é igualmente seguro contra exceções, mas não é thread-safe [SWS_DM_01533]. A destruição ocorre por meio do destrutor ~ReleaseHandler() [SWS_DM_01531], AUTOSAR_AP_SWS_Diagnostics §8.23.1.2.1.4 «Destructor», o qual é seguro contra exceções (noexcept), mas não pode ser chamado de forma thread-safe.

Caminho de utilização

O caminho de uso típico compreende o registro de uma função de notificação, bem como a verificação síncrona ou assíncrona do status de liberação. Uma aplicação registra um callback por meio do método SetNotifier [SWS_DM_01537]. Como parâmetro, é passado um callable do tipo ReleaseHandlerSetNotifier, que é especificado como um alias de tipo para std::function<void(void)> [SWS_DM_02079], AUTOSAR_AP_SWS_Diagnostics §8.23.1.1.1 «Type Alias: ReleaseHandlerSetNotifier». Uma chamada repetida a SetNotifier sobrescreve integralmente uma função previamente registrada [SWS_DM_01537].

Assim que o recurso compartilhado puder ser liberado ou houver um cancelamento, o notificador registrado é acionado. Supõe-se que essa chamada ocorra de forma assíncrona no contexto de thread do servidor de diagnóstico. Pergunta Q-d948326514d200a1 (aberta) Em paralelo ou no âmbito do laço de controle regular, a aplicação pode verificar por meio de MayRelease() se o recurso compartilhado não está mais em uso [SWS_DM_01536]. O método retorna true se o recurso puder ser liberado e, caso contrário, false [SWS_DM_01536].

Diagrama de sequência: fluxo para registro da notificação e liberação de recursos compartilhados. Fontes: [SWS_DM_01536], [SWS_DM_01537], [SWS_DM_02079].

Cenários de erro

Todos os métodos de ReleaseHandler são anotados com noexcept e especificados como seguros contra exceções; consequentemente, nenhuma exceção é lançada e nenhum código de erro é retornado ([SWS_DM_01531], [SWS_DM_01532], [SWS_DM_01533], [SWS_DM_01536], [SWS_DM_01537]). Cenários de erro decorrem, portanto, primariamente de violações de pré-condições ou sincronização insuficiente.

Uma pré-condição central na chamada de SetNotifier é que o objeto passado deve conter um alvo chamável (callable) e sua execução não deve lançar exceções [SWS_DM_01537]. Um objeto de função vazio ou inválido constitui uma violação de pré-condição. Em relação à concorrência, deve-se observar que SetNotifier, o operador de atribuição por movimentação e o destrutor são documentados como não sendo thread-safe ([SWS_DM_01531], [SWS_DM_01533], [SWS_DM_01537]). Apenas MayRelease() e o construtor de movimentação são explicitamente thread-safe ([SWS_DM_01532], [SWS_DM_01536]). Se registros de notificadores ou atribuições forem executados concorrentemente sem sincronização externa, isso causará comportamento indefinido.