Le prix Turing revient à Leslie Lamport pour ses apports en calculs distribués
Un domaine vaguement important dans l'informatique moderne
Le 26 mars 2014 à 07h10
3 min
Logiciel
Logiciel
Le prix Turing est souvent considéré comme l’équivalent d’un prix Nobel d’informatique. Cette année, il a été décerné à Leslie Lamport pour ses apports cruciaux dans le domaine des calculs distribués. Retour sur les grandes lignes de la carrière d’un ingénieur travaillant aujourd’hui chez Microsoft.
Le père du calcul distribué
Le prix Turing est une récompense décernée chaque année pour récompenser un travail exceptionnel dans le monde informatique. On le considère souvent comme l’équivalent d’un prix Nobel, mais il sera plus exact de la comparer à la médaille Fields pour les mathématiques. Il doit mettre ainsi en avant un véritable apport aux sciences informatiques, qu’il s’agisse de mise en pratique ou au contraire de théories plus fondamentales.
Cette année, le prix a été décerné à Leslie Lamport. Le nom n’est pas forcément très connu, mais Lamport est aujourd’hui considéré comme le père du calcul distribué. Ce dernier consiste à répartir la charge d’un calcul sur plusieurs machines ou, plus généralement, sur plusieurs unités capables de calculer tout ou partie du résultat. C’est un aspect de l’informatique qui peut sembler très courant à l’heure où les processeurs disposent de plusieurs cœurs, mais la théorie du calcul distribué va beaucoup plus loin.
Des apports majeurs
Il est désormais récompensé pour « ses contributions fondamentales théoriques et appliquées dans les systèmes distribués et concurrents, notamment en inventant des concepts tels que la causalité et les horloges logiques, (...) et la consistance séquentielle ». Sûreté (aucun événement négatif), vivacité (survenue d’un événement positif), atomicité, erreurs byzantines (erreurs d’un système qui ne respecte pas ses propres spécifications), bases fondamentales du calcul distribué et influence directe sur le travail de synchronisation des calculs et données sont autant d’apports du lauréat.
Aujourd’hui, il travaille toujours sur le domaine du calcul distribué. Il le fait cependant dans un cadre bien précis car il est employé par Microsoft et travaille au sein de son centre de recherche. Le calcul distribué est devenu la pierre angulaire du cloud et des grands espaces de données répartis sur des centaines, voire des milliers de services. Au sein de Microsoft Research, il y a donc de fortes chances pour qu’il ait contribué activement à Midori, le projet de système d’exploitation écrit en code managé de Microsoft, qui serait pensé avant tout pour la distribution.
Cependant, de nombreux utilisateurs utilisent sans savoir un produit dont il est l’auteur : LaTeX. Ce traitement de texte très particulier, basé sur TeX, sert notamment à préparer de très longues documentations scientifiques. Il est notamment la référence pour la rédaction de formules scientifiques, plus particulièrement mathématiques (et utilisé par le moteur de Wikipedia notamment). D’ailleurs, beaucoup ignorent que LaTeX est simplement le diminutif de Lamport TeX, en référence donc à l’auteur.
En tant que lauréat du prix Turing, Leslie Lamport empoche la somme de 250 000 dollars. Une partie de la somme est financée directement par les dons de deux entreprises très connues de l’univers informatique : Intel et Google.
Le prix Turing revient à Leslie Lamport pour ses apports en calculs distribués
-
Le père du calcul distribué
-
Des apports majeurs
Commentaires (63)
Vous devez être abonné pour pouvoir commenter.
Déjà abonné ? Se connecter
Abonnez-vousLe 26/03/2014 à 07h12
Oh, c’est aussi le papa de LaTeX " />
Le 26/03/2014 à 11h36
Le 26/03/2014 à 12h34
Le 26/03/2014 à 12h37
Le 26/03/2014 à 12h39
Le 26/03/2014 à 12h48
Le 26/03/2014 à 12h49
Le 26/03/2014 à 12h51
Le 26/03/2014 à 12h54
Le 26/03/2014 à 12h58
Le 26/03/2014 à 13h00
J’ai du mal a croire que du code managé aille plus vite que du compilé….
Apres, d’un point de vue humain, peut être que le résultat sera pareil, et que l’expérience utilisateur sera bonne.
Mais je doute … En tout cas, je serais bien content si c’etait possible. Le code managé pouvant etre plus facilement exporté
Et avant de hurler, je developpe en enviro MS…..
Le 26/03/2014 à 13h00
Le 26/03/2014 à 13h03
Le 26/03/2014 à 13h05
Le 26/03/2014 à 13h07
Le 26/03/2014 à 13h13
Le 26/03/2014 à 13h17
Le 26/03/2014 à 07h26
Le 26/03/2014 à 07h28
Le 26/03/2014 à 07h29
Une juste récompense pour ce pionnier de l’informatique. Le consensus byzantin, pour lequel il a inventé Paxos, est indispensable à nos bases de données réparties, sans lesquelles le cloud ne serait pas grand-chose. Et ce n’est qu’une de ses nombreuses contributions.
C’est aussi quelqu’un de très intéressant à écouter (d’ailleurs, son français est très bon). Son poste chez MS Research ne l’empêche pas du tout de travailler sur ce qui l’intéresse, sans que ça ait forcément un lien avec l’entreprise.
Le 26/03/2014 à 07h35
Félicitations M. Lamport, de la part de quelqu’un qui fait du calcul intensif sur clusters tous les jours " />
Le 26/03/2014 à 07h40
Le 26/03/2014 à 07h59
Le 26/03/2014 à 08h19
il y a donc de fortes chances pour qu’il ait contribué activement à Midori
Je confirme…. " />
Le 26/03/2014 à 08h22
Le 26/03/2014 à 08h54
Pour illustrer plus concrètement ses travaux sur la concurrence, quand des threads se mettent en attente passive d’un événement de synchronisation (libération d’un verrou, points de rendez-vous, wait handles, etc), c’est presque toujours avec un algo conçu par ce monsieur. Que ce soit sous un smartphone Android, un PC Windows ou le moniteur de bord d’un avion.
Le 26/03/2014 à 09h08
Le 26/03/2014 à 09h10
Félicitations M. Lamport.
J’ai l’impression que cela est bien mérité d’aprés le peu que j’ai compris " />
Le 26/03/2014 à 09h15
Le 26/03/2014 à 09h21
Le 26/03/2014 à 09h33
Aaaaah!! Jusqu’au passage de l’article qui parle de LaTeX, je me disais “Mais c’est pas possible, ce nom m’est super familier, pourtant je n’ai jamais travaillé dans son domaine à ce monsieur!”.
Encore quelqu’un d’exceptionnel dont personne n’entendra jamais parler… (ou qu’on prendra uniquement pour l’auteur de LaTeX…)
Le 26/03/2014 à 09h35
Le 26/03/2014 à 09h38
Le 26/03/2014 à 09h41
Le 26/03/2014 à 09h50
Le 26/03/2014 à 09h50
Le 26/03/2014 à 09h56
Le 26/03/2014 à 10h01
Le 26/03/2014 à 10h02
Le 26/03/2014 à 10h07
Le 26/03/2014 à 10h13
Le 26/03/2014 à 10h16
Le 26/03/2014 à 10h19
Le 26/03/2014 à 10h24
Le 26/03/2014 à 10h26
Le 26/03/2014 à 10h54
Le 26/03/2014 à 10h55
Le 26/03/2014 à 11h18
Le 26/03/2014 à 11h29
Le 26/03/2014 à 13h34
Le 26/03/2014 à 14h03
Le 26/03/2014 à 14h40
On peut ne pas être d’accord avec Charon et ses pronostiques (et je l’ai été un paquet de fois), mais dans les faits, il sait de quoi il parle, et il avance des arguments.
Au moins, avec lui,c ‘est constructif d’échanger ^ ^ (même si on sent bien qu’il est bien attaché à MS !)
Le 26/03/2014 à 15h02
Le 26/03/2014 à 15h35
Le 26/03/2014 à 15h46
Le 26/03/2014 à 16h20
Le 26/03/2014 à 19h45
Le 26/03/2014 à 21h32
Au sein de Microsoft Research, il y a donc de fortes chances pour qu’il ait contribué activement à Midori, le projet de système d’exploitation écrit en code managé de Microsoft, qui serait pensé avant tout pour la distribution.
Le 26/03/2014 à 21h46
Le 26/03/2014 à 22h16
Le 26/03/2014 à 22h44
" />
Le 27/03/2014 à 10h25
Le 27/03/2014 à 20h41
Bravo et merci à ce monsieur qui mérite ce prix plus qu’amplement.
Si le monde était rempli de personnes munies d’autant d’intelligence que de probité morale, la vie sur Terre serait beaucoup plus facile.
A l’heure où je parle, des centaines d’enfants précoces intellectuellement souffrent de vivre dans nos écoles sans trouver de sortie pour exprimer leur potentiel.
Oui. Notre humanité vit un nivellement par le bas et la médiocrité et l’excellence est perçue comme un danger à abattre.
Donc ce monsieur mériterait une seconde médaille pour y avoir survécu come à ses parents pour l’avoir aidé en cela.
Mais le fait est que notre Je n’ai pas lu les 9 pages de commentaires.
Il a toutefois été question des haïsseurs de Microsoft présent sur ces pages de discussion qui n’avait rien à voir avec le sujet.
Cela montre la nature fondamentalement belliqueuse d’une certaine partie de l’humanité.
Elle n’est utile que pour annuler une autre attitude qui se voudrait agressive.
Et dans ce cas elle set utile pour rappeler que l’information et la connaissance sont des armes fondamentalement primordiales à l’humanité pour se défendre contre un totalitarisme représenté par une confiscation du savoir.
On ne peut plus dire que nous sommes en sécurité désormais puisqu’il existe une organisation qui vole nos informations personnelles en permanence en estimant que la chose est légale.
La NSA.
Tout cela pour voir accoler l’adjectif de voleur à Snowden par des gens qui s’appellent journalistes.
Peut on appeler voleur une personne qui vous rend ce qu’un voleur comme la NSA vous a volé ?
Un peu de respect et de morale chez les journaleux devraient se manifester quelque peu en appelant ce monsieur.
Comment faire confiance au code fermé produit par M$ dans ce cas ?
On ne peut évidemment pas laisse quelques personnes s’approprier seules un savoir pour se donner un pouvoir.
Le principe d’équité entre les hommes se pose là comme un interdit.
C’est totalement inacceptable et une attaque fondamentale contre la démocratie comme celle effectuée et réussie par le pouvoir financier pour la dévoyer.
Je ne suis pas un fan de code libre et j’use énormément Windows.
Mais la seule façon de la conserver est de plussoyer l’usage de code libre.
A partir