Une loi de performance qui relie l'accélération globale maximale possible d'un système à la fraction de la charge de travail pouvant être parallélisée et à l'accélération de cette partie parallèle ; elle révèle des rendements décroissants quand on améliore uniquement une sous-partie du calcul pour une taille de problème fixe.

Principe

L'accélération totale est limitée par la fraction séquentielle : S_total ≤ 1 / ((1 - p) + p / S_p), où p est la fraction parallélisable et S_p l'accélération de la partie parallèle. Quand le nombre de processeurs augmente, la fraction séquentielle domine la limite.

Démonstration

Si 90 % d'un programme est parallélisable (p = 0,9), alors même avec des processeurs infinis l'accélération maximale est 1/(1-0,9) = 10 ; rendre la partie parallèle infiniment rapide fournit au maximum un gain global de 10×.

Mauvaise application

Appliquer la loi d'Amdahl à des scénarios où la taille du problème augmente avec le nombre de processeurs (scalabilité faible) ou ignorer les coûts de communication et de synchronisation conduit à des conclusions erronées sur l'accélération réalisable.

Conséquence

Oriente les efforts d'optimisation vers la réduction de la fraction séquentielle et l'identification des véritables goulots d'étranglement ; prédit des rendements décroissants à ajouter des ressources parallèles sans réduire le travail séquentiel.

Inversion

La loi de Gustafson offre une perspective complémentaire en maintenant le temps d'exécution constant et en augmentant la taille du problème, montrant que la scalabilité perçue peut croître avec la charge—contraste avec l'hypothèse de taille fixe d'Amdahl.

Limite

Suppose une taille totale de problème fixe et que les proportions de travail séquentiel et parallèle sont connues et constantes ; exclut les surcoûts de communication, déséquilibre de charge, contention mémoire et changements d'algorithme avec l'échelle.

Tension sémantique

Souvent opposée à la loi de Gustafson ; Amdahl met l'accent sur les limites en strong scaling (problème fixe), ce qui peut être interprété à tort comme un plafond universel de parallélisme lorsque la charge ou les conditions changent.

Synthèse

La loi d'Amdahl formalise la limite imposée par les portions séquentielles sur l'accélération parallèle pour un problème de taille fixe : elle met en garde contre les rendements décroissants à améliorer seulement la partie parallèle ou à augmenter les processeurs sans réduire le travail séquentiel.