Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
- Optimizacin
La fase de optimizacin de cdigo consiste
en mejorar el cdigo intermedio, de modo que resulte un cdigo mquina ms rpido de ejecutar
Objetivo
Funcionamiento Revisa el cdigo generado a varios niveles de abstraccin y realiza las optimizaciones aplicables al nivel de abstraccin Representaciones de cdigo intermedio de ms a menos abstractas
Ejemplo
vlida
B=2*A+(A=c*d);
Pasar a
A=c*d;
B=A*3;
- Ordenacin/seleccin de instrucciones
rea del programa donde se aplica Local Ciclos Globales
De mirilla
Cada optimizacin local hace un poco por si mismo la optimizacin en compiladores se realiza de forma repetida hasta que no sea posible mejorar. El optimizador se puede
Optimizaciones locales
Folding
Propagacin de constantes
Reduccin de potencia Reduccin de sub-expresiones comunes
Bloque bsico
Un bloque bsico es un fragmento de cdigo que tiene una nica entrada y salida, y cuyas instrucciones se ejecutan secuencialmente. La idea del bloque bsico es encontrar partes del programa cuyo anlisis necesario para la
Ejemplo
Folding
El ensamblamiento es remplazar las expresiones por su resultado cuando se pueden evaluar en tiempo de compilacin (resultado constante).
Ejemplo:
A=2+3+A+C -> A=5+A+C
Ejemplo:
Se aade el procesamiento de las constantes a las reglas de anlisis de expresiones. Optimiza: 2+3+b -> 5+b
Propagacin de constantes
Estas optimizaciones permiten que el
programador utilice variables como constantes sin introducir ineficiencias. Ejemplo en C no hay constantes y ser lo mismo utilizar Int a=10; #define a 10
Reduccin de potencia
Se busca sustituir operaciones costosas por otras mas simples. Ejemplo: sustituir productos por sumas. a=2*a a=a+a Evitar la operacin (++) A=length(s1 ++ s2) convertirlo en A=length(s1)+length(s2)
3.1.2 Ciclos
Los programas pasan la mayor parte del
tiempo en ciclos, mientras menos
Invariante del ciclo No tiene sentido evaluarla dentro del ciclo. Se mueve el cdigo fuera del ciclo. El destino del cdigo es el bloque de entrada al ciclo, i es una variable de induccin para un ciclo L si existe una constante c tal que cada vez que se asigna un valor a i, su valor aumenta c note que c
3.1.3 Globales
La optimizacin global se da con respecto a todo el cdigo. Este tipo de optimizacin es ms lenta pero mejora el desempeo general de todo programa. Las optimizaciones globales pueden depender de la arquitectura de la mquina.
En algunos casos es mejor mantener variables globales para agilizar los procesos (el proceso de declarar variables y eliminarlas toma su tiempo) pero consume ms memoria. Algunas optimizaciones incluyen utilizar como variables registros del CPU, utilizar instrucciones en ensamblador.
Determinsticos: no envuelve ningn elemento aleatorio Confiables: Ramas y bordes (Branch and Bound), mtodos de intervalos (Interval methods) Mtodos de puntos (Point methods): calculan valores de la funcin sobre puntos de muestras (incapaces de resolver confiablemente un problema de optimizacin global). Ejemplo Monte Carlo. Mtodos de bordes (Boundary Methods): calculan cotas sobre conjuntos compactos. Si son implementados apropiadamente y considerando errores de redondeo, pueden producir soluciones globales rigurosas. Ejemplo DIRECT.
3.1.4 De Mirilla
La optimizacin de mirilla trata de estructurar de manera eficiente el flujo del programa, sobre todo en instrucciones de bifurcacin como son las decisiones, ciclos y saltos de rutinas. La idea es tener los saltos lo ms cerca de las llamadas, siendo el salto lo ms pequeo posible.
3.2 COSTOS
Los costos son el factor ms importante a tomar en cuenta a la hora de optimizar, ya que en ocasiones, la mejora obtenida puede verse no reflejada en el programa final, pero sin ser perjudicial para el equipo de desarrollo. La optimizacin de una pequea mejora tal vez tenga una pequea ganancia en tiempo o en espacio, pero sale muy costosa en tiempo de generarla.
Ejemplo
Pero en cambio si es optimizacin se hace por ejemplo en un ciclo, la mejora obtenida puede ser N veces mayor, por lo cual el costo se minimiza y es benfico la mejora 1. Por Ejemplo: for (int i=0; i<10000; i++); si la ganancia es de 30 ms 300s
COSTOS DE EJECUCIN
Los costos de ejecucin son aquellos que vienen implcitos al ejecutar el programa. En algunos programas se tiene un mnimo para ejecutar el programa, por lo que el espacio y la velocidad de los microprocesadores son elementos que se deben optimizar para tener un mercado potencial ms amplio.
Ejemplos
Las aplicaciones multimedias como los videojuegos tienen un costo de ejecucin alto, por lo cual la optimizacin de su desempeo es crtico. La gran mayora de las veces requieren de procesadores rpidos, tarjetas de videos potentes y de mucha memoria.
Ejemplos
Otro tipo de aplicaciones que deben optimizarse son las aplicaciones para dispositivos mviles, los dispositivos mviles tienen recursos ms limitados que un dispositivo de cmputo convencional, razn por la cul, el mejor uso de memoria y otros recursos de hardware tiene mayor rendimiento.
Criterios de optimizacin
Muchos de estos criterios pueden modificarse con directivas del compilador desde el cdigo o de manera externa. Este proceso lo realizan algunas herramientas del sistema como los ofuscadores para cdigo civil y cdigo para dispositivos mviles
2.
3.
4.