搜索梅森素數:意外發現Skylake處理器中存在Bug

2020-11-23 環球網

【環球科技報導】美國密蘇裡中央大學數學教授柯蒂斯·庫珀通過參與「網際網路梅森素數大搜索」(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位。

(作者為澳大利亞國立大學博士後 趙世友)

相關焦點

  • 《愛情公寓1》中的1處bug,到第五季,被陳美嘉一句話填了坑
    《愛情公寓1》中的1處bug，到第五季，被陳美嘉一句話填了坑《愛情公寓》這部電視劇還真的是給大家帶來了非常多的歡喜，而且從頭到尾出現了非常多無釐頭的臺詞和表情，但是大家卻發現他們在裡面胡編亂造的東西，竟然在現實當中都會有相應的存在，讓很多人覺得這部電視劇的編劇根本就是神預言，而且在節目的最后里面
  • Dell EMC升級超級計算伺服器 支持GPU和Skylake處理器
    這個1U機架式C4130配置了2個至強E5-2600 v4處理器，最高1TB內存，最多4個GPU，例如NVIDIA Tesla P100s，或者4個協同處理器例如英特爾Phis，有2個後知PCIe插槽。此外這款伺服器還支持InfiniBand EDR、FDR以及NVIDIA GPUDIRECT互聯。
  • 布朗常數與 CPU Bug以及孿生質數
    後代的數學家發現，從1開始算，數字愈大，質數分布得愈稀疏；但奇特的是，儘管分布得再稀疏，但只要出現一個質數，就可以在它附近找到另一個質數，例如41和43、101和103、10007和10009，它們之間都相差2 。數學家將相差2的連續質數稱為"孿生質數"。
  • 世界中那麼多的bug,我們卻熟視無睹
    世界中最大的bug也許就是人們面對bug而熟視無睹，哪一個瞬間你覺得這個世界存在bug，而下一秒你又選擇了忽略。到一個陌生的地方，你覺得似曾相識，如夢如幻。我相信大部分人都遇到過這個bug，很多人不僅僅是環境一樣，就連接下來發生的事情都好像經歷過一樣，甚至每一個對話都絲毫不差。但我們卻最終選擇了忽視這段經歷，告訴自己，這是錯覺。
  • 人類的善於思考是人類進化中最大的bug
    埃隆馬斯克的思考力是他的bug嗎？任何系統都有修復bug的衝動和意願，馬斯克不過是幾百萬年中人類進化中的偶然因素，也是1700億人類中唯一的一位，和巨大的bug相比，算不得什麼。人類可能擁有上帝視角嗎？想得美！
  • bug什麼意思,網絡語言bug什麼意思,什麼是bug一起來看看
    大家在日常工作或者生活中經常會聽到bug這詞，例如遊戲bug,軟體bug以及程序bug,那麼bug究竟是什麼意思那，我們一起來看看吧。bug英文的意思是昆蟲蟲子，竊聽使人惱怒意思，但是網絡上經常說的遊戲或者軟體bug並不是這意思，這裡bug指電腦系統或程序故障，遊戲中的漏洞，軟體以及遊戲中的缺陷，很多程序在製作過程中就會出現很多漏洞bug,因為遊戲是電腦程式設計的，所以很多遊戲也會出現很多bug,尤其是新開發遊戲會有很多漏洞，破壞遊戲內的平衡，嚴重的程序漏洞，對我們電腦安全以及財富安全造成很大的影響
  • Intel隱藏許久的秘密:完全統治了X86處理器-Intel,X86,處理器,AMD...
    Intel在半導體歷史上的地位不需多說，跟普通消費者關係更大了，市面上80%以上的X86處理器都來自他們，但是Intel還有很多有趣的秘密不為人知。Intel公司名稱的由來Intel公司取名的問題不出意外成為第一個秘密，在國內這也是個老梗了，Intel官方也做過解釋。
  • 這個世界真的存在BUG嗎？越來越多的科學家認為我們活在虛擬中
    宇宙存在了138億年，而從幼發拉底河與底格裡斯河發源，人類歷史最古老文明的出現到現在也還不到萬年的時間。我們又如何確定自己不是未來生物模擬出來的程序呢？所以這第一個條件很簡單，人類在未來可以繼續存在下去，不會因為任何原因被毀滅掉。但是奇怪的是，宇宙存在了一百三十八億年，光恆星的數量就有上萬億億顆。按理說宇宙中應該早就遍布著像我們人類一樣的文明才對，甚至早就應該出現超越人類實現星際殖民的文明。
  • Mybatis中類型映射處理器詳解
    類型處理器因為無論是 MyBatis 預處理語句（PreparedStatement）中設置參數時，還是從結果集中取出一個值時， 都需要jdbc的數據類型和Java數據類型進行相互轉換，而類型處理器就是提供這個功能的，mybatis解析的源碼如下圖：typeHandlerElement
  • 流浪地球:電影存在這麼多Bug,原來可以這麼解釋,你發現了麼?
    流浪地球：這部電影存在這麼多Bug，原來都可以這麼解釋，你發現了麼？最近最火的國產科幻電影要屬流浪地球了，今天小編也蹭一波熱度找找流浪地球科技上的bug。先曬一下看電影的票根。第一個要講的就行星發動機的設定首先說原著，行星發動機是有一萬米高的，但是其實在電影中，發動機是沒有參照物做對比的，感覺並沒有那麼大，而且原著中其實是有護航編隊的，不單單只是一個領航員空間站的。會不會遇到三體艦隊那就是彩蛋了。
  • 紅警OL無限資源bug怎麼卡 無限資源bug教程
    紅警OL遊戲中有很多小夥伴們都不知道無限資源bug怎麼卡，那麼下面就由小編來為大家帶來無限資源bug
  • 哈佛教授意外發現,地球上可能存在第五度空間!
    我們現在所處的空間叫做三維空間，而大家知道時光隧道真的存在嗎？
  • 自動編程還能自主檢測Bug,有了機器編程人類可更專注於創造
    隨著異構時代的到來，海量數據由多樣化的專用處理器組合管理，系統功能日趨繁複，管理這些系統所需的軟體就越來越複雜，bug出現的可能性也越來越高。開發人員要花費越來越多的時間來修復bug，而不是編寫代碼。 寫代碼、改bug成了程式設計師996的工作核心；而軟體開發周期未知而漫長，怕是996都無法解決。
  • 哈佛教授意外發現:地球上可能存在第五度空間!
    我們現在所處的空間叫做三維空間，而大家知道時光隧道真的存在嗎？美國美女科學家 「麗莎藍道」實驗發現，五維空間真的有可能存在！從人類所在的三維空間，要透過怎麼樣的方式才能到達所謂五維空間？還有五維空間與時光隧道到底有什麼關係？帶大家來了解神秘的第五維空間。55.55.55...
  • 我們的宇宙有bug嗎?(上)
    bug是IT專業術語，本意是「臭蟲」，現在用來指代計算機系統、遊戲中的安全缺陷。有一種很有意思的平行宇宙理論，認為我們的宇宙就是一個計算機系統，那麼這個系統有沒有bug呢？我們有沒有可能利用它們呢？我們來看看物理學的發現。
  • 人類身體存在哪些 bug？
    但就目前的人類看來並非如此，本期我們就來講講人體依然存在的那些 bug。大家應該都有過這種經歷，在家光著腳走路，一腳碰到家具上，當時就牙齒一咬，定睛一看，大拇指腳指甲直接被撞得掀開一半，鮮血直流，慘不忍睹。
  • 科學家發現:鈉電池容量下降的原因在於意外存在的氫
    （圖源：UCSB官網）蓋世汽車訊 在日常生活中，我們的手機、筆記本電腦、混合動力汽車和電動汽車都離不開電池，電池為我們提供動力。現在，市面上最常用的是鋰離子電池，然而，用量增加可能導致鋰短缺，提升生產成本。作為潛在的替代品，鈉離子電池越來越受到關注。
  • 「好奇」號發現火星巖石中存在氮化物
    日前，美科學家分析「好奇」號火星車之前收集的樣本，發現了火星巖石中存在氮化物的證據。該研究結果發表在美國《國家科學院學報》上，也進一步支持了這顆貧瘠乾旱的紅色行星可能曾有適合生物居住環境的觀點。 　　雖然行星科學家一直在尋找有機碳，但我們也知道氮在生命中也扮演著不可或缺的角色，論文第一作者、美國國家航空航天局戈達德太空飛行中心行星地球化學家珍妮佛·斯特恩說。
  • 淺談《靈籠》的科幻武器可能的實現方式和存在的bug
    靈籠中出現了大量的科幻武器，比如燈塔，電磁槍，還有空中滑翔翼。都是非常炫酷的高科技了。現實中還沒有有實用意義的實物，但是還是可以通過一些細節，簡單推測一些武器的可能實現方式，不過只要是科幻的產物，多少有點注重外表而忽略了可行性，也可找出一些bug。
  • 人類會生病,這算不算人類基因中的一個bug?
    對一個碼農而言，bug是一件司空見慣的事情，碼農每天做的兩件主要工作，一件是敲代碼，另一件是找bug。找到bug怎麼辦？如果是已上線的產品，趕緊寫patch來修補，未上線的產品直接就重新編輯代碼。這是順理成章的事情。人類基因其實在本質上跟軟體的代碼沒有區別，那為什麼動手編輯人類的基因會引起如此之大的爭議呢？