Para incluir en el núcleo de Linux 5.20 (posiblemente, la rama recibirá el número 6.0) se ha propuesto un conjunto de parches con la implementación del mecanismo RV (Verificación en Tiempo de Ejecución), que proporciona herramientas para verificar la corrección del funcionamiento en sistemas de alta confiabilidad, garantizando la ausencia de fallos. La verificación se realiza en tiempo de ejecución mediante la vinculación de controladores a puntos de seguimiento, que comparan el flujo de ejecución real con un modelo de autómata determinista previamente definido, que determina el comportamiento esperado del sistema.
La información de los puntos de seguimiento traduce el modelo de un estado a otro, y si el nuevo estado no se ajusta a los parámetros del modelo, se genera una advertencia o el núcleo se traduce a un estado de "panic" (se supone que los sistemas de alta confiabilidad identificarán tales situaciones y reaccionarán ante ellas). El modelo de autómata, que define las transiciones de un estado a otro, se exporta al formato "dot" (graphviz), y luego se traduce mediante la utilidad dot2c a una representación en lenguaje C que se carga en forma de módulo del núcleo, que monitorea las desviaciones en el flujo de ejecución respecto al modelo predefinido.
La comparación con el modelo durante la ejecución se posiciona como un método más ligero y fácil de implementar en la práctica para confirmar la corrección de la ejecución en sistemas críticos, complementando los métodos clásicos de verificación de confiabilidad, como la verificación del modelo y las pruebas matemáticas de conformidad del código con las especificaciones establecidas en un lenguaje formal. Entre las ventajas del RV se menciona la posibilidad de asegurar una verificación rigurosa sin necesidad de implementar todo el sistema en un lenguaje de modelado, así como una respuesta flexible ante eventos imprevistos, por ejemplo, para bloquear la propagación adicional de fallos en sistemas críticos.
Fuente: opennet.ru
