Edsger Dijkstra

Edsger Dijkstra Imagine în Infobox. Biografie
Naștere 11 mai 1930
Rotterdam
Moarte 6 august 2002
Nuenen
Numele în limba maternă Edsger Wybe Dijkstra
Naţionalitate  Olandeză
Instruire Universitatea din Texas la Austin
Gymnasium Erasmianum ( în ) (până la1948)
Universitatea din Leiden (până la1956)
Universitatea din Amsterdam ( doctor Philosophiæ ) (până la1959)
Activități Matematician , fizician , informatician , inginer , profesor universitar
Alte informații
Lucrat pentru Universitatea Texas din Austin (1984-1999) , Burroughs Corporation (1973-1984) , Universitatea Radboud din Nijmegen (1971-1972) , Universitatea de Tehnologie Eindhoven (1962-1984) , Centrum voor Wiskunde en Informatica (1952-1962)
Camp Știința informației ( în )
Membru al Royal Netherlands Academy of Arts and Sciences
Academia Americană de Arte și Științe
Asociația pentru mașini de calcul
Supervizor Adriaan van Wijngaarden (1959)
Premii Premiul Turing (1972)
Pronunție Renumit pentru
Algoritmul lui Dijkstra
Sistemul de operare
Semafor

Edsger Wybe Dijkstra (pronunție: [ˈɛtsxər ˈwibə ˈdɛɪkstra] ), născut la Rotterdam pe11 mai 1930și a murit la Nuenen pe6 august 2002Este un matematician și calculator om de știință olandez XX - lea  secol . În 1972 a primit Premiul Turing pentru contribuțiile sale la știința și arta de limbaje de programare și Algol limba . Chiar înainte de moartea sa, în 2002 , a primit premiul pentru articole influente PoDC pentru munca sa de auto-stabilizare . În anul următor morții sale, premiul va fi redenumit în onoarea sa la Premiul Dijkstra .

Biografie

După ce a studiat fizica teoretică , a început să lucreze în apoi în curs de formare informatică domeniu în 1955 , din care el a fost unul dintre cele mai luminate pionieri.

Dijkstra avea o scriere de mână foarte lizibilă și a refuzat întotdeauna să folosească un procesor de text, în ciuda domeniului său de activitate, preferând scrisoarea scrisă de mână fotocopiată. Luca Cardelli a creat o distribuție „Dijkstra” în cinstea sa, care imită scrierea sa obișnuită. Dijkstra se va referi la toate scrisorile sale ca EWD urmat de un număr, ultima fiind litera EWD 1318 .

Sistemul de operare

Profesor la Universitatea Tehnică din Eindhoven , a început să se facă cunoscut în domeniul sistemelor cu sistemul de operare THE , un sistem construit în straturi succesive de abstractizare și ideal pentru predare („THE” este un joc de cuvinte pe acronimul universității sale Technische Hogeschool Eindhoven , Politehnica Eindhoven). Odată cu experiența scrierii acestui sistem, el a formalizat conceptul, înainte de a fi difuz, de semafor, apoi a introdus conceptul de „secțiune critică” cu două exemple devenite clasice: problema cititorilor și scriitorilor și cina filozofilor. .

Instrucțiunea GOTO

Luând act de daunele provocate de utilizarea necontrolată a instrucțiunii goto de programare, a scris în 1968 la Comunicările ACM articol el a numit „  un caz împotriva Declarației GOTO  “ ( „Un proces împotriva declarația GOTO“ ). Dorind să publice rapid articolul ca o scrisoare către editor, editorul Niklaus Wirth l-a redenumit „  Go To Statement Considered Harmful  ”.

Acest nou titlu, precum și subiectul articolului, au devenit apoi celebri în lumea IT. Titlurile formei „  X considerat dăunător  ” sunt înmulțite, până când unul „  Dijkstra considerat dăunător  ”  ”.

Instrucțiunea Goto este rapid marginalizată și aproape eliminată, prin programarea structurată (conceptul Wirth și Dijkstra, prezentat printre altele în EWD 268 ). În programarea structurată, goto-ul este înlocuit cu afirmații ca dacă ... apoi ... altfel ... , în timp ce ... faceți , repetați ... până la care au fost introduse de Wirth în Algol W  : fiecare instrucțiune conține o singură intrare și o singură ieșire, ceea ce face în cele din urmă posibil exhaustiv testele sistematice nu sunt posibile cu „  codul spaghete  ”.

Pot fi impuse, de asemenea, condiții pentru intrarea unică și caracteristicile postulate pentru ieșirea unică, ceea ce deschide ușa instrumentelor adăugate sintaxei, cum ar fi asert (vezi logica lui Hoare ) și ulterior contractării programării limbajului Eiffel .

Algoritmic

Dijkstra a jucat un rol important în dezvoltarea limbajului Algol la sfârșitul anilor 1950 și a dezvoltat ulterior „știința și arta limbajelor de programare” , contribuind în mare măsură la înțelegerea structurii, reprezentării și implementării acestora. El este, de asemenea, un adept al frumosului algoritm, inclusiv pentru subiecte dificil de tratat în programarea structurată, cum ar fi margelele Dijkstra (așezați margelele de trei culori pe un fir unul câte unul, astfel încât să nu existe niciodată două secvențe adiacente identice).

El este, de asemenea, la originea algoritmului omonim, algoritmul Dijkstra , care permite calcularea celor mai scurte căi într-un grafic direcționat .

Premiul Turing

Discursul pe care l-a ținut în 1972 când a primit Premiul Turing , The Humble Programmer , a rămas și el celebru. Este, de asemenea, un exercițiu de batjocură de sine , deoarece profesorul Dijkstra a fost întotdeauna foarte conștient de valoarea muncii sale.

În 1974 , Dijkstra a publicat articolul fondator de auto-stabilizare , proprietatea unui sistem distribuit de a recâștiga un comportament corect după orice eșec tranzitor. În 2002 , a primit premiul pentru articole influente PoDC pentru acest articol. A murit la scurt timp după aceea. Acest premiu a fost redenumit Premiul Dijkstra în onoarea sa în anul următor.

Citate

Dijkstra, cunoscut pentru caracterul său dificil și intransigența, era renumit pentru aforismele sale , care îi încapsulau viziunea asupra informaticii.

Referințe

  1. Ascultați Edsger Dijkstra pe forvo.com.
  2. (în) „  Pionierul în domeniul informaticii moare Dijkstra  ” pe CNET News ,8 august 2002(accesat la 6 septembrie 2012 )
  3. Phillip Laplante, Great Papers in Computer Science , West Pub. Co., SUA,14 februarie 1996, ( ISBN  0-314-06365-X ) , p.  420
  4. citat de la ACM , Association for Computer Machines
  5. Edsger Wybe Dijkstra, intitulat The Humble Programmer , a citit traducerea franceză online
  6. (în) Edsger Wybe Dijkstra , „  Sisteme de auto-stabilizare în pofida controlului distribuit  ” , Comunicări ale ACM , vol.  17, n o  11,1974, p.  643-644 ( citiți online [PDF] )
  7. Invitație la informatică de G. Michael Schneider, Judith L. Gersting, Keith Miller
  8. (în) Edsger Dijkstra, „  The Humble Programmer  ” , Communications of the ACM , vol.  15, n o  10,1972, p.  859-866

Vezi și tu

Bibliografie

Articole similare

linkuri externe