rcore day6

批處理系統?(Batch System) 出現于計算資源匱乏的年代,其核心思想是: 將多個程序打包到一起輸入計算機;當一個程序運行結束后,計算機會?自動?執行下一個程序

?

應用程序難免會出錯,如果一個程序的錯誤導致整個操作系統都無法運行,那就太糟糕了。?保護?操作系統不受出錯程序破壞的機制被稱為?特權級?(Privilege) 機制, 它實現了用戶態和內核態的隔離

?

本章在上一章的基礎上,讓我們的 OS 內核能以批處理的形式一次運行多個應用程序,同時利用特權級機制, 令 OS 不因出錯的用戶態程序而崩潰

?

?

特權級的軟硬件協同設計

實現特權級機制的根本原因是應用程序運行的安全性不可充分信任。如上一章的LibOS,應用和OS緊密連接,應用出bug,可能會連累OS,導致整個系統不可用

?

所以,限制應用程序運行在另外一個無法破壞操作系統的受限執行環境中:

  • 應用程序不能訪問任意的地址空間
  • 應用程序不能執行某些可能破壞計算機系統的指令

RISC-V 特權級架構

級別

編碼

名稱

0

00

用戶/應用模式 (U, User/Application)

1

01

監督模式 (S, Supervisor)

2

10

虛擬監督模式 (H, Hypervisor)

3

11

機器模式 (M, Machine)

級別的數值越大,特權級越高,掌控硬件的能力越強

到目前為止,(Hypervisor, H)模式的特權規范還沒完全制定好,所以本書不會涉及

M 模式軟件 SEE 和 S 模式的內核之間的接口被稱為?監督模式二進制接口?(Supervisor Binary Interface, SBI),而內核和 U 模式的應用程序之間的接口被稱為?應用程序二進制接口?(Application Binary Interface, ABI),當然它有一個更加通俗的名字——?系統調用?(syscall, System Call) 。而之所以叫做二進制接口,是因為它與高級編程語言的內部調用接口不同,是機器/匯編指令級的一種接口。事實上 M/S/U 三個特權級的軟件可分別由不同的編程語言實現。因此只有將接口下降到機器/匯編指令級才能夠滿足其跨高級語言的通用性和靈活性

執行環境的另一種功能是對上層軟件的執行進行監控管理。監控管理可以理解為,當上層軟件執行的時候出現了一些異常或特殊情況,導致需要用到執行環境中提供的功能,因此需要暫停上層軟件的執行,轉而運行執行環境的代碼。由于上層軟件和執行環境被設計為運行在不同的特權級,這個過程也往往(而?不一定?)伴隨著 CPU 的?特權級切換?。當執行環境的代碼運行結束后,我們需要回到上層軟件暫停的位置繼續執行

用戶態應用直接觸發從用戶態到內核態的異常的原因總體上可以分為兩種:其一是用戶態軟件為獲得內核態操作系統的服務功能而執行特殊指令;其二是在執行某條指令期間產生了錯誤(如執行了用戶態不允許執行的指令或者其他錯誤)并被 CPU 檢測到

復習之前知識

本文來自互聯網用戶投稿,該文觀點僅代表作者本人,不代表本站立場。本站僅提供信息存儲空間服務,不擁有所有權,不承擔相關法律責任。
如若轉載,請注明出處:http://www.pswp.cn/diannao/77202.shtml
繁體地址,請注明出處:http://hk.pswp.cn/diannao/77202.shtml
英文地址,請注明出處:http://en.pswp.cn/diannao/77202.shtml

如若內容造成侵權/違法違規/事實不符,請聯系多彩編程網進行投訴反饋email:809451989@qq.com,一經查實,立即刪除!

相關文章

Linux系統學習Day2——在Linux系統中開發OpenCV

一、OpenCV簡介 OpenCV(Open Source Computer Vision Library)是一個開源的跨平臺計算機視覺和機器學習庫,廣泛應用于圖像處理、視頻分析、物體檢測等領域。它提供了豐富的算法和高效的工具集,支持C、Python等多種語言&#xff0c…

SAP Overview

SAP—企業運營的數字化引擎 在數字化轉型的浪潮中,SAP以其全面的企業應用軟件套件,為全球企業提供了強大的運營支持。SAP的模塊化解決方案覆蓋了企業運作的每一個關鍵環節,從銷售到倉庫管理,每個模塊都是針對特定業務需求精心設計…

Kafka 中的冪等機制

Kafka 中的 冪等性(Idempotence) 是生產者端的重要機制,旨在確保即使在網絡抖動、重試、Broker 重啟等情況下,同一條消息不會被重復寫入到 Topic 中。這是實現可靠消息傳遞、避免重復消費的關鍵手段之一。 ? 什么是冪等性&#…

用c語言寫一個linux進程之間通信(聊天)的簡單程序

使用talk 用戶在同一臺機器上talk指令格式如下: ? talk 用戶名ip地址 [用戶終端號] 如果用戶只登錄了一個終端,那么可以不寫用戶終端號,如: talk userlocalhost可以使用who指令來查看當前有哪些用戶登錄,他的終端號…

深入探索Scala:從基礎到進階的全面總結

在大數據技術領域,Scala語言憑借其獨特優勢占據重要地位。它與Spark緊密相連,為大數據計算提供強大支持。今天,讓我們一同深入回顧Scala從基礎到進階的關鍵知識點。 Scala開發環境搭建是入門的第一步,需確保JDK安裝成功&#xff0…

【每日一個知識點】分布式數據湖與實時計算

在現代數據架構中,分布式數據湖(Distributed Data Lake) 結合 實時計算(Real-time Computing) 已成為大數據處理的核心模式。數據湖用于存儲海量的結構化和非結構化數據,而實時計算則確保數據能夠被迅速處理…

GPT-5、o3和o4-mini即將到來

原計劃有所變更: 關于我們應有何期待的一些零散想法。 深度研究(Deep Research)確實強大但成本高昂且速度較慢(當前使用o3模型)。即將推出的o4-mini在性能上可能與o3相近,但將突破這些限制,讓全球用戶——甚至免費用戶(盡管會有速率限制)——都能用上世界頂級AI研究助…

Spring Cloud LoadBalancer負載均衡+算法切換

目錄 介紹核心功能負載均衡啟動兩個支付服務訂單模塊引入依賴LoadBalanced 注解啟動訂單服務測試結果 負載均衡算法切換總結 介紹 Spring Cloud LoadBalancer 是 Spring Cloud 提供的客戶端負載均衡解決方案,提供更現代化的 API 和更好的 Spring 生態系統集成。它支…

Chrome 瀏覽器插件收錄

1. Responsive Viewer 可以在同個窗口內,針對同一網站,添加多個不同設備屏幕顯示。 在前端開發,需要多端適配,尤其是移動端響應式適配的網站開發中,可以同時測試多個不同屏幕的適配效果。 2. VisBug 提供工具欄&#x…

SQL 函數概述

SQL 函數概述 SQL 函數可以分為幾大類,不同數據庫系統可能有略微不同的實現。以下是主要的 SQL 函數分類: 1. 聚合函數 (Aggregate Functions) COUNT() - 計算行數 SUM() - 計算總和 AVG() - 計算平均值 MIN() - 找最小值 MAX() - 找最大值 GROUP…

MySQL學習筆記九

第十一章使用數據處理函數 11.1函數 SQL支持函數來處理數據但是函數的可移植性沒有SQL強。 11.2使用函數 11.2.1文本處理函數 輸入: SELECT vend_name,UPPER(vend_name) AS vend_name_upcase FROM vendors ORDER BY vend_name; 輸出: 說明&#…

認識vue中的install和使用場景

寫在前面 install 在實際開發中如果你只是一個簡單的業務實現者,那么大部分時間你是用不到install的,因為你用到的基本上都是別人封裝好的插件、組件、方法、指令等等,但是如果你需要給公司的架構做建設,install就是你避不開的一個…

【SpringCloud】構建分布式系統的利器

一、引言 在當今數字化時代,隨著業務規模的不斷擴大和用戶量的急劇增長,單體應用逐漸暴露出諸多局限性,如可擴展性差、維護困難等。分布式系統應運而生,而 Spring Cloud 則成為了構建分布式系統的熱門框架之一。它提供了一系列豐…

mkdir通配符詳解

在 mkdir 命令中使用通配符可以簡化批量創建目錄的操作。通配符如 {} 和 * 可以用來生成多個目錄名稱,從而減少重復輸入。以下是一些常見的使用方法和示例。 使用 {} 通配符 {} 通配符可以用來生成一系列的目錄名稱,語法如下: mkdir dir_{…

Transformer的Word Embedding

一、Transformer 中的詞嵌入是什么? 1. 定義與作用 ? 詞嵌入(Word Embedding):將離散的詞語映射為低維連續向量,捕捉語義和語法信息。 ? 在 Transformer 中的位置: ? 輸入層:每個詞通過嵌入…

Linux 進程間通信:信號機制

Linux 進程間通信:信號機制 在多進程操作系統中,進程之間的通信至關重要,尤其是在Linux系統中,信號(Signal)作為一種特殊的進程間通信方式,廣泛用于進程之間的協調和控制。信號可以看作是操作系…

基于TRIZ創新方法論的九屏法分析系統

1. 文件頭與庫導入 # -*- coding: utf-8 -*- import streamlit as st import pandas as pd import numpy as np import plotly.graph_objects as go from datetime import datetime from sklearn.ensemble import RandomForestRegressor ??作用??:設置文件編碼…

【LangChain框架組成】 LangChain 技術棧的模塊化架構解析

目錄 整體架構概述 整體架構層級劃分 模塊詳細解析 1. 部署與服務層(LangServe & Deployments) 2. 應用模板層(Templates & Committee Architectures) 3. 核心功能層(LangChain) 4. 社區擴展…

自定義數據結構的QVariant序列化 ASSERT failure in QVariant::save: “invalid type to save“

自定義數據結構放入QVariant,在序列化時拋出異常 ASSERT failure in QVariant::save: “invalid type to save” 自定義數據結構如struct MyData,除了要在結構體后面加 struct MyData { ... } Q_DECLARE_METATYPE(MyData)如果需要用到流的輸入輸出&…

vxe-table 啟用 checkbox-config.reserve 實現分頁復選框選擇功能、獲取已選數據的用法

vxe-table 啟用 checkbox-config.reserve 實現分頁復選框選擇功能、獲取已選數據的用法 查看官網:https://vxetable.cn gitbub:https://github.com/x-extends/vxe-table gitee:https://gitee.com/x-extends/vxe-table 效果 代碼 獲取已選擇…