Pentium FDIV bug
![](http://upload.wikimedia.org/wikipedia/commons/thumb/0/01/KL_Intel_Pentium_A80501.jpg/180px-KL_Intel_Pentium_A80501.jpg)
Il Pentium FDIV bug è un difetto diffuso tra le FPU dei primi processori Intel Pentium.
Il difetto, scoperto dal professore Thomas Nicely del Lynchburg College[1], era presente negli esemplari funzionanti fino ai 100 MHz. Intel ha attribuito l'errore alle voci mancanti nella tabella di ricerca utilizzata dal circuito di divisione in virgola mobile[2].
Storia
[modifica | modifica wikitesto]La scoperta avvenne nel giugno 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 se x era un numero con diverse cifre dopo la virgola. Allora Nicely contattò la casa produttrice, la quale dichiarò di essere già a conoscenza del problema e che stava lavorando per eliminare il bug sui nuovi processori.
Il 30 ottobre 1994, Nicely inviò una e-mail che descriveva l'errore che aveva scoperto nell'unità in virgola mobile Pentium a vari contatti, richiedendo rapporti di test per la falla sui 486-DX4, Pentium e cloni Pentium[1].
La storia fu pubblicata nella stampa per la prima volta il 7 novembre 1994, in un articolo in Electronic Engineering Times, "Intel fixes a Pentium FPU glitch", scritto da Alexander Wolfe.[3]
La storia è stata ripresa dalla CNN il 21 novembre 1994[1], portandola alla ribalta dell'opinione pubblica.
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[4]. Alcuni dei chip difettosi sono stati successivamente trasformati in portachiavi da Intel[5].
Un articolo del 1995 pubblicato su Science descrive il ruolo della teoria dei numeri nella scoperta dei bug dei computer e fornisce il background e la storia matematica della costante di Brun, il problema a cui stava lavorando Nicely quando ha scoperto il bug[6].
Descrizione
[modifica | modifica wikitesto]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.
Note
[modifica | modifica wikitesto]- ^ a b c Professor Thomas Nicely, Pentium FDIV flaw FAQ, su trnicely.net. URL consultato il 27 agosto 2018 (archiviato dall'url originale il 15 marzo 2012).
- ^ Statistical Analysis of Floating Point Flaw: Intel White Paper (PDF), su download.intel.com, Intel, 9 luglio 2004, p. 9. URL consultato il 5 aprile 2016.
- ^ Alexander Wolfe, Intel fixes a Pentium FPU glitch, su davefaq.com.
- ^ Intel adopts upon-request replacement policy on Pentium processors with floating point flaw; Will take Q4 charge against earnings, su findarticles.com, Business Wire, 20 dicembre 1994. URL consultato il 24 dicembre 2006 (archiviato dall'url originale il 10 luglio 2012).
- ^ How many engineers does it take to change a lightbulb?, in Boiledbeans, 20 aprile 2009. URL consultato il 10 novembre 2009 (archiviato dall'url originale il 3 febbraio 2010).
- ^ Barry A. Cipra, How number theory got the best of the Pentium chip, in Science, vol. 267, n. 5195, 13 gennaio 1995, p. 175, DOI:10.1126/science.267.5195.175, PMID 17791336.
Collegamenti esterni
[modifica | modifica wikitesto]- (EN) Pentium flaw, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.