Dependence Analysis Eugen Kuss. Research proposal Interprocedural Dependence Analysis and Parallelization Problembeschreibung Dependece Analysis: Abhängigkeitsbeziehungen.

Präsentation zum Thema: "Dependence Analysis Eugen Kuss. Research proposal Interprocedural Dependence Analysis and Parallelization Problembeschreibung Dependece Analysis: Abhängigkeitsbeziehungen."—  Präsentation transkript:

1 Dependence Analysis Eugen Kuss

2 Research proposal Interprocedural Dependence Analysis and Parallelization Problembeschreibung Dependece Analysis: Abhängigkeitsbeziehungen zwischen Anweisungen Sequenzielle Anweisungen –Reihenfolge ändern –Parallel ausführen –Performancegewinn Ziel: Regeln aufzeigen wie Strukturen von sequenziellen Programmen geändert werden können.

3 Research proposal Interprocedural Dependence Analysis and Parallelization Problembeschreibung - Beispiel int a; int b; for (int i = 0; i < bla; i++) { a = i; // S1 b += i; // S2 }

4 Research proposal Interprocedural Dependence Analysis and Parallelization int a; for (int i = 0; i < bla; i++) a = i; // S1 int b; for (int i = 0; i < bla; i++) b += i; // S2 Problembeschreibung - Beispiel

5 Research proposal Interprocedural Dependence Analysis and Parallelization Problembeschreibung Probleme: Teilskripte, Auswirkungen von Prozeduraufrufen Aliasvariablen

6 Research proposal Interprocedural Dependence Analysis and Parallelization Literatur M. Burke and Ron Cytron, Interprocedural dependence analysis and parallelization S. Horwitz, P. Pfeiffer and T. Reps, Dependence analysis for pointer variables Methode: tiefe Programmanalyse mit umfassender Analyse der Interaktionen zwischen Prozeduren effizienter reduzieren viele Tests auf einen einzelnen präziser für mehrdimensionale Arrays allgemeiner (Aliasvariablen)

7 Research proposal Interprocedural Dependence Analysis and Parallelization Literatur M. Burke and Ron Cytron, Interprocedural dependence analysis and parallelization S. Horwitz, P. Pfeiffer and T. Reps, Dependence analysis for pointer variables Methoden: Datenabhängigkeiten zwischen Programmkonstrukten mit Zeigern Behandlung Manipulation auf der Halde (Lisp, Pascal) Algorithmen um Nicht-Abhängigkeit zu verfolgen nicht nur für Sonderfälle wie Bäume oder azyklische Graphen

8 Research proposal Interprocedural Dependence Analysis and Parallelization [1] M. Burke and Ron Cytron, SIGPLAN Not. 21 - 7, Interprocedural dependence analysis and parallelization, New York, USA, 1986, ACM, S. 162 - 175 [2] S. Horwitz, P. Pfeiffer and T. Reps, SIGPLAN Not. 24 - 7, Dependence analysis for pointer variables, New York, NY, USA, 1989, ACM, S. 28 - 40