Eingang zum Volltext in SciDok
Lizenz
Dissertation zugänglich unter
ILP-based path analysis on abstract pipeline state graphs
URN: urn:nbn:de:bsz:291-scidok-31989
URL: http://scidok.sulb.uni-saarland.de/volltexte/2010/3198/
pdf-Format:
Dokument 1.pdf (1.573 KB)
SWD-Schlagwörter:
Pfadanalyse , Worst-Case-Laufzeit
Freie Schlagwörter (Deutsch):
ILP , WCET
Freie Schlagwörter (Englisch):
path analysis
Institut:
Fakultät:
Fakultät 6 - Naturwissenschaftlich-Technische Fakultät I
DDC-Sachgruppe:
Informatik
Dokumentart:
Dissertation
Hauptberichter:
Wilhelm, Reinhard (Prof. Dr. Dr. h. c. mult.)
ISBN:
978-3-86931-538-6
Sprache:
Englisch
Tag der mündlichen Prüfung:
28.05.2010
Erstellungsjahr:
2010
Publikationsdatum:
09.07.2010
Kurzfassung auf Englisch:
This thesis presents a novel approach to path analysis which is an integral part of the WCET analysis. Up to now, there have been two different methods for this step, each with its respective advantages and disadvantages. The new ILP-based path analysis on abstract pipeline state graphs supersedes the existing ones and combines the positive aspects of both but does not introduce new limitations. It provides high precision and the flexibility of user-provided annotations at the same time while opening up new possibilities for optimizations such as a new kind of persistence analysis.
Kurzfassung auf Deutsch:
Diese Arbeit präsentiert einen innovativen Ansatz für die Pfadanalyse, ein integraler Bestandteil der WCET-Analyse. Bisher gab es zwei verschiedene Methoden für diesen Schritt, jede mit ihren spezifischen Vor- und Nachteilen. Die neue ILP-basierte Pfadanalyse auf abstrakten Pipelinezustandsgraphen ersetzt die beiden existierenden und kombiniert die positiven Aspekte, ohne neue Beschränkungen einzuführen. Sie bietet sowohl eine hohe Präzision als auch die Flexibilität benutzerbestimmter Annotationen. Darüber hinaus bietet sie neue Optimierungsmöglichkeiten wie zum Beispiel eine neuartige Persistenzanalyse.
Lizenz:
Standard-Veröffentlichungsvertrag