View source for पेंटियम FDIV बग

{{Use mdy dates|date=May 2021}}
{{good article}}
{{Short description|Bug in the Intel P5 Pentium floating-point unit}}
[[Image:KL Intel Pentium A80501.jpg|right|thumb|एफडी IV बग के साथ 66 मेगाहर्ट्ज इंटेल पेंटियम (sSpec=SX837)]]
पेंटियम एफडी IV एक[[ हार्डवेयर बग | हार्डवेयर बग]] है जो [[ P5 (माइक्रोआर्किटेक्चर) |शुरुवाती इंटेल पेंटियम प्रोसेसर्स]] की [[ फ्लोटिंग-पॉइंट यूनिट |फ्लोटिंग-पॉइंट यूनिट]] (एफपीयू) को प्रभावित करता है। इस बग के कारण, उच्च-सटीक संख्याओं के कुछ जोड़े को विभाजित करते समय, प्रोसेसर गलत बाइनरी [[ तैरनेवाला स्थल |फ्लोटिंग पॉइंट]] परिणाम लौटाता है। इस बग की खोज 1994 में [[ लिंचबर्ग कॉलेज |लिंचबर्ग कॉलेज]] में गणित के प्रोफेसर थॉमस आर. नाइसली ने की थी।<ref name="siam">{{cite journal |last1=Edelman |first1=Alan |title=The Mathematics of the Pentium Division Bug |journal=SIAM Review |date=January 1, 1997 |volume=39 |issue=1 |pages=54–67 |doi=10.1137/S0036144595293959 |bibcode=1997SIAMR..39...54E |access-date=April 11, 2021|url=http://www-math.mit.edu/~edelman/homepage/papers/pentiumbug.pdf}}</ref> एफपीयू के फ़्लोटिंग-पॉइंट डिवीजन एल्गोरिदम द्वारा उपयोग की जाने वाली लुकअप तालिका में अनुपस्थित मानों के कारण गणना में छोटी त्रुटियां प्राप्त हुईं। हालांकि अधिकांश उपयोग के मामलों में ये त्रुटियां कदाचित ही होती हैं और परिणामस्वरूप सही आउटपुट मानों से विचलन छोटे होते हैं, पर कुछ परिस्थितियों में त्रुटियां बार-बार हो सकती हैं जिससे विचलन अधिक हो जाता है।<ref name="wolfram">{{cite web |title='A Discussion of and Fix for the Pentium FDIV Bug' from the Notebook Archive (2002) |url=https://notebookarchive.org/a-discussion-of-and-fix-for-the-pentium-fdiv-bug--2018-10-10r833w/ |website=notebookarchive.org |publisher=Wolfram Research, Inc. |access-date=April 11, 2021 |language=en}}</ref>

एफडी IV बग की गंभीरता पर बहस हुई। हालांकि अधिकांश उपयोगकर्ताओं द्वारा कदाचित ही इसका सामना किया गया ([[ बाइट (पत्रिका) | बाइट]] पत्रिका ने अनुमान लगाया कि 9 बिलियन फ्लोटिंग पॉइंट में से 1 यादृच्छिक मापदंडों के साथ विभाजित होता है, जो गलत परिणाम देगा),<ref name="halfhill-199503">{{cite magazine |author=Tom R. Halfhill |date=March 1995 |title=An error in a lookup table created the infamous bug in Intel's latest processor |magazine=[[BYTE]] |issue=March 1995 |url=http://www.byte.com/art/9503/sec13/art1.htm |access-date=December 19, 2006 |url-status=dead |archive-url=https://web.archive.org/web/20060209005434/http://www.byte.com/art/9503/sec13/art1.htm |archive-date=February 9, 2006 }}</ref> तकनीकी समुदाय द्वारा, इस बग और इंटेल की इस मामले में प्रारंभिक प्रबंधन की भारी आलोचना की गई।

दिसंबर 1994 में, इंटेल दोषपूर्ण प्रोसेसर को वापस लेता है जो कंप्यूटर चिप का पहला पूर्ण रिकॉल था।<ref name="wsjhumblepie">{{cite news |last1=Carlton |first1=Jim |last2=Yoder |first2=Stephen K. |title=Computers: Humble Pie: Intel to Replace its Pentium Chips. |work=The Wall Street Journal |edition=Eastern |date=December 21, 1994 |page=B1}}</ref> अपनी 1994 की वार्षिक रिपोर्ट में, इंटेल ने कहा कि उसने इन माइक्रोप्रोसेसरों के प्रतिस्थापन और राइट-ऑफ़ की भरपाई के लिए $475 मिलियन पूर्व-कर शुल्क के रूप में खर्च किया है।<ref>{{Cite web |date=June 20, 2020 |title=1994 - Annual Report |publisher=Intel |url=https://www.intel.com/content/www/us/en/history/history-1994-annual-report.html|url-status=live|archive-url=https://web.archive.org/web/20170226113353/https://www.intel.com/content/www/us/en/history/history-1994-annual-report.html|archive-date=February 26, 2017|access-date=June 20, 2020}}</ref>
==विवरण==
{{Image frame 
 | width=500
 | caption=Graph showing one manifestation of the FDIV bug. Each data point should be ~3.1789&nbsp;x&nbsp;10<sup>−8</sup> higher on the y-axis than its predecessor to the left, but in the region 4195834.4&nbsp;<&nbsp;x&nbsp;<&nbsp;4195835.9 the result differs from the expected value by ~8.14&nbsp;x&nbsp;10<sup>−5</sup>.
 | content = {{Graph:Chart
   | width=400
   | height=150
   | xAxisTitle=Numerator
   | xAxisAngle=-45
   | yAxisTitle=Result of dividing numerator by 3,145,727
   | type=line
   | showSymbols=2
   | x=4195836.4,4195836.3,4195836.2,4195836.1,4195836,4195835.9,4195835.8,4195835.7,4195835.6,4195835.5,4195835.4,4195835.3,4195835.2,4195835.1,4195835,4195834.9,4195834.8,4195834.7,4195834.6,4195834.5,4195834.4,4195834.3,4195834.2,4195834.1,4195834,4195833.9
   | y=1.333820894,1.333820862,1.333820831,1.333820799,1.333820767,1.333739355,1.333739323,1.333739291,1.33373926,1.333739228,1.333739196,1.333739164,1.333739132,1.333739101,1.333739069,1.333739037,1.333739005,1.333738974,1.333738942,1.33373891,1.333820258,1.333820227,1.333820195,1.333820163,1.333820131,1.333820099
  }} 
}}
[[ इंटेल 80486 | 486DX]] आधारित पेंटियम चिप पर फ्लोटिंग-पॉइंट डिवीजन गणना की गति में सुधार करने के लिए, इंटेल ने शिफ्ट-एंड-सबट्रेक्ट डिवीजन एल्गोरिथम को स्वीनी, रॉबर्टसन और टोचर (एसआरटी) एल्गोरिथम के साथ बदलने का विकल्प चुना। एसआरटी एल्गोरिथ्म प्रति[[ घड़ी चक्र ]]में विभाजन परिणाम के दो बिट उत्पन्न कर सकता है, जबकि 486 का एल्गोरिथ्म केवल एक बिट ही उत्पन्न कर सकता है। इसे 2,048 कोशिकाओं के साथ [[ प्रोग्राम करने योग्य तर्क सरणी |प्रोग्राम करने योग्य तर्क सरणी]] का उपयोग करके कार्यान्वित किया जाता है, जिनमें से 1,066 कोशिकाओं को  {{nowrap|−2, −1, 0, +1, +2}} पांच मानों में से एक के साथ पॉप्युलेट किया जाना चाहिए था| जब पेंटियम के लिए मूल सरणी संकलित की गई, तो पांचो मान सही ढंग से उस उपकरण में डाउनलोड नहीं किए गए जो सरणियों को चिप्स में निर्माण करते हैं - इस प्रकार पांच सरणी कोशिकाओं में शून्य होता है जब कि उनमें +2 होना चाहिए था।<ref name="intelreport">{{Cite report |url=https://users.fmi.uni-jena.de/~nez/rechnerarithmetik_5/fdiv_bug/intel_white11.pdf |title=Statistical Analysis of Floating Point Flaw in the Pentium Processor (1994) |last1=Sharangpani |first1=H. P. |last2=Barton |first2=M. L. |date=November 30, 1994 |publisher=Intel Corporation |publication-date=November 30, 1994 |access-date=April 11, 2021}}</ref>

परिणामस्वरूप, इन पांच कक्षों पर निर्भर परिकलन त्रुटियाँ देते हैं; एसआरटी एल्गोरिथम की प्रत्यावर्तन प्रकृति के कारण ये त्रुटियां बार-बार बढ़ती रहती हैं। पैथोलॉजिकल मामलों में त्रुटि परिणाम के चौथे महत्वपूर्ण अंक तक पहुंच सकती है, हालांकि यह दुर्लभ है। त्रुटि आमतौर पर नौवें या दसवें महत्वपूर्ण अंक तक ही सीमित होती है।<ref name="halfhill-199503" />

अंश और हर के केवल कुछ संयोजन ही बग को ट्रिगर करते हैं। आमतौर पर रिपोर्ट किया जाने वाला एक उदाहरण 4,195,835 को 3,145,727 से विभाजित करना है।[[ विंडोज कैलकुलेटर | विंडोज कैलकुलेटर]] जैसे फ्लोटिंग-पॉइंट कोप्रोसेसर का उपयोग करने वाले किसी भी सॉफ्टवेयर में इस गणना को करने से उपयोगकर्ताओं को यह पता लगाने की अनुमति मिलेगी कि उनकी पेंटियम चिप प्रभावित हुई थी या नहीं।<ref name="kansas">{{cite web|publisher=Kansas University Institute for Policy and Social Research|title=Pentium FDIV bug – a Picture|date=November 30, 1994|url=http://www.ipsr.ku.edu/stafffil/hoyle/pentium_fdiv/|access-date=November 3, 2010}}</ref>

गणना का सही मूल्य है:

{{block indent|<math>\textstyle \dfrac{4{,}195{,}835}{3{,}145{,}727} = 1.333820449136241002</math>}}
जब प्रोसेसर द्वारा उपयोग किए जाने वाले हेक्साडेसिमल मान में परिवर्तित किया जाता है, तो 4,195,835 = 0x4005FB और 3,145,727 = 0x2FFFFF। 0x4005FB में '5' 'खाली' सरणी कोशिकाओं तक पहुंच को ट्रिगर करता है। परिणामस्वरूप, त्रुटिपूर्ण पेंटियम प्रोसेसर द्वारा लौटाया गया मान चार अंकों पर या उससे अधिक गलत है:<ref name="compaspects">{{cite journal |last1=Coe |first1=T. |last2=Mathisen |first2=T. |last3=Moler |first3=C. |last4=Pratt |first4=V. |title=Computational aspects of the Pentium affair |journal=IEEE Computational Science and Engineering |date=1995|volume=2 |issue=1 |pages=18–30 |doi=10.1109/99.372929 |url=https://people.cs.vt.edu/~naren/Courses/CS3414/assignments/pentium.pdf |access-date=April 13, 2021}}</ref>

{{block indent|<math>\textstyle \dfrac{4{,}195{,}835}{3{,}145{,}727} = 1.333739068902037589</math>}}{{block indent|<math>\textstyle \dfrac{4{,}195{,}835}{3{,}145{,}727} = 1.333{\color{red}{739068902037589}}</गणित>}}

==खोज और प्रतिक्रिया ==
लिंचबर्ग कॉलेज में गणित के प्रोफेसर थॉमस नाइसली ने [[ अभाज्य संख्या |अभाज्य संख्या]] , जुड़वां अभाज्य, अभाज्य त्रिगुण और अभाज्य चौगुनी गणना करने के लिए कोड लिखा था। अपने कंप्यूटरों के समूह में पेंटियम प्रणाली जोड़ने के तुरंत बाद 13 जून, 1994 को गणनाओं में कुछ विसंगतियों को अच्छी तरह से देखा, लेकिन 19 अक्टूबर, 1994 तक अन्य कारकों (जैसे प्रोग्रामिंग त्रुटियों, [[ मदरबोर्ड |मदरबोर्ड]] चिपसेट, आदि) को समाप्त करने में असमर्थ था।<ref name="siam"/>24 अक्टूबर 1994 को, उन्होंने इंटेल को इस मुद्दे की सूचना दी।<ref name="NicelyFAQ">{{cite web|url=http://www.trnicely.net/pentbug/pentbug.html|title=Pentium FDIV flaw FAQ|author=Nicely|first=Thomas|date=August 19, 2011|website=trnicely.net|archive-url=https://web.archive.org/web/20190618044444/http://www.trnicely.net/pentbug/pentbug.html|archive-date=June 18, 2019|url-status=dead|access-date=June 18, 2019}}</ref> इंटेल कथित तौर पर जून 1994 तक इस मुद्दे से स्वतंत्र रूप से अवगत हो गया था, और इस बिंदु पर इसे ठीक करना शुरू कर दिया था, लेकिन सार्वजनिक रूप से किसी भी विवरण का खुलासा नहीं करना या प्रभावित सीपीयू को वापस बुलाना नहीं चुना।<ref name="nytcompany">{{cite web |last1=Markoff |first1=John |title=COMPANY NEWS; Flaw Undermines Accuracy of Pentium Chips |url=https://www.nytimes.com/1994/11/24/business/company-news-flaw-undermines-accuracy-of-pentium-chips.html |website=The New York Times |access-date=April 11, 2021 |date=November 24, 1994}}</ref>

30 अक्टूबर 1994 को, नाइसली ने विभिन्न शैक्षणिक संपर्कों को बग का वर्णन करते हुए एक ईमेल भेजा, जिसमें [[ इंटेल 80486DX4 | इंटेल]] 486-DX4s, पेंटियम और [[ पेंटियम संगत प्रोसेसर | पेंटियम संगत प्रोसेसर]] पर दोष के परीक्षण की रिपोर्ट का अनुरोध किया गया था।<ref name="NicelyFAQ" />बग को दूसरों द्वारा जल्दी से सत्यापित किया गया, और इसकी खबर [[ इंटरनेट | इंटरनेट]] पर तेजी से फैल गई। बग ने फ़्लोटिंग-पॉइंट डिवीजन जो सबसे अधिक बार उपयोग किया जाने वाला प्रभावित निर्देश के लिए [[ x86 निर्देश सूची | x86 निर्देश सूची]] से "पेंटियम एफडी IV बग" नाम प्राप्त किया।<ref name="NicelyFAQ" />

यह समाचार पहली बार 7 नवंबर, 1994 को [[ इलेक्ट्रॉनिक इंजीनियरिंग टाइम्स |इलेक्ट्रॉनिक इंजीनियरिंग टाइम्स]] के एक लेख में इंटेल अलेक्जेंडर वोल्फ द्वारा "इंटेल फिक्सेस अ पेंटियम एफपीयू ग्लिच" छपी, <ref>{{cite web|title=Intel fixes a Pentium FPU glitch|url=http://davefaq.com/Opinions/Stupid/Pentium.html#glitch|author=Alexander Wolfe|date=November 9, 1994|website=Electronic Engineering Times}}</ref> और बाद में इसे [[ सीएनएन |सीएनएन]] द्वारा 22 नवंबर को प्रसारित एक खंड में उठाया गया था। न्यूयॉर्क टाइम्स और बोस्टन ग्लोब द्वारा भी इसकी सूचना दी गई थी, जो बाद में फ्रंट पेज बना रहा था।<ref name="nytcompany" /><ref name="clevemoler">{{cite web |last1=Moler |first1=Cleve |title=A Tale of Two Numbers |url=https://www.mathworks.com/content/dam/mathworks/tag-team/Objects/a/72895_92024v00Cleve_Tale_Two_Numbers_Win_1995.pdf |website=MATLAB News and Notes |publisher=MathWorks |access-date=April 21, 2021 |date=Winter 1995}}</ref>

इस बिंदु पर, इंटेल ने फ्लोटिंग-पॉइंट दोष को स्वीकार किया, लेकिन दावा किया कि यह गंभीर नहीं था और अधिकांश उपयोगकर्ताओं को प्रभावित नहीं करेगा। इंटेल ने उन उपयोगकर्ताओं को प्रोसेसर बदलने की पेशकश की जो साबित कर सकते थे कि वे प्रभावित थे। हालांकि, अधिकांश स्वतंत्र अनुमानों में पाया गया कि बग का अधिकांश उपयोगकर्ताओं पर बहुत सीमित प्रभाव पड़ेगा, इसने कंपनी के लिए महत्वपूर्ण नकारात्मक दबाव पैदा किया। [[ आईबीएम |आईबीएम]] ने इंटेल सीपीयू वाले पीसी की बिक्री रोक दी, और इंटेल के शेयर की कीमत में काफी कमी आई।<ref name="CRN">{{cite web |last1=Yeraswork |first1=Zewde |title=Lessons Learned: Pentium Flaws Aid Intel In Sandy Bridge Chipset Recall |url=https://www.crn.com/news/components-peripherals/229400535/lessons-learned-pentium-flaws-aid-intel-in-sandy-bridge-chipset-recall.htm |website=CRN |access-date=April 11, 2021 |date=March 30, 2011}}</ref> उद्योग में कुछ लोगों ने आईबीएम के फैसले के पीछे की मंशा पर सवाल उठाया था; आईबीएम ने उस समय [[ पावरपीसी |पावरपीसी]] सीपीयू का उत्पादन किया, और संभावित रूप से एक कंपनी के रूप में पेंटियम या इंटेल को किसी भी प्रतिष्ठित क्षति से लाभान्वित होने के लिए खड़ा था। हालांकि, निर्णय ने पीसी उपकरण के कॉर्पोरेट खरीदारों को मौजूदा पेंटियम सीपीयू के प्रतिस्थापन की मांग की, और इसके तुरंत बाद अन्य पीसी निर्माताओं ने त्रुटिपूर्ण पेंटियम चिप्स के प्रतिस्थापन के लिए कोई प्रश्न नहीं पूछा।<ref name="wsjhumblepie" />

इंटेल की प्रतिक्रिया से बढ़ते असंतोष के कारण कंपनी ने 20 दिसंबर को अनुरोध पर सभी दोषपूर्ण पेंटियम प्रोसेसर को बदलने की पेशकश की।<ref>{{cite web|url=http://findarticles.com/p/articles/mi_m0EIN/is_1994_Dec_20/ai_15939945 |archive-url=https://archive.today/20120710222033/http://findarticles.com/p/articles/mi_m0EIN/is_1994_Dec_20/ai_15939945 |url-status=dead |archive-date=July 10, 2012 |title=Intel adopts upon-request replacement policy on Pentium processors with floating point flaw; Will take Q4 charge against earnings |access-date=December 24, 2006 |date=December 20, 1994 |publisher=Business Wire }}</ref> 17 जनवरी, 1995 को, इंटेल ने आय के मुकाबले $475 मिलियन के पूर्व-कर प्रभार की घोषणा की, जो कि त्रुटिपूर्ण प्रोसेसर के प्रतिस्थापन से जुड़ी कुल लागत थी।<ref name="NicelyFAQ" />यह {{Inflation/year|US-GDP}} में $720 मिलियन के बराबर है | पुनर्विक्रेताओं और ओईएम को रिकॉल कार्यक्रम में भाग लेने से रोकने के लिए इंटेल की आलोचना की गई, जिसके अंत-उपयोगकर्ताओं को स्वयं चिप्स को बदलने की आवश्यकता पड़ी। इसके समर्थन में इंटेल का अपने वेब पेज पर तर्क पोस्ट किए गए जिसका औचित्य यह था "यह निर्धारित करने का अंतिम-उपयोगकर्ता का व्यक्तिगत निर्णय है कि क्या यह दोष उनकी एप्लिकेशन सटीकता को प्रभावित कर रहा है।"<ref name="CRN" />

[[ विज्ञान (पत्रिका) |साइंस पत्रिका]] में 1995 का एक लेख कंप्यूटर बग की खोज में संख्या सिद्धांत की समस्याओं के मूल्य का वर्णन, उसकी गणितीय पृष्ठभूमि और ब्रून के स्थिरांक का इतिहास देता है, जिस समस्या पर निसली ने बग की खोज की थी, उस पर काम कर रहा था।<ref name="Cipra Pentium Bug">{{cite journal
|last= Cipra  |first= Barry Arthur  |author-link = Barry Arthur Cipra
 | date = January 13, 1995
 | title = How number theory got the best of the Pentium chip
 | journal = Science
 | volume = 267
 | issue = 5195
 | pages = 175
 | doi = 10.1126/science.267.5195.175
 | pmid = 17791336
|bibcode= 1995Sci...267..175C |s2cid= 19898103 }}</ref>

एफडी IV बग के लिए इंटेल की प्रतिक्रिया को एक समस्या के [[ जनसंपर्क |जनसंपर्क]] प्रभाव के मामले के रूप में उद्धृत किया गया है जो ग्राहकों पर उक्त समस्या के व्यावहारिक प्रभाव को नज़रअंदाज करता है।<ref name="ieee">{{cite journal |last1=Price |first1=D. |title=Pentium FDIV flaw-lessons learned |journal=IEEE Micro |date=April 1995 |volume=15 |issue=2 |pages=86–88 |doi=10.1109/40.372360}}</ref> जबकि अधिकांश उपयोगकर्ताओं को अपने दिन-प्रतिदिन की कंप्यूटिंग में दोष का सामना करने की संभावना नहीं थी, कंपनी की चिप्स को प्रतिस्थापित नहीं करने की प्रारंभिक प्रतिक्रिया जब तक कि ग्राहक गारंटी नहीं दे सकते कि वे प्रभावित थे, उद्योग विशेषज्ञों के मुखर अल्पसंख्यक समुदाय से आलोचना हुई। बाद के प्रचार ने सीपीयू में उपभोक्ता के विश्वास को हिला दिया, और इस मुद्दे से प्रभावित होने की संभावना नहीं रखने वाले लोगों ने भी कार्रवाई की मांग की। उस समय इंटेल के सीईओ एंड्रयू ग्रोव को द वॉल स्ट्रीट जर्नल में यह कहते हुए उद्धृत किया गया "मुझे लगता है कि इस मुद्दे के आधार को हम मिस कर गए ... कि हम किसी को बताते हैं कि उन्हें किस बात की चिंता करनी चाहिए या नहीं, या क्या करना चाहिए या नहीं।"<ref name="wsjhumblepie" />

बग आने और चिपसेट वापस बुलाने के बाद, अर्धचालक उद्योग में हार्डवेयर फ्लोटिंग पॉइंट संचालन के [[ औपचारिक सत्यापन |औपचारिक सत्यापन]] के उपयोग में उल्लेखनीय वृद्धि हुई। बग की खोज से प्रेरित होकर, एसआरटी एल्गोरिथम पर लागू एक तकनीक जिसे वर्ड-लेवल मॉडल चेकिंग कहा जाता है, 1996 में विकसित की गई।<ref name="wordlevel">{{cite journal |last1=Clarke |first1=E. M. |last2=Khaira |first2=M. |last3=Zhao |first3=X. |title=Word level model checking—avoiding the Pentium FDIV error |journal=Proceedings of the 33rd Annual Conference on Design Automation Conference – DAC '96 |series=Dac '96 |date=1996 |pages=645–648 |doi=10.1145/240518.240640 |isbn=0897917790 |s2cid=2500033 |url=https://dl.acm.org/doi/10.1145/240518.240640 |access-date=April 29, 2021}}</ref> इंटेल ने बाद के सीपीयू आर्किटेक्चर के विकास में औपचारिक सत्यापन का व्यापक रूप से उपयोग किया। [[ पेंटियम 4 |पेंटियम 4]] के विकास में, सांकेतिक प्रक्षेपवक्र मूल्यांकन और प्रमेय सिद्ध करने का उपयोग कई बगों को खोजने के लिए किया गया जो ऐसी समान घटना का कारण बन सकते थे यदि वे ज्ञात नहीं हो पाते।<ref name="memcod">{{cite journal |last1=O'Leary |first1=J. |title=Formal verification in intel cpu design |journal=Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. |date=2004 |pages=152 |doi=10.1109/MEMCOD.2004.1459841 |isbn=0-7803-8509-8 |url=https://www.computer.org/csdl/proceedings-article/memcod/2004/01459841/12OmNzBOimc |access-date=April 29, 2021}}</ref> सत्यापन की प्राथमिक विधि के रूप में औपचारिक सत्यापन का उपयोग करने वाला पहला इंटेल माइक्रोआर्किटेक्चर 2008 में विकसित [[ नेहलेम (माइक्रोआर्किटेक्चर) |नेहलेम]] था।<ref>{{cite journal |last1=Kaivola |first1=Roope |last2=Ghughal |first2=Rajnish |last3=Narasimhan |first3=Naren |last4=Telfer |first4=Amber |last5=Whittemore |first5=Jesse |last6=Pandav |first6=Sudhindra |last7=Slobodová |first7=Anna |last8=Taylor |first8=Christopher |last9=Frolov |first9=Vladimir |last10=Reeber |first10=Erik |last11=Naik |first11=Armaghan |title=Replacing Testing with Formal Verification in Intel $^{\scriptsize\circledR}$ CoreTM i7 Processor Execution Engine Validation |journal=Computer Aided Verification |date=2009 |volume=5643 |pages=414–429 |doi=10.1007/978-3-642-02658-4_32 |doi-access=free }}</ref>
==प्रभावित मॉडल==
एफडी IV बग D1 से पहले के स्टेपिंग स्तरों में 60 और 66 मेगाहर्ट्ज पेंटियम P5 800 और B5 से पहले के चरणों में 75, 90 और 100 मेगाहर्ट्ज पेंटियम P54C 600 को प्रभावित करता है। 120 मेगाहर्ट्ज P54C और P54CQS सीपीयू अप्रभावित हैं।<ref name="informit">{{cite web |title=P5 (586) Fifth-Generation Processors {{!}} Microprocessor Types and Specifications {{!}} InformIT |url=https://www.informit.com/articles/article.aspx?p=130978&seqNum=29 |website=www.informit.com |access-date=April 13, 2021 |date=June 8, 2001}}</ref><ref name="IntelFaq">{{cite web |publisher=[[Intel]] |title=FDIV Replacement Program: Frequently asked questions |date=March 20, 2009 |url=http://www.intel.com/support/processors/pentium/sb/CS-012748.htm |id=Solution ID CS-012748 |access-date=November 10, 2009 |archive-url=https://web.archive.org/web/20090511094631/http://www.intel.com/support/processors/pentium/sb/CS-012748.htm# |archive-date=May 11, 2009 |url-status=dead }}</ref>
== [[ सॉफ्टवेयर पैच ]] ==
निर्माताओं द्वारा बग के समाधान के लिए विभिन्न सॉफ्टवेयर पैच तैयार किए गए। आईईईई कम्प्यूटेशनल साइंस एंड इंजीनियरिंग में एक पेपर में उल्लिखित विशिष्ट एल्गोरिदम, उन विभाजकों की जांच करता है जो प्रोग्राम करने योग्य तर्क सरणी कोशिकाओं तक पहुंच को ट्रिगर कर सकते हैं जिनमें गलती से शून्य होता है, और यदि ऐसा पाया जाता है, तो अंश और हर दोनों को 15/16 से गुणा कर देते हैं। यह उन्हें 'बग्गी' रेंज से बाहर ले जाता है। यह फिक्स, गति के साथ औसत दर्जे का समझौता करता है - यह प्रोग्राम के लिए सबसे खराब स्थिति होती है क्योंकि इस मामले में वह कुछ भी नहीं कर रहा है बल्कि खराब विभाजक के साथ एफडी IV संचालन चल रहा है और रनिंग टाइम दुगना हो जाता है क्योंकि प्रत्येक एफडी IV, 40 के बजाय लगभग 80 घड़ी चक्र लेता है। अधिक यादृच्छिक भाजक के साथ प्रति एफडी IV औसत समय लगभग 50 घड़ी चक्र था, यानी भाजक की जांच के लिए 10 चक्र जोड़े गए: 1024 यादृच्छिक भाजक में से केवल 5 ही स्केलिंग समाधान को ट्रिगर करेंगे। चूंकि अधिकांश कार्यक्रमों में एफडी IV एक दुर्लभ ऑपरेशन है, इसलिए स्थापित समाधान के साथ सामान्य सुस्ती आमतौर पर एक प्रतिशत या उससे कम थी। <ref name="compaspects" />

सॉफ्टवेयर कंपनियों के सामने मुख्य चुनौती पूर्व-मौजूदा सॉफ्टवेयर में सुधार करना था, जिनमें से अधिकांश अपने नियंत्रण से बाहर लाइब्रेरीज पर निर्भर थे। कुछ कंपनियों, जैसे [[ वोल्फ्राम रिसर्च |वोल्फ्राम रिसर्च]] , ने एफडी IV ऑपकोड को अवैध निर्देश के साथ बदलने के लिए मौजूदा निष्पादन योग्य मशीनों के[[ मशीन कोड ]]को सीधे पैच करने का विकल्प चुना। इसके बाद यह एक अपवाद को ट्रिगर करेगा और अपवाद हैंडलर (जिसमें भी पैच किया गया) पकड़ लेगा। यहां से, बग के निष्पादन के लिए किसी भी कोड को लागू किया जा सकता है।<ref name="wolfram" />

विंडोज ने विंडोज एक्सपी तक [[ Microsoft Windows |माइक्रोसॉफ्ट विंडोज]] के संस्करणों में ऑपरेटिंग सिस्टम स्तर के समाधान की पेशकश की। बग की उपस्थिति की जांच और एफपीयू को अक्षम करने के लिए ऑपरेटिंग सिस्टम के साथ उपयोगिताओं को शामिल किया गया।<ref>{{Cite web|url=http://www.helpwithwindows.com/windows95/troub-58.html|title=Windows 95 Troubleshooting: How to Check for a Faulty Math Coprocessor|last=Slob|first=Arie|website=www.helpwithwindows.com|access-date=April 23, 2019}}</ref><ref>{{cite web|url=https://technet.microsoft.com/en-us/library/bb490967.aspx|title=Pentnt|date=September 11, 2009|website=[[Microsoft TechNet]]|publisher=[[Microsoft]]|access-date=April 23, 2019}}</ref>
==यह भी देखें==
*[[ पेंटियम F00F बग |पेंटियम F00F बग]]
*एमओएस टेक्नोलॉजी 6502 बग और विचित्रताएं
*फ्लोटिंग पॉइंट ऑपरेशंस में शुद्धता की समस्या
*[[ आवारा क्रंच |मेवरिकक्रंच]]

==संदर्भ==
{{reflist|30em}}

==बाहरी संबंध==
*[https://faculty.lynchburg.edu/~nicely/#PENT Personal website of Dr. Nicely, who discovered the bug]
*[http://www.cs.earlham.edu/~dusko/cs63/fdiv.html A page with precise information, also about the cause]
**[https://www.mathworks.com/matlabcentral/fileexchange/1666-pentium-division-bug-documents ZIP-file containing more details] (See [[ZIP file format]] for details on the file)
*[https://web.archive.org/web/20010429062848/http://support.intel.com/support/processors/pentium/fdiv/ Archive of Intel's official information page about the bug]
*[http://www.cpucollection.se/details.php?image_id=784 Unopened Intel CPU box from the एफडी IV replacement program]

{{DEFAULTSORT:Pentium Fdiv Bug}}

[[Category:1994 कंप्यूटिंग में|Pentium Fdiv Bug]]
[[Category:Articles with short description|Pentium Fdiv Bug]]
[[Category:CS1 English-language sources (en)]]
[[Category:Good articles|Pentium Fdiv Bug]]
[[Category:Machine Translated Page|Pentium Fdiv Bug]]
[[Category:Short description with empty Wikidata description|Pentium Fdiv Bug]]
[[Category:Use mdy dates from May 2021|Pentium Fdiv Bug]]
[[Category:X86 आर्किटेक्चर|Pentium Fdiv Bug]]
[[Category:उत्पाद याद करते हैं|Pentium Fdiv Bug]]
[[Category:हार्डवेयर बग|Pentium Fdiv Bug]]