发现Skylake处理器不为人知的Bug，梅森素数是个什么鬼

美国密苏里中央大学数学教授柯蒂斯·库珀通过参与"互联网梅森素数大搜索"(GIMPS)项目，最近找到了第49个梅森素数2^74207281-1;该素数是目前人类已知的最大素数，它长达22338618位。这是一项重大的科技成就。

梅森素数(the Mersenne prime)是指形如2^P-1(其中指数P为素数)的特殊素数,它是数论研究中的一项重要内容,也是当今科学探索的热点和难点之一。而GIMPS是全世界第一个基于互联网的分布式计算项目;该项目希望联合所有的乐于奉献的数学爱好者们的计算机，使用Prime95或MPrime软件来搜索梅森素数。迄今人们通过GIMPS项目已经找到15个梅森素数;目前全球已有192个国家和地区60多万人使用超过120万核CPU参与这一超大型的科研项目。

梅森素数在当代具有重大意义和实用价值，它可以用来检测计算机处理器中是否存在Bug(漏洞)。例如，德国一名GIMPS项目参与者最近发现：当Intel Skylake处理器在执行Prime95应用来搜索梅森素数时，运算到指数P=14942209就出现了触发系统死机的Bug。有关专家认为，这个Bug轻则导致程序冻结，重则引发系统崩溃。目前英特尔公司承认存在该Bug并已经着手进行修复，该公司已经和多家硬件厂商进行合作通过BIOS(基本输入输出系统)升级方式来分发补丁修复。目前尚不清楚在其他应用中是否也会触发相应的问题;不过，英特尔公司表示相信该问题仅出现在Prime95应用上。华擎(ASRock)日前率先为自家Intel 100全系列芯片组主板推出了BIOS更新，以修复这个Bug。

Intel Skylake是英特尔公司的第六代Core处理器，这个全新一代的处理器与第五代Broadwell处理器一样使用14纳米工艺，但架构已经更新，单线程、多线程性能可提升10-20%;在核显图形方面，升级为第九代低功耗版，H高性能系列搭配顶级GT4e，U低压系列也有缓存，号称3D游戏性能提升最多50%。

Prime95是一款运行于Microsoft Windows中的开源软件，由创立GIMPS项目的计算机专家乔治·沃特曼编写;这款软件可以用来测试系统的稳定性。在所有的拷机软件中，Prime95是公认的最残酷的一款。它把负荷高得有点离谱的工作量加载在CPU身上，以此来考验CPU的承受能力。这种测试因其可以发现其他测试程序无法发现的稳定性问题而备受关注，更加被许多专业的计算机OEM制造商用来确定计算机的稳定性。

由上可见，通过搜索梅森素数，可以发现计算机存在的问题。其实，早在上世纪90年代，克雷公司、苹果公司、英特尔公司等就利用梅森素数来测试计算机的功能。有趣的是，1996年克雷公司计算机专家戴维?斯洛文斯基和保罗?盖奇在测试超级计算机Cray T94的运算速度时，还发现了一个超大梅森素数2^1257787-1，该素数长达378632位。