Nicolas Boulay a écrit 16010 commentaires

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é"

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é"

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é"

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é"

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é"

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é"

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é"

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é"

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é"

tu as un exemple ? :)

"La première sécurité est la liberté"

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é"

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é"

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é"

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é"

"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é"

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é"

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é"

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é"

L'exemple typique définit un arbre, il faut en gros que ta donné soit un poil complexe. Le genre de truc qui te prend un paquet de fichier en java, mais 10 lignes en ocaml. Par exemple, un moyen d'exprimer un paquet de donné binaire :

type val_t =
  | I32 of Int64.t 
  | U32 of Int64.t 
  | I16 of int 
  | U16 of int 
  | U8 of int
  | Comment 
  | Padding of int 

 let get_size val =
   match val with
    | I32 _ -> 4
    | U32 _ -> 4
    | I16 _ -> 2
    | U16 _ -> 2
    | U8 _ -> 1
    | Comment -> 0
    | Padding i -> i

 let is_correct val = 
  match val with
    | I32(i) -> (Int64.compare (-2147483648L) i) <= 0) && ((Int64.compare i 2147483647L) <= 0
    | U32(u) -> (Int64.compare 0L u) <= 0) && ((Int64.compare u 4294967295L) <= 0
    | I16(i) -> (-32768 <= i) && (i <= 32767)     
    | U16(u) -> (0 <= u) && (u <= 65535)
    | U8(u) ->  (0 <= u) && (u <=255)
    | Padding(i) -> 0 <= i

type mon_gros_tableau_binaire = (val_t * string) list; (*ici la string est un commentaire pour savoir d'ou vient la donné en question*)

"La première sécurité est la liberté"

Le système de type paramétrique de Ada semble pas mal, mais essaye un langage qui a du filtrage de type, c'est tellement simple à lire, que l'on se demande pourquoi les autres langages n'ont pas l'équivalent.

"La première sécurité est la liberté"

Et combien ont les compétences ou l'argent pour administrer une telle machine ? Parce que des cluster des 200 PC ont été monté et sont très peu utilisés.

Je serais curieux de savoir, si des "petits super ordinateur", trouverait plus d'applications (gros PC bisocket avec 4 ou 5 GPU) ou une seul armoire rempli de serveur lame relié par un gros switch.

"La première sécurité est la liberté"

J'espère que l'interface des synology à progressé, car même si je ne suis pas admin sys, je suis informaticien, et leur interface était méga complexe.

"La première sécurité est la liberté"

http://standblog.org/blog/post/2013/05/24/Mozilla-s-agrandit-et-recrute
http://www.journaldunet.com/solutions/emploi-rh/siege-de-mozilla-europe-a-paris/

"La première sécurité est la liberté"

Des itaniums ? Je ne sais pas si c'est encore le cas, mais au début, il avait fait de bonne machine, avec une bonne gestion thermique. Il me semble que leur cluster de calcul tourne encore, sous Itanium.

"La première sécurité est la liberté"

"Après avoir insisté un peu, ils m'ont avouer l'avoir développé en commun. Je n'en ai jamais cru un mot !"

Si c'est vrai. Ils ont continuer la gamme des DPS, qui était de très bon "mini" à l'époque. Dans les dernières versions, les cpus étaient fabriqué par NEC.

"La première sécurité est la liberté"