namespace ara::core

usar

A função Abort serve para a interrupção imediata e irrevogável da operação atual [SWS_CORE_00052]. Ela é declarada com o atributo [[noreturn]] e nunca retorna ao chamador. A lista variádica de parâmetros args recebe textos personalizados que são adicionados à mensagem de log emitida [SWS_CORE_00052]. Todos os argumentos passados devem ser conversíveis para ara::core::StringView; se pelo menos um argumento não for conversível, a chamada de função é inválida (ill-formed) [SWS_CORE_00052].

Tratamento de erros e simultaneidade

Na chamada de Abort, não ocorre stack unwinding: destruidores de variáveis com duração de armazenamento automática expressamente não são chamados [SWS_CORE_00052]. A função é especificada como noexcept, exception-safe bem como thread-safe [SWS_CORE_00052]. Não existem valor de retorno regular ou códigos de erro específicos, uma vez que a execução do processo chamador é imediatamente interrompida.

Interação

Antes do encerramento definitivo do programa, devem ser executados os tratadores de abort registrados no sistema. Pergunta Q-ddabde228ed97315 (aberta) Tais tratadores personalizados podem ser gerenciados previamente por meio das interfaces thread-safe do arquivo de cabeçalho ara/core/abort.h:

• [SWS_CORE_00051]: Define um tratador personalizado via SetAbortHandler, retorna o último tratador instalado ou restaura o comportamento padrão na passagem de nullptr.
• [SWS_CORE_00054]: Registra tratadores adicionais via AddAbortHandler, sendo que as implementações devem suportar pelo menos oito tratadores.

usar

A função síncrona Deinitialize no namespace ara::core serve para o desligamento ordenado de todo o framework ARA ([SWS_CORE_10002]). Ela não recebe parâmetros e retorna sincronicamente um ara::core::Result<void> ([SWS_CORE_10002]). Em caso de sucesso, o resultado contém o tipo de valor vazio void ([SWS_CORE_10002]).

Pré-requisitos e restrições

Como pré-requisito para chamar esta interface, a utilização de todas as interfaces ARA deve estar completamente finalizada ([SWS_CORE_10002]). Após a chamada, nenhuma interação com o framework ARA é mais permitida; excetuam-se exclusivamente os tipos previstos, conforme [SWS_CORE_15002], para um uso independente da inicialização ([SWS_CORE_10002]).

Em relação ao ciclo de vida, recomenda-se expressamente posicionar a chamada em um ponto onde seja garantido que a inicialização estática já foi concluída e a destruição de dados estaticamente inicializados ainda não começou ([SWS_CORE_10002]). A função não é thread-safe (not thread-safe), tornando chamadas concorrentes inadmissíveis, mas é especificada como segura contra exceções (exception safe) e noexcept ([SWS_CORE_10002]).

Tratamento de erros

Em caso de erro, a função fornece um código de erro do tipo ara::core::CoreErrc ([SWS_CORE_10002]):

• CoreErrc::kNotInitialized: Ocorre quando o ARA não está inicializado no momento, seja porque o framework já foi desinicializado ou nunca havia sido inicializado anteriormente ([SWS_CORE_10002]). Para este erro aplica-se uma semântica de rollback ([SWS_CORE_10002]).

A função GetCoreErrorDomain serve para a obtenção síncrona de uma referência ao domínio de erro global ara::core::CoreErrorDomain [SWS_CORE_05280]. Ela é definida no namespace ara::core e disponibilizada por meio do arquivo de cabeçalho ara/core/core_error_domain.h [SWS_CORE_05280].

Utilização e contexto de chamada

A chamada ocorre de forma síncrona e sem parâmetros de entrada. Como valor de retorno, a função fornece uma referência constante do tipo const ErrorDomain & ao objeto global CoreErrorDomain [SWS_CORE_05280]. Pela declaração como constexpr, a chamada provavelmente já pode ocorrer em tempo de compilação, e o objeto referenciado deve permanecer válido durante todo o tempo de execução da aplicação. Pergunta Q-40cfd195faadb951 (aberta)

Tratamento de erros e simultaneidade

A interface é declarada como segura contra exceções (exception safe) e com o identificador noexcept [SWS_CORE_05280]; erros em tempo de execução ou códigos de erro não são gerados durante a chamada. Além disso, GetCoreErrorDomain é expressamente especificado como seguro para threads (thread-safe) [SWS_CORE_05280], de modo que acessos paralelos a partir de threads concorrentes são permitidos sem medidas adicionais de sincronização.

usar

A função GetFutureErrorDomain no namespace ara::core serve para obter diretamente uma referência à única instância global de ara::core::FutureErrorDomain [SWS_CORE_00480]. Para o uso, o arquivo de cabeçalho ara/core/future_error_domain.h deve ser incluído [SWS_CORE_00480]. A função não recebe parâmetros de passagem e retorna sincronamente uma referência imutável do tipo const ErrorDomain & para a instância [SWS_CORE_00480].

Tratamento de erros

Para GetFutureErrorDomain não estão especificados códigos de erro específicos, valores de retorno de erro, nem mensagens de DET ou DEM [SWS_CORE_00480]. Como a especificação classifica a função explicitamente como segura contra exceções (exception safe) e a assinatura está declarada como noexcept, é garantido que nenhuma exceção C++ ocorre durante a chamada [SWS_CORE_00480].

Simultaneidade e restrições

Em relação à concorrência, GetFutureErrorDomain é definida como segura para threads (thread-safe) [SWS_CORE_00480]. Ela pode, assim, ser chamada de forma segura e concorrente por múltiplas threads em paralelo sem medidas adicionais de sincronização [SWS_CORE_00480]. Devido à sua identificação como constexpr, a função provavelmente também pode ser avaliada em expressões constantes em tempo de compilação [SWS_CORE_00480]. Pergunta Q-916aab60ffd5630c (aberta) Não existem condições restritivas de ordem para a chamada de acordo com a especificação [SWS_CORE_00480].

Utilização e contexto de chamada

A função síncrona Initialize serve para a inicialização básica do framework ARA [SWS_CORE_10003]. Antes de sua execução, qualquer interação com o framework ARA é inadmissível, excetuando-se apenas tipos de dados explicitamente previstos para isso que possam ser usados independentemente da inicialização [SWS_CORE_15002]. Recomenda-se enfaticamente realizar a chamada em um ponto onde a inicialização estática do programa esteja garantidamente concluída [SWS_CORE_10003].

Como parâmetros, são passados os argumentos de linha de comando do processo, tipicamente direto de main() como int &argc e char **argv [SWS_CORE_10003]. Ambos os argumentos são modificáveis (mutable) para viabilizar a introdução e a interpretação de dados de configuração do ARA específicos do fornecedor; argumentos injetados são subsequentemente removidos da lista conforme prescrito [SWS_CORE_15006].

Tratamento de erros e simultaneidade

Como valor de retorno, a função fornece um ara::core::Result<void> [SWS_CORE_10003]. Se o framework já tiver sido inicializado com sucesso anteriormente, a chamada falha com o código de erro CoreErrc::kAlreadyInitialized e semântica de rollback [SWS_CORE_10003]. Outros cenários de erro, como arquivos de configuração corrompidos, são tratados de forma específica da implementação, seja como Non-Standardized Violation [SWS_CORE_00003] ou por meio de códigos de erro específicos do fornecedor [SWS_CORE_00092].

A função é especificada como não thread-safe (not thread-safe) e, portanto, não deve ser executada concorrentemente; no entanto, ela garante segurança contra exceções (exception safe) e é declarada com noexcept [SWS_CORE_10003].

Utilização e semântica

A função NewDeleteResource no namespace ara::core disponibiliza um ponteiro para uma instância de ara::core::MemoryResource [SWS_CORE_06562]. Ela é incluída por meio do cabeçalho ara/core/memory_resource.h e não recebe parâmetros [SWS_CORE_06562]. O comportamento funcional segue a respectiva definição em [mem.res], servindo o tipo AUTOSAR ara::core::MemoryResource como tipo de retorno em vez de std::pmr::memory_resource como desvio [SWS_CORE_06562].

Tratamento de erros e simultaneidade

A chamada de NewDeleteResource é declarada com noexcept e classificada como segura contra exceções (exception safe) [SWS_CORE_06562]. Códigos de erro específicos ou mensagens de erro via DET ou DEM não estão definidos para esta chamada. Além disso, a função é especificada como segura para threads (thread-safe), de modo que chamadas simultâneas a partir de várias threads são permitidas [SWS_CORE_06562].

Interação

Na interação com outras funções de memória, ara::core::NewDeleteResource() substitui em SetDefaultResource e GetDefaultResource as referências ao padronizado std::pmr::new_delete_resource() [SWS_CORE_06564] [SWS_CORE_06565]. Interpretação: O recurso de memória retornado deve ser concebido como um recurso básico global para, por exemplo, ser configurado como recurso padrão via SetDefaultResource [SWS_CORE_06564]. Pergunta Q-471ebc06e64ce70f (aberta)

A função NullMemoryResource() disponibiliza um recurso de memória e segue a semântica de std::pmr::null_memory_resource de acordo com o padrão C++ [mem.res], mas apresenta desvios específicos da plataforma Adaptive [SWS_CORE_06563].

Utilização e valor de retorno

A função não espera parâmetros de entrada e retorna um ponteiro do tipo ara::core::MemoryResource* [SWS_CORE_06563]. Diferentemente do tipo do padrão C++ std::pmr::memory_resource, aqui é utilizado o tipo AUTOSAR ara::core::MemoryResource [SWS_CORE_06563]. A declaração encontra-se no arquivo de cabeçalho ara/core/memory_resource.h dentro do namespace ara::core [SWS_CORE_06563].

Tratamento de erros e comportamento de alocação

Ao chamar a função de alocação do recurso de memória retornado, nenhuma memória dinâmica é alocada. Um desvio substancial em relação ao padrão [mem.res] reside no fato de que a função-membro allocate() da instância retorna nullptr em caso de solicitação de memória, em vez de lançar uma exceção do tipo std::bad_alloc [SWS_CORE_06563]. A própria função NullMemoryResource() é declarada como noexcept e é considerada segura contra exceções (exception safe) [SWS_CORE_06563].

Concorrência e segurança de threads

A chamada de NullMemoryResource() é especificada como segura para threads (thread-safe) e pode ser executada concorrentemente sem sincronização externa [SWS_CORE_06563].

Para a utilização, inclui-se o arquivo de cabeçalho ara/core/abort.h. A função SetAbortHandler no namespace ara::core registra uma função de manipulador de abort específica da aplicação e retorna o último manipulador instalado ([SWS_CORE_00051]). Se o parâmetro handler for definido com nullptr, a implementação pode, em vez disso, restaurar o manipulador padrão; neste caso, todos os manipuladores previamente registrados serão completamente removidos ([SWS_CORE_00051]).

Como valor de retorno, é fornecido o tipo AbortHandler, que representa o manipulador imediatamente ativo antes ou nullptr, caso nenhum manipulador definido pelo usuário tenha sido configurado previamente ([SWS_CORE_00051]). A função não lança exceções C++, é declarada com noexcept e especificada como segura para exceções (exception safe) ([SWS_CORE_00051]). Códigos de erro ou mensagens de erro específicos não são definidos para esta interface.

Em relação à concorrência e à interação técnica, aplicam-se as seguintes diretrizes:

• Segurança de thread: A chamada é thread-safe e pode ocorrer a partir de múltiplas threads simultaneamente; o processamento dessas chamadas paralelas ocorre em uma ordem definida pela implementação ([SWS_CORE_00051]).
• Alias de tipo do manipulador: O tipo AbortHandler é especificado como alias por meio de decltype(&AbortHandlerPrototype) ([SWS_CORE_00050]).
• Compatibilidade com C++: O protótipo void AbortHandlerPrototype() noexcept não possui implementação ([SWS_CORE_00053]). Ele serve exclusivamente como declaração auxiliar para atribuir um noexcept ao tipo de ponteiro de função, já que o padrão C++, até o C++14 inclusive, não permite noexcept em declarações de alias ([SWS_CORE_00053]).