Loop Parallelization in the Polyhedron Model - Just in Time (PolyJIT)

点击翻译按钮获取中文摘要

Multicores, also Rechner mit vielen Prozessoren auf einem gemeinsamen Chip, sind auf dem Wege, den weltweiten Rechnermarkt zu dominieren. Damit ist Parallelität in Programmabläufen von einem Nischenthema zu einer zentralen Herausforderung an die allgemeine Softwaretechnologie geworden. Anwendungsprogrammierer dürfen nicht ungebührlich mit der Beschreibung von Parallelität belastet werden, wenn die Kosten und Risiken der Erstellung und Wartung von Software nicht noch erheblich anwachsen sollen. Projekt PolyJIT wird die automatische Parallelisierung von Schleifenprogrammen in das Multicore-Zeitalter führen. Programmabläufe verbringen die meiste Zeit in Schleifen, d.h. sich vielfach wiederholenden Berechnungen. Es gibt ein mathematisches Modell, das sog. Polyedermodell, mit dem Programmschleifen automatisch auf kluge Weise hochparallel ausgeführt werden können. In den letzten zwei Jahrzehnten wurde dieses Modell für den Nischenmarkt der Supercomputer entwickelt. In PolyJIT soll es auch für ein breiteres Anwendungsspektrum von Parallelität fit gemacht werden. Der Hauptansatzpunkt dafür ist, die notwendigen Programmanalysen und Transformationen nicht nur zur Übersetzungszeit sondern auch noch während der Laufzeit des Programms vorzunehmen, also just in time (JIT). Dies wird größere Softwarebereiche als zuvor bequem mittels automatischer Parallelisierung auf Mehrkernplattformen abbildbar machen.