异常向量表的设定

ARM64的启动过程之(六):异常向量表的设定

作者:linuxer 发布于:2015-11-24 18:22 分类:ARMv8A Arch

一、前言

本文主要描述了4.1.10内核初始化过程中如何初始化异常向量表。当然,首先需要准备一些异常的基础知识,这主要在第二章,如果你非常熟悉ARM64的异常,那么可以忽略这个章节。 第三章描述了ARM64上各种形形色色的异常,第四章描述了ARM64上硬件提供的协助,最后一章描述了代码过程。

为了简化,本文对所描述的异常进行了限制:

1、所有的exception level的运行状态都是AArch64,不考虑异常发生在AArch32 excution state的时候

2、不考虑支持security extension,也就是说EL3状态的异常处理也不在本文描述

3、不考虑virtualization的支持,也就是说EL2的异常处理不会在本文描述

一句话总结,本文主要描述EL0和EL1这两个exception level下的异常向量表的设定。

 

二、 异常(exception)的基础知识

1、什么是异常(exception)?

对于ARM64而言,exception是指cpu的某些异常状态或者一些系统的事件(可能来自外部,也可能来自内部),这些状态或者事件可以导致cpu去执行一些预先设定的,具有更高执行权利的软件(也叫exception handler)。执行exception handler可以进行异常的处理,从而让系统平滑的运行。exception handler执行完毕之后,需要返回发生异常的现场。上面这段话非常的拗口,但是不要紧,当进入细节的时候一切会慢慢清晰起来,下面我们逐一介绍各种异常:中断(interrupt),abort,reset,异常指令……

2、exception level

上一节中,我们在定义异常的时候说道:一旦异常发生,系统(包括硬件和软件)将切换到具有更高执行权利的状态,对于cpu而言,就是exception level了,ARM64最大支持EL0~EL3四个exception level,EL0的execution privilege最低,EL3的execution privilege最高。当发生异常的时候,系统的exception会迁移到更高的exception level或者维持不变,但是绝不会降低。此外,不会有任何的异常会去到EL0。

对比是一个不错的学习方法,我们先看看ARM32的情况。对于ARM32而言,cpu可以处在各种processor mode下,例如User、FIQ、IRQ、Abort、Undefined、System,这些不同的mode又对应两种privilege level,non-privilege(user processor mode)和privilege(其他processor mode)。

来到ARM64,processor mode这个概念已经消失了,取而代之的是exception level,如果没有支持两个security state(但是支持虚拟化),那么ARM64有3个exception level,分别是:EL0(对应user mode的application),EL1(guest OS)和EL2(Hypervisor)。如果支持两个security state(但是不支持虚拟化),ARM64还是有3个exception level,分别是:EL0(对应trusted service),EL1(trusted OS kernel)和EL3(Secure monitor)。如果支持了虚拟化并且同时支持两种security state,那么ARM64的处理器可以处于4种exception level,具体如下(摘自wowo同学的文章里面的图片,^_^):

由于EL3是和安全相关的,目前linux kernel并不涉及这部分的内容,因此本文将不考虑EL3这个exception level。

2、异步异常(asynchronous exception)和同步异常(synchronous exception)

虽然异常各具形态,但是基本可以分成两类,一类是asynchronous exception,另外一类是synchronous exception。

asynchronous exception基本上可以类似大家平常说的中断,它是毫无预警的,丝毫不考虑cpu core感受的外部事件(需要注意的是:外部并不是表示外设,这里的外部是针对cpu core而言,有些中断是来自SOC的其他HW block,例如GIC,这时候,对于processor或者cpu(指soc)而言,这些事件是内部的),这些事件打断了cpu core对当前软件的执行,因此称之interrupt。interrupt或者说asynchronous exception有下面的特点:

(1)异常和CPU执行的指令无关。

(2)返回地址是硬件保存下来并提供给handler,以便进行异常返回现场的处理。这个返回地址并非产生异常时的指令

根据这个定义IRQ、FIQ和SError interrupt属于asynchronous exception。

synchronous exception和asynchronous exception相反,其特点是:

(1)异常的产生是和cpu core执行的指令或者试图执行执行相关

(2)硬件提供给handler的返回地址就是产生异常的那一条指令所在的地址

synchronous exception又可以细分成两个类别,一种我们称之为synchronous abort,例如未定义的指令、data abort、prefetch instruction abort、SP未对齐异常,debug exception等等。还有一种是正常指令执行造成的,包括SVC/HVC/SMC指令,这些指令的使命就是产生异常。

3、precise exception

什么是precise exception呢?现代的cpu设计越来越复杂,各种pipe技术,各种cache技术,分支预测,multi-issue,out-of-order-execution等等,这些都让cpu core执行指令处于一个混沌的状态(主要是指不象sequential cpu 那么清晰),因此,当发生一个exception的时候,需要一个快刀来斩断那些处于各种纠缠中的乱麻一样的各种cpu以及memory的状态。这时候,我们需要选定一条指令,该指令之前的指令(不包括该指令)都已经全部执行完毕,修改了硬件上下文(cpu状态寄存器,各种通用寄存器,系统寄存器等等,memory hierarchy状态)。而该指令之后(包括该指令)的指令都没有执行(各种HW状态保持该指令之前状态),如果有执行的需要回退(exception的检测发生在流水线的write back stage,比较靠后,我们选定的那条指令应该在流水线的execute stage,是不是需要回退我也不知道,反正HW设计的时候需要考虑如何处理execute stage之后那些在流水线中的指令,确保硬件状态的一致性)。OK,快刀已经斩在了两条指令之间,让hardware context定格在这一刻,并把控制权转交给exception handler。

为何要定义precise exception呢?有什么用呢?无它,让生活变得简单一些(当然这里的生活不是去超市买东西,是指软件debug之类的程序员生活)。例如:这样exception handler返回现场就比较容易了。

在ARM64中,除了SError interrupt这种exception,其他的exception都是precise exception。

 

三、异常的分类

1、中断

中断主要有两种,physical interrupt和virtual interrupt(不在本文中描述)。physical interrupt是来自cpu core(或者叫做PE)外部一种信号,它包括下面三种类型:

(1)IRQ

(2)FIQ

(3)System error,简称SError

IRQ和FIQ是广大ARM嵌入式工程师的老朋友了,大家常说的中断实际上特指IRQ和FIQ,当然,实际上SError也是一种中断类型。IRQ和FIQ分别和cpu core的nIRQ和nFIQ这两根实际的信号线相关,interrupt controller收集各种来自外设的(或者来自其他CPU core的)中断请求,通过nIRQ和nFIQ的电平信号(active low)来通知cpu core某些外设的异步事件(或者来自其他CPU core的异步事件)。其中IRQ是普通中断,而FIQ是快速中断。由于中断来自cpu core的外部,可以在任何的时间点插入,和cpu core上执行的指令没有任何的关系,因此中断这种exception被归入asynchronous exception类别。

要想理解SError interrupt这个概念,我们需要先看看external abort这个术语。external abort来自memory system,当然不是所有的来自memory system的abort都是external abort,例如来自MMU的abort就不是external abort(这里的external是针对processor(而非cpu core)而言,因此MMU实际上是internal的)。external abort发生在processor通过bus访问memory的时候(可能是直接对某个地址的读或者写,也可能是取指令导致的memory access),processor在bus上发起一次transaction,在这个过程中发生了abort,abort来自processor之外的memory block、device block或者interconnection block,用来告知processor,搞不定了,你自己看着办吧。external abort可以被实现成synchronous exception(precise exception),也可以实现成asynchronous exception(imprecise exception)。如果external abort是asynchronous的,那么它可以通过SError interrupt来通知cpu core。

我的习惯是搞清楚一个术语的定义之后,下一个问题就是why,不过大部分的资料都不会讲why,因此在回答why的时候,往往没有那么权威,多半是自己的思考,不保证是正确的。为何要定义SError interrupt?当一个abort发生的时候,如果HW如果能够通过寄存器提供一些信息的话,那么事情还没有那么糟糕,例如return address给出了发生exception的具体的位置。从这个角度看,软件工程师更喜欢precise exception,毕竟知道导致异常的指令的位置,从而找到一些蛛丝马迹,让系统恢复。从这个角度看,根本就不应该存在SError interrupt这样的imprecise exception的鬼东西,HW没有提供有意义的信息,就只是两手一摊,反正在memory access的时候发生了system error,而且我也不知道是哪一条指令干的,这让软件工程师情何以堪呐。氮素,这只是事情的一个方面,从设计CPU的IC工程师角度看,他们更喜欢设计最快的处理器来完成自己的价值。SError interrupt是imprecise exception,允许更大的指令并发,因此性能更好。

2、reset

reset是一种优先级最高的异常,无法mask。系统首次上电,watchdog以及软件控制都可以让cpu core历经一次reset。reset有两种,一种是cold reset,另外一种是warm reset,它们之间唯一的不同是是否reset cpu core build-in的debug HW block。

3、abort

abort有两种,一种是和指令的执行有关,进入异常状态时候保持的返回地址精准的反应了发生异常的那一条指令,我们称之synchronoud abort。有同步就有异步,asynchronous abort(也就是上面描述的SError interrupt)和执行的指令无关,返回地址也不会提供abort时候的执行指令相关的精准信息。asynchronous abort和中断类似,只不过中断多半是来自外部(外设或者其他cpu core),而asynchronous abort来自外部memory system,源于bus上的一些错误,例如不可恢复的ECC error。

synchronoud abort有可能在cpu执行指令过程中的任何一步发生。例如在取指阶段失败,在译码阶段失败,在指令执行阶段等等。synchronoud abort和指令的执行过程有关,abort有可能在很早的阶段就被感知到,例如cpu core在将保存在memory系统中的指令读取到cpu core内部准备译码执行的时候就发现了错误,怎么办呢?由于指令还没有进入执行阶段(正在执行的是pipeline中的其他指令),因此不能触发exception,而是仅仅mark这个abort,一旦该指令在pipeline中到底execute stage,一次synchronoud abort被触发了。如果还没有执行cpu core就flush了这个pipeline(例如该指令的上一条指令是跳转指令),那么这次abort不会触发。

4、异常指令

对于ARM而言,system call被运行在non-privilege的软件用来向运行在privilege mode(例如linux kernel)的软件申请服务。来到ARM64,privilege包括了EL1/EL2/EL3,随之而来的是system call这个概念的扩展。从low privilege level都可以通过系统调用来申请higer privilege level的服务,因此,在ARM64中,能正常产生异常(不是abort)并申请拥有更高权利的软件服务的指令有三条:

(1)Supervisor Call (SVC)指令。类似于ARM时代的SWI指令,主要被EL0(user mode)的软件用来申请EL1(OS service)软件的服务。

(2)Hypervisor Call (HVC) 指令。主要被guest OS用来请求hypervisor的服务。

(3)Secure monitor Call (SMC) 指令,用来切换不同的世界,normal world或是secure world。

毫无疑问,SVC/HVC/SMC指令产生的异常属于synchronous exception。

 

四、ARM64为了异常处理提供了哪些帮助?

1、一旦发生了异常,处理器会切换到哪一个exception level?

对于ARM处理器,发生了不同的异常会进入不同的processor mode,例如发生了IRQ中断,处理器进入IRQ mode(privilege mode的一种)。对于ARM64,这个问题变成了处理器会切换到哪一个exception level?我们首先看reset和异常指令,因为这两个是最简单的。我们先看最简单的reset exception,当发生reset之后,处理处于那个EL呢?这个是和实现相关(实现的最高的EL是哪一个),一般而言,ARM64处理在reset的时候缺省会进入最高的那个exception level,例如如果处理器最高支持的EL是EL2,那么reset之后,系统就是处于EL2。对于那些正常通过system call产生的异常,处理器会切换到哪一个exception level这个问题也很好回答,SVC、HVC和SMC都有自己target exception level。

对于中断和abort,稍微有些复杂,这是通过各种寄存器可以进行配置的,具体参考ARM ARM文档。对于本文的场景,我们不支持EL2和EL3,因此exception的路由配置比较简单,大部分的异常都被路由到EL1来处理。

2、为了方便软件工程师处理各个exception level 的exception handler,PE提供了哪些寄存器的支持?

不同的exception level使用相同的general purpose registers,按64bit访问的话,寄存器是x0~x30共计31个寄存器,如果按照32bit访问的话,寄存器是w0~w30。

每个exception level都有自己的stack pointer register,名字是SP_ELx,当然,前提是处理器支持该EL。对于EL0,只能使用SP_EL0,对于其他的exception level,除了可以使用自己的SP_ELx,还可以选择使用SP_EL0。

当发生异常的时候,PE总是把当前cpu的状态保存在SPSR寄存器中,该寄存器有三个,分别是SPSR_EL1,SPSR_EL2,SPSR_EL3,异常迁移到哪一个exception level就使用哪一个SPSR。由于不会有异常把系统状态迁移到EL0,因此也就不存在SPSR_EL0了。在返回异常现场的时候,可以使用SPSR_ELx来恢复PE的状态。

当发生异常的时候,PE把一个适当的返回地址保存在ELR(Exception Link Register)寄存器中,该寄存器有三个,分别是ELR_EL1,ELR_EL2,ELR_EL3,异常迁移到哪一个exception level就使用哪一个ELR。同样的,由于不会有异常把系统状态迁移到EL0,因此也就不存在ELR_EL0了。在返回异常现场的时候,可以使用ELR_ELx来恢复PC值。

对于abort(包括synchronous exception和SError interrupt),ESR寄存器( Exception Syndrome Register)保存了更详细的异常信息。ESR寄存器有三个,分别是ESR_EL1,ESR_EL2,ESR_EL3。

3、如何定义exception handler?

系统有那么多异常,不同的异常有可以将处理器状态迁移到不同的exception level中,如何组织这些exception handler呢?第一阶是各个exception level的Vector Base Address Register (VBAR)寄存器,该寄存器保存了各个exception level的异常向量表的基地址。该寄存器有三个,分别是VBAR_EL1,VBAR_EL2,VBAR_EL3。

具体的exception handler是通过vector base address + offset得到,offset的定义如下表所示:

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

 

五、代码分析

对于linux kernel而言,它可以有两种情况:一种是做Hypervisor,另外一种是做Guest OS。linux kernel一般不会做Trusted OS,一般Trusted OS都是size比较小,比较轻盈的OS。因此,对于linux kernel而言,我们只要设定两个异常向量表:一个是做为guest OS(或者普通OS)的EL1 EL0的异常向量表,另外一个是for Hypervisor的EL2的异常向量表。

1、EL1的异常向量表。当发生一个异常,并且处理器迁移到了EL1这个exception level,那么该异常由EL1的异常向量表来决定如果跳转到相应的exception handler。具体代码如下:

    .align    11--------------------------------(1)
ENTRY(vectors)-------------------------------(2)
    ventry    el1_sync_invalid        // Synchronous EL1t--------------(3)
    ventry    el1_irq_invalid            // IRQ EL1t
    ventry    el1_fiq_invalid            // FIQ EL1t
    ventry    el1_error_invalid        // Error EL1t

    ventry    el1_sync            // Synchronous EL1h ----------------(4)
    ventry    el1_irq                // IRQ EL1h
    ventry    el1_fiq_invalid            // FIQ EL1h
    ventry    el1_error_invalid        // Error EL1h

    ventry    el0_sync            // Synchronous 64-bit EL0 --------------(5)
    ventry    el0_irq                // IRQ 64-bit EL0
    ventry    el0_fiq_invalid            // FIQ 64-bit EL0
    ventry    el0_error_invalid        // Error 64-bit EL0 
    ventry    el0_sync_invalid        // Synchronous 32-bit EL0 ------------(6)
    ventry    el0_irq_invalid            // IRQ 32-bit EL0
    ventry    el0_fiq_invalid            // FIQ 32-bit EL0
    ventry    el0_error_invalid        // Error 32-bit EL0
END(vectors)

(1)EL1的异常向量表保存在VBAR_EL1寄存器中(Vector Base Address Register (EL1)),该寄存器的低11bit是reserve的,11~63表示了Vector Base Address,因此这里的异常向量表是2K对齐的。

(2)exception vector table中有很多entry(否则也不会叫做vector table了),发生了异常具体选择哪一个entry需要考虑下面的这些因素:该exception从何而来?(对于本场景,exception只能来自EL0或者EL1),使用哪一个stack pointer?(SP_EL0还是SP_EL1),哪一种类型的异常?(synchronous exception、IRQ、FIQ还是SError interrupt)。

(3)异常向量表是分组的,每一组都包括四种类型的exception,分别对应synchronous exception(elx_sync or elx_sync_invalid),irq中断(elx_irq or elx_irq_invalid),fiq中断(elx_fiq or elx_fiq_invalid)以及SError中断(elx_error or elx_error_invalid)。这一组异常对应异常状态的迁移是EL1到EL1的迁移,并且选择使用了SP_EL0。对于linux kernel而言,这类exception vector实际上就是Invalid mode handlers。

(4)如果用大家熟悉的语言,其实这一段exception vectors可以这样表述:这些是异常发生在内核态(EL1)并且系统配置为内核处理这些异常(这些异常导致PE迁移到EL1)时候的异常向量。目前版本的ARM64代码还没有fiq和SError这两种异常的支持。fiq在ARM ARM文档中建议是在secure state世界中处理,因此没有出现在linux中是合理的,但是为何SError为何不处理呢?估计是因为SError是一种异步异常,硬件没有提供足够的信息恢复,因此linux只能是按照invalid mode来处理。

(5)异常发生在了用户态(EL0)并且该异常需要在内核态(EL1)中处理。

(6)同(5)不过发生异常的现场处于AArch32状态。

2、EL2的异常向量表。在本文的场景下(不支持虚拟化),实际上EL2的异常向量表没有存在的意义,如果硬件支持EL2,这时候,linux kernel可以做为hypervisor存在。启动的时候,在el2_setup函数中会设定一个dummy的EL2异常向量表(__hyp_stub_vectors)。当然,真正的EL2的异常向量表会在kvm初始化的时候完成设定。

 

六、参考文献

1、ARM ARM

2、Computer Architecture, A Quantitative Approach, 5th

3、DEN0024A_v8_architecture_PG.pdf

 

原创文章,转发请注明出处。蜗窝科技

标签: arm64exception

你可能感兴趣的:(KE/NE分析,异常向量表)