| 摘要 |
Se describe un programa de lenguaje intermedio (IL) se verifica procesando el programa en una simple pasada. Las instrucciones de IL procesadas pueden ser provistas por un compilador just-in-time (JIT) de manera que el programa pueda ser convertido en un programa de lenguaje nativo de un dispositivo objetivo. Un aparato de verificación puede comprender una memoria, un módulo de secuenciamiento, un módulo de actualización de memoria y un módulo de lógica de reglas. La memoria comprende una pila de comandos de IL y una estructura de datos que almacena información de una pila de IL correspondiente a una instrucción de IL procesada. El aparato de verificación procesa el programa de IL de una manera lineal excepto al encontrar instrucciones de IL que corresponden a tipos de códigos de operación designados. En tales casos, el aparato de verificación puede alterar un secuenciamiento de procesamiento del programa de IL utilizando la pila de comandos de IL.
|
