Please enable JavaScript.

Coggle requires JavaScript to display documents.

Procesadores de lenguaje - Coggle Diagram

- - - - Comprobación Dinamico: Parte de la comprobacion de los tipos.
        Se realiza en tiempo de ejecución o cuando se vaya a utilizar el modulo. Puede dar errores en tiempo de ejecución
      - Comprobación Estático: realiza la comprobación en tiempo de ejecución. Se emplea en lenguajes fuertemente tipado.
      - Características de comprobador de tipo:
        
        Depende de las estructuras sintácticas creadas y la gramática definida.
        
        Para que este tenga sentido de debe definir un conjunto de reglas de asignación de tipos.
        
        Permite definir un sistema de tipos
        
        utiliza la TDS
        
        Requiere estructuras externas.
        
        No es necesaria en la parte semántica.
        
        Es una parte de análisis semántico
      - Equivalencia de tipos:
        
        Estructural: Son experesiones identicas o construidas a partir del mismo constructor, por lo que se pueden reemplazar por su expresión correspondiente. Esto suele ser muy estricto.
        
        Por nombres: Simplemente se sustituyen los nombres sin incluir sus expresiones.
      - Conversión de tipos:
        
        Conversión implícita: tambien llamada coerción se realiza automáticamente sin pérdida de información.
        
        Conversión explícita: Son responsabilidad del programador y suele tener pérdida de información.
- - - - Código máquina absoluto:
        1.No requiere un proceso de traducción.
        2.Su ejecución es inmediata.
        
        La desventaja es que si las posiciones de memoria asignadas estan ocupadas debe hacer un desalojo previo y el tiempo de carga en memoria podría aumentar.
      - Código máquina relocalizable:Permite la compilación de programas por separado, pero requiere un enlace para poder generar el objeto. Es más flexible que el anterior, ya que se puede ampliar el programa principal con llamadas a elementos ya compilados en módulos relacionados.
      - Código ensamblador: Se facilita la GCF generando instrucciones simbólicas, pero requiere un ensamblado posterior. La principal desventaja es que se necesita llamar al ensamblador para poder ejecutar-traducir el código generado con esas instrucciones simbólicas.
      - La carga en el GCF depende de la optimización del código. Es por ello importante la selección de instrucciones para mejorar el rendimiento
        
        Criterios a tener en cuenta para el diseño:
        
        Asignación de registros:Las operaciones deben contar con un registro para que el procesador las ejecute con mayor rapidez. puede tener problemas como: Eleccion de las variables que deben tener registros asignados, asignación de registros a cada variable, uso simultaneo de registros por diferentes variables.
        
        Administración de memoria: Se realiza una relación entre los nombres del programa fuente con direcciones de objetos de datos en memoria durante la fase de ejecución.
        
        Orden de evaluación. El orden en que se realizan los cálculos puede afectar al rendimiento del programa objeto. En ocasiones, puede ser necesaria una reordenación de operaciones para poder realizar un mejor uso de los registros.
        
        Para la correcta gestión de las tareas, código y funciones que tiene un programa, el compilador se basa en un arbol de activación
        
        Esto permite: Mostrar la ejecución de un programa, flujo de control secuencial, activación de un procedimiento, dos activaciones distintas (anidadas o no se solapan), recursividad, cada nodo es una activacion, el nodo raiz es la activacion principal.
        
        Otra estructura aparte del arbol de activacion son: Pila de control, ambito de las declaraciones, enlace de nombres.
    - - Recursividad.
        Referencia a nombres no locales.
        Paso de parametros.
        Procedimientos como parametros o resultados.
        Asignación dinamica controlada por el programa.
      - Organizacion de la memoria:
        Codigo objetivo
        datos estaticos.
        activaciones de procedimientos.
        datos dinamicos.
      - Estructura en memoria:
        
        Area de codigo.
        
        Area de datos estaticos.
        
        Area de pila.
        
        Area de datos dinamicos
      - Registro de activación:
        
        En cada uno de ellos se almacena el valor devuelto por el procedimiento, los parámetros reales, el estado de la máquina antes de la llamada, los datos locales, los valores temporales, los enlaces de control y el enlace de acceso
      - Asignación de memoria:
        
        Estatica
        
        Dinámica.
        
        Estructura de pila
- - - - La generacion de codigo intermedio presenta ventajas:
        
        Introduccion de una fase de optimizacion adicional.
        
        Independencia de la arquitectura de hardware(si se cambia la arquitectura solo basta cambiar el generador de codigo final)
        
        Dependiendo del analizador sintactico que se elija (ascendente o descendente) condicionara la contruccion de compilador
        
        1.Para los ascendentes utilizaremos DDS y atributos sintetizados.
        2.Para los descendentes se usan EDT y atributos heredados y sintetizados.
    - - Cuartetos:Cada operacion consta de 4 posiciones:
        (operador, arg1, arg2, resultado)
        
        Ventaja:
        1.-Reubicacion de codigo facil.
        2.-Las variables temporales son facilmente accesibles
        
        Desventaja:
        1.- Tabla de simbolos grande
      - Tercetos:Se fundamentan en los cuartetos pero eliminan el campo resultado y lo sustituyen por variables temporales
        
        Ventaja: Tabla de simbolos pequeña
        
        Desventaja: Dificil reubicacion de codigo
      - Tercetos indirectos: Se basa en los tercetos, pero eliminan las variables temporales y se introducen puntero a las operaciones que calculan los valores que se requieren.
        
        Ventaja:
        1.- facil reubicacion de codigo
        2.- Tabla de simbolos pequeña.
        3.- Uso eficiente de memoria
        
        Desventaja: Ninguna
      - Ejemplo de traducciones
        
        Traduccion de declaraciones: Es necesario modificar la entrada correspondiente en la tabla de simbolos para poder incluir informacion sobre el espacio necesario de las variables acorde con el tipo utilizado en su declaracion.
        
        Traduccion de expresiones booleanas: existen dos alternativas.
        1.-calculo del valor de verdad de la expresion.
        2.- Calculo del flujode control.