Universität Karlsruhe
Kopienminimierung in einem SSA-basierten Registerzuteiler

Diplomarbeit (abgeschlossen)

Neben dem eigentlichen Zuteilen von Registern und dem Auslagern ist die Minierung von unnützen Kopien eine der Hauptaufgaben eines Registerzuteilers. In Code aus SSA-basierten Zwischensprachen entstehen Kopien letztlich nur durch die Behandlung von Registereinschränkungen und den SSA-Abbau selbst. Durch die Minimierung dieser Kopien wir unter Umständen jedoch der Registerdruck erhöht, was zu zusätzlichen Auslagerungen führen kann und somit kontraproduktiv ist.

Da die Befehlsauswahl in unserem Modell die SSA-Eigenschaft erhält, sind wir in der Lage, Register direkt auf SSA-Programmen zuzuteilen. Gewisse Eigenschaften der Konfliktgraphen von SSA-Programmen ermöglichen es, die Minimierung der nutzlosen Kopien so zu gestalten, dass der Registerdruck nicht über das kritische Maß wächst.

Im Rahmen dieser Arbeit sollen, neben einer genauen komplextheoretischen Einordnung des Problems, optimale Lösungs- und/oder Näherungsverfahren entwickelt werden.

Betreuer

Alumni
Prof. Sebastian Hack

Bearbeiter

Ex-Studenten
Daniel Grund
Login
Links