{"id":104790,"date":"2022-08-07T21:36:50","date_gmt":"2022-08-07T19:36:51","guid":{"rendered":"https:\/\/prohoster.info\/blog\/novosti-interneta\/dlya-linux-predlozhen-mehanizm-verifikaczii-korrektnosti-raboty-yadra"},"modified":"2022-08-07T21:36:50","modified_gmt":"2022-08-07T19:36:51","slug":"dlya-linux-predlozhen-mehanizm-verifikaczii-korrektnosti-raboty-yadra","status":"publish","type":"post","link":"https:\/\/prohoster.info\/pt\/blog\/news\/dlya-linux-predlozhen-mehanizm-verifikaczii-korrektnosti-raboty-yadra","title":{"rendered":"Um mecanismo de verifica\u00e7\u00e3o da integridade do kernel foi proposto para Linux.","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Para integrar ao kernel do Linux 5.20 (possivelmente, a ramifica\u00e7\u00e3o receber\u00e1 o n\u00famero 6.0), foi proposto um conjunto de patches com a implementa\u00e7\u00e3o do mecanismo RV (Runtime Verification), que oferece ferramentas para a verifica\u00e7\u00e3o da integridade operacional em sistemas de alta confiabilidade, garantindo a aus\u00eancia de falhas. A verifica\u00e7\u00e3o \u00e9 realizada em tempo de execu\u00e7\u00e3o por meio da anexa\u00e7\u00e3o de manipuladores a pontos de rastreamento, que comparam o fluxo de execu\u00e7\u00e3o real com um modelo determin\u00edstico padr\u00e3o previamente definido, que determina o comportamento esperado do sistema. <\/p>\n
As informa\u00e7\u00f5es dos pontos de rastreamento transferem o modelo de um estado para outro, e se o novo estado n\u00e3o corresponder aos par\u00e2metros do modelo, um aviso \u00e9 gerado ou o n\u00facleo \u00e9 colocado no estado «panic» (presume-se que sistemas de alta confiabilidade determinar\u00e3o essas situa\u00e7\u00f5es e reagir\u00e3o a elas). O modelo do aut\u00f4mato, que define as transi\u00e7\u00f5es de um estado para outro, \u00e9 exportado no formato «dot» (graphviz), e em seguida traduzido usando a utilidade dot2c para uma representa\u00e7\u00e3o em linguagem C, que \u00e9 carregada na forma de um m\u00f3dulo do n\u00facleo que monitora desvios da execu\u00e7\u00e3o em rela\u00e7\u00e3o ao modelo predefinido.
<\/center> <\/p>\n
A verifica\u00e7\u00e3o com o modelo durante a execu\u00e7\u00e3o \u00e9 posicionada como uma forma mais leve e simples de implementar na pr\u00e1tica a confirma\u00e7\u00e3o da integridade da execu\u00e7\u00e3o em sistemas cr\u00edticos, complementando m\u00e9todos cl\u00e1ssicos de valida\u00e7\u00e3o de confiabilidade, como verifica\u00e7\u00e3o de modelo e provas matem\u00e1ticas de conformidade do c\u00f3digo com especifica\u00e7\u00f5es definidas em linguagem formal. Entre as vantagens do RV, destaca-se a capacidade de garantir uma verifica\u00e7\u00e3o rigorosa sem a necessidade de uma implementa\u00e7\u00e3o separada de todo o sistema na linguagem de modelagem, bem como uma resposta flex\u00edvel a eventos imprevistos, por exemplo, para bloquear a propaga\u00e7\u00e3o de falhas em sistemas cr\u00edticos. \n Fonte: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"
![\"Um](\"\/wp-content\/uploads\/2022\/08\/56f02964c804a17b5cf5d811b2777368.jpg\")
<\/center> <\/p>\n