Jahresbericht 2008 - Fakultät für Informatik und Elektrotechnik ...
Jahresbericht 2008 - Fakultät für Informatik und Elektrotechnik ...
Jahresbericht 2008 - Fakultät für Informatik und Elektrotechnik ...
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
FAKULTÄT FÜR INFORMATIK UND ELEKTROTECHNIK<br />
5.1.12 Verteiltes<br />
Hochleistungsrechnen<br />
Prof. Dr. rer. nat. habil. Peter Luksch<br />
E-Mail: Peter.Luksch@uni-rostock.de<br />
Telefon: +49 381 - 498-75 61<br />
Forschungsschwerpunkte<br />
Projekte<br />
Paralleles <strong>und</strong> verteiltes Rechnen<br />
Verifikation paralleler Programme<br />
Verteilte Echtzeitsysteme<br />
Verifikation Paralleler Software<br />
Ziel des Projektes ist die formale Verifikation paralleler<br />
Programme in Bezug auf Eigenschaften wie Deadlockgefahr<br />
oder das Einhalten von Echtzeitbedingungen bei Ausführung<br />
auf einer gegebenen Rechnerarchitektur. Die Verifikation basiert<br />
auf der Simulation hybrider Automaten mittels symbolischer<br />
Simulation. Die hybriden Automaten werden durch automatische<br />
Transformation aus dem parallelen Programm (typischerweise<br />
ein MPI-Programm), den zu verifizierenden Bedingungen <strong>und</strong><br />
den Leistungsparametern der (parallelen) Ausführungsplattform<br />
generiert.<br />
Laufzeit: seit 2005<br />
Bearbeitung durch Mitarbeiter (Landeshaushalt) im Rahmen von<br />
Promotionsvorhaben.<br />
Distributed Realtime Computing<br />
Kooperation mit Prof. A. Gupta, Dept. of Power Engineering,<br />
Jadavpur University, Kolkata, India.<br />
Es werden Verfahren zur dezentralen, verteilten Steuerung<br />
vernetzter Sensoren <strong>und</strong> Regler untersucht, die durch ein Netz<br />
verb<strong>und</strong>en sind.<br />
Laufzeit: seit 2006<br />
Finanzierung von Gastaufenthalten durch den DAAD<br />
Lehraktivitäten<br />
Gr<strong>und</strong>stufe Bachelor:<br />
Vorlesung Gr<strong>und</strong>lagen der Technischen <strong>Informatik</strong> mit<br />
Übung digitale Bauelemente, Entwurf<br />
kombinatorischer <strong>und</strong> sequentieller Schaltungen<br />
Praktikum Logikentwurf: Vertiefung des Stoffes der<br />
Vorlesung Gr<strong>und</strong>lagen der Technischen <strong>Informatik</strong>,<br />
Entwurf <strong>und</strong> Test digitaler Schaltungen mit Hilfe eines<br />
Simulators<br />
Vorlesung Betriebssysteme: Prozesse <strong>und</strong> Threads,<br />
Nebenläufigkeit, Speicherverwaltung, Dateisysteme,<br />
E/A, ...<br />
Aufbaustufe Bachelor:<br />
Hochleistungsverbindungsnetze<br />
Gr<strong>und</strong>lagen, aktuelle Technologien (z.B. InfiniBand,<br />
QsNet)<br />
Hochleistungsrechnen<br />
Rechnerarchitekturen, Programmiermodelle, parallele<br />
Algorithmen<br />
Seminare zu aktuellen Themen des Hochleistungsrechnens:<br />
Multicore-Prozessoren, Programmiermodelle,<br />
etc.<br />
Master:<br />
Scalable Computing<br />
Cluster <strong>und</strong> Grid Computing<br />
Mitarbeiter (Landeshaushalt)<br />
Dipl.-Inform. Hilmar Buchholz<br />
Dipl.-Math. André Landsmann<br />
Dipl.-Ing. Bernd K<strong>und</strong>e<br />
Besondere Geräteausstattung<br />
Cluster mit 12 Knoten <strong>und</strong> InfiniBand-Verbindungsnetz. Knoten<br />
sind mehrheitlich SMPs mit 4 Prozessoren vom Typ AMD<br />
QuadCore Opteron.<br />
Beteiligung an wissenschaftlichen Veranstaltungen<br />
Prof. Dr. Peter Luksch:<br />
Mitglied im Programmkomittee des International ACM<br />
Symposium on High Performance Distributed<br />
Computing, HPDC 2009<br />
Funktionen <strong>und</strong> Mitwirkung in Gremien<br />
Prof. Dr. Peter Luksch:<br />
IEEE Technical Commitee on Scalable Computing<br />
(TCSC), Coordinator Technical Area Software<br />
Engineering for Scalable Systems<br />
Mitglied des Euro-Par Advisory Board<br />
Universität Rostock 45