COMPILADORES

ESCUELA DE INGENIERIA EN SISTEMAS PUCESI

COMPILADORES 5 NIVEL INGENIERIA PUCESI PROF. ING. DIEGO BAROJA LLANOS

Procesadores de lenguaje
Es el nombre genrico que reciben todas las aplicaciones informticas en las cuales uno de los datos fundamentales de entrada es un lenguaje. La definicin anterior afecta a una gran variedad de herramientas software, algunas de ellas son las siguientes (expresando entre parntesis el trmino equivalente en lengua inglesa):

COMPILADORES 5 NIVEL INGENIERIA PUCESI PROF. ING. DIEGO BAROJA LLANOS

Procesadores de lenguaje
Traductores (translators) Compiladores (compilers) Ensambladores (assemblers) Montadores de enlaces o enlazadores (linkers) Cargadores (loaders) Intrpretes (interpreters) Desensambladores (dissemblers) Decompiladores (decompilers) Depuradores (debuggers) Analizadores de rendimiento (profilers) Optimizadores de cdigo (code optimizers) Compresores (compressors) Preprocesadores (preprocessors) Formateadores (formatters) Editores (editors)

COMPILADORES 5 NIVEL INGENIERIA PUCESI PROF. ING. DIEGO BAROJA LLANOS

TRADUCTORES
Un traductor es un programa que procesa un texto fuente y genera un texto objeto. El traductor est escrito en un lenguaje de implementacin (LI) o tambin denominado lenguaje host. El texto fuente est escrito en lenguaje fuente (LF), por ejemplo un lenguaje de alto nivel. El texto objeto est escrito en lenguaje objeto (LO), por ejemplo un lenguaje mquina, ensamblador u otro lenguaje de alto nivel. Se suele utilizar la notacin en T, tal como se muestra en la figura 5. La notacin en T tambin se puede representar de una forma abreviada como: LFLILO.
COMPILADORES 5 NIVEL INGENIERIA PUCESI PROF. ING. DIEGO BAROJA LLANOS

TRADUCTORES
El lenguaje fuente (LF) es el lenguaje origen que transforma el traductor (por ejemplo C, C++, Pascal, FORTRAN, PL/I, COBOL, ADA, MODULA-2, BASIC, C..). Tambin pueden ser lenguajes de bajo nivel. El lenguaje objeto (LO) es el lenguaje al que se traduce el texto fuente. Los lenguajes objeto pueden ser por ejemplo otro lenguaje de alto nivel, el lenguaje mquina de un microprocesador determinado, un lenguaje ensamblador,... El lenguaje de implementacin (LI) o lenguaje host es el lenguaje en que est escrito el traductor. Puede ser cualquier lenguaje, desde un lenguaje de alto nivel a un lenguaje mquina.

COMPILADORES 5 NIVEL INGENIERIA PUCESI PROF. ING. DIEGO BAROJA LLANOS

ENSAMBLADORES
Si el lenguaje fuente es el lenguaje ensamblador (en ingls assembly) y el lenguaje objeto es el lenguaje mquina, entonces al traductor se le llama ensamblador (en ingls assembler). Los ensambladores son traductores sencillos, en los que el lenguaje fuente tiene una estructura simple, que permite una traduccin de una sentencia fuente a una instruccin en lenguje mquina, guardndose en casi todos los casos esta relacin uno a uno. Hay ensambladores que tienen macroinstrucciones en su lenguaje. Estas macroinstrucciones, de acuerdo con su nombre, se suelen traducir a varias instrucciones de mquina. A este tipo de ensambladores se les denomina macroensambladores (en ingls macroassembler). Actualmente la mayor parte de los ensambladores comerciales son macroensam- bladores
COMPILADORES 5 NIVEL INGENIERIA PUCESI ING. DIEGO BAROJA LLANOS PROF.

 Un traductor que transforma textos fuente de lenguajes de alto nivel a lenguajes de bajo nivel se le denomina compilador (en ingls compiler). El tiempo que se necesita para traducir un lenguaje de alto nivel a lenguaje objeto se denomina tiempo de compilacin (compilation time). El tiempo que tarda en ejecutarse un programa objeto se denomina tiempo de ejecucin (run time).

COMPILADORES

COMPILADORES 5 NIVEL INGENIERIA PUCESI PROF. ING. DIEGO BAROJA LLANOS

MONTADORES DE ENLACE
Entre el proceso de compilacin y la ejecucin existe el proceso de montaje de enlaces, que se produce cuando el lenguaje fuente permite una fragmentacin de los programas en trozos, denominados de distintas formas segn el lenguaje de programacin empleado (mdulos, units, librerias, procedimientos, funciones, subrutinas..., el lenguaje ADA introduce la unidad de compilacin, en ingls compilation unit). Dichas partes o trozos pueden compilarse por separado, produciendose los cdigos objetos de cada una de las partes. El montador de enlaces o enlazador (en ingls linker) realiza el montaje de los distintos cdigos objeto, produciendo el mdulo de carga, que es el programa objeto completo, siendo el cargador (en ingls loader) quien lo trasfiere a memoria (fig. 8).
COMPILADORES 5 NIVEL INGENIERIA PUCESI PROF. ING. DIEGO BAROJA LLANOS

MONTADORES DE ENLACE
La compilacin genera un cdigo objeto llamado reubicable, cuyo significado es que las posiciones de memoria que utiliza son relativas. El montador de enlaces se encarga de colocar detrs del programa principal del usuario, todos los mdulos reubicables. PROCESO DE COMPILACION, MONTAJE Y EJECUCION

COMPILADORES 5 NIVEL INGENIERIA PUCESI PROF. ING. DIEGO BAROJA LLANOS

CARGADORES
El cargador se encarga de colocar el fichero ejecutable en memoria, asignando el espacio necesario al programa en memoria, y pasando el control a la primera de las instrucciones a ejecutar, comenzando a continuacin la fase de ejecucin. El cargador es un programa incluido con el sistema operativo. As en el sistema operativo MS-DOS el cargador est dentro del intrprete de comandos COMMAND.COM.

COMPILADORES 5 NIVEL INGENIERIA PUCESI PROF. ING. DIEGO BAROJA LLANOS

INTERPRETES
Los intrpretes son programas que simplemente ejecutan las instrucciones que encuentran en el texto fuente. En muchos casos coexisten en memoria el programa fuente y el programa intrprete (fig. 9). Ntese que en este caso todo se hace en tiempo de ejecucin. Algunos de los lenguajes comnmente interpretados son el BASIC, LOGO, PROLOG, SMALLTALK, APL y LISP.

COMPILADORES 5 NIVEL INGENIERIA PUCESI PROF. ING. DIEGO BAROJA LLANOS

INTRPRETES
Evidentemente la ejecucin de un programa compilado ser ms rpida que la del mismo programa interpretado. Sin embargo los intrpretes son ms interactivos y facilitan la puesta a punto de programas. Algunos lenguajes de programacin tan slo pueden ser interpretados debido a sus caractersticas, por ejemplo algunos lenguajes funcionales y lenguajes orientados a objeto. En estos casos existen intrpretes con compiladores incrementales que pueden recompilar los mdulos modificados en tiempo de ejecucin.
COMPILADORES 5 NIVEL INGENIERIA PUCESI PROF. ING. DIEGO BAROJA LLANOS

DECOMPILADORES
Los decompiladores realizan la tarea inversa a los compiladores, es decir son un caso particular de los traductores en los cuales el programa fuente es un lenguaje de bajo nivel y el lenguaje objeto es un lenguaje de nivel superior. Esta tarea es difcil, sobre todo si se desea que el lenguaje objeto tenga una cierta lgica, a no ser que se conozca la forma en que se obtuvo el programa de bajo nivel (por ejemplo si se gener con un compilador determinado, y se tiene el esquema de generacin de cdigo de dicho compilador).
COMPILADORES 5 NIVEL INGENIERIA PUCESI PROF. ING. DIEGO BAROJA LLANOS

DECOMPILADOR Vb Decompiler lite v7.8

COMPILADORES 5 NIVEL INGENIERIA PUCESI PROF. ING. DIEGO BAROJA LLANOS

Desensambladores
Un caso particular de los decompiladores son los desensambladores, que traducen de cdigo mquina a ensamblador, quiz es un caso ms fcil dado que hay una correspondencia directa entre las instrucciones ensamblador y cdigo mquina. Un ejemplo de desensambladores es el j-[AZA97, AZA98], donde se desarrollan un conjunto de herramientas para des- ensamblar y ensamblar bytecode de la mquina virtual de Java (JVM).
COMPILADORES 5 NIVEL INGENIERIA PUCESI PROF. ING. DIEGO BAROJA LLANOS

Depuradores
Los depuradores (en ingls debuggers, literalmente desparasitadores) son herramientas que permiten encontrar y corregir los errores de los programas (denomindos en ingls bugs, parsitos). Estas herramientas suelen ir ligadas a los compiladores de forma que el programador pueda comprobar y visualizar la correcta ejecucin de un programa. Las caractersticas habituales de los depuradores son: Permiten observar la traza de los programas fuente, permitiendo la visualizacin del valor de cualquier variable, direccin, o expresin.
COMPILADORES 5 NIVEL INGENIERIA PUCESI PROF. ING. DIEGO BAROJA LLANOS

DEPURADORES
Comprobacin del cdigo objeto generado (habitualmente ensamblador o instrucciones en cdigo mquina) por cada instruccin del programa fuente. bservacin de la traza a bajo nivel del programa ejecutable, visualizando en ejecucin los valores de las distintas posiciones de memoria, de los registros del microprocesador, etc... Los depuradores utilizan parte de la informacin usada en tiempo de compilacin por el compilador, y que habitualmente no se almacena en ejecucin, lo cual permite restablecer los lazos existentes entre el cdigo fuente y el cdigo objeto. Como depuradores comerciales en el entorno DOS se pueden citar TURBO DEBUGGER de Borland y CodeView de Microsoft.
COMPILADORES 5 NIVEL INGENIERIA PUCESI PROF. ING. DIEGO BAROJA LLANOS

Analizadores de rendimiento
Los analizadores de rendimiento (denominados habitualmente en lengua inglesa profilers) son herramientas que permiten examinar el comportamiento de los programas en tiempo de ejecucin, permitiendo comprobar que zonas del cdigo trabajan eficien- temente y cuales deberan ser revisadas por su bajo rendimiento. Actualmente la mayor parte de los compiladores comerciales incorporan analizadores de rendimiento, por ejemplo: TURBO PROFILER de Borland y Source Profiler de Microsoft.

COMPILADORES 5 NIVEL INGENIERIA PUCESI PROF. ING. DIEGO BAROJA LLANOS

Optimizadores de cdigo
Los optimizadores de cdigo pueden ser herramientas independientes, o estar incluidas en los compiladores e invocarse por medio de opciones de compilacin, siendo esta ltima forma como se suelen encontrar en la mayor parte de los compiladores comerciales. Una opcin habitual de optimizacin es elegir entre velocidad de ejecucin y tamao del cdigo ejecutable. Otras opciones son: generar cdigo para un microprocesador especfico dentro de una familia de microprocesadores, eliminar la comprobacin de rangos o desbordamientos de pila (stack), evaluacin en cortocircuito (shortcircuit) para expresiones booleanas, eliminacin de cdigo muerto o no utilizado, eliminacin de funciones no utilizadas (por ejemplo la opcin /PACKFUNCTIONS de Microsoft), etc...

COMPILADORES 5 NIVEL INGENIERIA PUCESI PROF. ING. DIEGO BAROJA LLANOS

Compresores
Los compresores de ficheros son una herramienta habitual (PKZIP, ARJ, ...) de uso en el campo de la informtica. Un caso particular son los compresores de ficheros ejecutables que reducen el tamao de los ejecutables, existen varios en el mercado: por ejemplo la opcin /EXEPACK de Microsoft para los programas desarrollados con compiladores de Microsoft, y otros de uso con cualquier ejecutable (PKLITE, LZEXE, etc...).

COMPILADORES 5 NIVEL INGENIERIA PUCESI PROF. ING. DIEGO BAROJA LLANOS

Preprocesadores
Es un caso particular de un traductor en el cual se hacen sustituciones de las macros definidas. El preprocesador realiza las sustituciones, pero no hace ningn tipo de anlisis del contexto donde las realiza, sta es la principal diferencia entre un preprocesador y otros tipos de procesadores de lenguaje. Un ejemplo de preprocesador es el incorporado por los compiladores de lenguaje C.

COMPILADORES 5 NIVEL INGENIERIA PUCESI PROF. ING. DIEGO BAROJA LLANOS

Formateadores
Los formateadores pueden ser de muchos tipos y con diferentes fines, desde los dedicados a formatear textos, ecuaciones o programas. Los formateadores de programas resaltan su sintaxis o su estructura, para lo cual es necesario conocer la sintaxis del lenguaje a formatear. Tambin pueden entrar dentro de este grupo los conversores de formatos.

COMPILADORES 5 NIVEL INGENIERIA PUCESI PROF. ING. DIEGO BAROJA LLANOS

Editores
Los editores de lenguajes de programacin con sintaxis resaltada por medio de colores o tipos de letra permiten llamar a la atencin al programador en el momento mismo que est escribiendo el programa, sin necesidad de compilar, dado que llevan incorporada la sintaxis del lenguaje.

COMPILADORES 5 NIVEL INGENIERIA PUCESI PROF. ING. DIEGO BAROJA LLANOS