奔腾浮点除错误（英語：Pentium FDIV bug）是英特爾公司的舊版本Pentium浮点运算器的一個錯誤。错误起源于奔腾系列的浮点除（FDIV）指令。這錯誤所引發的後續效應導致了英特爾的公關災難，並導致英特爾在1994年受到4.75億美元的損失。 1994年10月，美國弗吉尼亞州林奇堡學院（英语：University...

除法運算的精確度降低。這個缺陷於1994年被發現，變成如今廣為人知的奔腾浮点除错误，同時這一事件導致英特爾陷入巨大的窘態，建立召回計畫來回收有問題的處理器。 IEEE二進位浮點數算術標準（IEEE 754） 單精度浮點數 雙精度浮點數 MIPS TOP500 灾难性抵消 Goldberg, David...

早期的60-100MHz P5版本Pentium在浮點運算單元有一個問題，在極少數情况下，會導致除法運算的精確度降低。這個缺陷於1994年由數學家Thomas Nicely發現，他在研究做為孿生質數倒數之和的布朗常數時，發現了這錯誤，而這錯誤最終變成如今廣為人知的奔騰浮點除錯誤...

师……开发了能够用于验证硬件和软件可靠性的形式化工具”。 ACL2 在若干领域得以应用。 例如，在奔腾浮点除错误被曝光之后，斯特罗瑟·摩尔 和马特·考夫曼运用 ACL2 证明了 AMD K5 处理器的浮点数除法运算的正确性。 在 ACL2 文档的有趣的应用页面里有一些关于其实际应用的简介。 ACL2...

Thomas R. Nicely把孪生素数算到1014，估计布朗常数大约为1.902160578，Nicely在這過程中也發現了奔騰浮點除錯誤；之後Nicely在2010年1月18日將估計延展到大小約為1.6×1015的孿生質數上，但這還不是截至目前為止最大的計算。 目前最精确的估计是Pascal...

memory）中。它通常对普通程序员甚至是組合語言程式設計師来说是不可见的，也是无法修改的。與機器指令不同的是，機器指令必須在一系列不同的處理器之間維持相容性，而微指令只設計成在特定的電路架構下執行，成為特定處理器設計的一部分。 微程序设计技术，指的是用软件技术来实现硬件设计的一种技术。 韌體 奔騰浮點除錯誤...

奔騰4（Pentium 4，或簡称奔4或P4），Intel生產的第七代x86微處理器，是繼1995年出品的第六代P6架构Pentium Pro之後第一款重新設計過的處理器，這一新的架構稱做NetBurst，（此前的Pentium II、Pentium III及相应各版本的Celeron仍旧属于P6架构）。Pentium...

出孪生素数有无穷多个；但现在它收敛，我们就仍然不知道孪生素数是否有无穷多个。 证明所有素数的倒数之和发散 布朗篩法 奔騰浮點除錯誤─Thomas Nicely在研究布朗常數時發現的錯誤。 埃里克·韦斯坦因. 布朗定理. MathWorld.  Brun, V. "La serie...

使用内核启动选项“pti=off”可以部分禁用内核页表隔离。依规定也可对已修复漏洞的新款处理器禁用内核页表隔离。 熔毁 (安全漏洞) 幽灵 (安全漏洞) 奔腾浮点除错误 Corbet, Jonathan. KAISER: hiding the kernel from user space. LWN.net. 15...

一場公關災難，迫使Intel建立召回計畫來回收有問題的處理器，並導致Intel在1994年受到4.75億美元的損失，而導致此次公關災難的錯誤，即所謂的奔騰浮點除錯誤。 由于认识角度和理解的不同，不同学者对公共关系这个概念产生了不同的定义。20世纪70年代中期，美国著名的公共关系学者莱克斯·哈罗（Rex...

继续运算，直到正式预测是正确为止。假如预测错误的话那么在其中已经执行的指令要被推翻。尤其流水线非常长的处理器（比如英特尔的奔腾4或者IBM的PowerPC）在这种情况下要浪费许多时间。因此这些处理器拥有非常高级的分支预测技术，只有百分之一的分支预测会发生错误，其流水线需要清除。...