Edsger Dijkstra

Edsger Dijkstra Obrázek v Infoboxu. Životopis
Narození 11. května 1930
Rotterdam
Smrt 6. srpna 2002
Nuenen
Jméno v rodném jazyce Edsger Wybe Dijkstra
Státní příslušnost  holandský
Výcvik University of Texas at Austin
Gymnasium Erasmianum ( in ) (do1948)
University of Leiden (do1956)
University of Amsterdam ( Philosophiæ doctor ) (do1959)
Činnosti Matematik , fyzik , počítačový vědec , inženýr , univerzitní profesor
Jiná informace
Pracoval pro University of Texas at Austin (1984-1999) , Burroughs Corporation (1973-1984) , Radboud University of Nijmegen (1971-1972) , Eindhoven University of Technology (1962-1984) , Centrum voor Wiskunde en Informatica (1952-1962)
Pole Informační věda ( v )
Člen Nizozemská královská akademie umění a věd
Americká asociace akademie umění a věd
pro výpočetní techniku
Dozorce Adriaan van Wijngaarden (1959)
Ocenění Turingova cena (1972)
Výslovnost Známý pro
Dijkstrův algoritmus
THE Operating system
Semaphore

Edsger Wybe Dijkstra (výslovnost: [ˈɛtsxər ˈwibə ˈdɛɪkstra] ), narozen v Rotterdamu dne11. května 1930a zemřel v Nuenenu dne6. srpna 2002Je matematik a počítačový vědec Dutch XX th  století . V roce 1972 získal na cenu Turing pro jeho příspěvky k vědě a umění programovacích jazyků a Algol jazyka . Těsně před svou smrtí v roce 2002 , získal PoDC vlivný článek ocenění za jeho práci na vlastní stabilizaci . Rok po jeho smrti bude cena na jeho počest přejmenována na Dijkstra Prize .

Životopis

Po studiu teoretické fyziky začal v roce 1955 pracovat v tehdy rodící se oblasti informatiky , kde byl jedním z nejosvícenějších průkopníků.

Dijkstra měl velmi čitelný rukopis a navzdory svému oboru činnosti vždy odmítal používat textový procesor, upřednostňoval kopírovaný ručně psaný dopis. Luca Cardelli vytvořil na jeho počest obsazení „Dijkstra“, které napodobuje jeho pravidelné psaní. Dijkstra by odkazoval na všechna svá písmena jako EWD následovaná číslem, posledním je písmeno EWD 1318 .

Operační systém

Učitel na Technické univerzitě v Eindhovenu začal o sobě dávat vědět v oblasti systémů s THE Operating system , systémem postaveným v po sobě jdoucích vrstvách abstrakce a ideálním pro výuku („THE“ je slovní hříčka na zkratce její univerzity Technische Hogeschool Eindhoven , Polytechnic Eindhoven). Se zkušeností s psaním tohoto systému formalizoval koncept semaforu , než byl rozptýlený, a poté představil koncept „kritické sekce“ se dvěma příklady, které se staly klasickými: problém čtenářů a spisovatelů a večeře filozofů. .

Instrukce GOTO

Berouce na vědomí škody způsobené nekontrolovaným používáním instrukce goto programování, napsal v roce 1968 k článku Komunikace ACM nazvanou „  Případ proti prohlášení GOTO  “ ( „Soud proti prohlášení GOTO“ ). Redaktor Niklaus Wirth, který chtěl článek rychle zveřejnit jako dopis redaktorovi, jej přejmenoval na „  Přejít na prohlášení považováno za škodlivé  “.

Tento nový název, stejně jako předmět článku, se poté proslavil ve světě IT. Názvy formuláře „  X považováno za škodlivé  “ se vynásobí, dokud se jeden „  Dijkstra nepovažuje za škodlivý  “  “.

Instrukce goto je rychle marginalizována a téměř eliminována strukturovaným programováním (koncept Wirth a Dijkstra, představený mimo jiné v EWD 268 ). Ve strukturovaném programování je goto nahrazeno příkazy jako if… then… else… , zatímco… do , repeat… dokud nebyly zavedeny Wirthem v Algol W  : každý příkaz obsahuje jeden vstup a jeden výstup, což nakonec umožňuje vyčerpávající systematické testy nejsou možné u „  špagetového kódu  “.

Podmínky lze také uvalit na jeden vstup a charakteristiky postulované na jediném výstupu, což otevírá dveře nástrojům přidaným do syntaxe, jako je assert (viz Hoareova logika ) a později smluvní programování jazyka Eiffel .

Algoritmický

Koncem padesátých let hrála Dijkstra důležitou roli ve vývoji jazyka Algol a následně rozvinula „vědu a umění programovacích jazyků“ , čímž významně přispěla k pochopení jejich struktury, zastoupení a implementace. Je také stoupencem nádherného algoritmu, a to i pro předměty, se kterými je obtížné se vypořádat ve strukturovaném programování, jako jsou korálky Dijkstra (korálky tří barev umístěte na vlákno jeden po druhém, aby nikdy neexistovaly dvě stejné sousední sekvence).

Rovněž stojí u vzniku stejnojmenného algoritmu, Dijkstrova algoritmu , který umožňuje vypočítat nejkratší cesty v orientovaném grafu .

Turingova cena

Slavný byl i jeho projev z roku 1972, kdy obdržel Turingovu cenu , Skromný programátor . Je to také cvičení sebesmluvy , protože profesor Dijkstra si vždy velmi dobře uvědomoval hodnotu své práce.

V roce 1974 Dijkstra publikoval zakládající článek o autostabilizaci , vlastnost distribuovaného systému, aby po jakémkoli přechodném selhání získal správné chování. V roce 2002 získal za tento článek cenu vlivného článku PoDC . Brzy poté zemřel. Následující rok byla tato cena na jeho počest přejmenována na Dijkstraovu cenu .

Citáty

Dijkstra, známý svou obtížnou povahou a neústupností, byl proslulý svými aforismy , které ztělesňovaly jeho pohled na informatiku.

Reference

  1. Poslouchejte Edsgera Dijkstra na forvo.com.
  2. (in) „  Průkopník počítačové vědy umírá Dijkstra  “ na CNET News ,8. srpna 2002(zpřístupněno 6. září 2012 )
  3. Phillip Laplante, Great Papers in Computer Science , West Pub. Co., USA,14. února 1996, ( ISBN  0-314-06365-X ) , s.  420
  4. citát ACM , Sdružení pro výpočetní techniku
  5. Edsger Wybe Dijkstra s názvem Humble Programátor , četl francouzský překlad on-line
  6. (in) Edsger Wybe Dijkstra , „  Samostabilizační systémy navzdory distribuovanému řízení  “ , Komunikace ACM , sv.  17, n o  11,1974, str.  643-644 ( číst online [PDF] )
  7. Pozvánka na informatiku od G. Michaela Schneidera, Judith L. Gerstingové, Keitha Millera
  8. (in) Edsger Dijkstra, „  Pokorný programátor  “ , Komunikace ACM , sv.  15, n o  10,1972, str.  859-866

Podívejte se také

Bibliografie

Související články

externí odkazy