TU Dresden: Forschungsbericht 2004 - im ...

2. Große Interdisziplinäre Forschungsprojekte
Professur Betriebssysteme:
Innovative Betriebssysteme fi nden sich oft in der Situation wieder, dass neben neuartigen, in
anderen Systemen nicht verfügbaren Eigenschaften die Unterstützung von Legacysoftware
gesichert werden muss. Ohne die Möglichkeit, vorhandene Software weiterzunutzen, kann
kein System auf breite Akzeptanz hoffen. Damit ist dies eine Schlüsselfrage, die beim Design
mitbeachtet werden muss. Von allen Varianten der Legacy-Unterstützung stellen virtuelle Maschinen
die leistungsfähigsten dar. In ihnen kann beliebige Altsoftware weitergenutzt werden.
Der Schwerpunkt der Arbeit von Michael Peter lag im letzten halben Jahr auf der Integration
virtueller Maschinen und Mikrokerne. Die angestrebte Lösung bietet mit der Kombination von
Virtualisierungsunterstützung bei einer kleinen Trusted Computing Base Eigenschaften, die
kein verfügbares System vorweisen kann.
Professur Rechnerarchitektur:
Die Arbeit von Herrn Knüpfer über die Analyse von Programmspuren mit Hilfe neu entwickelter
Datenstrukturen und darauf abgestimmter schneller Abfragealgorithmen hat 2004 große
Fortschritte gemacht und nähert sich ihrem Abschluss. Die zugrunde liegenden komprimierten
vollständigen Aufrufgraphen (compressed complete call graph, cCCG) bedurften nur einiger
weniger Detailverbesserungen. Die Abfrage- und Auswertungsstrategien konnten hingegen
erweitert und verbessert werden. Insbesondere wurde eine Vervollständigung erzielt, so dass
nun alle gebräuchlichen Abfragen in effi zienter Weise realisierbar sind. Dabei kristallisierte sich
ein generischer Basisalgorithmus heraus, der für viele Klassen bekannter Abfragen einsetzbar
ist. Darüber hinaus wurden neue Möglichkeiten der Auswertung von cCCGs erforscht. Es sind
eine Reihe von Veröffentlichungen über die Kernpunkte der Arbeit sowie über experimentelle
Ansätze submittiert und zum Teil auch schon publiziert worden, die in Zusammenarbeit
mit thematisch benachbarten Forschungsprojekten entstanden sind. Vier Artikel wurden zur
Veröffentlichung angenommen, darunter einer für eine Fachzeitschrift. Zwei weitere Artikel
befi nden sich in der Begutachtungsphase. Neben der Weiterentwicklung und den Publikationen
nahm die Zusammenstellung der erzielten Forschungsergebnisse zur Dissertationsarbeit
zunehmend Raum ein. Dies wird im Jahr 2005 fortgesetzt, die Promotion soll im Jahr 2005
auch abgeschlossen werden.
Professur VLSI-Entwurfssysteme, Diagnostik und Architektur:
„Retargierbarer Codegenerator für befehlssatzorientierte, grobgranulare, rekonfi gurierbare
Rechnersysteme“ Für eine effi ziente Nutzung befehlssatzorientierter, grobgranularer,
rekonfi gurierbarer Architekturen sind Werkzeuge notwendig, die den Anwender sowohl bei
der Applikationsentwicklung als auch bei der Hardware-Software-Partitionierung unterstützen.
Bisherige Ansätze sind sehr speziell auf ein bestimmtes, oftmals akademisches rekonfi gurierbares
Rechnersystem abgestimmt und erfordern zudem ein hohes Maß an Wissen über
die Internum der jeweiligen Architekturen. Im Rahmen des Forschungsprojektes von Jens
Braunes werden Konzepte für einen retargierbaren Hochsprachen-Compiler entwickelt und
implementiert, der ausgehend von einem parametrisierbaren Modell einer rekonfi gurierbaren
Prozessorarchitektur sowohl die Codegenerierung als auch die automatische Partitionierung
vornimmt. Zu diesem Zweck wird das zu betrachtende Rechnersystem durch eine Architekturbeschreibung
auf funktionaler Ebene spezifi ziert. Damit wird ein durchgehender Entwurfsfl uss
142