Il y a 9 ans, je publiais un article sur une version parallélisée de l'analyseur statique Astrée. En résumé, le temps de calcul sur n processeurs (normalisé) est en 0,75/n+0,25.

Je viens de programmer, à titre d'exercice, une bibliothèque de BDD. Pareil, temps de calcul en 0,78/n+0,22.

Y a-t-il quelque chose de particulier à la proportion « 75% parallélisable, 25% non parallélisable » ? ;-)