Oui voilà tiens merci, c'est ce que j'avais intuitivement dans la tête en initiant ce fil (enfin je pense) :
Je t'ai souvent lu expliquer que même avec les meilleurs libs, on ne peut pas exploiter plus de quelques milliers de processus.
En 1995, j'imagine qu'il était largement faisable d'exploiter toute la puissance de la première au top 100, aujourd'hui çe devient plus des fermes de calculs, incapable de gérer des programmes difficilement parallelisable qui atteignent une complexité trop grande.
C'est pour ça que le top 100, qui m'excitait quand j'étais gosse, ne m'inspire maintenant qu'un très vague intérêt.
Je crois qu'il va falloir qu'on attende les ordinateurs quantiques pour revoir des choses intéressantes.
Et là, la recherche sur la preuve de programme montrera toute son utilité.
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
[^] # Re: Cray
Posté par Ontologia (site web personnel) . En réponse au journal Top500 : La rétrospective des 15 ans.. Évalué à 3.
Je t'ai souvent lu expliquer que même avec les meilleurs libs, on ne peut pas exploiter plus de quelques milliers de processus.
En 1995, j'imagine qu'il était largement faisable d'exploiter toute la puissance de la première au top 100, aujourd'hui çe devient plus des fermes de calculs, incapable de gérer des programmes difficilement parallelisable qui atteignent une complexité trop grande.
C'est pour ça que le top 100, qui m'excitait quand j'étais gosse, ne m'inspire maintenant qu'un très vague intérêt.
Je crois qu'il va falloir qu'on attende les ordinateurs quantiques pour revoir des choses intéressantes.
Et là, la recherche sur la preuve de programme montrera toute son utilité.
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker