| << Chapter < Page | Chapter >> Page > |
A veces un programador puede mejorar el rendimiento, al hacer al compilador consciente de los valores constantes en su aplicación. Por ejemplo, en el siguiente segmento de código:
X = X * Y
el compilador generará código muy diferente a tiempo de ejecución si sabe que
Y valía 0, 1, 2, or 175.32. Si no conoce el valor para
Y , debe generar la secuencia de código más conservadora (no necesariamente la más rápida). Un programador puede comunicarle esos valores a través del uso de la sentencia
PARAMETER en FORTRAN. Mediante el empleo de dicha sentencia, el compilador conoce los valores para estas constantes a tiempo de ejecución. Otro ejemplo que hemos visto es:
DO I = 1,10000
DO J=1,IDIM.....
ENDDOENDDO
Tras revisar el código, es claro que
IDIM era uno de los valores 1, 2, or 3, dependiendo del conjunto de datos en uso. Claramente si el compilador sabía que
IDIM valía 1, puede generar un código mucho más simple y rápido.
A menudo los programas contienen secciones de código muerto que no tiene efecto en las respuestas, y que por tanto puede quitarse. Ocasionalmente, quien escribe el código muerto en el programa es el autor, pero es más común que sea el propio compilador quien lo hace; muchas optimizaciones producen código muerto que hay que barrer después.
Hay dos tipos de código muerto:
Es fácil que usted escriba código inalcanzable en su programa, al hacer que el flujo de control pase alrededor de él - permanentemente. Si el compilador puede decir que es inalcanzable, lo eliminará. Por ejemplo, es imposible alcanzar la sentencia
I = 4 en este programa:
PROGRAM MAIN
I = 2WRITE (*,*) I
STOPI = 4
WRITE (*,*) IEND
El compilador desechará todo hasta la sentencia
STOP , y probablemente le envíe un aviso. El código inalcanzable producido por el compilador durante la optimización se retirará silenciosamente.
Los cálculos con variables locales pueden producir resultados que nunca se usan. Al analizar la definición y usos de una variable, el compilador puede ver qué otras partes de la rutina la referencian. Por supuesto el compilador no puede decir el destino último de las variables que se pasan entre rutinas, externas o comunes, así que tales cálculos siempre se mantienen (siempre y cuando sean alcanzables).
Si un compilador realiza un análisis interprocedimental suficiente, puede incluso optimizar variables entre fronteras de rutinas. El análisis interprocedimental puede ser la perdición para los códigos de bancos de pruebas si trata de medir el tiempo de un cálculo sin usar los resultados del mismo. En el siguiente programa, los cálculos que involucran a
k no contribuyen en absoluto a la respuesta final, y son buenos candidatos para la eliminación de código muerto:
main ()
{int i,k;
i = k = 1;i += 1;
k += 2;printf ("%d\n",i);
}
La eliminación de código muerto a menudo produce algunos resultados sorprendentes con bancos de pruebas pobremente escritos. Véase [link] para un ejemplo de este tipo de código.
Notification Switch
Would you like to follow the 'Cómputo de alto rendimiento' conversation and receive update notifications?
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|