Auteur | Message |
---|---|
Administrateur
![]() |
Après le bug de l’instruction fdiv des CPU Intel, je pensais que des méthodes formelles étaient utilisées pour la conception. Mais il semble que ce cas historique n’a pas servi de leçons, plusieurs processeurs et pas seulement de Intel, AMD et ARM aussi, sont sujets à des bugs. Ces bugs concernent par exemple l’isolation entre les applications, ou entre une application et le système d’exploitation, permettant de lire des données qui ne devraient pas être accessible par une application à qui elles ne sont pas destinées.
Pour quatre exemples de tels bug dans les dernières années, voir :
Si je prends connaissance d’autres bugs au niveau matériel, je les listerai dans ce sujet. |