1 / 25

Edsger Wybe Dijkstra

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).

tareq
Télécharger la présentation

Edsger Wybe Dijkstra

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. 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: 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

  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

  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 OperationenP = 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

  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.

More Related