Dependence Analysis Eugen Kuss
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.
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 }
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
Research proposal Interprocedural Dependence Analysis and Parallelization Problembeschreibung Probleme: Teilskripte, Auswirkungen von Prozeduraufrufen Aliasvariablen
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)
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
Research proposal Interprocedural Dependence Analysis and Parallelization [1] M. Burke and Ron Cytron, SIGPLAN Not , Interprocedural dependence analysis and parallelization, New York, USA, 1986, ACM, S [2] S. Horwitz, P. Pfeiffer and T. Reps, SIGPLAN Not , Dependence analysis for pointer variables, New York, NY, USA, 1989, ACM, S