Generierung von effizientem Zielcode in der Schleifenparallelisierung

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

Das Ziel des Projekts ist, die Schnittstelle zwischen Modell- und Codeebene genauer zu untersuchen und durch eine Verbindung beider Ebenen wirkungsvollere Optimierungstechniken für parallelisierende Compiler zu entwickeln. Als Fallstudie bedienen wir uns auf der Modellebene des von uns entwickelten Schleifenparallelisierers LooPo, auf der Codeebene der Programmiersprache HPF mit dem an der GMD entwickelten Compiler ADAPTOR. Gegenwärtige parallelisierende Compiler bedienen sich keines für Schleifenprogramme spezialiserten Modells und optimieren hauptsächlich auf der Codeebene. Daher fällt ihnen die Generierung von effizienten Codes in gewissen Bereich schwer. Durch Einbringung des Polytopenmodells hoffen wir, wesentlich höhere Zielcodequalität erreichen zu können.