Journal Et le prix Turing revient à ...

Posté par . Licence CC by-sa
36
26
mar.
2014

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 . Évalué à 1.

    j'ai oublié les tags, le manque d'expériences

    • [^] # Commentaire supprimé

      Posté par . Évalué à 7. Dernière modification le 26/03/14 à 11:37.

      Ce commentaire a été supprimé par l'équipe de modération.

      • [^] # Re: oups

        Posté par (page perso) . É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 . É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 (page perso) . Évalué à 2.

      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.

      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 . Évalué à -1.

      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.

      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 (page perso) . Évalué à 9.

        un produit comme Windows c'est le haut de gamme

        Quasiment tous les ordinateurs haut de gamme du monde tournent sous GNU/Linux ;-)

      • [^] # Re: un grand contributeur à l'algorithmique répartie

        Posté par (page perso) . Évalué à 5.

        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.

        Tu peux argumenter, parce que là ça sonne discours de marketeux?

        • [^] # Re: un grand contributeur à l'algorithmique répartie

          Posté par . Évalué à 9.

          Tu peux argumenter, parce que là ça sonne discours de marketeux?

          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 (page perso) . Évalué à 4.

            Il ne dit pas forcément que Windows est du haut de gamme,

            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 (page perso) . Évalué à 2.

              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.

              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 (page perso) . É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 (page perso) . É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 . Évalué à -3.

                  Les qualites ?

                  C'est simple, il y a combien d'OS qui regatent dans la meme categorie ?

                  • Scale du telephone au datacenter a la console de jeu
                  • Largement utilisable en desktop par tout un chacun et en serveur par des gens sans trop de qualifs
                  • Performance qui tiennent la comparaison (soit un peu en dessus soit un peu en dessous selon les elements) avec la concurrence sur tous les forms factors
                  • Un nombre enorme de features (hyperviseur, active directory, browser web, serveur dns, fichiers, etc…)

                  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 . Évalué à 5.

                    Largement utilisable en desktop par tout un chacun et en serveur par des gens sans trop de qualifs

                    Exactement, Windows permet à n'importe qui de faire n'importe quoi.

                  • [^] # Re: un grand contributeur à l'algorithmique répartie

                    Posté par . É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 (page perso) . É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 . É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 (page perso) . É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 . Évalué à 10.

    … c'est Leslie qui Lamport.

  • # au passage

    Posté par . Évalué à 7.

    on remarquera la rare élégance du tag « gonzesse ».

Suivre le flux des commentaires

Note : les commentaires appartiennent à ceux qui les ont postés. Nous n'en sommes pas responsables.