Vi är intresserade av datorgränsen runt en viktig fråga om kompilatorkonstruktion: att ha ett program P och en uppsättning M icke-parametrisk kompilatoroptimering moduler (kallas också faser), är det möjligt att hitta en sekvens s av dessa faser så att prestanda (utförandetid till exempel) av det slutliga genererade programmet P är "optimal"? Vi bevisar i denna artikel att detta problem är obeslutbart i två allmänna system för att optimera sammanställning: iterativ sammanställning och bibliotek optimering / generation. Lyckligtvis ger vi några förenklade fall när detta problem blir decidable, och vi ger några algoritmer (inte nödvändigt effektiv) som kan svara på vår huvudfråga. En annan viktig fråga som vi är intresserade av är parametrar utforskning av rymden för att optimera sammanställning (tuning optimera sammanställning parametrar). I detta fall antar vi en fast sekvens av optimering, men varje optimeringsfas tillåts ha en parameter. Vi försöker räkna ut hur man beräknar de bästa parametervärdena för alla programomvandlingar när sammanställningssekvensen ges. Vi bevisar också att detta allmänna problem är obeslutbart och att vi tillhandahåller några förenklade fall som kan avgöras.
En intressant studie som undersökte möjligheten att bestämma fasbeställningsproblem vid optimering av sammanställningen visade att det är obeslutbart att hitta den optimala fasbeställningen i de allmänna systemen för iterativ sammanställning och biblioteksgenerering/optimering REF.
On the decidability of phase ordering problem in optimizing compilation
{'venue': "CF '06", 'journal': None, 'mag_field_of_study': ['Computer Science']}