ARMv8 - 安全机制 - 异常等级

news2024/11/18 15:30:34

简介

  • ARMv8架构处理器有一套异常等级(Exception level)机制,分成4个等级(EL0 ~ EL3)。
  • 处理器运行时会处于其中的某个等级并且可以进行等级切换。

资源差异

  • 每个异常等级都拥有一些自己版本的特殊寄存器,例如:system ctrl 寄存器(sctlr_el1,sctlr_el2 …),程序状态寄存器(SPSR_EL1,SPSR_EL3,…)。
  • 一些异常等级有些独有的特殊寄存器,例如:EL3 安全配置寄存器(Secure Configuration Register)(SCR_EL3),EL2 虚拟化配置寄存器(Hypervisor Configuration Register)(HCR_EL2)。
  • 处理器一般会使用当前异常等级的特殊寄存器来实现不同等级之间的物理隔离。

软件权限

  • 随着异常等级的提高,软件的访问权限也相应增加,因此异常等级又被称为安全等级。
  • 当处理器在某个异常级别执行的时候,处理器能够访问下面的资源:
  1. 可用于当前异常级别和当前安全状态的资源集。
  2. 在当前的安全状态下,所有更低异常级别上可用的资源。
  • 这意味着,异常等级为EL3时,处理器可以访问任何资源(包括安全状态和非安全状态下)。

初始等级

  • 处理器上电之后运行在最高的异常等级EL3,即bl1处于EL3。

异常等级切换

  • 该机制被命名为异常等级,是因为等级的切换只能通过同步异常实现,注意:不是通过中断实现的。
  • 异常级别切换只能通过软件触发同步异常,或者同步异常处理返回后。
  1. 软件触发同步异常时,异常级别增加或者保持不变。
  2. 同步异常处理返回时,异常级别减小或者保持不变。
  • 在发生异常即将进入或者从异常处理返回到另一个异常级别(包括异常级别不变的情况)时,待进入/返回的异常级别称之为目标异常级别。每个异常级别都有一个明确的目标异常级别,这个目标异常级别要么是默认定义的,要么是通过系统寄存器的相应bit定义的(注意没有异常级别的目标异常级别是EL0)。

软件触发同步异常

  • 软件想要进入更高的异常等级时就需要使用ARM提供的以下3个汇编指令触发同步异常。
  1. SVC(Supervisor Call)
  • 允许用户模式(EL0)下的程序请求os(EL1)服务,当用户空间程序通过系统调用陷入到内核空间的时候,最终是通过SVC指令进入到内核空间,即处理器异常等级从EL0切换成EL1。
  • 汇编指令
svc 
  1. HVC(Hypervisor Call)
  • 允许操作系统(EL1)请求虚拟化(EL2)服务
  • 当在ARMv8-A架构下,normal world, EL1尝试去访问EL2的时候,则会陷入到虚拟化层的,其中是通过HVC指令
  • HVC指令用于生成同步异常,该异常由EL2中运行的管理程序处理。
  • 参数和返回值通过寄存器传递,虚拟机监控程序还可以捕获住操作系统(EL1中的guest os)发出的SMC call,并且支持SMC call被模仿、传递给下一级或拒绝通过。
  • 汇编指令
hvc 
  1. SMC(Secure Moniter Call)
  • 允许EL1/EL2程序请求安全(EL3)服务
  • SMC 指令用于生成由EL3中运行的安全监视器代码处理的同步异常。
  • 参数和返回值都通过寄存器中传递,
  • 由安全监视器处理后指令可以传递给可信OS或安全软件堆栈中的某个其他实体。
  • 汇编指令
smc 

切换限制

  • 当处理器在EL0(运行应用程序)等级时,不能直接切换到EL2(管理程序)或EL3(安全监视器),只能先切换到EL1,调用内核处理再切换到更高等级。
  • 在操作系统内核(EL1),软件可以用HVC指令调用管理程序(EL2),或用SMC指令调用安全监视器(EL3),如果处理器有EL3(secure monitor)实现,EL3就能捕获到EL1的SMC请求,如果没有EL3实现,现象待确认。
  • 管理程序代码(EL2)中,程序可以用SMC指令调用安全监视器(EL3)。

image

异常处理返回

  • 处于高异常等级的软件处理完低异常等级软件的请求后,可通过 eret 切换到低异常等级。
  1. eret
  • 例如:bl31固件(secure monitor)处于EL3 收到其它异常等级的请求,处理完后, 可通过 eret 返回原有异常等级。
  • 汇编指令
eret 

默认软件模型

ELn应用范围
EL0运行普通用户程序
EL1操作系统或者一些特权函数
EL2运行虚拟化扩展的虚拟监控程序(Hypervisor Monitor)
EL3运行安全监控器(Secure Monitor)
  • EL0和EL1是必须实现的,EL2和EL3是可选的,而且实现的EL可以不连续,例如只实现了EL0、EL1和EL3。
  • 疑问:是否可以只实现EL1?例如:跑RTOS。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/699989.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

基于大数据技术对基金分析-python

提示:本文为个人原创,仅供技术探讨与交流,对实际投资并不造成建议。 基于大数据技术对基金分析-python 前言一、数据获取:python爬虫1).从天天基金数据接口获取数据2).爬虫前期准备3).爬虫具体实现 二、数据清洗及计算指标1.过滤数…

高性能计算工程师工资一般多少?

由于近两年深度学习的迅速崛起,超算互联网的普及以及AIGC的大规模应用,各行各业对高性能计算工程师的需求大涨,因此高性能计算工程师的工资也在逐年上涨中,并频频爆发抢人大战。 甚至年薪百万依然难以招到合适的人才。 有很多大厂…

Android JetPack 深入分析ViewModel源码

文章目录 前言源码分析ViewModel是如何创建的?ViewModelProvider(this)做了什么?小结 get(MyViewModel::class.java)做了什么?小结 ViewModel是如何实现配置更改后数据恢复的?整体时序图 结语 前言 本文主要分析ViewModel相关源码…

如何提高项目估算精准度 关键看3方面

项目估算非常重要,这直接关系着项目的成本和收入,如果估算不准确,将为项目带来较大风险。一般软件规模可以用多种方式进行估算,但是用功能点估算方式更准确,而自动估算让估算更快速,我们以CoCode需求分析工…

ChatGpt能够用来做什么

作为计算机从业人员,chatgpt能够从多方面提高大家的工作效率,主要包括以下几点: 技术问题解答:当遇到技术问题时,可以向ChatGPT提问并获取解答。ChatGPT可以提供相关的知识、文档和示例代码,帮助程序员快速…

vue2封装单张图片上传(常用于身份证正反面)

一.实现效果 二.入参 props: {defaultImg: {//默认位置的照片type: String,default: "",},uploadWidth: {//照片框的宽度type: String,default: "148px",},}, 另外如果修改了宽度的话,在外部组件需要用scss重写一下样式 /deep/ .el-upload-lis…

芯片中的上百亿个晶体管是如何设计的?

2021年4月21日,在芯片界的顶级会议Hot Chips大会上,Cerebras Systems公司发布了一款晶圆级引擎芯片——Wafer Scale Engine 2。 这款芯片采用台积电7纳米工艺制程,拥有85万个AI核心,包含2.6万亿个晶体管,面积为46225平…

Linux8.进程(中)(状态)

1.grep -v 关键字a :不显示关键字a匹配的信息。 2.进程状态 :新建,就绪,阻塞,挂起,执行,终止。 运行 : task_struct结构体在运行队列中排队,这就叫做运行态。 阻塞 :等待非CPU资源(磁盘,网卡…

科技云报道:公有云内卷时代,青云的新想象力在哪?

科技云报道原创。 2023年接踵而至的价格战,将国内公有云的竞争力度再次拉满。阿里云、腾讯云、京东云、移动云带头降价,也将寒意传导给了更多腰部云服务商。毫无疑问,这是一场对云服务商的残酷考验。 在公有云高度内卷的阶段,以…

kaggle新赛:肾脏血管分割大赛赛题解析(CV)

用AI为医疗贡献一份力量,从加入本次竞赛开始! 赛题名称:HuBMAP - Hacking the Human Vasculature 从人肾组织切片中分割微血管结构 赛题链接:https://www.kaggle.com/competitions/hubmap-hacking-the-human-vasculature 赛题背…

java 正则表达式总结

目录 一、简介 二、源码分析 1.简单实例 : 2.底层实现 : 1 fund()方法 2 group(0/1)方法 (1)group(0): (2)group(1): 三、 基本语法 1.元字符介绍 : 2.元字符—字符匹配符 : Δ代码演示 3.关于字母大小写问题 : Δ代码演示 4.元字符—定位符 : 1 定义 2 常用定位符 3…

图简介-数据结构和算法教程

介绍 图是由顶点和边组成的非线性数据结构。顶点有时也被称为节点,并且边是连接图中的任何两个节点的线或弧。更正式地说,一个图是由一组顶点(V)和一组边(E)组成的。该图表示为G(V,…

Win11的两个实用技巧系列之亮度条消的解决办法

Win11更新后无法调节亮度怎么办 Win11亮度条消的解决办法 Win11更新后无法调节亮度怎么办?win11系统升级以后,发现屏幕亮度不能调节,没有亮度调节按钮了,下面我们就来看看Win11亮度条消的解决办法 电脑更新后,亮度条消…

如何设计可以动态扩容缩容的分库分表方案?

对于分库分表来说,主要是面对以下问题: 选择一个数据库中间件,调研、学习、测试;设计你的分库分表的一个方案,你要分成多少个库,每个库分成多少个表,比如 3 个库, 每个库 4 个表&am…

SpringSecurity(五):前后端分离认证总结案例。

前后端分离认证总结案例 前言难点分析Controller层eneity层RoleUser dao层service层config层LoginFilterSecurityConfig resourcesmapper propertiespom.xml结尾 前言 和上一篇一样,从上倒下复制粘贴,所有代码贴完再运行,代码没有问题&#…

初步学习使用SpringBoot框架(手动插入数据模拟访问数据库)

对于SpringBoot框架介绍大家可以看看这个这篇文章,SpringBoot优缺点以及如何安装使用 以下我是按照老师给的安装方法进行安装使用SpringBoot框架: 大家安装SpringBoot框架时候,最好安装3.0以下的,不然需要对应较高版本的JDK版本&…

【Axure教程】拖动调整行高列宽的表格

表格是在系统软件中非常常用的工具。表格通常由行和列组成,用于以结构化的方式显示和组织数据。它们在各种场景中都有广泛的应用,包括数据分析、数据录入、报表生成、项目管理和数据可视化等领域。 今天作者就教大家如何在Axure里制作一个能通过鼠标拖动…

阿里巴巴最新 SpringCloudAlibaba 学习笔记,全程通俗易懂,一套搞懂!

Spring Cloud Alibaba 致力于提供微服务开发的一站式解决方案。此项目包含开发分布式应用微服务的必需组件,依托 Spring Cloud Alibaba,只需要添加一些注解和少量配置,就可以将 Spring Cloud 应用接入阿里微服务解决方案,通过阿里…

Visual C++中函数的覆盖和函数的隐藏

我是荔园微风,作为一名在IT界整整25年的老兵,今天来聊聊Visual C中函数的覆盖和函数的隐藏。 Visual C中函数的覆盖和函数的隐藏与JAVA有很大不同,有些容易搞错的点和概念,我们要特别注意。 首先,先满足一下急性子的…

【刷题笔记——链表专栏】牛客网:合并两个排序链表

【刷题笔记——链表专栏】牛客网:合并两个排序链表 一、题目描述 二、思路分析 1、创建新的头节点newHead(注意这一步) 2、循环遍历pHead1和pHead2并进行链表并进行合并,直到pHead1和pHead2其中有一个为null时结束循环 3、合并完…