Pentium FDIV bug: differenze tra le versioni

Versione delle 18:43, 4 gen 2011

Versione delle 00:08, 21 gen 2011

Riga 2:

Il '''Pentium FDIV bug''' è un difetto diffuso tra le [[Floating Point Unit|FPU]] dei primi processori [[Intel]] [[Pentium]] (fino ai 120 MHz), rivelato al grande pubblico dal professore [[Thomas Nicely]] del Lynchburg College. Questo difetto causava un piccolo errore sistematico in alcune operazioni di divisione effettuate dalle unità dei processori colpiti (il nome deriva appunto da ''FDIV'', l'istruzione in [[assembly]] [[x86]] per le divisioni in [[virgola mobile]]), e fu verificato da molti utenti di [[Internet]], i quali lo battezzarono col nome che porta oggi.

La scoperta avvenne nell'estate del 1994, quando il professore, intento nella sua opera di ricerca, tentò di calcolare il risultato di una particolare espressione matematica (la [[costante di Brun]]); il risultato ottenuto era ben lontano da quanto si era prospettato teoricamente, anche considerando possibili errori di arrotondamento. Allora Nicely provò ad effettuare il calcolo su una macchina che montava il più vecchio processore 486, notando con immenso stupore che quest'ultimo risultato appariva corretto.

Durante esperimenti successivi Nicely scoprì che il processore sbagliava a calcolare espressioni semplici come <math>x(1/x)</math> se x era un numero contenente diverse cifre dopo la virgola. Allora Nicely contattò la casa produttrice, la quale dichiarò di essere già a conoscenza del problema e che si stava lavorando per eliminare il bug sui nuovi processori.

Moltissimi utenti, venuti a conoscenza del problema, fecero pressioni sulla Intel affinché sostituisse tutti i processori difettosi, ma dall'altra parte Intel propose inizialmente la sostituzione del processore solo per coloro i quali avessero dimostrato di avere necessità, nel proprio lavoro, di effettuare calcoli molto precisi (difatti un utente normale non avrebbe mai notato il difetto del processore). Alla fine Intel dovette cedere e fu costretta a sostituire tutti i chip incriminati con i nuovi affrontando una spesa di circa 475 milioni di dollari.