Graphbasierte Prozedurale Abstraktion (Tienda española)

Previo

Indice, Datei (100 KB)
Lectura de prueba, Datei (190 KB)

Die Dissertation untersucht ein graphbasiertes Verfahren zur prozeduralen Abstraktion, mit dem sich die Größe von Programmen durch die Beseitigung redundanter Codefragmente reduzieren lässt. Im Mittelpunkt steht die Entwicklung effizienter Algorithmen zur Identifikation semantisch äquivalenter Instruktionsfolgen, auch bei unterschiedlicher Befehlsreihenfolge und Registerverwendung. Hierzu werden Datenflussgraphen analysiert und neue Verfahren zum Auffinden häufiger Teilstrukturen in gerichteten azyklischen Graphen entwickelt. Weitere Schwerpunkte bilden die Optimierung der Registerzuordnung, die Auslagerung gemeinsamer Codefragmente und die Verbesserung der Graphmining-Algorithmen. Die experimentelle Evaluation zeigt eine durchschnittliche Reduzierung des Programmcodes um etwa 20 Prozent bei unveränderter Programmsemantik. Das Verfahren eignet sich insbesondere zur Speicheroptimierung eingebetteter Systeme, wobei die stärkere Codereduktion mit einem höheren Laufzeitbedarf verbunden ist.