Resumen

Los sistemas multinúcleo son complejos en el sentido de que múltiples procesos se ejecutan simultáneamente y pueden interferir entre sí. Los sistemas en tiempo real añaden a eso restricciones temporales, haciendo que los resultados sean inválidos tan pronto como se haya incumplido un plazo. El rastreo a menudo es la herramienta más confiable y precisa disponible para estudiar y comprender esos sistemas. Sin embargo, el rastreo requiere que los usuarios entiendan los eventos del núcleo y su significado, por lo que no es muy accesible. Utilizar modelado para generar código fuente o representar el flujo de trabajo de las aplicaciones es útil para los desarrolladores y ha surgido como parte de la metodología de desarrollo basada en modelos. En este documento, proponemos un nuevo enfoque para el análisis de sistemas utilizando restricciones basadas en modelos, sobre trazas de espacio de usuario y de núcleo. Introducimos la representación de restricciones y cómo las trazas pueden usarse para seguir el flujo de trabajo de las aplicaciones y verificar las restricciones

• Materias:Difusión de información Inteligencia de enjambre Programación híbrida Modelo de programación Máquinas virtuales
• Subjects:Information dissemination Swarm intelligence Hybrid programming Programming model Virtual machines
• Palabras claves:Sistemas multinúcleo; Sistemas en tiempo real; Trazado; Modelado; Restricciones; Eventos del núcleo.
• Keywords:Multicore systems; Real-time systems; Tracing; Modeling; Constraints; Kernel events