Para integrar ao kernel do Linux 5.20 (possivelmente, a ramificação receberá o número 6.0), foi proposto um conjunto de patches com a implementação do mecanismo RV (Runtime Verification), que oferece ferramentas para a verificação da integridade operacional em sistemas de alta confiabilidade, garantindo a ausência de falhas. A verificação é realizada em tempo de execução por meio da anexação de manipuladores a pontos de rastreamento, que comparam o fluxo de execução real com um modelo determinístico padrão previamente definido, que determina o comportamento esperado do sistema.
As informações dos pontos de rastreamento transmitem o modelo de um estado para outro, e se o novo estado não corresponder aos parâmetros do modelo, um aviso é gerado ou o kernel é colocado no estado de 'panic' (supõe-se que sistemas de alta confiabilidade identificarão tais situações e reagirão a elas). O modelo de máquina que define as transições de um estado a outro é exportado para o formato 'dot' (graphviz), e em seguida é traduzido utilizando a ferramenta dot2c para uma representação na linguagem C, que é carregada na forma de um módulo do kernel, monitorando desvios do fluxo de execução em relação ao modelo predefinido.
A verificação com o modelo durante a execução é posicionada como uma forma mais leve e simples de implementar na prática a confirmação da integridade da execução em sistemas críticos, complementando métodos clássicos de validação de confiabilidade, como verificação de modelo e provas matemáticas de conformidade do código com especificações definidas em linguagem formal. Entre as vantagens do RV, destaca-se a capacidade de garantir uma verificação rigorosa sem a necessidade de uma implementação separada de todo o sistema na linguagem de modelagem, bem como uma resposta flexível a eventos imprevistos, por exemplo, para bloquear a propagação de falhas em sistemas críticos.
Fonte: opennet.ru
