Dijkstra, Edsger Wiebe

Den aktuelle version af siden er endnu ikke blevet gennemgået af erfarne bidragydere og kan afvige væsentligt fra den version , der blev gennemgået den 10. oktober 2021; checks kræver 4 redigeringer .
Edsger Wiebe Dijkstra
Edsger Wybe Dijkstra
Fødselsdato 11. maj 1930( 11-05-1930 ) [1] [2] [3] […]
Fødselssted
Dødsdato 6. august 2002( 06-08-2002 ) [1] [2] [3] […] (72 år)
Et dødssted
Land
Videnskabelig sfære Informatik
Arbejdsplads National Research Institute for Mathematics and Computer Science
Eindhoven University of Technology University
of Texas i Austin
Alma Mater
videnskabelig rådgiver Adrian van Wiingaarden [5]
Kendt som

skaberen af ​​Dijkstras algoritme og semaforer
, en af ​​grundlæggerne af struktureret programmering

en af ​​skaberne af THE -operativsystemet
Priser og præmier Turing-prisen
Wikiquote logo Citater på Wikiquote
 Mediefiler på Wikimedia Commons

Edsger Wiebe Dijkstra ( hollandsk.  Edsger Wybe Dijkstra [6] ( 11. maj 1930 , Rotterdam , Holland  - 6. august 2002 , Nuenen , Holland ) er en hollandsk videnskabsmand , hvis værker påvirkede udviklingen af ​​datalogi og information teknologi ; et af udviklernes koncepter for struktureret programmering , forsker i formel verifikation og distribueret databehandling Turing Laureate (1972) .

Biografi

Født 11. maj 1930 i Rotterdam , i en familie af videnskabsmænd (far er kemiker , mor er matematiker ).

Efter at have forladt skolen gik han ind på fakultetet for teoretisk fysik ved universitetet i Leiden .

I 1951 blev han interesseret i programmering , begyndte på et tre-ugers computerkursus i Cambridge , siden 1952 arbejdede han som programmør ved Amsterdam Mathematical Center under vejledning af professor Adrian van Wiingaarden , senere - forfatteren til en af ​​måderne at formelt beskrive de formelle sprogs grammatik - de såkaldte to-niveau van Wiingaarden grammatikker .

Allerede i 1952 besluttede han sig for endelig at specialisere sig i programmering, men gennemførte alligevel et kursus i teoretisk fysik.

I anden halvdel af 1950'erne, på jagt efter måder at optimere board layout udviklede en algoritme til at finde den korteste vej på en graf, som blev kendt som " Dijkstras algoritme ".

I 1957 giftede han sig, ifølge sine egne erindringer, i "erhvervsspalten" i spørgeskemaet, som formodes at blive udfyldt ved ægteskabet, skrev han "programmør" - og han blev tvunget til at omskrive dokumenter og sagde, at sådan en profession ikke eksisterer, som et resultat, han var nødt til at angive "teoretisk fysiker" [7] .

I 1958-1960 deltog han i udviklingen af ​​programmeringssproget Algol , arbejdede i teamet for at skabe en sprogkompiler ; konkurrerer med det danske hold af Peter Naur , lovede han ikke at barbere sig, før projektet var afsluttet og vandt ved at skrive en compiler om seks uger, samtidig med at han opfandt en ny kompileringsregel - "kald ved navn".

I 1960'erne deltog han i skabelsen af ​​operativsystemet THE , bygget som et sæt parallelt eksekverende interagerende processer [8] . Det var i løbet af dette arbejde, at begreberne processynkronisering , ideen om en semafor dukkede op , og behovet for at strukturere programmeringsprocessen og selve programmerne blev tydeligt anerkendt.

Han arbejdede for Burroughs i lang tid . I 1970'erne udviklede han det grundlæggende i struktureret programmering sammen med Tony Hoare og Niklaus Wirth .

I de sidste år af sit liv underviste han ved University of Texas .

Han døde den 6. august 2002 efter en lang kamp mod kræften [9] [10] .

Videnskabelige resultater

Dijkstra er kendt for sit arbejde med anvendelsen af ​​matematisk logik i udviklingen af ​​computerprogrammer.

Han deltog aktivt i udviklingen af ​​Algol - programmeringssproget og skrev den første Algol-60-kompiler.

Da han var en af ​​forfatterne til begrebet struktureret programmering , gik han ind for afvisningen af ​​brugen af ​​GOTO- instruktionen .

Han ejer også ideen om at bruge " semaforer " til at synkronisere processer i multitasking-systemer og algoritmen til at finde den korteste vej på en rettet graf med ikke-negative kantvægte, kendt som Dijkstras algoritme .

Han foreslog også en rangergårdsalgoritme  - en måde at analysere matematiske udtryk præsenteret i infiksnotation .

I 1972 vandt han Turing-prisen .

I 2002 modtog han den årlige pris givet af Symposium  on Principles of Distributed Computing af Association for Computing Machinery "for den publikation, der har haft størst indflydelse på området for distribueret databehandling"; som anerkendelse af videnskabsmandens fortjenester er denne pris siden 2003 blevet kaldt Dijkstra-prisen .

Bibliografi

Forfatteren til flere bøger og mange artikler, de mest berømte publikationer er bøgerne "Programmeringsdisciplin", "Noter om struktureret programmering", artiklen "Om farerne ved GOTO-operatøren" ( eng.  GOTO anses for skadelig ).

Ud over at diskutere særlige problemstillinger, forsvarede Dijkstra i sine artikler og bøger konsekvent behovet for en matematisk tilgang til programmering, som involverer en foreløbig nøjagtig, omfattende matematisk beskrivelse af problemet og en metode til at løse det, et formelt bevis for rigtigheden. af den valgte algoritme, og den efterfølgende implementering af algoritmen i form af det mest enkle, strukturerede program, hvis rigtighed formelt skal bevises.

Ifølge Dijkstra er den fremherskende tilgang i computerindustrien til programmering som en proces til at opnå et resultat ved forsøg og fejl ("skriv kode - test - find fejl - rettelse - test - ...") mangelfuld, fordi det opmuntrer programmører ikke at tænke på opgaven, men at skrive kode , som samtidig ikke garanterer rigtigheden af ​​programmer, hvilket ikke kan bevises ved at teste i princippet.

Advarede gentagne gange mod at forsøge at gøre softwareudvikling til en triviel proces; efter hans mening er programmering i bund og grund en ekstremt kompleks videnskabelig og ingeniørmæssig aktivitet, og ingen nye metoder og værktøjer kan radikalt ændre denne situation - de frigør kun programmøren fra en del af det rutinemæssige arbejde. Forsøg på at gøre programmering til en simpel aktivitet tilgængelig for alle er dømt til at mislykkes.

I 1975, ved at bruge eksemplet med tingenes tilstand i Tyskland, viste Dijkstra, at udviklingen af ​​programmering som en videnskab, baseret på ét valgt programmeringssprog, er umulig.

Resultatet af denne tilgang var en fuldstændig kløft mellem teori og praksis for programmering. Dijkstra bemærkede, at vedtagelsen i Tyskland på regeringsniveau af ALGOL 68 -sproget som et grundlæggende værktøj til videreudvikling havde samme lammende effekt som USSR-regeringens beslutning om overgangen af ​​den sovjetiske industri til at kopiere IBM/360- modellerne i slutningen af ​​1960'erne, som videnskabsmanden kaldte Vestens største sejr i den kolde krig [11] .

Interessante fakta

Interessante fakta om Dijkstra: [12]

  1. Dijkstra nummererede sine artikler EWD0, EWD1, EWD2 osv.
  2. Fakta om Dijkstra: "Han er kendt for at have ringe interesse i at optage studerende med viden om Fortran til seniorkurserne på universitetet, hvor han underviser, af den grund, at dårlige programmeringsvaner kunne slå rod sammen med denne viden."
  3. Et andet citat fra Dijkstra [13] : “Elegance, klarhed og lignende er i høj grad bestemt af kvantitative aspekter. (Mozart gjorde dette: mange af hans betagende stykker er vildledende enkle; de ​​ser ud til at være lavet af næsten ingenting!)"

Priser

Publikationer

Bøger Hovedartikler

Se også

Noter

  1. 1 2 3 4 5 6 7 8 http://amturing.acm.org/award_winners/dijkstra_1053701.cfm
  2. 1 2 MacTutor History of Mathematics Archive
  3. 1 2 Edsger Wybe Dijkstra - 2009.
  4. Encyclopædia Britannica 
  5. Matematisk genealogi  (engelsk) - 1997.
  6. [ˈɛtsxər ˈʋibə ˈdɛikstra] lyt
  7. Edsger Dijkstra. The Humble Programmer Arkiveret 26. juni 2014 på Wayback Machine // Communications of the ACM , vol. 15 (1972), 10: 859-866]
  8. Haldar, Sibsankar og Aravind, Alex A. Operating Systems . — Pearson, 2010 . - S. 198. - 580 s. - ISBN 978-81-317-3022-5 .
  9. Edsger Vibe Dijkstra dør .
  10. Rupert .
  11. Edsger W. Dijkstra. Turrapport EWDijkstra: NATO Summer School Marktoberdorf 1975  (engelsk) . University of Texas i Austin (11. august 1975). Hentet 25. juli 2017. Arkiveret fra originalen 13. juli 2017.
  12. Avacheva T. G., Prutskov A. V. Moderne syn på begrebet struktureret programmering  // Cloud of Science. - 2019. - T. 6 , nr. 4 . Arkiveret fra originalen den 7. november 2019.
  13. Dahl W., Dijkstra E., Hoor K. Strukturel programmering. - Moskva: Mir, 1972.

Litteratur

Links