Du befindest dich hier: FSI Informatik » Prüfungsfragen und Altklausuren » Hauptstudiumsprüfungen » Lehrstuhl 2 » Übersetzerbau 2 2015-07-27   (Übersicht)

Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen der Seite angezeigt.

Link zu der Vergleichsansicht

Nächste Überarbeitung		Vorherige Überarbeitung
pruefungen:hauptstudium:ls2:ueb2-2015-07-27 [28.07.2015 22:50] – Angelegt: Erster Teil, Rest folgt F30pruefungen:hauptstudium:ls2:ueb2-2015-07-27 [29.07.2015 00:04] (aktuell) – F30
Zeile 1: Zeile 1:
 ====== Übersetzerbau 2 2015-07-27 ====== ====== Übersetzerbau 2 2015-07-27 ======
-**Fach:** Optimierungen in Übersetzern (7,5 ECTS)+**Fach:** Optimierungen in Übersetzern
  
 **Prüfer:** Prof. Philippsen **Prüfer:** Prof. Philippsen
Zeile 6: Zeile 6:
 **Beisitzer:** Jakob Krainz **Beisitzer:** Jakob Krainz
  
-In dieser Konstellation stellt v.a. der Beisitzer die Fragen (hab ich bei Philippsen auch schon anders erlebt). Der Prüfer selbst mischt sich nur an einigen Stellen ein. Papier und Stift liegen bereit und werden im Rahmen der Prüfung auch benutzt.+In dieser Konstellation stellt v.a. der Beisitzer die Fragen (hab ich bei Philippsen auch schon anders erlebt), der Prüfer selbst mischt sich nur an einigen Stellen ein. Papier und Stift liegen bereit und werden im Rahmen der Prüfung auch benutzt.
  
 ===== Fragen ===== ===== Fragen =====
Zeile 55: Zeile 55:
 **B:** Hast du da mal Beispiele? **B:** Hast du da mal Beispiele?
  
-**S:** Garbage removel (das geht aber ansich auch ohne Kontrollflussgraph), Kopienfortschreibung, Konstantenpropagation.+**S:** Garbage removal (das geht aber ansich auch ohne Kontrollflussgraph), Kopienfortschreibung, Konstantenpropagation.
  
 **B:** Was kann man noch tun? **B:** Was kann man noch tun?
Zeile 91: Zeile 91:
 **B:** Wozu kann man die Dominatoren gebrauchen? **B:** Wozu kann man die Dominatoren gebrauchen?
  
-**S:** Zum Schleifen finden.+**S:** Kontrollflussbahängigkeit erkennen.
  
-**B:** Wozu sonst noch?+**B:** Das ist zu allgemein. Was geht da genau? 
 + 
 +**S:** Knoten ist kontrollflussbhängig, wenn er im inversen Kontrollflussgraphen in der Dominanzgrenze liegt. 
 + 
 +**B:** Was ist denn eine Dominanzgrenze? 
 + 
 +**S:** Menge von Knoten, bei denen der Vorgänger dominiert wird, der Knoten selbst aber nicht mehr. 
 + 
 +**B:** Wozu kann man Dominanz sonst noch verwenden?
  
 **S:** … [Hier musste ich länger nachdenken, „so herum“ hatte ich noch nie drüber nachgedacht.] Bestimmte Optimierungen brauchen die Dominanz auch. **S:** … [Hier musste ich länger nachdenken, „so herum“ hatte ich noch nie drüber nachgedacht.] Bestimmte Optimierungen brauchen die Dominanz auch.
Zeile 103: Zeile 111:
 **P:** Denken Sie mal eher ans Stichwort SSA-Form. **P:** Denken Sie mal eher ans Stichwort SSA-Form.
  
-**S:** Ahh ja, zur Herstellung ist SSA-Form ist eine Möglichkeit, an den Dominanzgrenzen Phi-Funktionen einzufügen.+**S:** Ahh ja, zur Herstellung der SSA-Form ist eine Möglichkeit, an den Dominanzgrenzen Phi-Funktionen einzufügen. 
 + 
 +**B:** Wonach müssen wir suchen, um Schleifen zu finden? 
 + 
 +**S:** Rückwärtskanten. 
 + 
 +**B:** Wo sind hier welche? 
 + 
 +**S:** Hier, //(gezeigt)// und dann ist da noch eine Selbstkante //(auch gezeigt)//. 
 + 
 +**B:** Was gehört zu einer Schleife? 
 + 
 +**S:** Schleifenkopf und Knoten im Schleifenrumpf. 
 + 
 +**B:** Was ist der Zusammenhang zwischen Schleifen und Dominanz? 
 + 
 +**S:**  Neben den Knoten der Rückwärtskante gehören zur Schleife die Knoten, die vom Schleifenkopf dominiert werden und von denen es einen Pfad zum Schleifenausgang gibt. 
 + 
 +**B:** Das gilt nicht für alle Schleifen, sondern bloß für welche? 
 + 
 +**S:** Natürliche Schleifen. 
 + 
 +**B:** Was sind denn unnatürliche Schleifen? 
 + 
 +**S:** Haben keinen eindeutigen Kopf. 
 + 
 +**B:** Skizzier mal eine. 
 + 
 +**S:** //(Beispiel aus den Vorlesungsfolien gezeichnet.)// 
 + 
 +**B:** Wie findet man schleifen? 
 + 
 +**S:** Worklist-Algorithmus. 
 + 
 +**B:** Wie funktioniert der? 
 + 
 +**S:** //(Algorithmus erklärt.)// 
 + 
 +**B:** Wo für ist denn die SSA-Form gut? 
 + 
 +**S:** Sie erleichtert Optimierungen. 
 + 
 +**B:** Konkreter? 
 + 
 +**S:** Pro Nutzung gibt es nur eine erreichende Definition, das erleichtert bspw. die Konstantenpropagation, da man nicht alle Definitionen aus verschiedenen Pfaden überprüfen muss. 
 + 
 +**B:** Wie kommt man in die SSA-Form? 
 + 
 +**S:** Wie gesagt, iteratives Verfahren mit Einfügen von Phi-Funktionen an den Dominanzgrenzen, rekursiv an deren Dominanzgrenzen usw. Alternativ Verfahren mit Wertnummerierung. 
 + 
 +**B:** Wir haben hier einen Kontrollflussgraphen mit Code, der dem anderen entspricht. //(Vorgelegt.)// Bring den Code man mit einem Verfahren deiner Wahl in SSA-Form. 
 + 
 +**S:** OK, dann mach ich jetzt Wertnummerierung. Was soll ich annehmen für Variablen, die vorher nicht definiert sind? 
 + 
 +**B:** Das sind Funktionsparameter. 
 + 
 +**S:** //(Angefangen, das Verfahren durchzuführen.)// 
 + 
 +**P:** OK, ich glaub das kann er. Machen wir weiter. 
 + 
 +**B:** Was gibt es für ein Problem beim Rückweg aus der SSA-Form? 
 + 
 +**S:** Die Phi-Funktionen existieren nur virtuell, müssen aufgelöst werden. 
 + 
 +**B:** Wie funktioniert das? 
 + 
 +**S:** Naiv fügt man am Ende jedes Vorgängers eine Zuweisung ein. Funktioniert leider nicht immer. 
 + 
 +**B:** Warum nicht? 
 + 
 +**S:** Zwei Probleme – verlorener Tausch und verlorene Kopie. 
 + 
 +**B:** Was ist das Grundproblem dahinter? 
 + 
 +**S:** Lebensspanne eines Arguments der Phi-Funktions über den Grundblock hinaus. 
 + 
 +**B:** Was tut man dagegen? 
 + 
 +**S:** Sreedhars Gegenmaßnahmen. 
 + 
 +**B:** Wie sehen die aus? 
 + 
 +**S:** Man fügt Temporärvariablen ein. 
 + 
 +**B:** //(Schreibt ein kleines Beispiel mit zwei Variablen aufs Blatt.)// Wenn das hier deine Argumente für die Phi-Funktion sind, was tust du? 
 + 
 +**S:** //(Temporärvariablen eingefügt.)// 
 + 
 +**B:** Was kann man statt diesen Gegenmaßnahmen tun? 
 + 
 +**S:** Weiß nicht, worauf du hinauswillst. 
 + 
 +**B:** Warst du in der Übung zur SSA-Form? 
 + 
 +**S:** War in den meisten Übungen, also wrsl. ja. 
 + 
 +**B:** Sagt dir conventional SSA was? 
 + 
 +**S:** Ja, mal gehört. 
 + 
 +**B:** Was ist das? 
 + 
 +**S:** Also, ich hab den Begriff mal gehört. 
 + 
 +**B:** OK, lassen wir das. Was kann man sonst noch für Optimierungen machen? 
 + 
 +**S:** Schleifentransformationen oder -restrukturierungen. 
 + 
 +**B:** Und sonst mit Schleifen? 
 + 
 +**S:** Z.B. Ausrollen, aber das ist eigtl. schon wieder eine Transformation. 
 + 
 +**B:** Aha, Ausrollen. Aber was haben wir denn zuerst gemacht, viel einfachere Optimierungen? 
 + 
 +**S:** … 
 + 
 +**B:** Was ist denn schleifeninvarianter Code? 
 + 
 +**S:** Operation, deren Operanden nicht von der Iteration abhängig sind. 
 + 
 +**B:** Was heißt das? Wie sind die genauen Bedingungen? 
 + 
 +**S:** Alle Opernaden konstant, außerhalb der Schleife definiert oder selbst schleifeninvariant. 
 + 
 +**B:** Wann kann man den Code dann herausziehen? 
 + 
 +**S:** Muss in allen Pfaden vorkommen. 
 + 
 +**P:** //(Schmerzverzerrtes Gesicht)// Nö. 
 + 
 +**B:** Schauen wir's uns mal an dem Beispiel an. Diese Instruktion hier ist schleifeninvariant, darf ich sie herausziehen? 
 + 
 +**S:** Ja. 
 + 
 +**B:** Wann dürfte ich das nicht? 
 + 
 +**S:** Wenn es eine Möglichkeit gäbe, dass sie nicht ausgeführt wird. 
 + 
 +**B:** Was muss sie also? 
 + 
 +**S:** Alle Schleifenausgänge dominieren. 
 + 
 +**P:** Kann man Teilausdrücke immer vorziehen? 
 + 
 +**S:** Im Prinzip schon. Lohnt sich aber nicht immer, wenn sie nur in bestimmten Fällen überhaupt ausgewertet werden. 
 + 
 +**P:** Wirklich immer? 
 + 
 +**S:** Wenn Sie so fragen, wrsl. nicht. Aber ich bin mir relativ sicher, dass das so auf einer Folie stand. 
 + 
 +**P:** Was kann denn schiefgehen? Wenn ich ''a * b'' vorziehe, nichts. Aber bei ''a / b'', wenn ''b'' null ist… darf ich das? 
 + 
 +**S:** Kommt drauf an, welche Bedingungen an Äquivalenz der Programme gestellt werden. Der Fehler tritt dann halt an einer anderen Stelle auf. Obwohl, wenn der jeweilige Pfad eigtl. gar nicht ausgeführt worden wäre, hätte das auch gut gehen können. Also hat man ein anderen Verhalten und darf das nicht. 
 + 
 +**B:** Was sind denn Induktionsvariablen? 
 + 
 +**S:** Einfache und abhängige: Bei einfachen wird pro Iteration ein konstanter Faktor addiert oder subtrahiert; abhängige lassen sich durch Multiplikation mit und Addition von einem konstantem Faktor aus den einfachen berechnen. 
 + 
 +===== Bewertung ===== 
 +Nachdem man wieder herein gebeten wird, fragt einen Philippsen immer, was man sich selbst geben würde. Merke: Nur laut nachdenken gilt nicht. Es reicht auch nicht aus, auf den Einwurf „Auf die Frage kann man sich vorbereiten“ mit „1,0“ zu antworten – eine konkrete, ernst gemeinte Zahl muss auf den Tisch. 
 + 
 +Letztenendes war die Note im erwarteten Bereich, relativ gut und für das Modul sowie den Verlauf der Prüfung absolut zufriedenstellend.