Institute of Computer Languages
Compilers and Languages Group
Talks 2005 - Sergei Gorlatch
The Compilers and Languages Group invites you to a talk given by
Prof. Dr. Sergei Gorlatch
(Universität Münster, Deutschland)
on
Send-Receive Considered Harmful: Mythen und Fakten moderner Parallelprogrammierung
Date: |
Monday, June 6th, 2005
|
---|
Time: |
17:00 (c.t.) |
---|
Location: |
TU Wien, Elektrotechnik, Reithofer Hörsaal,
Gusshausstrasse 25-29 (Altbau), 2. Stock
|
---|
Abstract:
Moderne Computer sind parallele Systeme. Sie bestehen zunehmend aus
mehreren Einheiten, die gleichzeitig (parallel) aktiv sind und
miteinander kommunizieren: von kleinsten Funktionseinheiten eines
Prozessors auf einzelnem Chip, bis hin zu geographisch weit entfernten
Hochleistungsrechnern, die über das Internet zu sog. Computational
Grids verbunden werden. Der Vortrag zeigt auf, dass die traditionellen
Kommunikations-Primitiven der Parallelprogrammierung, Send und
Receive, viele Probleme in der Softwareentwicklung für derartige
Systeme verursachen. Es wird ein alternativer, mathematisch fundierter
Ansatz zum Entwurf paralleler Algorithmen und Programme präsentiert.
About Prof. Dr. Sergei Gorlatch:
Sergei Gorlatch received his Master's degree with honours in Computer
Science from Kiev State University in 1979, and his PhD degree from
Glushkov Institute of Cybernetics, Kiev, Ukraine in 1984. From 1991
to 1992, he was a Humboldt Research Fellow at the Technical University
of Munich. From 1992 to 1999, Dr. Gorlatch worked as Assistant
Professor at the University of Passau, Germany, where he obtained his
habilitation in 1998. From 2000 to 2003, he was Associate Professor at
the Technical University of Berlin. Since October 2003, Sergei
Gorlatch holds the Chair of Parallel and Distributed Systems at the
University of Mthe International Workshop CMPP (Constructive Methods for Parallel
Programming) and was member of programme committee at several
international conferences. His current research interests include
parallel algorithms, programming methodology and formal methods for
parallel and distributed systems, and performance evaluation.