Seminar „Geschichte der Informatik“, WS 2001/02

Präsentation zum Thema: "Seminar „Geschichte der Informatik“, WS 2001/02"—  Präsentation transkript:

1 Seminar „Geschichte der Informatik“, WS 2001/02
Edsger Wybe Dijkstra Seminar „Geschichte der Informatik“, WS 2001/02

2 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: 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

9 Fachliche Leistungen

10 Shortest Path: Problem

11 Shortest Path: Algorithmus
V = 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: Beispiel
d(1) d(2) d(3) d(t) {s} 10  30 100 {s,1} 60 {s,1,3} 50 90 {s,1,3,2} {s,1,3,2,t}

13 Shortest Path: Dijkstra  Greedy
Greedy: s  1  2  t Kosten: 70 Dijkstra: s  3  2  t Kosten: 60

14 Semaphoren Problem: mehrere Prozesse greifen synchron auf gleiche Daten zu Semaphor = Signalmast (bei Zügen) P und V Operationen P = passeren V = 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

20 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 Zitate I 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 Zitate Never complete with colleagues.
Try the most difficult thing you can do. Choose what is scientifically healthy and relevant. Don‘t compromise on scientific integrity.