Pentium FDIV bug: differenze tra le versioni

Versione delle 19:43, 27 ago 2018

Versione delle 22:05, 28 ago 2018

Riga 3:

Il '''Pentium FDIV bug''' è un difetto diffuso tra le [[Floating Point Unit|FPU]] dei primi processori [[Intel]] [[Pentium]].

Fu scoperto dal professore [[Thomas Nicely]] del [[Lynchburg College]]<ref name="NicelyFAQ">{{citeCita web|titletitolo=Pentium FDIV flaw FAQ|url=http://www.trnicely.net/pentbug/pentbug.html|authorautore=Professor Thomas Nicely}}</ref>, era presente negli esemplari funzionanti fino ai 100&nbsp;MHz. Intel ha attribuito l'errore alle voci mancanti nella tabella di ricerca utilizzata dal circuito di divisione in virgola mobile<ref>{{citeCita web|url=http://download.intel.com/support/processors/pentium/sb/FDIV_Floating_Point_Flaw_Pentium_Processor.pdf|titletitolo=Statistical Analysis of Floating Point Flaw: Intel White Paper|datedata=9 Julyluglio 2004|publishereditore=[[Intel]]|pagep=9|idcid=Solution ID CS-013007|access-dateaccesso=5 Aprilaprile 2016}}</ref>.

== Storia ==

Riga 12:

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<ref name="NicelyFAQ" />.

La storia fu pubblicata nella stampa, per la prima volta il 7 novembre 7 1994, in in un articolo in ''[[Electronic Engineering Times]]'', "Intel fixes a Pentium FPU glitch" by Alexander Wolfe.<ref>{{citeCita web|titletitolo=Intel fixes a Pentium FPU glitch|url=http://davefaq.com/Opinions/Stupid/Pentium.html#glitch|authorautore=Alexander Wolfe}}</ref>

La storia è stata ripresa dalla [[CNN]] in una news trasmessa il 21 novembre 1994<ref name = "NicelyFAQ" />. Ciò lo ha portato 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<ref>{{citeCita web|url=http://findarticles.com/p/articles/mi_m0EIN/is_1994_Dec_20/ai_15939945 |archive-urlurlarchivio=https://archive.is/20120710222033/http://findarticles.com/p/articles/mi_m0EIN/is_1994_Dec_20/ai_15939945 |dead-url=yes |archive-datedataarchivio=10 luglio 2012-07-10 |titletitolo=Intel adopts upon-request replacement policy on Pentium processors with floating point flaw; Will take Q4 charge against earnings |accessdateaccesso=2006-12-24 dicembre 2006 |datedata=1994-12-20 dicembre 1994 |publishereditore=Business Wire }}</ref>. Alcuni dei chip difettosi sono stati successivamente trasformati in key rings da Intel<ref>{{citeCita web | url=http://www.boiledbeans.net/2009/04/20/how-many-engineers-does-it-take-to-change-a-lightbulb/ | titletitolo=How many engineers does it take to change a lightbulb? | workopera=Boiledbeans | datedata=20 Aprilaprile 2009 | accessdateaccesso=10 Novembernovembre 2009}}</ref>.

Un articolo del 1995 in "[[Science]]" descrive il valore dei problemi 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<ref name="Cipra Pentium Bug">{{citeCita journalpubblicazione|cognome= Cipra |nome= Barry A. |wkautore= Barry A. Cipra

|data= 13 gennaio 1995

|last= Cipra |first= Barry A. |author-link = Barry A. Cipra

| title titolo= How number theory got the best of the Pentium chip

| date = 1995-01-13

| journal rivista= Science

| title = How number theory got the best of the Pentium chip

|volume= 267

| journal = Science

| volume numero= 2675195

| issue pp= 5195175

| pages = 175

| doi = 10.1126/science.267.5195.175

| pmid = 17791336