"Après, je me souviens avoir discuté avec un admin (bossant à Troyes je crois bien), qui se désolait du fait que chaque fac ou centre de recherche voulait son cluster (qui du coup va être occupé à 25%), alors qu'il serait tellement plus économique qu'elles mutualisent les ressources et achètent un seul cluster partagé, avec une équipe d'admins uniques…"
En même temps, une "université" US n'est pas du tout la même chose qu'une "Université" Française. A moment, ils voulaient créer l'université de Paris, en fusionnant tous les numéros pour augmenter leur masse critique. Ainsi chaque université pourrait avoir son cluster mais réellement utilisé. Ou alors, il faut rendre obligatoire la disponibilité du cluster pour d'autre université pour les creux.
Mais ce qui me désole le plus, c'est qu'il y a mon nom écrit en gros au dessus, et qu'on bosse dans la même boite, sans que tu es l'air de t'en apercevoir. Tu es sans doute à Toulouse, mais bon, la boite fait moins de 100 personnes…
Vous avez combien d'admin pour les 2 noeud de calcul ? Cela ne serait pas mieux mutualisé, si les noeuds était à l'Idris ? J'ai l'impression que les fac font leur tambouille juste pour éviter de la gestion administrative. Je me trompe ?
Ensuite, un PC multi socket reste un PC, c'est donc facile à gérer. J'imagine que cela compte aussi.
-"Cependant dans le cadre du HPC, je peux te garantir que si tu peux te passer de l'overhead de MPI et passer par de la mémoire partagée, le gain en vitesse, bien que « juste » constant, peut être significatif "_
J'en suis persuadé, mais vous ne réutilisez jamais de code commun ou générique écrit uniquement en MPI ?
Tu n'assignes jamais en fonctionnel :) Cela parait dingue quand on vient du C, mais on s'y fait très bien.
D'ailleurs, j’attends un langage avec un type (linéaire) qui empêche qu'un bloc de mémoire soit pointé par plus d'un pointeur. Cela rend hyper simple le multi-tache.
En ocaml, tu peux ajouter aussi les types avec des ":", quand tu le fais, le code est beaucoup moins lisible qu'en C. Ce qui est amusant, car ocaml est beaucoup plus compact que le C, dans le cas général.
Pour simplifier, dans un GADT par rapport au type somme classique, tu peux y mettre des fonctions en plus des type de donnés. Ok.
L'exemple d'AST que tu donnes, je pense que cela peut se coder avec des variants en jouant sur des ensembles fermés.
"De façon générale, mais ce n’est que mon avis, les fonctions avancées des langages fonctionnels sont surtout intéressantes parce qu’elles permettent d’écrire rapidement et de façon très concise (surtout en Haskell) du code sûr et performant."
Tout le monde veut écrire du code rapidement et sans bug !
Dans l'absolu, c'est évident. Mais c'est complètement faux si tu rajoutes l'équation économique. Si tu veux le max puissance de puissance réel pour 5k€, je ne suis pas sûr qu'une solution quad-socket (et donc avec des Xeon, plus chère), soit plus rapide que 4 carte mère avec des Core i7 rapide. En plus pour diminuer la latence, cela ne doit pas être complexe de mettre 4 liens ethernet par carte pour relier chaque carte mère une à une.
Si les gens sont au courant, c'est pas pour autant qu'ils vont leur faire confiance. C'est quasiment sûr que MS va dire c'est pas nous, c'est les éditeurs jeu par jeu qui demande la connexion permanente ou l'interdiction de revente.
En plus, la puissance de la Xbox one semble de 25% plus faible que celle de le PS4, tout en étant plus chère (30% de shader en moins et 30% de bande passante en moins).
Il y a 2 façon de voir le HPC : un service d'état qui gère "plein" de machine, cluster de PC et autre, spécialisé dans l'administration de ses machines, avec un comité d'expert pour évaluer l’intérêt d'un projet, mais surtout un but de faire tourner les machines 100% du temps (ça c'est le gâchis potentiel).
L'autre façon, c'est un labo qui a eu une subvention européenne, achète 250 Dell core i7, relié par ethernet, et dont 2 thésards gère l'administration et en même temps essaye d'écrire leur code.
Devine laquelle des 2 solutions offrent moins de gâchis potentiel ?
Si il est tellement difficile de passer l'étape du comité scientifique et que les machines ne tournent pas 100% du temps, ils pourraient créer des créneaux de temps court, "premier arrivé premier servi" pour combler les troues.
Dans type "puissant", j'entends aussi utilisable. Le nouveau système de type de ocaml, j'ai beau avoir lu la doc et l'exemple, je n'ai rien compris. Si un ingé moyen ne comprends même pas l'outil, qui peut comprendre un code écrit avec ?
Il fut un temps ou des labos avait l'argent pour se payer des clusters de PC mais l'utilisait très peu faute d'administrateur système. Si ce gachis est terminé, c'est tant mieux.
D’ailleurs vu les prix d'une config quad-socket, je pense qu'il pourrait être intéressant d'avoir un boitier qui embarque 4 cartes mère 1 socket ou plus, relié en interne par un switch ethernet. C'est plus gros, mais beaucoup moins chère. Il "suffirait" qu'une seul carte mère puisse avoir des cartes PCI-express.
C'est plus puissant, car le filtrage peut être emboité si nécessaire, et que "sa complétude" est vérifié (pas d'oublie possible, c'est génial en cas de modif).
"Cela correspond, certes, à un segment de marché moins important en volume que les multiples grilles-pain / x86 massivement distribués que l'on trouve chez ovh ou ailleurs."
Peux tu nous rappeller combien de Power, Google et Amazon utilise pour gérer leur Po de donné ?
Pour arriver chez Ansys, j'ai simplement été embauché par une boite qui a été racheté par Ansys. Et je faisait de l'EDA à la base, mais cette partie à fait faillite en 2009. Je suis passé du VHDL, à la conception d'outils de développement.
Je parle du truc de ocaml, dont chaque branche est plus ou moins définit par un constructeur qui permet de déconstruire la donnée et récupérer ce qu'il y a dedans de façon typé.
[^] # Re: La question a 1 giga yuan...
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Sortie du Top 500 de juin 2013. Évalué à 2.
"Après, je me souviens avoir discuté avec un admin (bossant à Troyes je crois bien), qui se désolait du fait que chaque fac ou centre de recherche voulait son cluster (qui du coup va être occupé à 25%), alors qu'il serait tellement plus économique qu'elles mutualisent les ressources et achètent un seul cluster partagé, avec une équipe d'admins uniques…"
En même temps, une "université" US n'est pas du tout la même chose qu'une "Université" Française. A moment, ils voulaient créer l'université de Paris, en fusionnant tous les numéros pour augmenter leur masse critique. Ainsi chaque université pourrait avoir son cluster mais réellement utilisé. Ou alors, il faut rendre obligatoire la disponibilité du cluster pour d'autre université pour les creux.
"La première sécurité est la liberté"
[^] # Re: Bienvenue dans le merveilleux monde d'Ada !
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Ada, langage et ressources. Évalué à 2.
Ok, tu parles de KCG :)
Mais ce qui me désole le plus, c'est qu'il y a mon nom écrit en gros au dessus, et qu'on bosse dans la même boite, sans que tu es l'air de t'en apercevoir. Tu es sans doute à Toulouse, mais bon, la boite fait moins de 100 personnes…
"La première sécurité est la liberté"
[^] # Re: La question a 1 giga yuan...
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Sortie du Top 500 de juin 2013. Évalué à 2.
Vous avez combien d'admin pour les 2 noeud de calcul ? Cela ne serait pas mieux mutualisé, si les noeuds était à l'Idris ? J'ai l'impression que les fac font leur tambouille juste pour éviter de la gestion administrative. Je me trompe ?
Ensuite, un PC multi socket reste un PC, c'est donc facile à gérer. J'imagine que cela compte aussi.
-"Cependant dans le cadre du HPC, je peux te garantir que si tu peux te passer de l'overhead de MPI et passer par de la mémoire partagée, le gain en vitesse, bien que « juste » constant, peut être significatif "_
J'en suis persuadé, mais vous ne réutilisez jamais de code commun ou générique écrit uniquement en MPI ?
"La première sécurité est la liberté"
[^] # Re: Bienvenue dans le merveilleux monde d'Ada !
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Ada, langage et ressources. Évalué à 2.
Je n'ai rien présumé du tout, je répondais juste à : "Je déclare toto ou je l'assigne ?"
"(sur un projet que tu dois sûrement connaître vu que tu en parles souvent ici)"
Je parle beaucoup ici, tu parles de quoi exactement ?
"La première sécurité est la liberté"
[^] # Re: Bienvenue dans le merveilleux monde d'Ada !
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Ada, langage et ressources. Évalué à 2.
Tu n'assignes jamais en fonctionnel :) Cela parait dingue quand on vient du C, mais on s'y fait très bien.
D'ailleurs, j’attends un langage avec un type (linéaire) qui empêche qu'un bloc de mémoire soit pointé par plus d'un pointeur. Cela rend hyper simple le multi-tache.
"La première sécurité est la liberté"
[^] # Re: Bienvenue dans le merveilleux monde d'Ada !
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Ada, langage et ressources. Évalué à 2.
En ocaml, tu peux ajouter aussi les types avec des ":", quand tu le fais, le code est beaucoup moins lisible qu'en C. Ce qui est amusant, car ocaml est beaucoup plus compact que le C, dans le cas général.
"La première sécurité est la liberté"
[^] # Re: langage fonctionnel
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Ada, langage et ressources. Évalué à 1.
Pour simplifier, dans un GADT par rapport au type somme classique, tu peux y mettre des fonctions en plus des type de donnés. Ok.
L'exemple d'AST que tu donnes, je pense que cela peut se coder avec des variants en jouant sur des ensembles fermés.
"De façon générale, mais ce n’est que mon avis, les fonctions avancées des langages fonctionnels sont surtout intéressantes parce qu’elles permettent d’écrire rapidement et de façon très concise (surtout en Haskell) du code sûr et performant."
Tout le monde veut écrire du code rapidement et sans bug !
"La première sécurité est la liberté"
[^] # Re: La question a 1 giga yuan...
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Sortie du Top 500 de juin 2013. Évalué à 1.
Dans l'absolu, c'est évident. Mais c'est complètement faux si tu rajoutes l'équation économique. Si tu veux le max puissance de puissance réel pour 5k€, je ne suis pas sûr qu'une solution quad-socket (et donc avec des Xeon, plus chère), soit plus rapide que 4 carte mère avec des Core i7 rapide. En plus pour diminuer la latence, cela ne doit pas être complexe de mettre 4 liens ethernet par carte pour relier chaque carte mère une à une.
"La première sécurité est la liberté"
[^] # Re: drôle d'interrogation
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Orbis OS le système qui ferait fonctionner la PS4 serait-il un FreeBSD ou un OpenSuse ?. Évalué à 10.
Si les gens sont au courant, c'est pas pour autant qu'ils vont leur faire confiance. C'est quasiment sûr que MS va dire c'est pas nous, c'est les éditeurs jeu par jeu qui demande la connexion permanente ou l'interdiction de revente.
En plus, la puissance de la Xbox one semble de 25% plus faible que celle de le PS4, tout en étant plus chère (30% de shader en moins et 30% de bande passante en moins).
"La première sécurité est la liberté"
[^] # Re: langage fonctionnel
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Ada, langage et ressources. Évalué à 4.
il gère aussi l'emboitement ?
Genre
type t = Plop of integer | Plip of string
type t2 = Foo of t1 | Foo2 of (t*t)
let foo t2 =
match t2 with
| Foo (Plop i ) -> ..
| Foo (Plip s) ->…
| Foo2 (_, tt) -> toto (tt)
…
"La première sécurité est la liberté"
[^] # Re: drôle d'interrogation
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Orbis OS le système qui ferait fonctionner la PS4 serait-il un FreeBSD ou un OpenSuse ?. Évalué à 6.
faut lire un peu sur le sujet, c'est pas comme-ci tous les médias en avaient déjà parlé.
"La première sécurité est la liberté"
[^] # Re: drôle d'interrogation
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Orbis OS le système qui ferait fonctionner la PS4 serait-il un FreeBSD ou un OpenSuse ?. Évalué à 4.
Entre la PS4 et la Xbox One, le choix protection de la vie privé, est très très vite fait.
"La première sécurité est la liberté"
[^] # Re: La question a 1 giga yuan...
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Sortie du Top 500 de juin 2013. Évalué à 1.
Il y a 2 façon de voir le HPC : un service d'état qui gère "plein" de machine, cluster de PC et autre, spécialisé dans l'administration de ses machines, avec un comité d'expert pour évaluer l’intérêt d'un projet, mais surtout un but de faire tourner les machines 100% du temps (ça c'est le gâchis potentiel).
L'autre façon, c'est un labo qui a eu une subvention européenne, achète 250 Dell core i7, relié par ethernet, et dont 2 thésards gère l'administration et en même temps essaye d'écrire leur code.
Devine laquelle des 2 solutions offrent moins de gâchis potentiel ?
Si il est tellement difficile de passer l'étape du comité scientifique et que les machines ne tournent pas 100% du temps, ils pourraient créer des créneaux de temps court, "premier arrivé premier servi" pour combler les troues.
"La première sécurité est la liberté"
[^] # Re: Proust alors.
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Ada, langage et ressources. Évalué à 2.
Ou SCADE, mais c'est pas du tout libre.
http://www.esterel-technologies.com/products/scade-suite/prototype-design/scade-suite-modeler/#editor
"La première sécurité est la liberté"
[^] # Re: langage fonctionnel
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Ada, langage et ressources. Évalué à 2.
Dans type "puissant", j'entends aussi utilisable. Le nouveau système de type de ocaml, j'ai beau avoir lu la doc et l'exemple, je n'ai rien compris. Si un ingé moyen ne comprends même pas l'outil, qui peut comprendre un code écrit avec ?
"La première sécurité est la liberté"
[^] # Re: La question a 1 giga yuan...
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Sortie du Top 500 de juin 2013. Évalué à 1.
Il fut un temps ou des labos avait l'argent pour se payer des clusters de PC mais l'utilisait très peu faute d'administrateur système. Si ce gachis est terminé, c'est tant mieux.
"La première sécurité est la liberté"
[^] # Re: langage fonctionnel
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Ada, langage et ressources. Évalué à 3.
tu as un exemple ? :)
"La première sécurité est la liberté"
[^] # Re: Domination d'Intel vs Power et les autres
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Sortie du Top 500 de juin 2013. Évalué à 2.
De quelle application, tu parles ? Le fait de stoquer et de restituer rapidement des données ? Genre comme youtube ?
appli décisionnel ? Genre google translate ? adword ?
"La première sécurité est la liberté"
[^] # Re: La question a 1 giga yuan...
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Sortie du Top 500 de juin 2013. Évalué à 1.
D’ailleurs vu les prix d'une config quad-socket, je pense qu'il pourrait être intéressant d'avoir un boitier qui embarque 4 cartes mère 1 socket ou plus, relié en interne par un switch ethernet. C'est plus gros, mais beaucoup moins chère. Il "suffirait" qu'une seul carte mère puisse avoir des cartes PCI-express.
"La première sécurité est la liberté"
[^] # Re: langage fonctionnel
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Ada, langage et ressources. Évalué à 3.
C'est plus puissant, car le filtrage peut être emboité si nécessaire, et que "sa complétude" est vérifié (pas d'oublie possible, c'est génial en cas de modif).
"La première sécurité est la liberté"
[^] # Re: langage fonctionnel
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Ada, langage et ressources. Évalué à 2.
Si un record est une structure, cela n'a en effet aucun rapport :)
Les type sommes, sont une sorte d'union de type, avec un enum pour faire la différence, sauf que c'est typé (un switch ne peut pas être incomplet).
"La première sécurité est la liberté"
[^] # Re: Domination d'Intel vs Power et les autres
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Sortie du Top 500 de juin 2013. Évalué à 2.
"Cela correspond, certes, à un segment de marché moins important en volume que les multiples grilles-pain / x86 massivement distribués que l'on trouve chez ovh ou ailleurs."
Peux tu nous rappeller combien de Power, Google et Amazon utilise pour gérer leur Po de donné ?
"La première sécurité est la liberté"
[^] # Re: Un supercalculateur chinois
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Sortie du Top 500 de juin 2013. Évalué à 3.
Pour arriver chez Ansys, j'ai simplement été embauché par une boite qui a été racheté par Ansys. Et je faisait de l'EDA à la base, mais cette partie à fait faillite en 2009. Je suis passé du VHDL, à la conception d'outils de développement.
"La première sécurité est la liberté"
[^] # Re: La question a 1 giga yuan...
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Sortie du Top 500 de juin 2013. Évalué à 1.
Il faudrait voir les prix. Si la boite de 12 PC, coute (beaucoup) plus chère que 12 Pc, j'imagine que cela ne se vendra pas trop.
"La première sécurité est la liberté"
[^] # Re: langage fonctionnel
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Ada, langage et ressources. Évalué à 3.
Je parle du truc de ocaml, dont chaque branche est plus ou moins définit par un constructeur qui permet de déconstruire la donnée et récupérer ce qu'il y a dedans de façon typé.
"La première sécurité est la liberté"