Enseñanza de Mecanismos Hardware de Ejecución Especulativa de Instrucciones

El presente trabajo describe la metodología empleada en las prácticas de cuarto curso de la Facultad de Informática para la enseñanza y aplicación de mecanismos hardware de especulación de instrucciones basados en el algoritmo de Sohi. Debido a la complejidad de dichos mecanismos y a la imposibilidad de trabajar directamente con ellos, se ha desarrollado un sistema que permite al alumno realizar su propia implementación del algoritmo de Sohi, simular su funcionamiento en la ejecución de programas y, además, detectar de forma automática los posibles errores de ejecución debidos a una implementación incorrecta. El objetivo del sistema es facilitar la comprensión del algoritmo de ejecución especulativa. Para ello, gracias a la detección automática de fallos, al alumno se le proporciona de forma precisa dónde y cuándo está fallando su desarrollo, lo cual le permite rectificarlo. Esta realimentación es la principal ventaja del sistema utilizado pues implica llegar a entender bien el algoritmo de Sohi para así conseguir su correcto funcionamiento