Sscfm: monitoreo de errores de flujo de control basado en firma separada para entornos multi-hilos y multi-núcleo
Autores: Choi, Kiho; Park, Daejin; Cho, Jeonghun
Idioma: Inglés
Editor: MDPI
Año: 2019
Acceso abierto
Artículo científico
2019
Sscfm: monitoreo de errores de flujo de control basado en firma separada para entornos multi-hilos y multi-núcleo
Categoría
Ingeniería y Tecnología
Subcategoría
Ingeniería Eléctrica y Electrónica
Palabras clave
Error suave
Sistemas informáticos
Error de flujo de control
Esquema de monitoreo basado en firmas
Entornos multi-hilos
Mejoras de rendimiento
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 31
Citaciones: Sin citaciones
El error suave es un desafío clave en los sistemas informáticos. Sin mitigación de errores suaves, el error de flujo de control (CFE) puede provocar un bloqueo del sistema. El esquema de monitoreo de CFE basado en firmas es una técnica representativa para detectar CFE durante la ejecución. Sin embargo, la mayoría de los esquemas de monitoreo de CFE basados en firmas propuestos hasta ahora se basan en un solo hilo. Actualmente, los entornos ampliamente utilizados de múltiples hilos y múltiples núcleos han mejorado enormemente el rendimiento del sistema informático, pero si estos esquemas se aplican en estos entornos, es difícil lograr una mejora en el rendimiento, o incluso puede producirse una degradación del rendimiento. En este documento, proponemos un esquema de monitoreo de CFE basado en firmas separadas (SSCFM) que separa la actualización de firmas y la verificación de firmas a nivel de hilo. La actualización de firmas se combina con el hilo de aplicación y la verificación de firmas se ejecuta en hilos de monitoreo separados, de modo que podemos esperar mejoras en el rendimiento en entornos de múltiples hilos o múltiples núcleos. Además, el esquema SSCFM puede cubrir completamente CFE interprocedimentales no cubiertos por muchos esquemas de monitoreo de CFE basados en firmas mediante el uso de análisis de flujo de control interprocedimental. Con el esquema SSCFM propuesto, la sobrecarga de tiempo de ejecución se reduce aproximadamente en un 26.67% en promedio con respecto al esquema SEDSR, y la tasa de detección de CFE promedio con SSCFM es aproximadamente del 93.69%. Además, este documento también presenta el generador SSCFM basado en el compilador LLVM que facilita la aplicación del esquema SSCFM a aplicaciones de software.
Descripción
El error suave es un desafío clave en los sistemas informáticos. Sin mitigación de errores suaves, el error de flujo de control (CFE) puede provocar un bloqueo del sistema. El esquema de monitoreo de CFE basado en firmas es una técnica representativa para detectar CFE durante la ejecución. Sin embargo, la mayoría de los esquemas de monitoreo de CFE basados en firmas propuestos hasta ahora se basan en un solo hilo. Actualmente, los entornos ampliamente utilizados de múltiples hilos y múltiples núcleos han mejorado enormemente el rendimiento del sistema informático, pero si estos esquemas se aplican en estos entornos, es difícil lograr una mejora en el rendimiento, o incluso puede producirse una degradación del rendimiento. En este documento, proponemos un esquema de monitoreo de CFE basado en firmas separadas (SSCFM) que separa la actualización de firmas y la verificación de firmas a nivel de hilo. La actualización de firmas se combina con el hilo de aplicación y la verificación de firmas se ejecuta en hilos de monitoreo separados, de modo que podemos esperar mejoras en el rendimiento en entornos de múltiples hilos o múltiples núcleos. Además, el esquema SSCFM puede cubrir completamente CFE interprocedimentales no cubiertos por muchos esquemas de monitoreo de CFE basados en firmas mediante el uso de análisis de flujo de control interprocedimental. Con el esquema SSCFM propuesto, la sobrecarga de tiempo de ejecución se reduce aproximadamente en un 26.67% en promedio con respecto al esquema SEDSR, y la tasa de detección de CFE promedio con SSCFM es aproximadamente del 93.69%. Además, este documento también presenta el generador SSCFM basado en el compilador LLVM que facilita la aplicación del esquema SSCFM a aplicaciones de software.