¿Existen compiladores totalmente optimizadores para la finalización de programas?

En el libro de Andrew W. Appel, Modern Compiler Implementation in ML , dice en el capítulo 17 que la teoría de la computabilidad muestra que siempre será posible inventar nuevas transformaciones optimizadoras y procede a demostrar que un compilador completamente optimizador resolverá el problema de detención: un programa Q que no produce salida y nunca se detiene se puede reemplazar fácilmente por su representación óptima, Opt (Q) , que es "L: goto L". Por lo tanto, un compilador completamente optimizado puede resolver el problema de detención.

Entonces mi pregunta es esta: ¿Existe un compilador completamente optimizado para terminar programas? Mis únicos pensamientos son los siguientes: aunque se garantiza que un programa finalizará, aún puede ser arbitrariamente complejo, y para cualquier compilador de optimización concreto, C, uno podría construir un programa que tome C como entrada y de alguna manera produzca un programa peor. algún tipo de caja de esquina.

Además, ¿cuáles son las implicaciones de restringirnos a la terminación de programas?

computability compilers program-optimization Simon 'restablece el brillo de Monica'
fuente

Incluso es difícil encontrar la secuencia de instrucciones óptima para un solo bloque de código sin ningún flujo de control. El artículo de superoptimización en Wikipedia ofrece una buena introducción (con citas.)

Wandering Logic

El artículo de Wikipedia menciona que la superoptimización analiza secuencias de instrucciones sin bucles. No tener bucles, supongo, es otra forma de decir que termina. Al observar brevemente las referencias disponibles, parece posible pero extremadamente costoso.

Simon 'Reinstate Monica' Shine

¿Cuál es el significado de "optimizar" aquí? ¿Tiempo de ejecución más pequeño? Si es así, ¿cuál: el peor de los casos, el caso promedio, todos los casos, algún caso, ...?

Raphael

Respuestas:

Supongo que está interesado en la optimización del tiempo de ejecución. Como he escrito en mi comentario, eso no especifica suficientemente el objetivo: ¿una optimización reduce el tiempo de ejecución en cualquier entrada, cada entrada, todas las entradas del peor de los casos o incluso en promedio ?

Mostraré que todos ellos son imposibles. La prueba se extiende a la optimización de la duración del programa.

Recuerde que el siguiente problema no es computable:

Dada una gramática sin contexto con el alfabeto terminal , decida si . $G$ $\Sigma$ $\mathcal{L}(G) = \Sigma^*$

Tenga en cuenta además que, dada una gramática sin contexto , podemos codificar, por ejemplo, el algoritmo CYK para esa gramática; denotar este algoritmo por . Observamos que termina para todas las entradas (desde ). $G$ $\mathrm{CYK}_G$ $\mathrm{CYK}_G$ $\Sigma^*$

Ahora suponga que hay un optimizador que, dado un algoritmo siempre termina , genera un algoritmo equivalente al resultado que es óptimo con respecto al tiempo de ejecución. Claramente, $\operatorname{Opt}$ $A$

$\qquad \operatorname{Opt}(\mathrm{CYK}_G) = \text{'}\mathtt{return\ true;}\text{'} \iff \mathcal{L}(G) = \Sigma^*$

y así hemos construido un decisor para un problema incontestable, contradiciendo la suposición.

Rafael
fuente

Gracias por este argumento. Algunas preguntas aclaratorias: ¿Qué es

? Asumo

es el lenguaje generado por la gramática

Σ *

$\Sigma*$

L (G)

$\mathcal{L}(G)$

G

$G$

Simon 'Reinstate Monica' Shine

@Simon:

es el conjunto de todas las palabras. Raphael: Buena prueba. De hecho, no necesita gramáticas sin contexto; en cambio, dada una máquina Turing

, puede crear un programa

que simule

para los pasos

y devuelva verdadero si la máquina alcanza un estado de aceptación. Entonces

sería

no se detiene.

Σ^{*}

$\Sigma^{\ast}$

M

$M$

P_{M} (i)

$\mathrm{P}_M(i)$

M

$M$

i

$i$

OPT (P_{M})

$\operatorname{OPT}(\mathrm{P}_M)$

' r e t u r n f a l s e;'

$\text{'}\mathtt{return\ false;}\text{'}$

M

$M$

sdcvvc