1.前言
本文介绍异常相关内容,包括异常类型,异常进入,异常返回,异常层次结构,异常的路由等
2. RESET
- ARMV8体系结构支持两种类型的RESET
Cold reset:Reset PE所有的逻辑,包括集成的debug功能
Warm reset:Reset PE所有的逻辑,不包括集成的debug功能
注:ARMV8也支持外部debug reset
- Reset时pe进入最高的异常级别
- 运行状态
(1)Reset后最高异常级别可以选用任何一种运行状态
(2)cold reset由输入信号配置,warm reset由RMR_ELx.AA64配置
(3)如果reset后最高异常级别选用A64,则
a).选用SP_ELx
b).Reset向量的执行地址由厂商定义,RVBAR持有向量地址
3. 异常处理
3.1 AArch64 state异常处理流程
流程 |
说明 |
1、保存PSTATE 数据到SPSR_ELx,(x = 1,2,3) |
异常返回时需要从SPSR_ELx中恢复PSTATE |
2、保存异常进入地址到ELR_ELx,同步异常(und/abt等)是当前地址,而异步异常(irq/fiq等)是下一条指令地址 |
64位架构LR和ELR是独立分开的,这点和32位架构有所差别 |
3、保存异常原因信息到ESR_ELx |
ESR_ELx.EC代表Exception Class,关注这个bit |
4、PE根据目标EL的异常向量表中定义的异常地址强制跳转到异常处理程序 |
跳转到哪个EL使用哪个向量偏移地址又路由关系决定 |
5、堆栈指针SP的使用由目标EL决定 |
(SPSR_ELx.M[0] == 1) ? h(ELx): t(EL0) |
3.2 AArch32 state异常处理流程
流程 |
说明 |
1、PE根据异常类型跳转到对应的异常模式x, x = {und/svc/abt/irq/fiq/hyp/mon} |
PE跳转到哪一种模式通常由路由关系决定 |
2、保存异常返回地址到LR_x,用于异常返回用 |
LR也是对应模式的R[14]_x寄存器,32位系统下LR和ELR是同一个寄存器,而64位是独立的 |
3、备份PSTATE 数据到SPSR_x |
异常返回时需要从SPSR_x恢复PSTATE |
4、PSTATE 操作: PSTATE.M[4:0]设置为异常模式x PSTATE.{A,I,F} = 1 PSTATE.T = 1,强制进入A32模式 PSTATE.IT[7:2] = “00000” |
PSTATE.M[4]只是对32位系统有效,64为下是保留的,因为64位下没有各种mode的概念. 异常处理都要切换到ARM下进行; 进入异常时需要暂时关闭A,I,F中断; |
5、据异常模式x的向量偏移跳转到进入异常处理 |
各个mode有对应的Vector base addr + offset |
3.3 AArch64异常向量表偏移量
exception level迁移情况 |
Synchronous exception的offset值 |
IRQ和vIRQ exception的offset值 |
FIQ和vFIQ exception的offset值 |
SError和vSError exception的offset值 |
同级exception level迁移,使用SP_EL0。例如EL1迁移到EL1 |
0x000 |
0x080 |
0x100 |
0x180 |
同级exception level迁移,使用SP_ELx。例如EL1迁移到EL1 |
0x200 |
0x280 |
0x300 |
0x380 |
ELx迁移到ELy,其中y>x并且ELx处于AArch64状态 |
0x400 |
0x480 |
0x500 |
0x580 |
ELx迁移到ELy,其中y>x并且ELx处于AArch32状态 |
0x600 |
0x680 |
0x700 |
0x780 |
注:每个异常等级都有一个关联的 Vector Base Address Register (VBAR),它定义了每个异常等级向量表的基址 |
.
4. 异常返回
如下为AArch64 ERET异常返回流程:
1. 用ELR_ELx恢复PC值 |
2. SPSR_ELx恢复PSTATE值 |
注:ERET指令同时会为执行ERET指令的PE设置event register,reset local monitor |
5.异常层级控制
表 异常层级的控制
5.1 EL3异常层级系统寄存器控制
SCR_EL3 |
SCTLR_EL3 |
MDCR_EL3 |
|
NS:决定了EL1和EL0的安全状态; |
{A, SA}:使能对齐检查,A-EL3访问数据时做对齐检查;SA-EL3对SP做对齐检查; |
{EPMAD, EDAD}: 使能外部debugger访问; |
|
RW:决定了低一级的异常等级运行状态; |
{M, C, I, WXN}: 内存系统控制位; |
{SPME, SDD, SPD32}: 安全debug控制; |
|
{EA, FIQ, IRQ}:EA-SError和同步Aborts切换到EL3;FIQ-物理FIQ切换到EL3;IRQ-物理IRQ切换到EL3; |
EE:定义了端; |
{TDOSA, TDA, TPM}: 陷阱控制 |
|
SMD:禁用SMC; |
|||
HCE:使能Hypervisor call异常; |
|||
ST:使能secure EL1访问secure timer; |
|||
SIF:安装指令获取,当secure state禁止从non secuer内存取指; |
|||
TWI:陷入WFI; |
|||
TWE:陷入WFE |
5.2 EL2异常层级系统寄存器控制
HCR_EL2 |
SCTLR_EL2 |
MDCR_EL2 |
HSTR_EL2 |
RW:决定了低一级的异常等级运行状态; |
{A, SA}: 使能对齐检查 |
{TDRA, TDOSA, TDA}: |
Tn, for values of n in the set {0-3, 5-13, 15}: |
{AMO, IMO, FMO}:路由物理中断到EL2 |
{M, C, I, WXN}: 内存系统控制位; |
TDE:路由从非安全EL0 EL1 EL2来的debug异常 |
|
{VSE, VI, VF}:设置虚拟中断pending; |
EE:定义了端; |
{TPM, TPMCR}:陷阱控制; |
|
VM: |
HPMN: |
||
{SWIO, PTW, FB, BSU, DC, CD, ID}: |
|||
HCD Hypervisor Call Disable |
|||
{TRVM, TDZ, TVM, TTLB, TPU, TPC, TSW, TACR, TIDCP, TSC, TID1, TID2, TID3, TWE, TWI}: |
|||
TGE: Trap General Exceptions |
5.3 EL1异常层级系统寄存器控制
TLR_EL1 | MDSCR_EL1 | ||
{A, SA}: 使能对齐检查 |
{MDE, SS} | ||
{M, C, I, WXN}: 内存系统控制位; |
KDE: |
||
EE:定义了端; E0E:EL0端; UMA:非特权mask访问 |
TDCC: | ||
{SED, ITD, CP15BEN}: |
6. 同步异常类型、路由和优先级
6.1 同步异常类型
异常类型 |
描述 |
Undefined Instruction |
未定义指令异常 |
Illegal Execution State |
非法执行状态异常 |
System Call |
系统调用指令异常(SVC/HVC/SMC) |
Misaligned PC/SP |
PC/SP未对齐异常 |
Instruction Abort |
指令终止异常 |
Data Abort |
数据终止异常 |
Debug exception |
软件断点指令/断点/观察点/向量捕获/软件单步 等Debug异常 |
6.2 同步异常路由
如果HCR_EL2.TGE为1,None-secure EL0下的异常不会传递给None-secure EL1,而是直接传递给EL2
6.3 同步异常优先级
优先级 |
说明 |
1 |
单步异常 |
2 |
PC对齐错误异常 |
3 |
指令终止异常 |
4 |
断点异常或向量捕获异常?? |
5 |
非法执行状态异常 |
6 |
HSTR_EL2.Tn和HCR_EL2.TIDCP设置使得异常从EL1传递给EL2 |
7 |
指令未定义异常 |
8 |
除1-7外,通过设置HCR_EL2.TGE 为1,使得异常从EL1传递到EL2 |
9 |
设置HSTR_EL2.Tn和HCR_EL2.TIDCP使得异常从EL0传递到EL2 |
10 |
配置CPTR_EL2使得异常传递给EL2 |
11 |
通过配置HCR_EL2, other than the TIDCP bit 或 CNTHCTL_EL2 或MDCR_EL2使得异常传递给EL2 |
12 |
除1-11外,通过配置其它一些寄存器使得异常传递给EL2 |
13 |
SCR_EL3.SMD设为1,导致SMC指令未定义产生的异常 |
14 |
执行了异常产生指令而产生的异常 |
15 |
配置CPTR_EL3使得异常传递给EL3 |
16 |
AArch32 Secure EL1 trap到EL3指令的执行使得异常传递给EL3 |
17 |
配置MDCR_EL3使得EL0 EL1 EL2的异常都传递给EL3 |
18 |
除1-17外,通过配置其它一些寄存器使得异常传递给EL3 |
19 |
Trapped 浮点异常 |
20 |
SP对齐异常 |
21 |
数据终止异常,不是translation table walk产生的同步外部终止异常除外 |
22 |
Watchpoint异常 |
23 |
数据终止异常,由translation table walk产生的同步外部终止异常 |
7. 异步异常(中断)类型、路由和优先级
7.1 异步异常(中断)类型
类型 |
描述 |
SError or vSError |
系统错误类型,包括外部数据终止 |
IRQ or vIRQ |
外部中断 or 虚拟外部中断 |
FIQ or vFIQ |
快速中断 or 虚拟快速中断 |
7.2 异步异常(中断)路由
- AArch32与AArch64路由控制位对比
Execution State |
异步异常(中断) |
路由控制位(按优先级排列. 1允许 0禁止) |
AArch32 |
Asynchronous Data Abort (异步数据终止) |
SCR.EA HCR.TGE HCR.AMO |
IRQ or vIRQ |
SCR.IRQ HCR.TGE HCR.IMO |
|
FIQ or vFIQ |
SCR.FIQ HCR.TGE HCR.FMO |
|
AArch64 |
SError or vSError |
SCR_EL3.EA HCR_EL2.TGE HCR_EL2.AMO |
IRQ or vIRQ |
SCR_EL3.IRQ HCR_EL2.TGE HCR_EL2.IMO |
|
FIQ or vFIQ |
SCR_EL3.FIQ HCR_EL2.TGE HCR_EL2.FMO |
|
注:若HCR_EL2.TGE ==1所有的虚拟中断将被禁止,HCR.{AMO,IMO,FMO} HCR_EL2.{AMO,IMO,FMO}被当成1处理. |
- 最高异常级别使用AArch64异步异常路由规则
EL2和EL3都实现的路由规则 |
1. 若SCR_EL3.{EA, FIQ, IRQ} == 1,则所有相应的SError\FIQ\IRQ 中断都被路由到EL3; 2. 若HCR_EL2.{AMO, IMO, FMO} == 1,则EL1/EL0所有对应的SError\FIQ\IRQ中断都被路由到EL2,同时使能对应的虚拟中断VSE,VI,VF; 3. 若HCR_EL2.TGE == 1,那么会忽略HCR_EL2.{AMO, IMO, FMO}的具体值,直接当成1处理,则EL1/EL0所有对应的SError\FIQ\IRQ中断都被路由到EL2,同时禁止所有虚拟中断 注意: SCR_EL3.{EA, FIQ, IRQ}bit的优先级高于HCR_EL2.{AMO, IMO, FMO} bit优先级,路由优先考虑SCR_EL3 |
EL3实现,EL2没实现的路由规则 |
|
EL3没实现,EL2实现的路由规则 |
如上三条路由规则的流程图表示如下:
图 最高异常级别使用AArch64异步异常路由规则
7.3 异步异常(中断)mask
- 运行在AArch64 state的异常mask规则
当一个中断被mask,则这个中断发生时不会被传递 |
|
目标异常等级 < 当前的异常等级 |
中断自动被mask |
目标异常等级 == 当前异常等级相同 |
通过PSTATE.A(SError) PSTATE.I(IRQ) PSTATE.F(FIQ)来mask对应中断 |
目标异常级别 > 当前异常级别 |
|
如果本异常级别下PSTATE.{A, I, F}都设为1,则传递到本异常级别的任何中断都被mask |
- 最高异常级别使用AArch64时中断mask对中断路由的影响
实现了EL2和EL3的物理中断masking |
|
实现EL3但没有实现EL2的物理中断masking |
|
实现EL2但没有实现EL3的物理中断masking |
|
注: A---无论处理器状态mask为何值,中断发生时都会被传递 B---如果mask为1则中断发生时不会被传递,mask为0中断发生时会被传递 C---无论处理器状态mask为何值,中断发生时都不会被传递 |
7.5 虚拟中断规则
当HCR_EL2.TGE 为 0设置 HCR_EL2.{FMO, IMO, AMO}路由控制位为1使能对应的虚拟中断 |
当HCR_EL2.TGE为1所有的虚拟中断被禁用 |
虚拟中断只能从Non-secure EL0或Non-secure EL1传递到Non-secure EL1 |
当一个虚拟中断类型被使能时,虚拟中断可以通过如下几种方式产生:
当一个虚拟中断类型被禁用: 1. 这个虚拟中断不能被传递; 2. ISR_EL1中不会看到; |
7.6. 中断优先级与中断识别
同步事件之前如果有任何中断pending,中断将在同步事件之后的第一条指令前被捕获 同步事件包括如下: |
ISB指令的执行 |
异常进入 |
异常返回 |
退出debug状态 |
7.7. 多寄存器load/store期间发生异常的处理
Single-reg load/single-reg store |
Single load/single store访存期间发生的中断会被捕获处理 |
Multy-regs load/multy- regs store |
8.参考文档
[1] DDI0487A_k_armv8_arm_iss10775.pdf