edsger wybe dijkstra
DESCRIPTION
Edsger Wybe Dijkstra. Seminar „Geschichte der Informatik“, WS 2001/02. Biographie. Biographie: 1930-1950. 11.05.1930: geboren in Rotterdam (NL) 1942: Gymnasium Erasminium 1944: Trennung von Familie 1945: Heimkehr; Wunsch, Jura zu studieren 1948: Physik-Studium an der Uni Leiden (NL). - PowerPoint PPT PresentationTRANSCRIPT
Edsger Wybe Dijkstra
Seminar „Geschichte der Informatik“, WS 2001/02
Biographie
3
Biographie: 1930-1950 11.05.1930: geboren in Rotterdam
(NL) 1942: Gymnasium Erasminium 1944: Trennung von Familie 1945: Heimkehr; Wunsch, Jura zu
studieren 1948: Physik-Studium an der Uni
Leiden (NL)
4
Biographie: 1951-1956 1951: Candidaats Examen 1951: Programmier-Kurs in
Cambridge (GB) auf EDSAC 1952: Teilzeit-Job am Mathematical
Centre in Amsterdam (NL) 1956: Doctoraal Examen,
Theoretische Physik
5
Biographie: 1956-1960 1956: Vollzeitstelle am MCA 1956: Shortest Path –
Implementierung auf der ARMAC 1957: Hochzeit mit M.C. Debets 1959: PhD für Real-Time Interrupt
Handler (Uni Amsterdam) 1960: ALGOL60 – Implementierung
auf der ARMAC
6
Biographie: 1961-1965 1961: Semaphoren 1962: Mathematik-Professor an der
techn. Uni Eindhoven (NL) 1965: Dining Philosophers
Problem, Bankers Algorithm
7
Biographie: 1966-1980 1968: „The Structure of the THE-
Multiprogramming System“ 1968: „GoTo Statement Considered
Harmful“ 1972: „Notes on Structured
Programming“ 1972: ACM Turing Award 1973: Research Fellow für Burroughs
Corporation
8
Biographie: 1981-heute 1984: Informatik-
und Mathematik-Professor an der Uni Texas (USA)
Inzwischen emeritiert
Fachliche Leistungen
10
Shortest Path: Problem
11
Shortest Path: AlgorithmusV = Menge aller Knoten; E = Menge aller Kanten;S = {s}; // Menge von Knoten // Invariante: kürzeste Weglänge zu jedem // Knoten in S bekannt
while ( t S ) { füge zu S den Knoten aus (V \ S) hinzu, der mit
kleinstem Aufwand zu erreichen ist}
12
Shortest Path: BeispielS d(1
)d(2)
d(3)
d(t)
{s} 10 30 100
{s,1} 10 60 30 100
{s,1,3} 10 50 30 90
{s,1,3,2} 10 50 30 60
{s,1,3,2,t}
10 50 30 60
13
Shortest Path: Dijkstra Greedy
Greedy:s 1 2 tKosten: 70
Dijkstra:s 3 2 tKosten: 60
14
Semaphoren Problem: mehrere Prozesse greifen
synchron auf gleiche Daten zu Semaphor = Signalmast (bei
Zügen) P und V Operationen
P = passerenV = vrijgeven
mutual exclusion
15
Dining Philosophers Problem
Deadlock
Starvation
Lack of Fairness
16
Banker‘s Algorithm (1) Zur Vermeidung von Deadlocks
Jeder Kunde hat Kreditlimit, Kredite werden nach endlicher Zeit zurückgezahlt
Kein Kreditlimit darf Bankvermögen übersteigen
17
Banker‘s Algorithm (2) Darlehen wird gewährt, wenn
anschließend noch genug Geld, um theoretisch größtes Darlehen zu gewähren; sonst: warten
Bei Rückzahlung werden Wartende zufrieden gestellt
18
Banker‘s Algorithm: Nachteile Kunde muss wissen, wieviel Geld
er höchstens braucht ( Kreditlimit)
Zu hohe Kreditlimits machen System unflexibel
Lange Wartezeiten möglich
19
THE Multiprogramming System
Betriebssystem auf X8 Aufteilung aller Aufgaben in
sequentielle Prozesse auf verschiedenen Hierarchie-Stufen
Korrektheit der Implementierung bewiesen
Virtueller Speicher
Zitate
21
Zitate
People get attached to their sources of misery –
that‘s what stabilizes many marriages.
22
Zitate
Simplicity, Completeness, Correctness
The freedom of meaning one thing and saying something different
is not permitted.
23
Zitate
If you need more than five lines to prove something,
then you‘re on the wrong track.
24
ZitateI mean, if 10 years from now,
when you are doing something quick and dirty,
you suddenly visualize that I am looking over your shoulders
and say to yourself, „Dijkstra would not have liked this“,
well that would be enough immortality for me.
25
Zitate1. Never complete with colleagues.
2. Try the most difficult thing you can do.
3. Choose what is scientifically healthy and relevant. Don‘t
compromise on scientific integrity.