一区二区三区三上|欧美在线视频五区|国产午夜无码在线观看视频|亚洲国产裸体网站|无码成年人影视|亚洲AV亚洲AV|成人开心激情五月|欧美性爱内射视频|超碰人人干人人上|一区二区无码三区亚洲人区久久精品

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

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

3天內(nèi)不再提示

微內(nèi)核方法簡化測試和驗證

星星科技指導員 ? 來源:嵌入式計算設(shè)計 ? 作者:GREG ROSE ? 2022-11-01 10:53 ? 次閱讀
加入交流群
微信小助手二維碼

掃碼添加小助手

加入工程師交流群

在早期,我們生活在一個物理世界中。一切都以主管模式運行,很像公社。不幸的是,由于沒有領(lǐng)導者,很難維持秩序并遏制錯誤和惡意代碼,因此混亂和惡作劇隨之而來。只需要一個糟糕的指針就可以讓最先進的設(shè)備屈服,見證火星探測器及其與那塊蕁麻巖石的瘋狂遭遇。

進入單片操作系統(tǒng),我們開始使用內(nèi)存管理單元將應(yīng)用程序彼此隔離和內(nèi)核隔離。在監(jiān)控器模式下運行的內(nèi)核是老板,執(zhí)行控制和訪問物理地址(內(nèi)存和 IO)、切換應(yīng)用程序上下文、傳遞中斷等所需的所有特殊指令。

放置在自己的沙箱中的單個應(yīng)用程序可以根據(jù)內(nèi)核授予的功能自由執(zhí)行。但是,應(yīng)用程序彼此隔離,如果應(yīng)用程序行為不佳,MMU(警察)將阻止該行為傳播到其他應(yīng)用程序。單個應(yīng)用程序可能會崩潰,但整個系統(tǒng)將幸存下來。

新的獨裁政權(quán)為混亂和混亂帶來了秩序和安全,但像大多數(shù)中央集權(quán)政府一樣,它笨拙且效率低下。它是一堆代碼,所有服務(wù)(即TCP / IP堆棧,IPC機制)和硬件設(shè)備驅(qū)動程序都以最高級別的特權(quán)運行。因此,使用它們的每個應(yīng)用程序,無論多么非關(guān)鍵,都必須在最高設(shè)計保證級別(DAL)進行測試和驗證。對整體質(zhì)量的任何變化,無論多么小,都需要對整個質(zhì)量進行重新測試和重新驗證。

我們偉大國家的締造者預(yù)見到權(quán)力和權(quán)威集中的危險。是的,需要一個強大的中央機構(gòu)來提供國防和規(guī)范各州之間的商業(yè),但他們認識到,地方事務(wù)最好由最熟悉當?shù)厍闆r的人在當?shù)靥幚?。因此,?jīng)過一些斷斷續(xù)續(xù)的開始,我們的聯(lián)邦主義制度開始形成,某些列舉的權(quán)力授予中央聯(lián)邦政府,其余的權(quán)力委托給各州和人民。

顯然,創(chuàng)始人不僅僅是農(nóng)民、商人和政治家。他們是第一代有遠見的嵌入式系統(tǒng)開發(fā)人員,否則他們以無限的智慧如何預(yù)見到現(xiàn)代安全關(guān)鍵型微內(nèi)核,這是計算聯(lián)邦主義的體現(xiàn)。正如我們的祖先所設(shè)想的那樣,現(xiàn)代微內(nèi)核僅提供應(yīng)用程序所需的核心服務(wù),例如內(nèi)存映射、傳遞中斷和執(zhí)行全局規(guī)則。非關(guān)鍵服務(wù)(如 I/O 和網(wǎng)絡(luò))的驅(qū)動程序作為獨立的服務(wù)器實現(xiàn),每個服務(wù)器都映射到自己的地址空間。通過這種方式,設(shè)備驅(qū)動程序不僅與內(nèi)核隔離,而且與其他設(shè)備驅(qū)動程序和應(yīng)用程序隔離,從而最大限度地減少其故障影響。

微內(nèi)核方法還簡化了測試和驗證,不僅在初始設(shè)計階段,而且在將來的修改中。使用微內(nèi)核體系結(jié)構(gòu),驅(qū)動程序獨立于內(nèi)核,并在使用它的應(yīng)用程序的權(quán)限級別運行。此外,驅(qū)動程序只需經(jīng)過使用它的最高 DAL 應(yīng)用程序的設(shè)計保證級別的認證。這大大減少了設(shè)計和修改驅(qū)動程序和應(yīng)用程序所需的驗證和認證工作量。

另一天,我們將討論分布式設(shè)備驅(qū)動程序如何處理像 DMA 這樣的特權(quán)操作(非常酷,可以把它想象成為人民工作的國土安全部)。同時,為您的應(yīng)用程序提供一個分散的政府,分配權(quán)力和權(quán)限,以實現(xiàn)最大的安全性、可靠性和效率。為您的下一個安全關(guān)鍵設(shè)備購買微內(nèi)核操作系統(tǒng)。

審核編輯:郭婷

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

    關(guān)注

    15

    文章

    2706

    瀏覽量

    74376
  • 操作系統(tǒng)
    +關(guān)注

    關(guān)注

    37

    文章

    7152

    瀏覽量

    125590
  • 監(jiān)控器
    +關(guān)注

    關(guān)注

    1

    文章

    331

    瀏覽量

    27601
收藏 人收藏
加入交流群
微信小助手二維碼

掃碼添加小助手

加入工程師交流群

    評論

    相關(guān)推薦
    熱點推薦

    如何配置和驗證Linux內(nèi)核參數(shù)

    在Linux系統(tǒng)運維和性能優(yōu)化中,內(nèi)核參數(shù)(sysctl)的配置至關(guān)重要。合理的參數(shù)調(diào)整可以顯著提升網(wǎng)絡(luò)性能、系統(tǒng)穩(wěn)定性及資源利用率。然而,僅僅修改參數(shù)是不夠的,如何驗證這些參數(shù)是否生效同樣關(guān)鍵。
    的頭像 發(fā)表于 05-29 17:40 ?302次閱讀

    CAN芯片邏輯響應(yīng)驗證測試

    在CAN芯片研發(fā)階段,需要做諸多涉及通訊錯誤管理驗證的問題。在ISO-16845國際標準中,規(guī)定完善的測試標準,如錯誤幀檢測,傳輸幀相關(guān)檢測,錯誤管理邏輯驗證等,本文主要分享有效便捷的方法
    的頭像 發(fā)表于 04-30 18:24 ?234次閱讀
    CAN芯片邏輯響應(yīng)<b class='flag-5'>驗證</b><b class='flag-5'>測試</b>

    焊點剪切力測試必看:原理與流程全解析!

    本文介紹了利用Beta S100推拉力測試機進行焊點剪切力測試方法與應(yīng)用。Beta S100測試機具備高精度、多功能性及便捷操作的特點,
    的頭像 發(fā)表于 03-10 10:45 ?485次閱讀
    <b class='flag-5'>微</b>焊點剪切力<b class='flag-5'>測試</b>必看:原理與流程全解析!

    什么是燈具的耐壓測試方法?

    耐壓測試概念耐壓測試,亦稱為高壓測試,是一種通過在絕緣體兩端施加預(yù)定的高電壓并保持一定時間,通過監(jiān)測流經(jīng)絕緣體的電流大小來評估其絕緣性能的檢測方法。耐壓
    的頭像 發(fā)表于 01-03 16:59 ?733次閱讀
    什么是燈具的耐壓<b class='flag-5'>測試</b><b class='flag-5'>方法</b>?

    瑞芯平臺Android系統(tǒng)串口測試方法,觸覺智能RK3562開發(fā)板演示

    瑞芯方案主板Android系統(tǒng)串口測試方法,通用RK3568、RK3566、RK3588、RK3576等。觸覺智能RK3562開發(fā)板演示
    的頭像 發(fā)表于 12-24 11:51 ?946次閱讀
    瑞芯<b class='flag-5'>微</b>平臺Android系統(tǒng)串口<b class='flag-5'>測試</b><b class='flag-5'>方法</b>,觸覺智能RK3562開發(fā)板演示

    如何進行電子連接器的測試驗證

    電子連接器的測試驗證是確保其性能和質(zhì)量的關(guān)鍵步驟。以下是對電子連接器進行測試驗證方法: 一、測試
    的頭像 發(fā)表于 12-20 09:49 ?1550次閱讀

    納芯助力車載高速媒體傳輸芯片互聯(lián)互通測試驗證活動

    2024年12月2日至6日,“車載高速媒體傳輸芯片互聯(lián)互通測試驗證活動”在天津順利舉辦。本次活動由中國汽車芯片標準檢測認證聯(lián)盟(以下簡稱“中汽芯盟”)主辦,中汽研軟件測評(天津)有限公司、蘇州納芯
    的頭像 發(fā)表于 12-19 11:11 ?811次閱讀

    Verilog 測試平臺設(shè)計方法 Verilog FPGA開發(fā)指南

    Verilog測試平臺設(shè)計方法是Verilog FPGA開發(fā)中的重要環(huán)節(jié),它用于驗證Verilog設(shè)計的正確性和性能。以下是一個詳細的Verilog測試平臺設(shè)計
    的頭像 發(fā)表于 12-17 09:50 ?1145次閱讀

    BGA封裝的測試驗證方法

    隨著電子技術(shù)的發(fā)展,BGA封裝因其高集成度和高性能而成為主流的集成電路封裝方式。然而,由于其復雜的結(jié)構(gòu)和高密度的焊點,BGA封裝的測試驗證變得尤為重要。 1. 視覺檢查 視覺檢查是BGA封裝測試
    的頭像 發(fā)表于 11-20 09:32 ?2193次閱讀

    TTL電路的實驗與測試方法

    TTL電路的實驗與測試方法主要包括功能測試、性能測試和可靠性測試。以下是對這些測試
    的頭像 發(fā)表于 11-18 10:49 ?2452次閱讀

    想要驗證ADC,DAC的SNR和DR指標,可否推薦實際相應(yīng)的測試方法?

    1. 我們希望驗證ADC,DAC的SNR和DR指標,可否推薦實際相應(yīng)的測試方法?比如ADC,輸入是滿幅正弦波,輸出是24BIT數(shù)字,怎么計算SNR和DR? 2. 有無ADC的差分輸入的推薦電路? 多謝!
    發(fā)表于 11-07 07:06

    環(huán)路測試的接線方法及原因

    的控制環(huán)路)注入一個擾動信號(通常是頻率變化的正弦波信號),并觀察系統(tǒng)的響應(yīng)來評估其穩(wěn)定性和性能的測試方法。該測試方法主要用于驗證系統(tǒng)在各種
    的頭像 發(fā)表于 10-06 16:49 ?2703次閱讀
    環(huán)路<b class='flag-5'>測試</b>的接線<b class='flag-5'>方法</b>及原因

    簡化電池測試設(shè)備中的電壓和電流測量

    電子發(fā)燒友網(wǎng)站提供《簡化電池測試設(shè)備中的電壓和電流測量.pdf》資料免費下載
    發(fā)表于 09-23 11:57 ?0次下載
    <b class='flag-5'>簡化</b>電池<b class='flag-5'>測試</b>設(shè)備中的電壓和電流測量

    環(huán)路測試方法有哪幾種

    環(huán)路測試(Loop Testing)是一種軟件測試方法,它通過在軟件內(nèi)部創(chuàng)建循環(huán)來驗證程序的循環(huán)結(jié)構(gòu)是否正確。這種方法特別適用于
    的頭像 發(fā)表于 09-12 14:35 ?1795次閱讀

    Linux內(nèi)核測試技術(shù)

    。內(nèi)核測試技術(shù)是實現(xiàn)這一目標的關(guān)鍵手段。本文將詳細介紹 Linux 內(nèi)核測試的各種技術(shù),包括單元測試、集成
    的頭像 發(fā)表于 08-13 13:42 ?1301次閱讀
    Linux<b class='flag-5'>內(nèi)核</b><b class='flag-5'>測試</b>技術(shù)