באג הפנטיום – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
צביקה (שיחה | תרומות)
עריכת התוספת
Felagund-bot (שיחה | תרומות)
בוט - מחליף 'דוגמא' ב'דוגמה'
שורה 3:
מקור הבאג בתת־יחידה של המעבד העוסקת בחישובי מספרים בשיטת ה[[נקודה צפה|נקודה הצפה]] (FPU). כדי לשפר את ביצועי המעבד ביחס לקודמו (486) תכננו מהנדסי אינטל את פעולת ה[[חילוק]] הכבדה של מספרי נקודה צפה כך שתעשה שימוש ב[[אלגוריתם]] בשם [[SRT]]. חלק מפעולת האלגוריתם היה העתקה של מערך בן 1066 תוצאות ביניים, אלא שחמש מתוך אלה לא הועתקו כראוי ובמקומם חושב בטעות המספר [[0 (מספר)|אפס]]. כתוצאה מהבאג הייתה תוצאת החילוק שגויה, אך אופי החישוב גרם לכך שה[[הסתברות]] שהשגיאה תהיה משמעותית מספיק כדי להתגלות הייתה נמוכה.
 
במספר חישובים נדירים מאוד, ניתן היה להבחין בטעות כבר בספרה הרביעית או החמישית בחשיבותה של התוצאה. דוגמאדוגמה לחישוב כזה, שהוצגה במגזין BYTE ב-[[1995]] היא המנה: <math>\frac{4,195,835}{3,145,727}</math>, ששווה בקירוב ל-1.3338, אך תוצאת החישוב השגוי הייתה 1.3337.
 
הבאג נחשף [http://www.emery.com/bizstuff/nicely.htm] ב־[[30 באוקטובר]] 1994 על־ידי [[תומס נייסלי]], [[פרופסור]] ל[[מתמטיקה]] ב[[אוניברסיטת לינצ'בורג]]. לנייסלי הייתה סיבה מיוחדת לשים לב לאי דיוק, מזערי ככל שיהיה, בתוצאתן של פעולות החילוק: הוא עסק בחישוב [[אנליזה נומרית|קירוב נומרי]] ל[[קבוע ברון]], חישוב הכרוך בסיכום מדויק של מספר רב של מנות.