Bug Pentium FDIV

De la Wikipedia, enciclopedia liberă.
Salt la navigare Salt la căutare
Intel Pentium 66 MHz (sSpec = SX837) cu bug-ul FDIV.

Bug-ul Pentium FDIV este un defect pe scară largă printre FPU - urile procesorilor Intel Pentium timpurii.

A fost descoperită de profesorul Thomas Nicely de la Colegiul Lynchburg [1] , era prezentă în exemplare care rulează până la 100 MHz. Intel a atribuit eroarea intrărilor lipsă din tabelul de căutare utilizat de circuitul de divizare în virgulă mobilă [2] .

Istorie

Descoperirea a avut loc în decembrie 1994, când profesorul, intenționat de munca sa de cercetare, a încercat să calculeze rezultatul unei anumite expresii matematice ( constanta lui Brun ); rezultatul obținut a fost departe de ceea ce a fost preconizat teoretic, chiar considerând posibile erori de rotunjire. Atunci a încercat frumos să efectueze calculul pe o mașină care era echipată cu cel mai vechi procesor 486, observând cu o uimire imensă că acest ultim rezultat părea corect.

În timpul experimentelor ulterioare, a descoperit frumos că procesorul a greșit să calculeze expresii simple precum dacă x a fost un număr care conține mai multe cifre după virgulă. Apoi, Nicely a contactat producătorul, care a declarat că sunt deja conștienți de problemă și că lucrează pentru a remedia eroarea de pe noile procesoare.

La 30 octombrie 1994, Nicely a trimis un e-mail descriind eroarea pe care a descoperit-o în unitatea cu virgulă mobilă Pentium către diferite contacte, solicitând rapoarte de testare pentru defectul clonelor 486-DX4, Pentium și Pentium [1] .

Povestea a fost publicată pentru prima dată în presă la 7 noiembrie 1994, într-un articol din Electronic Engineering Times , „Intel remediază o problemă Pentium FPU” de Alexander Wolfe. [3]

Povestea a fost preluată de CNN într-o știre difuzată la 21 noiembrie 1994 [1] . Acest lucru l-a adus în prim-planul opiniei publice.

Mulți utilizatori, care au devenit conștienți de această problemă, au pus presiune pe Intel pentru a înlocui toate procesoarele defecte, dar pe de altă parte, Intel a propus inițial înlocuirea procesorului doar pentru cei care au demonstrat că au nevoie, în munca lor, de efectuați calcule. foarte precise (de fapt un utilizator normal nu ar fi observat niciodată defectul procesorului). În cele din urmă, Intel a trebuit să renunțe și a fost forțat să înlocuiască toate jetoanele jignitoare cu altele noi la un cost de aproximativ 475 milioane dolari [4] . Unele dintre cipurile defecte au fost transformate ulterior în fob-uri cheie de către Intel [5] .

Un articol din 1995 publicat în Science descrie rolul teoriei numerelor în detectarea erorilor computerizate și oferă fundalul și istoria matematică a constantei lui Brun , problema la care lucra frumos când a descoperit eroarea[6] .

Descriere

Acest defect a provocat o mică eroare sistematică în unele operațiuni de divizare efectuate de unitățile procesorelor afectate (numele derivă tocmai din FDIV , instrucțiunea de asamblare x86 pentru diviziile în virgulă mobilă ) și a fost verificat de mulți utilizatori de Internet , pe care i-au botezat el cu numele pe care îl poartă astăzi.

Notă

  1. ^ a b c Profesorul Thomas Nicely, Întrebări frecvente despre Pentium FDIV , la trnicely.net . Adus pe 27 august 2018 (depus de „url original 15 martie 2012).
  2. ^ Analiza statistică a defectului în virgulă mobilă: Cartea albă Intel ( PDF ), pe download.intel.com , Intel , 9 iulie 2004, p. 9. Accesat la 5 aprilie 2016 .
  3. ^ Alexander Wolfe, Intel remediază o problemă Pentium FPU , la davefaq.com .
  4. ^ Intel adoptă politica de înlocuire la cerere a procesoarelor Pentium cu defect în virgulă mobilă; Va prelua taxa Q4 împotriva câștigurilor , pe findarticles.com , Business Wire, 20 decembrie 1994. Accesat la 24 decembrie 2006 (arhivat din original la 10 iulie 2012) .
  5. ^ Câți ingineri este nevoie pentru a schimba becul? , în Boiledbeans , 20 aprilie 2009. Accesat la 10 noiembrie 2009 (arhivat din original la 3 februarie 2010) .
  6. ^ Barry A. Cipra , Cum teoria numerelor a obținut cel mai bun chip Pentium , în Știința , vol. 267, nr. 5195, 13 ianuarie 1995, p. 175, DOI : 10.1126 / science.267.5195.175 , PMID 17791336 .

linkuri externe

Informatică Portal IT : accesați intrările Wikipedia care se ocupă cu IT