Leslie Lamport
Leslie Lamport à donc eu l'honneur de se voir décerner le Prix Turing 2013. Ce sont ses travaux dans le domaine des calculs distribués qui sont récompensés par ce prix.
Je ne suis absolument pas familier avec ce domaine de recherche mais plutôt avec LaTeX, initié par Leslie Lamport.
Pour le bookmark :
http://www.pcinpact.com/news/86688-le-prix-turing-revient-a-leslie-lamport-pour-ses-apports-en-calculs-distribues.htm
http://amturing.acm.org/
Certains trouveront ironiques d'apprendre que Leslie Lamport a été recruté par Microsoft. Quoi qu'il en soit cela n'enlève rien à son talent et je pense qu'il fait partie de ces nombreuses personnes, qui bien que discrètes apportent une contribution majeure au développement des nouvelles technologies.
PS. : C'est mon premier journal presque pas bookmark
# oups
Posté par pitonPatate . Évalué à 1.
j'ai oublié les tags, le manque d'expériences
[^] # Commentaire supprimé
Posté par Anonyme . Évalué à 7. Dernière modification le 26 mars 2014 à 11:37.
Ce commentaire a été supprimé par l’équipe de modération.
[^] # Re: oups
Posté par vlamy (site web personnel) . Évalué à 4.
Tu oublies Le problème des généraux bynantins, Paxos, TLA, qui sont des avancées majeures de l'algorithmique distribuée, attribuées à Lamport, au même titre que les horloges logiques. Ce sont des travaux plus récents, donc moins connus, mais qui ont été repris des centaines, voir des milliers de fois par les travaux de recherche en algorithmique distribuée.
# un grand contributeur à l'algorithmique répartie
Posté par ɹǝıʌıʃO . Évalué à 9.
Ses travaux ont établi des bases pour les programmes répartis (fonctionnant sur plusieurs machines). Les horloges logiques en sont un exemple, mais il est aussi connu pour Paxos, sa solution au problème du consensus byzantin, une base essentielle au fonctionnement des bases de données réparties. Il a aussi relancé le domaine de l'autostabilisation à une époque où sa vivacité était devenue plus que douteuse.
Son recrutement par Microsoft Research n'a rien d'ironique, c'est un centre de recherche dont les employés ne sont pas en lien direct avec le développement de Windows ou d'autres produits MS. J'ai assisté à une présentation de son travail, il était clair sur ce point.
[^] # Re: un grand contributeur à l'algorithmique répartie
Posté par vlamy (site web personnel) . Évalué à 2.
J'ai assisté à plusieurs conférences animés par des chercheurs de chez MSR et je suis tout à fait d'accord. Je n'ai jamais vu Lamport, car le monsieur ne daigne pas se déplacer quand on refuse de lui payer un billet d'avion en première classe pour une conférence, mais je ne doute pas de la qualité de ses présentations.
[^] # Re: un grand contributeur à l'algorithmique répartie
Posté par pasBill pasGates . Évalué à -1.
Lui je sais pas, d'autres sont les pieds dedans dans divers parties de divers produits.
Mais cela ne changerait rien a leur reputation, car quand on compare au reste de l'industrie, une equipe et un produit comme Windows c'est le haut de gamme quoi qu'en disent certains ici qui n'ont pas compris grand chose au developpement informatique.
[^] # Re: un grand contributeur à l'algorithmique répartie
Posté par Sytoka Modon (site web personnel) . Évalué à 9.
Quasiment tous les ordinateurs haut de gamme du monde tournent sous GNU/Linux ;-)
[^] # Re: un grand contributeur à l'algorithmique répartie
Posté par Nitchevo (site web personnel) . Évalué à 5.
Tu peux argumenter, parce que là ça sonne discours de marketeux?
[^] # Re: un grand contributeur à l'algorithmique répartie
Posté par Larry Cow . Évalué à 9.
Il ne dit pas forcément que Windows est du haut de gamme, simplement que c'est un gros morceau technique, et que faire partie de ces équipes n'est pas franchement un signe d'incompétence. Bien au contraire.
[^] # Re: un grand contributeur à l'algorithmique répartie
Posté par Nitchevo (site web personnel) . Évalué à 4.
Il ne l'a pas dit il l'a écrit.
Je ne critique pas la qualité de certaines personnes qui travaillent chez Microsoft, le contraire serait étonnant et cette news va dans ce sens. Mais balancer un gros troll poilu sur Linuxfr sans arguments c'est un peu faiblard.
J'aurais par exemple aimé comprendre pourquoi si peu d'ordinateur du top 500 tournent sous Windows alors que visiblement Microsoft investi dans le domaine des clusters.
[^] # Re: un grand contributeur à l'algorithmique répartie
Posté par Atem18 (site web personnel) . Évalué à 2.
C'est pour toi, c'est cadeau : http://www.unixmen.com/why-do-super-computers-use-linux/
[^] # Re: un grand contributeur à l'algorithmique répartie
Posté par Nitchevo (site web personnel) . Évalué à 4.
J'aurais voulu un lien vers un article équivalent concernant les qualités de Windows que PBPG nous vante.
Merci l'article est une bonne synthèse des raisons qui poussent à choisir Linux mais, en dehors de la question du coût je ne vois pas vraiment pourquoi Microsoft n'a pas les moyens de prendre des parts de ce marché significatives, sauf si les performances ne suivent pas.
[^] # Re: un grand contributeur à l'algorithmique répartie
Posté par Renault (site web personnel) . Évalué à 8.
Je pense que tu as mal compris sa phrase. Il ne vante pas Windows en tant que produit mais en tant que projet.
Oui, dans le milieu informatique industriel, un programme qui fonctionne pas trop mal dans des cas aussi variés peut être considéré comme un exploit (ça ne devrait pas, mais c'est une autre histoire).
Donc ce n'est pas Windows le haut de gamme, c'est le fait de travailler dessus qui est du haut de gamme. La différence est de taille. Et c'est vrai que même si on n'aime pas forcément l'utiliser, programmer un OS complet fonctionnel est un défi d'ingénierie de qualité intéressante par rapport à ce qu'on peut trouver ailleurs…
[^] # Re: un grand contributeur à l'algorithmique répartie
Posté par Larry Cow . Évalué à 3.
Merci, j'avais vraiment l'impression que mon cerveau était foutu ;)
[^] # Re: un grand contributeur à l'algorithmique répartie
Posté par Nitchevo (site web personnel) . Évalué à 8.
Sans vouloir gloser il y a dans la phrase de PBPG un artifice rhétorique:il associe la qualité de l'équipe et le produit et opère un glissement sémantique de l'un vers l'autre, ce qui est une technique de marketing du même ordre que celle d'associer un nom de sportif célèbre à une marque de barre chocolatée ou une musique d'Ennio Morricone à de la pâtée pour chien. Il ne me parait pas scandaleux de demander de justifier le rapprochement. Je dis ça d'ailleurs sans trop douter de la qualité des produits Microsoft, ma rancœur datant de Windows 95 et 98 s'est calmée avec le temps.
[^] # Re: un grand contributeur à l'algorithmique répartie
Posté par xcomcmdr . Évalué à -8.
Tu juges le Windows d'aujourd'hui avec la branche 9X qui est abandonnée depuis 14 ans, c'est pas mieux.
"Quand certains râlent contre systemd, d'autres s'attaquent aux vrais problèmes." (merci Sinma !)
[^] # Re: un grand contributeur à l'algorithmique répartie
Posté par Nitchevo (site web personnel) . Évalué à 10.
J'ai juste dit le contraire, relis.
[^] # Re: un grand contributeur à l'algorithmique répartie
Posté par pasBill pasGates . Évalué à -3.
Les qualites ?
C'est simple, il y a combien d'OS qui regatent dans la meme categorie ?
Trouves moi une societe sur la planete qui a un projet software unifie de cette complexite et de cette taille avec un succes pareil…
Les clusters, tu m'expliqueras en quoi ca demontre quoi que ce soit niveau performance de l'OS, ces systemes ne sont pas un OS qui gere toutes les machines, ce sont des amas de machines avec un OS independant chacunes.
[^] # Re: un grand contributeur à l'algorithmique répartie
Posté par dcp . Évalué à 5.
Exactement, Windows permet à n'importe qui de faire n'importe quoi.
[^] # Re: un grand contributeur à l'algorithmique répartie
Posté par Larry Cow . Évalué à 5.
De là à savoir si c'est une force ou une faiblesse…
[^] # Re: un grand contributeur à l'algorithmique répartie
Posté par steph1978 . Évalué à 3.
Belle tranche de rire, il n'y a rien à jeter.
Tu as juste oublié "backdoor nsa de série".
M$ vit car ils ont su occuper un marché vacant, la bureautique, puis mettre tout en œuvre : vente forcée, vente liée, marketing, pour le garder. Je suis pour récompenser la prise de risque et l’innovation mais pas pour que ça dure trop longtemps.
Sur des marchés plus concurrentiel, ils ne me gênent pas bien au contraire, sur le jeu vidéo par exemple.
Quant à leur centre de recherche, j'ai lu des papiers tout à fait intéressants et de très bon niveau. Sauf qu'ils sont obligé de faire les preuves de concept sous du windows et ne publient aucun code source…
[^] # Re: un grand contributeur à l'algorithmique répartie
Posté par flan (site web personnel) . Évalué à 2.
Accessoirement, ça ne doit pas être facile de faire un OS moderne tout en gardant une bonne compatibilité avec toutes les horreurs d'il y a 20 ans.
Il y a des rumeurs d'un vrai nouvel OS chez MS, je me demande ce que ça va donner (et pour le coup, ils n'auront plus aucune excuse pour ne pas faire un bon truc)
[^] # Re: un grand contributeur à l'algorithmique répartie
Posté par navaati . Évalué à 6.
Au hasard, une grosse part développement de GHC, le compilateur Haskell, est fait chez Microsoft Research, et c'est du boulot de haute volée.
[^] # Re: un grand contributeur à l'algorithmique répartie
Posté par Perthmâd (site web personnel) . Évalué à 7.
Dans le même genre poussé à l'extrême, il y a l'équipe de Georges Gonthier de chez Microsoft Research qui a prouvé le théorème des quatre couleurs et le théorème de Feit-Thompson en Coq… Deux réussites monstrueuses des mathématiques assistées par ordinateur ! Pas grand chose à voir avec Windows, heureusement.
# Et donc ce prestigieux prix...
Posté par Shuba . Évalué à 10.
… c'est Leslie qui Lamport.
# au passage
Posté par ɹǝıʌıʃO . Évalué à 7.
on remarquera la rare élégance du tag « gonzesse ».
[^] # Re: au passage
Posté par Laurent Cligny (site web personnel) . Évalué à 10.
Surtout que c'est un homme. Il faudrait changer le tag en "gonze".
Suivre le flux des commentaires
Note : les commentaires appartiennent à celles et ceux qui les ont postés. Nous n’en sommes pas responsables.