lasher a écrit 2743 commentaires

Parce que le hardware est comme ça,

Non justement, le hardware n'est pas comme ça. Il obéit à tout un tas de règles (sequential consistency, ou release consistency, ou total store order, ou partial store order, etc). Je connais bien l'article que tu références. En fait, j'ai lu presque tous les articles de S.Adve concernant les modèles mémoire. Ceux de Boehm en grande partie. Et Pugh.

C'est pour ça que je disais que je comprenais les raisons de Adve & Boehm, mais ça reste dangereux selon moi.

Non, ça montre juste que dans un cas, sous Windows, ils utilisent de la compilation par profilage (ils utilisent le compilateur de MS ou d'Intel si je me souviens bien), et pas sous Linux (parce que ça n'existe pas ou que ça ne fonctionne pas bien). C'tout. Enfin c'est ce qu'on m'avait expliqué ici-même il y a quelques mois ...

Non, c'est justement là où on voit apparaître le buzz-word « self-awareness » un peu partout. L'objectif est que ton OS (ou un sous-système dans ton OS) surveille en permanence l'état de la machine. En fonction des buts choisis par l'utilisateur (« performance », « économie d'énergie », « performance, mais si j'arrive à ~20% de ma batterie, économie d'énergie », etc.), le système peut décider de ce qu'il veut éteindre, réduire la tension sur certaines parties du processeur, etc.

Ça ne veut pas dire que tu vas forcément swapper comme un malade. Le système peut (par exemple hein) réactiver des portions éteintes de la RAM au fur et à mesure que tu as besoin de beaucoup plus de mémoire (« beaucoup plus » est à définir bien entendu). D'autre part, si je suis en mode économie d'énergie, je dois m'attendre à une machine moins rapide, donc j'ai envie de dire qu'instinctivement je vais moins en demander. C'est simple: sur mon eeepc, je ne cherche pas à lancer mplayer, firefox+20 onglets, et gimp (même quand je branche un clavier externe et une souris, ainsi qu'un écran externe). C'est pas qu'il peut pas le faire, c'est juste qu'un processeur Atom c'est pas très puissant, même à pleine puissance.
J'estime que lorsque tu entres en mode « économie d'énergie », tu entres aussi en mode « économie sur l'utilisation ».

Et si tu crois que c'est totalement inutile, je te propose de reconsidérer un peu. On pense atteindre l'étape de « l'exascale » (10³ × Petascale = 10⁶ × Terascale = ... :-)) d'ici à 2018-2020. Un superordinateur ça consomme de nos jours entre 2,5 et 5 MW (refroidissement compris). Même avec la meilleure volonté du monde, obtenir un ordinateur qui crache de l'exaflop (donc 10¹⁵ operations flottantes par seconde) et qui ne consomme pas entre 60 et 80 MW, je ne vois pas comment c'est possible. Tu penses bien que les gros centres de recherche (CEA, DARPA, etc) voudront éviter de devoir payer la facture pour une consommation « plein pot » quand la plupart du temps, on a juste besoin d'une fraction de la puissance de ce genre de machine. Or, ce qui consomme beaucoup sur un processeur et une carte-mère, ce sont la mémoire cache et la RAM.

<insert golden shower reference here>

Oui alors justement, « grâce » à ce magnifique modèle mémoire, en cas d'accès concurrent à une adresse mémoire, n'importe quoi peut arriver (même initier une connexion TCP pour commander 90 chameaux pour demain via UPS). Je comprends très bien pourquoi ils font ça, mais c'est (je trouve) extrêmement dangereux et surtout chiant pour debugger...

C'est sûr qu'un argumentaire de 300 mots sur une bannière, ça va attirer l'internaute moyen ... :)

Je pense sincèrement que L.Page, à l'origine du projet de numérisation, n'avait vraiment pas d'autre objectif que de dire « et pourquoi pas filer tous ces bouquins à tout le monde, hein ? ». Bien entendu, il est idéaliste mais pas complètement débile: il pensait pouvoir faire du fric à partir de ça aussi. Enfin voilà, cet article explique ça mieux que moi :

http://www.wired.com/magazine/2011/03/mf_larrypage/

Il y a bien quelques écrivains qui parviennent à produire des oeuvres de qualités en grand nombre pour en vivre, mais c'est très rare.

Tu veux dire, comme Alexandre Dumas (qui écrivait un nouveau truc toutes les semaines), Balzac (plus ou moins idem, avec en prime son éditeur qui l'enfermait dans une pièce jusqu'à ce qu'il lui sorte les feuillets), et toutes sortes d'autres écrivains ?

Oui, je suis d'accord, il n'y en a pas beaucoup, mais voyons voir... En règle générale, j'ai une règle du 80/15/5. 80% de merde, 15% de mecs qui font des trucs pas mal du tout, généralement inspirés par les 5% restants qui sont autant de génies. Je ne vois pas en quoi c'est un problème.

• Les logiciels sont couverts par des contrats de licence qui les lient aux utilisateurs.

Bon là c'est moi qui suis confusionné. Je croyais que « contrat » et « licence » c'était pas la même chose ?

Oups, tu as raison, d'après Wikipedia:

Applicative order (or leftmost innermost) evaluation refers to an evaluation strategy in which the arguments of a function are evaluated from left to right in a post-order traversal of reducible expressions (redexes). Unlike call-by-value, applicative order evaluation reduces terms within a function body as much as possible before the function is applied.

Donc « strict » : qui évalue l'intégralité des paramètres avant d'exécuter la fonction; « ordre applicatif » (traduction pifométrique): qui évalue de gauche à droite.

En fait je crois que j'ai confondu avec certains qui parlent de « fully strict » pour parler de « applicative order ».

Sinon, tes 2 go de rm, ils sont fait pour etre consommes. De la ram libre ne fera pas tourner ton systeme plus vite. Je prefere avoir mes 2go pleins en permanence plutot que de passer mon temps a lire depuisnun disque (potentiellement fragmente). Les ssd vont peut etre changer la donne, mais on en est pas encore la.

Dans une optique de performance, je suis tout à fait d'accord. Dans une optique de gestion et d'économie d'énergie, on veut pouvoir éteindre une partie de la RAM quand elle ne sert pas. Même sur une machine type PC (je pense aux portables par exemple).

Les structures de données (domaine où il est impossible d'être exhaustif), les threads (ou tout autre manière de supporter du multitâche), gestion du réseau,.... tu t'arrète où ? AWT fais parti de la bibliothèque standard de Java.

Oui alors euh, justement, pour les threads, il y a de très bons articles (je ne sais pas s'ils sont disponibles librement sur le net) qui expliquent que par exemple les threads ne devraient pas être implémentés dans une bibliothèque. Par exemple, Threads Cannot not be Implemented as a Library a été écrit par J.Boehm, l'un des concepteurs du modèle mémoire du prochain standard de C++. The Problem with Threads, écrit par E.A. Lee, explique bien les problèmes liés à la façon dont le parallélisme dans les langages actuel est généralement mal exprimé et donc exploité.

Je suis totalement d'accord avec cette vision des choses (et un jour, OoOooOoh oui, un jour, j'écrirai un journal sur ce thème). Tant que les threads (ou une quelconque façon de gérer le parallélisme) sera exprimé à coup de PThreads, tant que les compilateurs considéreront qu'ils optimisent pour des programmes mono-thread (et donc effectueront des transformations dangereuses), etc, alors on aura toutes les difficultés du monde à produire des programmes parallèles efficaces sans passer un temps fou à les debugger.

Dans un langage de programmation, avoir une « évaluation stricte » signifie qu'on évalue les arguments d'une fonction sous forme de recherche en profondeur et de gauche à droite dans l'arbre d'appel des fonctions. C'est-à-dire: les arguments d'une fonction sont toujours évalués de gauche à droite, récursivement jusqu'à avoir évalué tous les arguments de toutes les fonctions nécessaires à l'appel de la fonction initiale.

Ce dont tu parles ressemble beaucoup à de l'inférence de type (du genre de ce qu'on trouve dans les langages fonctionnels).

Oui ben à ce propos, j'ai jamais vu dans la doc Intel où on pouvait avoir des pages d'1Gio. 2MiB iu 4MiB, oui, c'est dedans. Mais sinon je vois pas. L'autre problème est aussi que la taille de la TLB pour les pages de 4Kio est de 128 entrées (de mémoire), alors que pour les grandes pages, il n'y a que 4 entrées (toujours de mémoire). C'est aussi ce qui explique selon moi pourquoi on ne doit pas (pour le moment) avoir des grosses pages par défaut.

Ce que l'on peut surtout retenir de la propriétarisation de Nessus c'est qu'un logiciel peut être très populaire sans pour autant attirer de contributions. http://www.useit.com/alertbox/participation_inequality.html le dit assez bien sans pour autant apporter de solution miracle.

C'est vrai. Je pense cependant que l'absence de contribution n'était pas tellement le problème. Le vrai problème (dans le cas de Nessus) était le nombre de boites qui utilisaient le soft, corrigeaient des bugs quand elles les trouvaient, mais ne remontaient pas les patchs. Je pense que si les gens de Nessus avaient vu que personne ne contribuait activement (donc les « 90% de lurkers » du lien que tu donnes, ou même 99% dans le cas de Nessus), ils n'auraient pas trop gueulé. C'est vraiment la façon dont des entités privées ont récupéré le boulot sans jamais rien reverser qui a énervé les dév. originaux de Nessus.

A l'origine était Nessus, scanner de vulnérabilités. En 2005, l'auteur décida de quitter les chemins du libre et de continuer le développement sous forme d'un logiciel privateur. La communauté créa un fork à partir de la dernière version libre. Initialement appelé GNessUs, le projet fut renommé OpenVAS.

Nessus était libre à la base, et est devenu proprio, certes. Il y a une raison a ça : personne ne contribuait. Plus exactement, les boites de consulting faisaient exactement ce que la licence libre autorisait (i.e. repackageaient le soft, et le faisaient passer pour un super soft maison à la pointe du progrès). Certaines corrigeaient même Nessus. Elles "oubliaient" juste de remonter les patchs. Bizarrement, l'auteur original en a juste eu marre, et a décidé de rendre la version 3 de Nessus propriétaire. Et la, ô miracle, certains se réveillent, et décident enfin de contribuer (d'ou OpenVAS).

Il est maintenant la pierre angulaire de l'activité de plusieurs sociétés, sur trois continents. Ces sociétés développent activement le logiciel et ont construit tout un modèle économique autour de lui.

Combien y a-t-il de mainteneurs ? Sont-il tous de la meme boite ? Parce que je vois bien le scénario Nessus se répéter pour OpenVAS dans quelques années.

Mais justement, tout le monde fait pareil, tout le monde est au courant, et tout le monde sait que tout le monde veut faire passer ses idées, etc., et tout le monde se connaît dans le milieu. Je ne vois pas en quoi MS détonne plus que les autres ici.

Je connais merci. Et tu sais quoi ? Cette politique, même si elle reste sans doute vraie de la part de MS à bien des niveaux, est bien plus difficile à appliquer dans le cas d'un comité de normalisation — justement parce que euh, cette fois, ils poussent leurs fonctionnalités pour les inclure dans la norme. Et bien entendu, si ça passe, ça veut aussi dire qu'ils auront déjà l'implémentation toute prête, là où les autres devront peut-être consacrer du temps de dév (et donc de l'argent) pour s'adapter. Ça arrive aussi pour le standard OpenMP, où Intel a beaucoup poussé pour inclure la notion de liste de tâches (task list) dans le standard, pour gérer la récursion et des trucs type listes chaînées ou arbres. Au final l'idée a été retenue, mais avec un syntaxe et une sémantique différentes de ce qu'Intel avait déjà implémenté dans ses compilateurs ...

Bon là tu dis un peu de la merde. Et je te renvoie aux tests effectués sur FF à une époque, et qui montraient que FF3 (si je me souviens bien) était plus rapide en passant par la version Windows+Wine que la version native linux, tout simplement parce que sous Windows ils utilisaient l'optim par profilage. Une optimisation efficace se fait presque toujours aux dépends de la portabilité...

Alors euh, même si je suis d'accord sur le fait qu'il faut toujours étiqueter ses graphes, ton ton condescendant (certificat d'études, tout ça ...) me fait un peu vomir. Le fait qu'un auteur oublie de le faire (mais précise quand même les unités dans son article, par ailleurs) n'en fait pas quelqu'un de pas crédible.

Tu as juste décidé que tu n'étais pas d'accord parce que pour toi, MS c'est caca.

c) MS a de gros intérêts financiers à voir des développeurs passer à d'autres langages, et freine des 4 fers toute avancée du C, en proposant un compilo C incomplet face à ce qui se fait sur le marché et en noyautant les organismes de standardisation.

N'importe quoi. Il faut arrêter la paranoïa un peu. C'est comme si tu disais que l'une des personnes qui a mis au point le nouveau modèle mémoire de Java avait désormais tout intérêt à voir celui de la future norme de C++ s'écrouler (et pour info, il y a bien une personne qui a aidé à spécifier le JMM, et la même qui aide à le faire en ce moment aussi pour C++ ...).
C'est comme si tu disais que puisque désormais, Leslie Lamport bosse pour MS Research, sa recherche ne vaut plus rien.

Bref. MS a un intérêt commercial à avoir un langage C qui lui convient et qui convient aux gens qui programment pour son système. Ni plus, ni moins. Et bien entendu, ils vont essayer de pousser certaines fonctionnalités dans un sens qui les arrange. Exactement comme dans tous les comités de normalisation.

<div class="rms">Mauvais boulot, changer boulot.</div>

-------->[ ]

L'anglais n'est pas si précis que ça. Et le français propose lui aussi des nuances extrêmement subtiles de son côté. Il s'agit simplement de nuances sur des sujets différents.

Par exemple, le mot « fuck » doit systématiquement être remis dans son contexte pour pouvoir correctement le traduire en français ... :)

Mmmh, s'il s'agissait de vraiment prendre uniquement un langage simple, il faudrait préférer l'espagnol à l'anglais, car ce dernier comporte tellement d'exceptions que c'en est risible. Ah, et aussi, un dico anglais est généralement deux fois plus épais qu'un dico français, pour une raison toute bête : Guillaume le conquérant est passé par l'Angleterre en 1066 (si ma mémoire ne me trompe pas). Du coup, il a imposé le « français » (je pense qu'il s'agit plutôt d'une forme de bas Latin à ce moment-là) à la cour.

Bref, il existe des nuances sémantiques dans la langue anglaise que la langue française n'a pas, et inversement.