Connexion
Abonnez-vous

Le prix Turing revient à Leslie Lamport pour ses apports en calculs distribués

Un domaine vaguement important dans l'informatique moderne

Le prix Turing revient à Leslie Lamport pour ses apports en calculs distribués

Le 26 mars 2014 à 07h10

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.

leslie lamport

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)

Vous devez être abonné pour pouvoir commenter.

Abonnez-vous
votre avatar

Oh, c’est aussi le papa de LaTeX <img data-src=" />

votre avatar







Khalev a écrit :









Beaucoup ont également tendance à garder la vision qu’il avait de Microsoft dans les années 902000



Avant Vista, les produits de Microsoft étaient globalement codés selon la culture du « fast and loose » (terme employé par Jim Allchin de chez MS), on a quand meme vu des failles aberrantes ou des bugs bien etranges etc …

De même la politique de Microsoft était abject etc …



Depuis Vista, on a de la qualité et de la sécurité et c’est souvent le poids de la compatibilité qui ralentit MS … On entend aussi plus souvent parler des projets de recherche qui peuvent vraiment etre novateur (Midori, Drawbridge, Kinect 2.0, Illumi Room etc).

Les politiques cloud et virtualisation ont egalement permis a MS de s’ouvrir à la concurrence Linux supporté via Hyper-V etc …

Les différents procès et la concurrence du mobile leur ont également fait du bien …



Personnellement ces dernières j’ai bien plus confiance en Microsoft qui est relativement simple a comprendre que Google qui s’éparpille dans tout les sens pour te cerner tout en étant protéger par une aura de gentil société de Geek …


votre avatar







charon.G a écrit :



Ouh la tu pêches à la dynamite tu vas les attirer <img data-src=" />

Sinon quand midori sortira ils resteront dans le deni,tu es un peu trop optimiste. Il y a plusieurs informations qui laisse entendre que Microsoft bosse une évolution de C#(M#) annoncé comme étant plus rapide que le C++. Quand ça sortira des benchmarks suivront et ils continueront à nier l’évidence…







En tout cas, on reconnaît volontier ton côté fanboy a 200% <img data-src=" />


votre avatar







ff9098 a écrit :



En tout cas, on reconnaît volontier ton côté fanboy a 200% <img data-src=" />





Dit le hateboy ms le plus virulent de PCI <img data-src=" />

Etrangement je t’ai pas entendu me traiter de fanboy MS quand je critiquais Modern UI. Je suis surement 10000 fois plus objectif que toi <img data-src=" />


votre avatar







charon.G a écrit :



Dit le hateboy ms le plus virulent de PCI <img data-src=" />

Etrangement je t’ai pas entendu me traiter de fanboy MS quand je critiquais Modern UI. Je suis surement 10000 fois plus objectif que toi <img data-src=" />







Tu crois que je m’abonne a tes messages ?


votre avatar







ff9098 a écrit :



Tu crois que je m’abonne a tes messages ?





Tu les a très bien vu ,vu que tu trolles systématiquement dans toutes les news Windows. Espèce de menteur…


votre avatar







charon.G a écrit :



Tu les a très bien vu ,vu que tu trolles systématiquement dans toutes les news Windows. Espèce de menteur…







Je les vois, je ne les cherche pas


votre avatar







charon.G a écrit :



Je me suis fait aussi aggresser un bon nombre de fois pour la simple raison que je défend Microsoft.







C’est comme se balader dans un quartier afro-américain avec un cagoule du KKK, normal que tu te fasse agresser.



Si on veut vivre dangereusement, il faut en assumer les conséquences.


votre avatar







Para-doxe a écrit :



C’est comme se balader dans un quartier afro-américain avec un cagoule du KKK, normal que tu te fasse agresser.



Si on veut vivre dangereusement, il faut en assumer les conséquences.





En gros c’est de ma faute que je me fasse aggresser sur PCI car j’ose défendre Microsoft.. Joli la liberté d’expression surtout venant de gens qui se disent libristes….

Au passage je n’interviens jamais sur les news linux et OSX. ce qui est pas le cas de certains…

Et ton image elle est pourrie tu me compares a un facho super….


votre avatar







charon.G a écrit :



En gros c’est de ma faute que je me fasse aggresser sur PCI car j’ose défendre Microsoft.. Joli la liberté d’expression surtout venant de gens qui se disent libristes….

Au passage je n’interviens jamais sur les news linux et OSX. ce qui est pas le cas de certains…







Le problème c’est que tu ne fais que ça, et on a bien remarqué que tu n’intervient nulle part ailleurs.


votre avatar

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…..

votre avatar







ff9098 a écrit :



Le problème c’est que tu ne fais que ça, et on a bien remarqué que tu n’intervient nulle part ailleurs.





Et toi tu trolles systematiquement sur toutes les news PCI. Si je préfères intervenir sur les news Microsoft c’est mon droit. J’ai pas du tout le temps de faire toutes les news.


votre avatar







charon.G a écrit :



En gros c’est de ma faute que je me fasse aggresser sur PCI car j’ose défendre Microsoft.. Joli la liberté d’expression surtout venant de gens qui se disent libristes….







Tu as autant le droit de donner ton avis sur un sujet que d’autres d’en donner un sur le tien. <img data-src=" />



La liberté d’expression est la même pour tous, elle ne s’arrête pas à toi.

Maintenant si tu publies ton avis, il faut accepter qu’il puisse être contredit.

Et évite de te victimiser comme tu viens de le faire si tu veux êtres pris au sérieux.







charon.G a écrit :



Au passage je n’interviens jamais sur les news linux et OSX. ce qui est pas le cas de certains…







Tu fais ce que tu veux. Mais faudra pas te plaindre si quelqu’un n’est pas du même avis que toi.


votre avatar







fraoch a écrit :



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…..





C’est ce qu’annonce Microsoft:

source





Our goal is make the performance of managed languages exceed that of traditional unmanaged languages.





source 2

En réalite M# est un langage compilé directement en code natif. Tu n’as pas de runtime Ils ont poussé pas mal d’optimisation en particulier pour le code parallele.


votre avatar







Para-doxe a écrit :



Tu as autant le droit de donner ton avis sur un sujet que d’autres d’en donner un sur le tien. <img data-src=" />



La liberté d’expression est la même pour tous, elle ne s’arrête pas à toi.

Maintenant si tu publies ton avis, il faut accepter qu’il puisse être contredit.

Et évite de te victimiser comme tu viens de le faire si tu veux êtres pris au sérieux.







Tu fais ce que tu veux. Mais faudra pas te plaindre si quelqu’un n’est pas du même avis que toi.





C’est pas le fait d’être contredit qui me gène c’est que systématiquement j’ai des réponses aggressives alors que je ne le suis pas du tout dans mes propos.


votre avatar







charon.G a écrit :



C’est pas le fait d’être contredit qui me gène c’est que systématiquement j’ai des réponses aggressives alors que je ne le suis pas du tout dans mes propos.







On en revient à ma première intervention sur cette news. J’ai l’impression qu’on tourne en rond. <img data-src=" />



Bref, prends mes commentaires comme bon te semble. J’ai essayé de les rendre les plus neutres possibles. <img data-src=" />



Je dois y aller, aussi je ne pourrais continuer cette discussion. Alors @+.



votre avatar







Para-doxe a écrit :



On en revient à ma première intervention sur cette news. J’ai l’impression qu’on tourne en rond. <img data-src=" />



Bref, prends mes commentaires comme bon te semble. J’ai essayé de les rendre les plus neutres possibles. <img data-src=" />



Je dois y aller, aussi je ne pourrais continuer cette discussion. Alors @+.







C’est comme se balader dans un quartier afro-américain avec un cagoule du KKK, normal que tu te fasse agresser.



Oui tu m’as comparé à un facho <img data-src=" /> je ne savais pas que ceux qui défendent Windows sont des fachos….


votre avatar







DayWalker a écrit :



Oh, c’est aussi le papa de LaTeX <img data-src=" />





C’est assez contradictoire parce que normalement avec latex on ne peut pas être papa.


votre avatar







zitrams a écrit :



C’est assez contradictoire parce que normalement avec latex on ne peut pas être papa.







LOL


votre avatar

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.

votre avatar

Félicitations M. Lamport, de la part de quelqu’un qui fait du calcul intensif sur clusters tous les jours <img data-src=" />









DayWalker a écrit :



Oh, c’est aussi le papa de LaTeX <img data-src=" />





Pour ajouter en précision : TeX a été inventé et mis au point par Donald Knuth. LaTeX a été mis au point par Lamport pour faciliter l’usage de TeX. Combinés ils sont un format d’écriture de fichiers qui ne s’est pas démodé depuis les années 1970. Il est intéressant de noter qu’on peut prendre un document TeX des années 1970, le lire et le compiler aujourd’hui, c’est donc un format de fichiers très pérenne. On ne peut pas en dire autant des formats de fichiers «modernes»…


votre avatar







zitrams a écrit :



C’est assez contradictoire parce que normalement avec latex on ne peut pas être papa.







Tout est calculé, il sait à peu près quand il y aura un trou <img data-src=" />(en pourcentage)


votre avatar







zitrams a écrit :



C’est assez contradictoire parce que normalement avec latex on ne peut pas être papa.



<img data-src=" />


votre avatar



il y a donc de fortes chances pour qu’il ait contribué activement à Midori



Je confirme…. <img data-src=" />

votre avatar







zitrams a écrit :



C’est assez contradictoire parce que normalement avec latex on ne peut pas être papa.







<img data-src=" />


votre avatar

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.

votre avatar







HarmattanBlow a écrit :



le moniteur de bord d’un avion.







Euh, non, ça c’est pas possible. Tu n’aura jamais de thread pouvant bloquer dans de l’avionique.


votre avatar

Félicitations M. Lamport.



J’ai l’impression que cela est bien mérité d’aprés le peu que j’ai compris <img data-src=" />





zitrams a écrit :



C’est assez contradictoire parce que normalement avec latex on ne peut pas être papa.





Joli!<img data-src=" />


votre avatar







charon.G a écrit :



Je confirme…. <img data-src=" />





Midori… il y a des chances qu’MS propose bientot un truc vraiment sympa qui fera grincer des dents tous les libristes persuadés qu’MS est incapable de faire mieux…


votre avatar







lossendae a écrit :



Midori… il y a des chances qu’MS propose bientot un truc vraiment sympa qui fera grincer des dents tous les libristes persuadés qu’MS est incapable de faire mieux…





Ouh la tu pêches à la dynamite tu vas les attirer <img data-src=" />

Sinon quand midori sortira ils resteront dans le deni,tu es un peu trop optimiste. Il y a plusieurs informations qui laisse entendre que Microsoft bosse une évolution de C#(M#) annoncé comme étant plus rapide que le C++. Quand ça sortira des benchmarks suivront et ils continueront à nier l’évidence…


votre avatar

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…)

votre avatar







lossendae a écrit :



Midori… il y a des chances qu’MS propose bientot un truc vraiment sympa qui fera grincer des dents tous les libristes persuadés qu’MS est incapable de faire mieux…





Tu sais je pense que le cas est telllement désespéré, si Microsoft devait ouvrir le code source de Windows sur une licence libre, ils continueraient à basher Microsoft


votre avatar







charon.G a écrit :



Ouh la tu pêches à la dynamite tu vas les attirer <img data-src=" />

Sinon quand midori sortira ils resteront dans le deni,tu es un peu trop optimiste. Il y a plusieurs informations qui laisse entendre que Microsoft bosse une évolution de C#(M#) annoncé comme étant plus rapide que le C++. Quand ça sortira des benchmarks suivront et ils continueront à nier l’évidence…







Oh j’ai googlé M#, on parle même d’une possibilité que le langage soit open source.

ça promet en tout cas <img data-src=" />


votre avatar







lossendae a écrit :



Oh j’ai googlé M#, on parle même d’une possibilité que le langage soit open source.

ça promet en tout cas <img data-src=" />





Oui c’est prévu

source





In the months to come, I will start sharing more details. My goal is to eventually open source this thing, but before we can do that we need to button up a few aspects of the language and, more importantly, move to the Roslyn code-base so the C# relationship is more elegant. Hopefully in 2014.


votre avatar







charon.G a écrit :



Tu sais je pense que le cas est telllement désespéré, si Microsoft devait ouvrir le code source de Windows sur une licence libre, ils continueraient à basher Microsoft





D’ailleurs il y a pas une histoire comme quoi le code de MS-Dos a été ou va être libéré?



Ça permettra enfin de récupérer la merveilleuse commande dir dans linux (parce ls c’est cool mais c’est pas trop ça quand même) <img data-src=" />


votre avatar







lossendae a écrit :



Midori… il y a des chances qu’MS propose bientot un truc vraiment sympa qui fera grincer des dents tous les libristes persuadés qu’MS est incapable de faire mieux…









charon.G a écrit :



Ouh la tu pêches à la dynamite tu vas les attirer <img data-src=" />

Sinon quand midori sortira ils resteront dans le deni,tu es un peu trop optimiste. Il y a plusieurs informations qui laisse entendre que Microsoft bosse une évolution de C#(M#) annoncé comme étant plus rapide que le C++. Quand ça sortira des benchmarks suivront et ils continueront à nier l’évidence…









charon.G a écrit :



Tu sais je pense que le cas est telllement désespéré, si Microsoft devait ouvrir le code source de Windows sur une licence libre, ils continueraient à basher Microsoft





Ça va vous vous faites plaisir à basher du libriste sur une news qui n’a rien à voir ? On vous laisse entre vous ? Vous dénoncez le bashing gratuit mais en faites vous-mêmes ? <img data-src=" />



Microsoft a déjà fait de l’Open Source. Microsoft a déjà contribué au noyau Linux. Microsoft a déjà ouvert certains de ses formats de fichiers (OOXML par exemple). Microsoft contribue déjà à l’élaboration de standards, sur le Web notamment (membre du W3C).



Je suis libriste mais je reconnais tout cela. Il ne faut pas confondre «libriste» et «Microsoft hater». Merci <img data-src=" />



D’un autre côté je reconnais que je critique Microsoft sur un certain nombre de points. Je ne pense pas être un «hater» pour autant. Votre OS est Windows, le mien est GNU/Linux, chacun peut respecter le choix de l’autre sans pour autant cracher dessus. <img data-src=" />


votre avatar







Khalev a écrit :



D’ailleurs il y a pas une histoire comme quoi le code de MS-Dos a été ou va être libéré?





Une brève chez Clubic <img data-src=" />


votre avatar







lossendae a écrit :



Midori… il y a des chances qu’MS propose bientot un truc vraiment sympa qui fera grincer des dents tous les libristes persuadés qu’MS est incapable de faire mieux…





Faux.



Même Stallman (qui pourtant même au sein de la communauté libre pure et dure et reconnu comme extrémiste) reconnait que le logiciel closed-source peut-être mieux. Par contre il dit qu’il est prêt à “galérer” un peu plus pour conserver sa liberté.


votre avatar







Konrad a écrit :



Ça va vous vous faites plaisir à basher du libriste sur une news qui n’a rien à voir ? On vous laisse entre vous ? Vous dénoncez le bashing gratuit mais en faites vous-mêmes ? <img data-src=" />



Microsoft a déjà fait de l’Open Source. Microsoft a déjà contribué au noyau Linux. Microsoft a déjà ouvert certains de ses formats de fichiers (OOXML par exemple). Microsoft contribue déjà à l’élaboration de standards, sur le Web notamment (membre du W3C).



Je suis libriste mais je reconnais tout cela. Il ne faut pas confondre «libriste» et «Microsoft hater». Merci <img data-src=" />



D’un autre côté je reconnais que je critique Microsoft sur un certain nombre de points. Je ne pense pas être un «hater» pour autant. Votre OS est Windows, le mien est GNU/Linux, chacun peut respecter le choix de l’autre sans pour autant cracher dessus. <img data-src=" />





Je parle bien sur des haters, désolé pour l’imprécision. Après ce n’est pas mon genre de critiquer gratuitement Linux, les gens qui me connaissent le savent très bien. Par contre quand je défend mon point de vue en soutenant Microsoft je me prends souvent une volée d’intégristes libristes intolérants. Je suis sur ce site depuis plus 9 ans j’en ai vu passer des trolls. Je me suis fait aussi aggresser un bon nombre de fois pour la simple raison que je défend Microsoft.



Sinon oui je fais qu’énoncer la vérité, si Midori devait sortir, beaucoup de libristes(en particulier haters) ne changeront pas d’avis sur Microsoft et ce serait pareil si windows devenait libre.

Il y a eu une news il y a quelque temps sur un autre sujet à propos de la gratuité ou prix très bas de Windows 9/wp8. Les commentaires n’ont pas changé.Quand on est buté c’est pour la vie.


votre avatar







charon.G a écrit :



Je parle bien sur des haters, désolé pour l’imprécision. Après ce n’est pas mon genre de critiquer gratuitement Linux, les gens qui me connaissent le savent très bien. Par contre quand je défend mon point de vue en soutenant Microsoft je me prends souvent une volée d’intégristes libristes intolérants. Je suis sur ce site depuis plus 9 ans j’en ai vu passer des trolls. Je me suis fait aussi aggresser un bon nombre de fois pour la simple raison que je défend Microsoft.



Sinon oui je fais qu’énoncer la vérité, si Midori devait sortir, beaucoup de libristes(en particulier haters) ne changeront pas d’avis sur Microsoft et ce serait pareil si windows devenait libre.

Il y a eu une news il y a quelque temps sur un autre sujet à propos de la gratuité ou prix très bas de Windows 9/wp8. Les commentaires n’ont pas changé.Quand on est buté c’est pour la vie.





Merci pour la précision <img data-src=" />



Je pense qu’il y a des Microsoft haters qui utilisent tous types de systèmes, que ce soit MacOS (qui n’est pas libre…), un UNIX quelconque (libre ou pas), Linux… Je suis sûr qu’il y a même des gens qui utilisent Windows et qui vont cracher sur Microsoft à la moindre occasion.



Du coup, c’est l’association «Microsoft hater = forcément libriste» qui me dérange.


votre avatar







Konrad a écrit :



Ça va vous vous faites plaisir à basher du libriste sur une news qui n’a rien à voir ? On vous laisse entre vous ? Vous dénoncez le bashing gratuit mais en faites vous-mêmes ? <img data-src=" />







Désolé que tu te sois senti visé, comme Charon je pensais au haters, qui malheureusement sont aussi les plus bruyants.



votre avatar







Konrad a écrit :



Merci pour la précision <img data-src=" />



Je pense qu’il y a des Microsoft haters qui utilisent tous types de systèmes, que ce soit MacOS (qui n’est pas libre…), un UNIX quelconque (libre ou pas), Linux… Je suis sûr qu’il y a même des gens qui utilisent Windows et qui vont cracher sur Microsoft à la moindre occasion.



Du coup, c’est l’association «Microsoft hater = forcément libriste» qui me dérange.







Pas faux !

C’est pas simple de sortir des clichés.


votre avatar







Konrad a écrit :



Du coup, c’est l’association «Microsoft hater = forcément libriste» qui me dérange.





C’est juste que les plus virulent Microsoft hater sur PCi sont des libristes extrémiste <img data-src=" />



Au moins le mec qui utilise Windows et qui critique Microsoft a des arguments pertinents <img data-src=" /> De même que celui qui fait des comparaisons intéressantes entre Mac, Linux et Windows.



Mais le mec qui crache sur MicroDaube, Micro$$$$$$oft sous prétexte que c’est pas libre, c’est une prison doré, c’est privateur etc … C’est un peu lourd <img data-src=" />


votre avatar







lossendae a écrit :



Désolé que tu te sois senti visé, comme Charon je pensais au haters, qui malheureusement sont aussi les plus bruyants.





+1 Le problème des libristes haters ils ont choisi linux d’abord par idéologie. C’est pour çà que ce sont les plus virulents et bruyants.

Il y aussi quelques maceux et une grande partie de windowiens qui bashent sur ms. Mais la plupart du temps ces windowiens ramènent la discussion sur linux et disent utiliser Linux ou vouloir y passer(ce qu’ils font le plus souvent jamais)


votre avatar







arno53 a écrit :



C’est juste que les plus virulent Microsoft hater sur PCi sont des libristes extrémiste <img data-src=" />



Au moins le mec qui utilise Windows et qui critique Microsoft a des arguments pertinents <img data-src=" /> De même que celui qui fait des comparaisons intéressantes entre Mac, Linux et Windows.



Mais le mec qui crache sur MicroDaube, Micro$$$$$$oft sous prétexte que c’est pas libre, c’est une prison doré, c’est privateur etc … C’est un peu lourd <img data-src=" />





+1000 Vincent l’avait même dit il y a quelques années dans les commentaires.


votre avatar







arno53 a écrit :



Au moins le mec qui utilise Windows et qui critique Microsoft a des arguments pertinents <img data-src=" />





<img data-src=" /> Comme le fait que quand tu installe Windows il faut tenter plusieurs fois pour qu’il accepte ta clé d’activation.


votre avatar







charon.G a écrit :



Je parle bien sur des haters, désolé pour l’imprécision. Après ce n’est pas mon genre de critiquer gratuitement Linux, les gens qui me connaissent le savent très bien. Par contre quand je défend mon point de vue en soutenant Microsoft je me prends souvent une volée d’intégristes libristes intolérants. Je suis sur ce site depuis plus 9 ans j’en ai vu passer des trolls. Je me suis fait aussi aggresser un bon nombre de fois pour la simple raison que je défend Microsoft.



Sinon oui je fais qu’énoncer la vérité, si Midori devait sortir, beaucoup de libristes(en particulier haters) ne changeront pas d’avis sur Microsoft et ce serait pareil si windows devenait libre.

Il y a eu une news il y a quelque temps sur un autre sujet à propos de la gratuité ou prix très bas de Windows 9/wp8. Les commentaires n’ont pas changé.Quand on est buté c’est pour la vie.





Il faut aussi noter la différence entre Microsoft en tant que boite, ses employé et ses produits.



On peut ne pas aimer MS en tant que boite mais apprécier leurs produits et être neutres vis-à-vis de leurs employés.



Je suis capable de reconnaître toutes les qualités des produits MS et de ce qu’ils ont fait pour l’informatique grand public. Par contre ça reste pour moi une boite dangereuse que j’évite d’utiliser et que je déconseille à titre personnel. Dans le cadre professionnel je prends aussi en compte l’existant et les besoins de productivité pour proposer la meilleure solutions à mes clients, je suis payé pour ça donc je fait mon boulot comme attendu.



Mais effectivement tu as raison beaucoup de libristes sont bouchés. Même RMS n’est pas aussi bouché qu’eux. Autant il est extrémistes dans ses positions politique, autant niveau technique il a un regard plutôt neutre et lucide.


votre avatar







Khalev a écrit :



Il faut aussi noter la différence entre Microsoft en tant que boite, ses employé et ses produits.



On peut ne pas aimer MS en tant que boite mais apprécier leurs produits et être neutres vis-à-vis de leurs employés.



Je suis capable de reconnaître toutes les qualités des produits MS et de ce qu’ils ont fait pour l’informatique grand public. Par contre ça reste pour moi une boite dangereuse que j’évite d’utiliser et que je déconseille à titre personnel. Dans le cadre professionnel je prends aussi en compte l’existant et les besoins de productivité pour proposer la meilleure solutions à mes clients, je suis payé pour ça donc je fait mon boulot comme attendu.



Mais effectivement tu as raison beaucoup de libristes sont bouchés. Même RMS n’est pas aussi bouché qu’eux. Autant il est extrémistes dans ses positions politique, autant niveau technique il a un regard plutôt neutre et lucide.





<img data-src=" />


votre avatar







charon.G a écrit :



Ouh la tu pêches à la dynamite tu vas les attirer <img data-src=" />

Sinon quand midori sortira ils resteront dans le deni,tu es un peu trop optimiste. Il y a plusieurs informations qui laisse entendre que Microsoft bosse une évolution de C#(M#) annoncé comme étant plus rapide que le C++. Quand ça sortira des benchmarks suivront et ils continueront à nier l’évidence…





La cuillère n’existe pas ? <img data-src=" />


votre avatar







charon.G a écrit :



C’est ce qu’annonce Microsoft:

source







source 2

En réalite M# est un langage compilé directement en code natif. Tu n’as pas de runtime Ils ont poussé pas mal d’optimisation en particulier pour le code parallele.







baah MS va pas dire le contraire…. Mais je dis pas que c’est impossible.

Je n’ai pas encore vu les articles que tu donnes, donc je m’abstiens de dire quoi que ce soit. Mais je vais aller jeter un coup d’oeil de suite



Merci bien <img data-src=" />


votre avatar







ff9098 a écrit :



Le problème c’est que tu ne fais que ça, et on a bien remarqué que tu n’intervient nulle part ailleurs.





C’est l’hopital que se fout de la charité, tu ne fais qu’agresser les gens qui





  • soit défendent microsoft

  • soit critiquent google





    ET tu ne donne jamais d’argument pour appuyer tes propos.


votre avatar

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 !)

votre avatar







fraoch a écrit :



baah MS va pas dire le contraire…. Mais je dis pas que c’est impossible.

Je n’ai pas encore vu les articles que tu donnes, donc je m’abstiens de dire quoi que ce soit. Mais je vais aller jeter un coup d’oeil de suite





Tu ne trouveras pas de réponse dans les sources fournies mais je peux t’éclairer, sachant que je trouve pour ma part l’affirmation de MS très exagérée même si dans certaines situations ils feront effectivement mieux que le C++.





Le premier principe c’est que l’essentiel des surcoûts imputables au code managé peuvent être virés :

* Les vérifications des bornes des tableaux peuvent bien souvent être éliminées (c’est déjà le cas dans les situations les plus simples). Soit parce qu’on peut déterminer qu’elles ne seront jamais violées, soit en effectuant un seul test au début.



* La plupart des objet une vie courte se limitant à la méthode et pourraient être rendues locales, voire allouées sur la pile, en zappant le GC.





Le second principe c’est que le C++ a ses propres limites :

* Le comptage de références est réalisé au moyen d’opérations atomiques à chaque assignation qui sont coûteuses en temps CPU. A contrario un GC qui met en pause le thread n’a rien à faire lors des assignations et peut éviter tout mécanisme de synchronisation, ce qui lui permet souvent de consommer moins de CPU. Plus généralement le C++ moderne tel qu’il est utilisé en pratique est riche de motifs qui le rendent finalement aussi lourd qu’un langage managé. Le C++ moderne doit beaucoup à la qualité de ses compilateurs pour éviter ces surcoûts, or ces possibilités d’optimisation sont identiques à celles des langages managés.



* Du fait de la gestion libérale des pointeurs en C++ il faut toujours considérer qu’un emplacement mémoire peut être modifié à n’importe quel moment, ce qui empêche par exemple de conserver une valeur dans les registres. D’où le mot clé “restrict” et certaines options de compilation. Or en C# il est beaucoup plus facile pour le compilateur de déterminer qu’un emplacement mémoire n’est référencé que par telle variable locale.



* Le fait que le C++ ne compacte pas les données en mémoire ralentit l’exécution des programmes sur le long terme du fait de la fragmentation, surtout sur serveurs.


votre avatar







HarmattanBlow a écrit :



Tu ne trouveras pas de réponse dans les sources fournies mais je peux t’éclairer, sachant que je trouve pour ma part l’affirmation de MS très exagérée même si dans certaines situations ils feront effectivement mieux que le C++.





Le premier principe c’est que l’essentiel des surcoûts imputables au code managé peuvent être virés :

* Les vérifications des bornes des tableaux peuvent bien souvent être éliminées (c’est déjà le cas dans les situations les plus simples). Soit parce qu’on peut déterminer qu’elles ne seront jamais violées, soit en effectuant un seul test au début.



* La plupart des objet une vie courte se limitant à la méthode et pourraient être rendues locales, voire allouées sur la pile, en zappant le GC.





Le second principe c’est que le C++ a ses propres limites :

* Le comptage de références est réalisé au moyen d’opérations atomiques à chaque assignation qui sont coûteuses en temps CPU. A contrario un GC qui met en pause le thread n’a rien à faire lors des assignations et peut éviter tout mécanisme de synchronisation, ce qui lui permet souvent de consommer moins de CPU. Plus généralement le C++ moderne tel qu’il est utilisé en pratique est riche de motifs qui le rendent finalement aussi lourd qu’un langage managé. Le C++ moderne doit beaucoup à la qualité de ses compilateurs pour éviter ces surcoûts, or ces possibilités d’optimisation sont identiques à celles des langages managés.



* Du fait de la gestion libérale des pointeurs en C++ il faut toujours considérer qu’un emplacement mémoire peut être modifié à n’importe quel moment, ce qui empêche par exemple de conserver une valeur dans les registres. D’où le mot clé “restrict” et certaines options de compilation. Or en C# il est beaucoup plus facile pour le compilateur de déterminer qu’un emplacement mémoire n’est référencé que par telle variable locale.



* Le fait que le C++ ne compacte pas les données en mémoire ralentit l’exécution des programmes sur le long terme du fait de la fragmentation, surtout sur serveurs.





Sur ce que j’ai pu lire de diverses sources. Le compilateur C# sur lequel ils travaillent est décrit comme un compilateur optimiseur avancé.

Source1





On the C# side, we are building an advanced optimizing compiler that translates MSIL to native code. Managed code can be much higher performing when it is compiled by an ahead-of-time advanced optimizing compiler to native code.





sur le lien du blog de joe duffy cité plus haut il dit ceci:





It’s commonly claimed that with type-safety comes an inherent loss of performance. It is true that bounds checking is non-negotiable, and that we prefer overflow checking by default. It’s surprising what a good optimizing compiler can do here, versus JIT compiling.





J’avais lu aussi un vieil article sur bartok qui expliquait qu’ils comptaient effectuer certaines optimisations avancées rendues possibles uniquement par l’utilisation d’un “safe langage” .Je ne le retrouve plus mais je le posterai si je remet la main dessus.

En fait je pense que la plupart des gains de performances sur M# sont dus à une forte optimisation du compilateur. Tu en as d’ailleurs cité quelques unes.



L’autre aspect est que ce langage serait optimisé pour le many core. Joe duffy a pas mal travaillé sur ces problématiques par le passé.


votre avatar







DayWalker a écrit :



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 !)





<img data-src=" /> (message perso que tu comprendras : pouet <img data-src=" />)


votre avatar







charon.G a écrit :



Oui tu m’as comparé à un facho <img data-src=" /> je ne savais pas que ceux qui défendent Windows sont des fachos….





Il faut reconnaitre que la comparaison est un peu facistle <img data-src=" />


votre avatar







zitrams a écrit :



C’est assez contradictoire parce que normalement avec latex on ne peut pas être papa.





<img data-src=" />


votre avatar



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.









charon.G a écrit :



Je confirme…. <img data-src=" />





Source ? Pas convaincu du tout.







charon.G a écrit :



Oui c’est prévu

source





M# sans le support de l’OS (i.e. Midori), c’est du C# avec quelques differences. Le langage en lui-même n’est rien.







HarmattanBlow a écrit :



…A contrario un GC qui met en pause le thread n’a rien à faire lors des assignations et peut éviter tout mécanisme de synchronisation, ce qui lui permet souvent de consommer moins de CPU.





Cette barrière n’existe plus lorsque le GC tourne en parallèle sans stopper les threads sur lequel il travaille. Si, si, c’est possible <img data-src=" />


votre avatar







jrbleboss a écrit :



Source ? Pas convaincu du tout





Source interne..


votre avatar







jrbleboss a écrit :



Cette barrière n’existe plus lorsque le GC tourne en parallèle sans stopper les threads sur lequel il travaille. Si, si, c’est possible <img data-src=" />





Bien sûr que c’est possible mais tu dois réintroduire une forme de synchronisation (des CAS atomiques en général) et alourdir tes assignations. Malheureusement la poudre de perlimpinpin qui permettrait de faire de la concurrence gratuitement est en rupture de stock.


votre avatar

<img data-src=" />

votre avatar







HarmattanBlow a écrit :



Tu ne trouveras pas de réponse dans les sources fournies mais je peux t’éclairer, sachant que je trouve pour ma part l’affirmation de MS très exagérée même si dans certaines situations ils feront effectivement mieux que le C++.





Le premier principe c’est que l’essentiel des surcoûts imputables au code managé peuvent être virés :

* Les vérifications des bornes des tableaux peuvent bien souvent être éliminées (c’est déjà le cas dans les situations les plus simples). Soit parce qu’on peut déterminer qu’elles ne seront jamais violées, soit en effectuant un seul test au début.



* La plupart des objet une vie courte se limitant à la méthode et pourraient être rendues locales, voire allouées sur la pile, en zappant le GC.





Le second principe c’est que le C++ a ses propres limites :

* Le comptage de références est réalisé au moyen d’opérations atomiques à chaque assignation qui sont coûteuses en temps CPU. A contrario un GC qui met en pause le thread n’a rien à faire lors des assignations et peut éviter tout mécanisme de synchronisation, ce qui lui permet souvent de consommer moins de CPU. Plus généralement le C++ moderne tel qu’il est utilisé en pratique est riche de motifs qui le rendent finalement aussi lourd qu’un langage managé. Le C++ moderne doit beaucoup à la qualité de ses compilateurs pour éviter ces surcoûts, or ces possibilités d’optimisation sont identiques à celles des langages managés.



* Du fait de la gestion libérale des pointeurs en C++ il faut toujours considérer qu’un emplacement mémoire peut être modifié à n’importe quel moment, ce qui empêche par exemple de conserver une valeur dans les registres. D’où le mot clé “restrict” et certaines options de compilation. Or en C# il est beaucoup plus facile pour le compilateur de déterminer qu’un emplacement mémoire n’est référencé que par telle variable locale.



* Le fait que le C++ ne compacte pas les données en mémoire ralentit l’exécution des programmes sur le long terme du fait de la fragmentation, surtout sur serveurs.







thank you


votre avatar

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

Le prix Turing revient à Leslie Lamport pour ses apports en calculs distribués

  • Le père du calcul distribué 

  • Des apports majeurs 

Fermer