interface de serviço UpdateRequest

O método de serviço PrepareRollback da interface de serviço UpdateRequest é chamado pelo Update and Configuration Management para preparar a reversão de alterações para os grupos de funções de um Software Cluster passados no parâmetro functionGroupList [SWS_SM_91105]. A chamada ocorre sem semântica Fire-and-Forget, de modo que o State Management reporta o resultado da preparação de volta ao chamador [SWS_SM_91105].

Aplicam-se condições fixas para a chamada e o tratamento de erros:

• Contexto da sessão: A chamada é permitida apenas dentro de uma sessão de atualização ativa. Se ocorrer fora de uma sessão ativa, o State Management rejeita a operação com o erro kOperationRejected [SWS_SM_00213].
• Erros de aplicação: Além de kOperationRejected em caso de estado interno inválido, o método pode retornar kOperationFailed se a preparação falhar [SWS_SM_91105].

No modelo de estados, a chamada de método tem impactos diretos sobre as máquinas de estados envolvidas:

• Máquinas de estados que gerenciam um dos grupos de funções passados são marcadas pelo processo controlador como ImpactedByUpdate [SWS_SM_00654].
• Se uma máquina de estados do tipo Agent for marcada, esse status passa transitivamente também para o Controller superior [SWS_SM_00655].
• Para máquinas de estados identificadas como ImpactedByUpdate, erros de execução reportados (ExecutionErrorEvent::executionError) não são tratados por meio de uma recuperação, mas sim ignorados e apenas registrados em log [SWS_SM_00664].

usar

O método de serviço PrepareUpdate é chamado pelo Update and Configuration Management (UCM) para solicitar ao State Management a preparação da atualização de um conjunto de grupos de funções [SWS_SM_00206], [SWS_SM_91103]. É disponibilizado através da interface de serviço UpdateRequest e recebe como parâmetro de entrada a lista functionGroupList do tipo FunctionGroupListType, que especifica os grupos de funções a atualizar dentro do Software Cluster [SWS_SM_91103]. Dado que o Fire & Forget está desativado, a chamada possui uma semântica de resposta síncrona com retorno para o chamador [SWS_SM_91103].

Condições de ordenação e concorrência

Uma chamada só é admissível dentro de uma sessão de atualização previamente iniciada com sucesso por RequestUpdateSession [SWS_SM_91103]. Durante a chamada, o processo de controlo marca todas as máquinas de estados que gerem um dos grupos de funções fornecidos como ImpactedByUpdate [SWS_SM_00654]. Se isto afetar uma máquina de estados do tipo Agent, a máquina de estados do tipo Controller hierarquicamente superior é também automaticamente marcada como ImpactedByUpdate [SWS_SM_00655]. Enquanto este estado subsistir, as transições de estado externas são bloqueadas: cada chamada de RequestTransition é respondida com kUpdateInProgress [SWS_SM_00649]. Além disso, pedidos de recuperação em caso de erros de execução (ExecutionErrorEvent::executionError) são ignorados e meramente registados [SWS_SM_00664].

Tratamento de erros

Estão definidos dois erros de aplicação específicos para o método [SWS_SM_91103]:

• kOperationRejected: É devolvido quando a chamada ocorre fora de uma sessão de atualização ativa [SWS_SM_00213] ou quando o estado interno do State Management rejeita a operação [SWS_SM_91103].
• kOperationFailed: Indica que a preparação solicitada dos grupos de funções falhou [SWS_SM_91103].

Interpretação: O método só deverá regressar após o início ou conclusão das transições de estado internas dos grupos de funções, uma vez que não está definido qualquer mecanismo separado de confirmação assíncrona na interface. Pergunta Q-9994d886fd5504d8 (aberta)

O método de serviço RequestUpdateSession da interface UpdateRequest é chamado sem parâmetros (Fire & Forget: false) e serve como ponto de entrada para o Update and Configuration Management iniciar uma atualização de software [SWS_SM_91102]. Pela chamada, inicia-se a transição para uma sessão ativa de atualização, a qual perdura até a conclusão da atualização [SWS_SM_00210] [SWS_SM_00213].

Por máquina, no máximo uma porta pode ser tipificada com a interface UpdateRequest [SWS_SM_CONSTR_00020], a qual pode ser disponibilizada exclusivamente por um processo que controle uma StateMachine do tipo Controller [SWS_SM_00629]. Para assegurar a consistência da plataforma, apenas uma única sessão de atualização pode estar ativa a qualquer momento [SWS_SM_00210]. Além disso, o State Management persiste o status da sessão para que este possa ser lido após uma reinicialização da máquina [SWS_SM_00204].

A aceitação bem-sucedida da sessão é uma condição estrita de ordenação: métodos subsequentes como PrepareUpdate [SWS_SM_91103], ResetMachine [SWS_SM_91100] ou StopUpdateSession [SWS_SM_91101] pressupõem que RequestUpdateSession tenha sido chamado com sucesso previamente [SWS_SM_00213].

Em caso de falha, dois erros específicos da aplicação estão definidos [SWS_SM_91102]: Se o método for chamado durante uma sessão já em andamento, ele retorna kNotAllowedMultipleUpdateSessions [SWS_SM_00209]. Se a verificação (por exemplo, por meio da interface UpdateAllowed) indicar que a máquina não permite uma atualização no momento, a solicitação é rejeitada com o erro kOperationRejected [SWS_SM_00630].

O método de serviço ResetMachine na interface de serviço UpdateRequest é chamado pelo Update and Configuration Management (UCM) para solicitar o reinício da máquina durante uma sessão de atualização em curso [SWS_SM_91100]. O método não possui parâmetros de passagem e está declarado com semântica de fire-and-forget [SWS_SM_91100].

Antes da execução do reinício, todas as informações internas da máquina têm de ser guardadas de forma persistente [SWS_SM_91100]. O State Management salvaguarda para o efeito os dados da sessão de atualização ativa, para que o UCM possa continuar o procedimento de atualização de forma consistente após o reinício da máquina [SWS_SM_00204]. Aquando da chamada do método, o processo de controlo transfere a StateMachine do tipo Controller para o estado Restart [SWS_SM_00658]. Após a conclusão do reinício da máquina, o Controller passa para o estado ContinueUpdate para a retoma da atualização SWS StateManagement §7.2 «ResetMachine notification».

Para a sincronização e acompanhamento da execução, o State Management disponibiliza o campo ResetMachineNotifier [SWS_SM_00211] [SWS_SM_91106], cujo valor inicial é kIdle [SWS_SM_00212]. Dado que ResetMachine está concebido como chamada fire-and-forget, o UCM deverá monitorizar o resultado do reinício primariamente de forma assíncrona através deste notificador (Interpretação). Pergunta Q-732913d75d024929 (aberta)

Caso não tenha sido previamente estabelecida com êxito uma sessão de atualização via RequestUpdateSession, a chamada é rejeitada e devolve o erro kOperationRejected [SWS_SM_91100]. No caso de uma chamada fora de uma sessão de atualização, o processo define ainda o valor do campo ResetMachineNotifier como kRejected [SWS_SM_00661].

O campo de serviço ResetMachineNotifier do tipo UpdateStatusType [SWS_SM_91027] pertence à interface de serviço UpdateRequest e serve para permitir ao Update and Configuration Management (UCM) o rastreamento de estado do método ResetMachine durante e após a sua execução [SWS_SM_00211] [SWS_SM_91106]. O campo disponibiliza um getter bem como um notificador, mas não possui setter [SWS_SM_91106]. O UCM deve tipicamente subscrever o notificador para receber alterações de estado de forma assíncrona, sem polling, após a reinicialização da máquina. Pergunta Q-122f44b23cd76238 (aberta)

O ciclo de vida do campo abrange os seguintes estados e transições de estado:

• Valor inicial: O valor padrão do campo é kIdle [SWS_SM_00212].
• Rejeição fora de uma sessão: Se ocorrer uma chamada de ResetMachine fora de uma sessão de atualização ativa, o processo de controlador modelado define o valor do campo como kRejected [SWS_SM_00661].
• Reinicialização e continuação: Dentro de uma sessão de atualização, ResetMachine leva a uma transição para o estado Restart [SWS_SM_00658]. Após a inicialização da máquina, o State Management e o UCM sincronizam-se novamente. Em caso de conclusão bem-sucedida da transição para ContinueUpdate, o campo é definido como kSuccessful [SWS_SM_00662].
• Caso de erro: Se a execução da transição para ContinueUpdate falhar, o valor do campo muda para kFailed [SWS_SM_00663].

Se a sessão de atualização for terminada através de StopUpdateSession, a State Machine transita para o estado AfterUpdate [SWS_SM_00646], e o State Management redefine o campo ResetMachineNotifier de volta para o valor padrão kIdle [SWS_SM_00660].

O método de serviço StopUpdateSession da interface de serviço UpdateRequest ([SWS_SM_91101]) é chamado pelo Update and Configuration Management assim que a atualização estiver concluída e a Machine se encontrar num estado estável. A chamada ocorre sem parâmetros e possui semântica de pedido-resposta síncrona ou assíncrona (Fire & Forget é false).

Condições de chamada e tratamento de erros

A execução pressupõe uma sessão de atualização iniciada previamente com sucesso. Se a chamada de StopUpdateSession ocorrer fora de uma sessão de atualização ativa, o pedido é rejeitado e devolve o erro kOperationRejected ([SWS_SM_00213], [SWS_SM_91101]).

Comportamento do sistema e transições de estado

A chamada termina a sessão de atualização em curso (AUTOSAR_AP_SWS_StateManagement p. 90). No State Management, isto despoleta várias ações coordenadas:

• O processo modelado que controla a StateMachine do tipo Controller transfere-a para o estado AfterUpdate ([SWS_SM_00646]).
• O campo ResetMachineNotifier é reposto no seu valor predefinido ([SWS_SM_00660]).
• Para instâncias de StateMachine do tipo Controller, o bloqueio de RequestTransition é levantado; chamadas subsequentes já não respondem com kUpdateInProgress ([SWS_SM_00647]).
• A marcação ImpactedByUpdate é removida das instâncias de StateMachine afetadas ([SWS_SM_00656]), libertando novamente transições de estado regulares e Recovery Actions.

Utilização e contexto de chamada

O método de serviço VerifyUpdate é chamado pelo Update and Configuration Management (UCM) através da interface de serviço UpdateRequest para encarregar o State Management da verificação de grupos de funções atualizados [SWS_SM_00207]. Como parâmetro é passado functionGroupList (tipo FunctionGroupListType), que contém a lista dos grupos de funções a serem verificados no respectivo SoftwareCluster [SWS_SM_91104]. Como o método não está definido como Fire-and-Forget (Fire & Forget: false), o chamador espera um retorno síncrono ou disponível após a conclusão [SWS_SM_91104].

Ordem e tratamento de erros

A chamada está sujeita a condições de estado estritas: é permitida apenas dentro de uma sessão de atualização ativa e pressupõe que o State Management tenha autorizado a atualização e que a fase PrepareUpdate tenha sido concluída com sucesso anteriormente [SWS_SM_91104].

• kOperationRejected: É retornado quando a chamada ocorre fora de uma sessão de atualização ativa [SWS_SM_00213] ou quando o estado interno do State Management ou das máquinas de estados envolvidas rejeita a verificação (por exemplo, se PrepareUpdate não tiver sido bem-sucedido) [SWS_SM_91104].
• kOperationFailed: Indica que a operação de verificação solicitada falhou [SWS_SM_91104].

Interação e concorrência

Durante o processamento, o processo modelado controlador de um StateMachine do tipo Controller marca cada máquina de estados como ImpactedByUpdate cujos grupos de funções gerenciados estejam listados em functionGroupList [SWS_SM_00654]. Se isso afetar um StateMachine do tipo Agent, o Controller associado também será marcado indiretamente como ImpactedByUpdate [SWS_SM_00655]. Enquanto esse estado estiver ativo, falhas de execução reportadas (ExecutionErrorEvent::executionError) do Platform Health Management ou do Execution Management são ignoradas e apenas registradas em log [SWS_SM_00664]. Presumivelmente, as máquinas de estados afetadas são colocadas durante esta etapa no estado VerifyUpdate, que pertence aos cinco estados obrigatórios de cada StateMachine AUTOSAR_AP_SWS_StateManagement §7.7.1 «StateMachine introduction». Pergunta Q-cd5deaf13acfc2f5 (aberta)