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.
Commentaires (63)
#1
Oh, c’est aussi le papa de LaTeX " />
#2
#3
#4
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.
#5
Félicitations M. Lamport, de la part de quelqu’un qui fait du calcul intensif sur clusters tous les jours " />
#6
#7
#8
il y a donc de fortes chances pour qu’il ait contribué activement à Midori
Je confirme…. " />
#9
#10
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.
#11
#12
Félicitations M. Lamport.
J’ai l’impression que cela est bien mérité d’aprés le peu que j’ai compris " />
#13
#14
#15
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…)
#16
#17
#18
#19
#20
#21
#22
#23
#24
#25
#26
#27
#28
#29
#30
#31
#32
#33
#34
#35
#36
#37
#38
#39
#40
#41
#42
#43
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…..
#44
#45
#46
#47
#48
#49
#50
#51
#52
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 !)
#53
#54
#55
#56
#57
#58
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.
#59
#60
#61
" />
#62
#63
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