Alors pour moi, l'ordre non spécifié des arguments ne veut pas dire que le compilateur a le droit de les évaluer en parallèle.
Je dis qu'une fonction foo(.,.,.) peut être invariante à une permutation des parametres, c'est à dire foo(a,b,c)=foo(a,c,b)=foo(b,a,c)=foo(b,c,a)=foo(c,a,b)=foo(c,b,a). Il y a plein de fonctions qui ont cette caractéristique, par exemple, somme, moyenne, produit, ecart-type, variance, mediane...
Dans ce cas il n'importe guère que le compilateur évalue foo(bar[11],bar[12],bar[13]) ou foo(bar[13],bar[11],bar[12]) tant qu'il n'évalue pas foo(bar[11],bar[11],bar[11]).
Ce que je veux dire c'est que le débat ne doit pas être sur la non spécification de l’évaluation de l'ordre des arguments, mais sur la possibilité d'une évaluation parallèle.
je n'ai toujours pas vu (Je peux l'avoir loupée) ta brillante solution à De la probabilité que votre RAID vous abandonne...
Pour répondre à ta question, je suis parti sur une exploration d'une partie de la littérature sur la modélisation des pannes, l'hypothèse de vieillissement sans mémoire n'étant à mais yeux raisonnable qu'en première approximation. Et je suis persuadé que raisonner en première approximation est une erreur dans ce cadre. Cette première approximation est pour moi une sous-évaluation du processus réel, et ne pose aucun problème dans le cadre de la revue que tu cite, puisqu'ils s'en servent pour dire que même sous cette hypothèse, le RAID avec deux niveaux de redondance est insuffisant. Ton attaque, à dire donc que je contredirai cette publication est donc ridicule.
J'ai fini assez rapidement la description du modèle, mais je n'ai pas trouvé rapidement de moyen clair d'ajuster les paramètres, donc aucun moyen de l'illustrer et de montrer sa différence. Je l'ai fait après, mais le thread était mort entre temps. Il semble qu'il y ai au moins une personne intéressée par la réponse, sachant que le thread est maintenant définitivement mort, je te répondrai sous la forme d'un journal. Tu aurai pu le demander avec respect et sans sarcasme, cela aurai fonctionné de ma même façon. Quand à ta remarque sur la publication de l'ACM, elle est hors-de-propos, ne cherchant pas à montrer la même chose. Et quand bien même elle le serait, la contradiction sur le choix des hypothèses est la base du débat scientifique.
[^] # Re: En vrac
Posté par jben . En réponse au journal Pourquoi empaqueter KDE prend-il du temps ?. Évalué à 4.
Alors pour moi, l'ordre non spécifié des arguments ne veut pas dire que le compilateur a le droit de les évaluer en parallèle.
Je dis qu'une fonction
foo(.,.,.)peut être invariante à une permutation des parametres, c'est à direfoo(a,b,c)=foo(a,c,b)=foo(b,a,c)=foo(b,c,a)=foo(c,a,b)=foo(c,b,a). Il y a plein de fonctions qui ont cette caractéristique, par exemple, somme, moyenne, produit, ecart-type, variance, mediane...Dans ce cas il n'importe guère que le compilateur évalue
foo(bar[11],bar[12],bar[13])oufoo(bar[13],bar[11],bar[12])tant qu'il n'évalue pasfoo(bar[11],bar[11],bar[11]).Ce que je veux dire c'est que le débat ne doit pas être sur la non spécification de l’évaluation de l'ordre des arguments, mais sur la possibilité d'une évaluation parallèle.
Pour répondre à ta question, je suis parti sur une exploration d'une partie de la littérature sur la modélisation des pannes, l'hypothèse de vieillissement sans mémoire n'étant à mais yeux raisonnable qu'en première approximation. Et je suis persuadé que raisonner en première approximation est une erreur dans ce cadre. Cette première approximation est pour moi une sous-évaluation du processus réel, et ne pose aucun problème dans le cadre de la revue que tu cite, puisqu'ils s'en servent pour dire que même sous cette hypothèse, le RAID avec deux niveaux de redondance est insuffisant. Ton attaque, à dire donc que je contredirai cette publication est donc ridicule.
J'ai fini assez rapidement la description du modèle, mais je n'ai pas trouvé rapidement de moyen clair d'ajuster les paramètres, donc aucun moyen de l'illustrer et de montrer sa différence. Je l'ai fait après, mais le thread était mort entre temps. Il semble qu'il y ai au moins une personne intéressée par la réponse, sachant que le thread est maintenant définitivement mort, je te répondrai sous la forme d'un journal. Tu aurai pu le demander avec respect et sans sarcasme, cela aurai fonctionné de ma même façon. Quand à ta remarque sur la publication de l'ACM, elle est hors-de-propos, ne cherchant pas à montrer la même chose. Et quand bien même elle le serait, la contradiction sur le choix des hypothèses est la base du débat scientifique.