色哟哟视频在线观看-色哟哟视频在线-色哟哟欧美15最新在线-色哟哟免费在线观看-国产l精品国产亚洲区在线观看-国产l精品国产亚洲区久久

0
  • 聊天消息
  • 系統消息
  • 評論與回復
登錄后你可以
  • 下載海量資料
  • 學習在線課程
  • 觀看技術視頻
  • 寫文章/發帖/加入社區
會員中心
創作中心

完善資料讓更多小伙伴認識你,還能領取20積分哦,立即完善>

3天內不再提示

看看4種不同類型的CPU漏洞

Codasip 科達希普 ? 來源:PhilippeLuc ? 2023-04-20 10:06 ? 次閱讀

在設計一個復雜的處理器內核時,可能會出現1000到2000個不等的bug,經驗告訴我們這是事實,盡管這個數字聽上去難以置信。而且并不是所有的bug都是一樣的:它們的重要性和帶來的后果有很大的不同。這期博文讓我們來看看4種不同類型的CPU漏洞,如何找到它們?以及如果我們沒有及時找到并擊中它們,對用戶來說會有著怎么樣的后果?

類型一:驗證工程師很容易發現的處理器漏洞!

類似在設計過程中忘記寫入一個分號的漏洞類型非常容易發現,它通常是在編譯時直接發現的。對于此類bug,除了睜大你的眼睛之外,沒有其他辦法來避免!

可能你會經常聽到同事說"哦,這個規范的一部分沒有被實現"。這其實是另一種極其容易發現的CPU漏洞,只要有一個明確的測試存在,你就可以用任何像樣的測試平臺找到它。在這種情況下,行使該功能的第一個簡單測試將失敗。那么此時處理器驗證團隊需要做什么?確保詳盡健全的測試方式方法是一方面。另一方面,設計團隊需要努力仔細閱讀規范,并在開發過程中隨時關注規范的任何變化。

換句話說,簡單的bug是指僅僅通過運行該功能的測試就能發現。它的(壞)行為是系統性的,而不是一個時間條件。詳盡的驗證是找到這種CPU bug的關鍵。代碼覆蓋率可以幫助你,但絕對不夠。如果一個功能沒有在RTL中編碼,覆蓋率也就不可能報告它的缺失?此時需要在規范明確的情況下執行代碼審查。

類型二:驗證團隊鐘愛的極端案例!

極端案例下的CPU漏洞找起來比較復雜,需要一個強大的測試平臺。行使該功能的簡單測試用例在有隨機延遲的情況下也可以通過。很多時候,當異步事件加入時,就可以發現這些bug。例如,一個中斷正好在兩條指令之間到達,時間很精確。或者當存儲緩沖區想要合并的時候,緩存中的一行被驅逐時。為了解決這些問題,我們需要一個測試平臺來處理指令、參數和延遲,從而使所有可能的指令和事件的交錯都得到鍛煉。很明顯,一個好的檢查器應該發現任何與預期不同的偏差項。

在這種情況下,不幸的是代碼覆蓋率完全沒用。僅僅是因為bug的條件是幾個事件的組合,而這些事件已經被單獨覆蓋。在這里,條件覆蓋或分支覆蓋可能會有幫助。但分析起來很痛苦,而且最終也不會有有效的結果。

870fff8e-df07-11ed-bfe3-dac502259ad0.gif

動畫顯示了4種類型的CPU bug演變過程

測試平臺已經發現了簡單的bug和幾個極端案例。

我們從這些極端案例中汲取經驗,以改進測試平臺并擴大驗證范圍。這樣做可以使我們發現隱藏漏洞,此時隱藏bug轉變為極端bug(或較容易的bug)。

隨著bug成群結隊的出現,我們可以根據最后發現的bug進一步擴大驗證范圍。

當我們遇到一個“愚蠢”的bug時,就意味著我們的驗證測試已經足夠有效了。

類型三:偶然發現的隱匿式CPU 漏洞--或由客戶發現的漏洞!

最壞的情況是如果這種隱藏的bug是由客戶發現的,或者是偶然發現的(團隊內部或在發布之前)。出現這兩種情況,這意味著目前的驗證方法不足以擊中它們。

如果使用不同的測試平臺或環境,因為刺激的不同可以找到其他的漏洞。那么我們所說的 "偶然發現 "是什么意思?這里涉及到隨機測試平臺方法的限制。

在隨機刺激下,測試平臺通常會產生 "相同 "的東西。如果你擲骰子得到一個隨機數,連續10次得到數字6的機會非常少。準確地說,是六千萬分之一的機會。對于有100條不同指令的RISC-V CPU來說,一個(可等價的)隨機指令發生器每10?次只有1次機會產生連續10次相同的指令,這種機率是魔方不同位置數量的兩倍...... 在一個10級流水線處理器上,用所有流水線階段的相同指令來測試它也不是不合理的。如果此時還不調整隨機約束,那么只能祝你好運...

類型四:在現實生活中不會出現的“silly bugs”!

如果我們把極端漏洞和隱藏漏洞看得太重,那么最終創建的測試或許有點徒勞。

在連接調試器時,每個周期來回改變字節數,這可能是永遠不會出現在消費者產品上的案例,如果一個CPU漏洞的后果對客戶來說是不可見的,那么它就不是一個真正的漏洞。如果你在復制文件時故意拔掉U盤,而導致文件被損壞,我認為這不是一個bug。如果某些操作導致USB控制器掛起,那么此時這是一個不容無視bug。

當我們試圖擴大驗證的范圍時,如果出現“silly bugs”,那么我們可能是在錯誤的地方投入了太多的努力。

872a9d3a-df07-11ed-bfe3-dac502259ad0.png

應用不同的驗證技術,在客戶之前有效地發現CPU漏洞,是Codasip應用的驗證方法。我們使用多個組件測試平臺,各種隨機測試生成器,隨機刺激器,以及其他一些技術來驗證我們的產品。并隨著項目的發展,發展完善這些技術以擁有一個強大的驗證方法。





審核編輯:劉清

聲明:本文內容及配圖由入駐作者撰寫或者入駐合作網站授權轉載。文章觀點僅代表作者本人,不代表電子發燒友網立場。文章及其配圖僅供工程師學習之用,如有內容侵權或者其他違規問題,請聯系本站處理。 舉報投訴
  • 處理器
    +關注

    關注

    68

    文章

    19259

    瀏覽量

    229653
  • 發生器
    +關注

    關注

    4

    文章

    1368

    瀏覽量

    61677
  • RTL
    RTL
    +關注

    關注

    1

    文章

    385

    瀏覽量

    59761
  • 調試器
    +關注

    關注

    1

    文章

    303

    瀏覽量

    23716

原文標題:四種不同類型的CPU 漏洞!

文章出處:【微信號:Codasip 科達希普,微信公眾號:Codasip 科達希普】歡迎添加關注!文章轉載請注明出處。

收藏 人收藏

    評論

    相關推薦

    菜鳥問題,求助不同類型處理方法~

    請問上面的情況如何解決呢?就是兩個不同類型的連線端如何連接到一起,或者如何改變為同類型的呢?小弟初學,謝謝您的幫助!
    發表于 07-23 10:08

    4個不同類型的子程序,怎么用條件結構連接?

    4個不同類型的子程序,怎么用條件結構連接,使每次只執行其中一個子程序呢?老是顯示部分選擇器值無對應分支,不知怎么連接?求助!
    發表于 05-24 14:18

    怎樣在labview中顯示兩同類型的計算器操作面板

    怎樣在labview中的前面板上顯示兩同類型的計算器操作面板,我不會設計前面板的切換,當程序運行起來以后,如何實現在前面板中切換模式(科學型、標準型)。{:4_107:}
    發表于 08-06 16:22

    同類型的開發板怎么用無線傳輸視頻呢?

    同類型的開發板,怎么用無線傳輸視頻呢??一個是stm32采集視頻,通過無線把采集的視頻傳輸到別的可以處理視頻的開發板上,各位大神有沒有思路啊????
    發表于 10-11 09:06

    請問labVIEW中怎么通過express XY圖對兩同類型的圖像同時進行顯示?

    `labVIEW中怎么通過express XY圖對兩同類型的圖像同時進行顯示?`
    發表于 02-20 22:17

    解讀不同類型伺服電機相應的控制原理是什么?

    伺服電機的特點有哪些?伺服電機有哪幾種類型?不同類型伺服電機相應的控制原理是什么?
    發表于 06-17 10:50

    支持CPU類型

    支持CPU類型 支持CPU類型是指能在該主板上所采用的CPU類型
    發表于 04-26 08:54 ?575次閱讀

    理解不同類型的時鐘抖動

    理解不同類型的時鐘抖動 抖動定義為信號距離其理想位置的偏離。本文將重點研究時鐘抖動,并探討下面幾種類型的時鐘抖動:相鄰周期抖動、周期抖動、時間間隔誤
    發表于 01-06 11:48 ?1811次閱讀
    理解不<b class='flag-5'>同類型</b>的時鐘抖動

    基于不同類型Flash-ROM的Bootloader設計

    基于不同類型Flash-ROM的Bootloader設計
    發表于 10-26 11:41 ?11次下載
    基于不<b class='flag-5'>同類型</b>Flash-ROM的Bootloader設計

    Intel披露一新的CPU安全漏洞

    和年初的Meltdown(熔斷)和Spectre(幽靈)漏洞類似,Intel披露了一新的CPU安全漏洞,攻擊目標是一級緩存,級別“高危”。
    的頭像 發表于 08-16 17:32 ?3499次閱讀

    cpu插槽類型有幾種_CPU插槽常見故障及解決

    大家都知道電腦最為核心的部分就是CPU了,CPU只有通過某個接口與主板連接的才能進行工作。CPU經過這么多年的發展,接口的方式多樣,目前CPU的接口都是針腳式接口,對應到主板上就有相應
    發表于 04-27 10:06 ?6188次閱讀

    最常見的網絡安全12漏洞掃描類型

    數據庫掃描技術主要用于評估數據庫系統的安全性,該類型會全面查找數據庫設置、訪問控制和存儲數據的漏洞,比如不安全的權限、漏洞注入問題或不安全的設置。這種掃描器需要經常提供用于保護數據庫和保護敏感數據的信息。
    發表于 07-12 12:41 ?1438次閱讀
    最常見的網絡安全12<b class='flag-5'>種</b><b class='flag-5'>漏洞</b>掃描<b class='flag-5'>類型</b>

    同類型網線都有哪些差異

    同類型的網線在速率上的差異主要取決于它們的類型和規格。
    的頭像 發表于 11-16 14:58 ?1108次閱讀

    同類型的存儲器介紹

    ROM、RAM、DRAM和SRAM都是計算機存儲技術的術語,它們代表了不同類型的存儲器,各自有不同的特性和用途
    發表于 04-15 10:54 ?1191次閱讀

    香港CPU服務器如何處理不同類型的數據傳輸?

    香港CPU服務器處理不同類型的數據傳輸通常涉及以下幾個方面: 1、網絡配置:服務器需要有適當的網絡配置,以支持不同類型的數據傳輸協議,如TCP/IP、HTTP/HTTPS、FTP等。 2、帶寬管理
    的頭像 發表于 05-21 17:23 ?345次閱讀
    主站蜘蛛池模板: 成人在线观看视频免费| 女人操男人| 99re久久热在线视频| 在线观看视频中文字幕| 在线播放av欧美无码碰| 97精品国产亚洲AV超碰| aa级毛片毛片免费观看久| 草莓AV福利网站导航| 大胸美女脱内衣黄网站| 国产乱子影视频上线免费观看| 国产自啪偷啪视频在线| 经典WC女厕所里TV| 全文都是肉高h文| 国产在线视频在线观看| 国模孕妇模特季玥之粉红| 黑丝美女被人操| 欧美亚洲另类丝袜自拍动漫| 色狼亚洲色图| 影音先锋av天堂| 成人国产三级在线播放| 精品久久久久久久久免费影院| 欧美三级aaa| 亚洲中文字幕在线第六区| 草莓AV福利网站导航| 回复术士勇者免费观看全集| 欧美视频毛片在线播放| 亚洲视频中文字幕在线| 成 人 网 站免费观看| 国产啪精品视频网免费| 欧美午夜特黄AAAAAA片| 亚洲精品自在线拍2019| 国产精品亚洲精品影院| 热久久综合这里只有精品电影| 在线高清电影理论片4399| 国产成人永久免费视频| 两个人在线观看的视频720| 午夜理论在线观看不卡大地影院| 99国产强伦姧在线看RAPE| 黑吊大战白xxxxxx| 亚洲精品m在线观看| 国产成人精品视频频|