[Acpc-l] SPIRAL -- Autom. Optimierung,...

Christoph Ueberhuber christof@aurora.anum.tuwien.ac.at
Wed, 6 Dec 2000 13:22:12 +0100


Liebe Kolleg(inn)en !

Im Rahmen des SFB AURORA haelt

	Markus Pueschel (Carnegie Mellon University)
	http://www.ece.cmu.edu/~spiral/

einen Vortrag zum Thema

	"SPIRAL -- Automatische Implementierung, Optimierung
          und Plattformanpassung von Algorithmen der Signalverarbeitung".

Zeit:	Montag,  18. Dezember 2000  um 10:30 Uhr s.t.

Ort:	TU Wien, Seminarraum 115
	(Freihaus, Turm A,  4. Stock)


Inhalt:

Die schnellen Entwicklungzyklen und die Kurzlebigkeit moderner
Computerarchitekturen stellt die Entwickler hochoptimierter Software
vor ein schwieriges Problem. Um optimale Leistung zu erzielen, sind
die Implementierungen an die gegebene Architektur anzupassen.

Die Automatisierung von Implementierung und Plattformanpassung,
wo sie durchführbar ist, bringt verschiedene Vorteile mit sich:
(1) Entwicklungskosten werden verringert;
(2) Portierung auf neue Plattformen erfordert keine Neuimplementierung;
(3) automatisch erzeugte Programme sind weniger fehleranfaellig als
      handgeschriebene;
(4) Optimierungstechiken, wie z.B. das Aufrollen von Schleifen oder das
      Eliminieren gemeinsamer Teilausdruecke, koennen nicht in
      vernuenftiger Zeit per Hand durchgeführt werden.

Das Ziel des SPIRAL-Projekts ist die Automatisierung von Implemen-
tierung, Optimierung und Plattformanpassung fuer den speziellen Bereich
von Algorithmen der digitalen Signalverarbeitung (DSP).

Eine bereichsspezifische Sprache wurde entwickelt, mit der DSP-Algorith-
men hardwareunabhaengig beschrieben werden koennen. Ein Compiler
uebersetzt diese Beschreibungen in optimierte Fortran / C / Assembler / etc.
Programme. Die Aufgabe ein hochoptimiertes Programm zu finden ist damit
eine Suche in der Menge aller moeglichen Algorithmen und deren Imple-
mentierungen.  Zur Loesung dieses Suchproblems werden Techniken wie
dynamisches Programmieren und Maschinenlernen eingesetzt. Um den Such-
aufwand zu verringern werden Modelle zur Laufzeitschaetzung verwendet.