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
Bearbeiter
|