Mon programme est-il correct ?

En 1994, une faute fut découverte dans l'opération de division flottante (opération dans laquelle dividende et diviseur sont des nombres réels, non des entiers) du processeur Intel Pentium 5. La faute portait sur la conception de l'algorithme lui-même, non sur son implantation dans les circuits du processeur.

L'erreur sur la valeur du résultat était au plus de 0,01% , et la probabilité de son occurrence (qui dépendait des valeurs du dividende et du diviseur) était faible (de l'ordre de un sur plusieurs milliards). Néanmoins ce “bug”, qui fut corrigé dans les versions suivantes du processeur, eut un grand retentissement médiatique. Intel s'engagea à replacer tous les processeurs fautifs, mais peu d'utilisateurs demandèrent ce remplacement. Un effet positif de cet incident fut de lever largement le secret sur les algorithmes utilisés dans les processeurs industriels.

Pour aller plus loin :

• Les leçons d'un algorithme délinquant
• Pourquoi mon ordinateur calcule-t-il faux ?