[rCore學習筆記 015]特權級機制

来源:https://www.cnblogs.com/chenhan-winddevil/p/18301570
-Advertisement-
Play Games

寫在前面 本隨筆是非常菜的菜雞寫的。如有問題請及時提出。 可以聯繫:[email protected] GitHhub:https://github.com/WindDevil (目前啥也沒有 官方文檔 仍然是一上來就丟出來的官方文檔. 只摘抄了我覺得有意思的部分: 實現特權級機制的根本原因是應用程 ...


寫在前面

本隨筆是非常菜的菜雞寫的。如有問題請及時提出。

可以聯繫:[email protected]

GitHhub:https://github.com/WindDevil (目前啥也沒有

官方文檔

仍然是一上來就丟出來的官方文檔.

只摘抄了我覺得有意思的部分:
實現特權級機制的根本原因是應用程式運行的安全性不可充分信任。
由於二者通過編譯器形成一個單一執行程式來執行,導致即使是應用程式本身的問題,也會讓操作系統受到連累,從而可能導致整個電腦系統都不可用了。

包括之前做MCU開發的時候,實際上都是這樣的,也很難理解為什麼可以做到應用是應用,操作系統是操作系統,之前使用RT-ThreadMCU開發的過程中,如果出現某一個線程出現問題, 貌似 還是會出現整體的問題.包括能不能分別編譯,能不能實現安裝與卸載都是我對操作系統(Linux,windows)的刻板印象.

解決問題的方法:
應用程式不能訪問任意的地址空間(這個在第四章會進一步講解,本章不會涉及)
應用程式不能執行某些可能破壞電腦系統的指令(本章的重點)

有一部分指令不能在應用程式中執行,就可以保證操作系統出現問題嗎?怎麼體現呢?體現之後,那怎麼實現應用程式的功能呢?

具體實現指令分級的方法:
處理器設置兩個不同安全等級的執行環境:用戶態特權級的執行環境和內核態特權級的執行環境。且明確指出可能破壞電腦系統的內核態特權級指令子集,規定內核態特權級指令子集中的指令只能在內核態特權級的執行環境中執行。處理器在執行指令前會進行特權級安全檢查,如果在用戶態執行環境中執行這些內核態特權級指令,會產生異常。
為了讓應用程式獲得操作系統的函數服務,採用傳統的函數調用方式(即通常的 call 和 ret 指令或指令組合)將會直接繞過硬體的特權級保護檢查。為瞭解決這個問題, RISC-V 提供了新的機器指令:執行環境調用指令(Execution Environment Call,簡稱 ecall )和一類執行環境返回(Execution Environment Return,簡稱 eret )指令。

操作系統要做什麼:
硬體具有了這樣的機制後,還需要操作系統的配合才能最終完成對操作系統自身的保護。首先,操作系統需要提供相應的功能代碼,能在執行 sret 前準備和恢復用戶態執行應用程式的上下文。其次,在應用程式調用 ecall 指令後,能夠檢查應用程式的系統調用參數,確保參數不會破壞操作系統。

這張圖就很明瞭了,把原來的執行環境棧從特權級的架構去看待,那麼現在只需要在SBIABI兩部分做編程實現上述功能就可以了:

這裡也是比較重要的一點:
執行環境的另一種功能是對上層軟體的執行進行監控管理。監控管理可以理解為,當上層軟體執行的時候出現了一些異常或特殊情況,導致需要用到執行環境中提供的功能,因此需要暫停上層軟體的執行,轉而運行執行環境的代碼。

把一部分代碼放在操作系統里,這樣就實現了ABI,每次要執行為好到操作系統的操作的時候都需要操作系統親自執行,這樣如果出現錯誤,那麼一些錯誤就會被阻止.

因為M模式的內容是在SBI裡邊的,所以這一部分的內容專註於S模式和U模式的特權級切換.

可以看到,為了執行一部分需要在內核中使用的功能的時候就需要進行特權級切換,這裡官方文檔和常規控制流進行對比,把入校流程稱為 異常控制流

  1. 上層軟體執行過程中出現了一些異常或 特殊情況 , 需要用到執行環境中提供的功能
    1. 這裡可以看到雖然都叫做 異常 但是實際上有一部分情況是特殊情況需要使用執行環境中的功能,不能非黑即白地把 異常 理解為 壞的
    2. 用戶態應用直接觸發從用戶態到內核態的異常的原因總體上可以分為兩種
      1. 其一是用戶態軟體為獲得內核態操作系統的服務功能而執行特殊指令
        1. 指令本身屬於高特權級的指令,如 sret 指令(表示從 S 模式返回到 U 模式)
        2. 指令訪問了 S模式特權級下才能訪問的寄存器 或記憶體,如表示S模式系統狀態的 控制狀態寄存器 sstatus 等
      2. 其二是在執行某條指令期間產生了錯誤(如執行了用戶態不允許執行的指令或者其他錯誤)並被 CPU 檢測到
  2. 暫停上層軟體的功能,轉而運行執行環境的代碼 (伴隨 特權級切換 )
  3. 回到上層軟體暫停的位置繼續執行

配合下圖食用更加:


您的分享是我們最大的動力!

-Advertisement-
Play Games
更多相關文章
  • 1.簡單使用實例 1.1 添加log4net.dll的引用。 在NuGet程式包中搜索log4net並添加,此次我所用版本為2.0.17。如下圖: 1.2 添加配置文件 右鍵項目,添加新建項,搜索選擇應用程式配置文件,命名為log4net.config,步驟如下圖: 1.2.1 log4net.co ...
  • 最近在微軟商店,官方上架了新款Win11風格的WPF版UI框架【WPF Gallery Preview 1.0.0.0】,這款應用引入了前沿的Fluent Design UI設計,為用戶帶來全新的視覺體驗。 ...
  • 當你使用Edge等瀏覽器或系統軟體播放媒體時,Windows控制中心就會出現相應的媒體信息以及控制播放的功能,如圖。 SMTC (SystemMediaTransportControls) 是一個Windows App SDK (舊為UWP) 中提供的一個API,用於與系統媒體交互。接入SMTC的好 ...
  • 在C#中使用RabbitMQ做個簡單的發送郵件小項目 前言 好久沒有做項目了,這次做一個發送郵件的小項目。發郵件是一個比較耗時的操作,之前在我的個人博客裡面回覆評論和友鏈申請是會通過發送郵件來通知對方的,不過當時只是簡單的進行了非同步操作。 那麼這次來使用RabbitMQ去統一發送郵件,我的想法是通過 ...
  • 一個自定義WPF窗體的解決方案,借鑒了呂毅老師的WPF製作高性能的透明背景的異形視窗一文,併在此基礎上增加了滑鼠穿透的功能。可以使得透明窗體的滑鼠事件穿透到下層,在下層窗體中響應。 ...
  • 簡要介紹了一、時鐘體系 1、參考手冊 2、時鐘源3種 3、時鐘樹 4.時鐘詳解 HSE時鐘 HSI時鐘 鎖相環時鐘 系統時鐘 HCLK時鐘 PCLK1時鐘 PCLK2時鐘 RTC時鐘 獨立看門狗時鐘: 12S時鐘: 乙太網PHY時鐘: USBPHY時鐘: MCO時鐘輸出 系統時鐘配置函數Setsys... ...
  • 前言 又花了一塊rmb玩玄機。。。啥時候才能5金幣拿下一個應急靶機,只能說功底還沒到家,唯有繼續加油了。。。 簡介 賬號root密碼linuxrz ssh root@IP 1.有多少IP在爆破主機ssh的root帳號,如果有多個使用","分割 2.ssh爆破成功登陸的IP是多少,如果有多個使用","... ...
  • 痞子衡嵌入式半月刊: 第 104 期 這裡分享嵌入式領域有用有趣的項目/工具以及一些熱點新聞,農曆年分二十四節氣,希望在每個交節之日準時發佈一期。 本期刊是開源項目(GitHub: JayHeng/pzh-mcu-bi-weekly),歡迎提交 issue,投稿或推薦你知道的嵌入式那些事兒。 上期回 ...
一周排行
    -Advertisement-
    Play Games
  • 移動開發(一):使用.NET MAUI開發第一個安卓APP 對於工作多年的C#程式員來說,近來想嘗試開發一款安卓APP,考慮了很久最終選擇使用.NET MAUI這個微軟官方的框架來嘗試體驗開發安卓APP,畢竟是使用Visual Studio開發工具,使用起來也比較的順手,結合微軟官方的教程進行了安卓 ...
  • 前言 QuestPDF 是一個開源 .NET 庫,用於生成 PDF 文檔。使用了C# Fluent API方式可簡化開發、減少錯誤並提高工作效率。利用它可以輕鬆生成 PDF 報告、發票、導出文件等。 項目介紹 QuestPDF 是一個革命性的開源 .NET 庫,它徹底改變了我們生成 PDF 文檔的方 ...
  • 項目地址 項目後端地址: https://github.com/ZyPLJ/ZYTteeHole 項目前端頁面地址: ZyPLJ/TreeHoleVue (github.com) https://github.com/ZyPLJ/TreeHoleVue 目前項目測試訪問地址: http://tree ...
  • 話不多說,直接開乾 一.下載 1.官方鏈接下載: https://www.microsoft.com/zh-cn/sql-server/sql-server-downloads 2.在下載目錄中找到下麵這個小的安裝包 SQL2022-SSEI-Dev.exe,運行開始下載SQL server; 二. ...
  • 前言 隨著物聯網(IoT)技術的迅猛發展,MQTT(消息隊列遙測傳輸)協議憑藉其輕量級和高效性,已成為眾多物聯網應用的首選通信標準。 MQTTnet 作為一個高性能的 .NET 開源庫,為 .NET 平臺上的 MQTT 客戶端與伺服器開發提供了強大的支持。 本文將全面介紹 MQTTnet 的核心功能 ...
  • Serilog支持多種接收器用於日誌存儲,增強器用於添加屬性,LogContext管理動態屬性,支持多種輸出格式包括純文本、JSON及ExpressionTemplate。還提供了自定義格式化選項,適用於不同需求。 ...
  • 目錄簡介獲取 HTML 文檔解析 HTML 文檔測試參考文章 簡介 動態內容網站使用 JavaScript 腳本動態檢索和渲染數據,爬取信息時需要模擬瀏覽器行為,否則獲取到的源碼基本是空的。 本文使用的爬取步驟如下: 使用 Selenium 獲取渲染後的 HTML 文檔 使用 HtmlAgility ...
  • 1.前言 什麼是熱更新 游戲或者軟體更新時,無需重新下載客戶端進行安裝,而是在應用程式啟動的情況下,在內部進行資源或者代碼更新 Unity目前常用熱更新解決方案 HybridCLR,Xlua,ILRuntime等 Unity目前常用資源管理解決方案 AssetBundles,Addressable, ...
  • 本文章主要是在C# ASP.NET Core Web API框架實現向手機發送驗證碼簡訊功能。這裡我選擇是一個互億無線簡訊驗證碼平臺,其實像阿裡雲,騰訊雲上面也可以。 首先我們先去 互億無線 https://www.ihuyi.com/api/sms.html 去註冊一個賬號 註冊完成賬號後,它會送 ...
  • 通過以下方式可以高效,並保證數據同步的可靠性 1.API設計 使用RESTful設計,確保API端點明確,並使用適當的HTTP方法(如POST用於創建,PUT用於更新)。 設計清晰的請求和響應模型,以確保客戶端能夠理解預期格式。 2.數據驗證 在伺服器端進行嚴格的數據驗證,確保接收到的數據符合預期格 ...