继续上次的内容,在上次的分析中我们已经对SWI,FIQ,IRQ的流程有了一个大概的认识,下面继续对DataAbort和PrefetchAbort以及公共分发程序CommonHandler进行一下认识,完整异常处理的流程。

2-4 DataAbort服务程序     
   由数据异常触发,通常有三种指令引发数据异常,这些指令都是访存操作,而且都是由MMU的引入后才可能会发生的情况。1.LDR/STR指令.2.SWAP指令。3.LDM/STM指令。而MMU的失效类型又分为4种:存储访问失效、地址对齐失效、地址变换失效、域控制器失效、访问控制权限失效.因此当异常发生后,需要通过访问CP15来获知异常的产生具体原因和情况。mfc是微软的asmarm宏汇编器专用的宏指令,相当于mcr指令。数据异常和中断模式一样都有可能在互锁时发生,所以同样需要对执行互锁的情形进行处理。正常的情况下在保存完相关的寄存器后就会读取CP15的c6,c5,c13三个寄存器。这三个寄存器分别是失效地址寄存器(FAR)、失效状态寄存器(FSR)、进程号寄存器(这个翻译得不好PCP15)然后根据具体的失效类型来进行处理。在ARM处理器中对于CP15有三种地址类型,VA,PA,MVA。VA(virtual address)也就是我们通常说的虚拟地址或逻辑地址也就是通过CP15按照PT转换后的地址,而PA(physical Address)则是对应于AMBA上的地址,对应的是电气介质也就是物理地址。而MVA(Modified virtual address)则是对应于Cache和TLB中转换地址。

NESTED_ENTRY    DataAbortHandler 
        sub     lr, lr, #8                      ; repair continuation address 
        stmfd   sp!, {r0-r3, r12, lr} 
        PROLOG_END

sub     r0, lr, #INTERLOCKED_START 
        cmp     r0, #INTERLOCKED_END-INTERLOCKED_START 
        bllo    CheckInterlockedRestart 
        mfc15   r0, c6                          ; (r0) = FAR        
        mfc15   r1, c5                          ; (r1) = FSR 
        mfc15   r2, c13                         ; (r2) = process base address 
        
        ;  FAR=Fault address register 
    ;  CP = 15: CRn = 6, CRm = 0, op_1 = 0, op_2 = 0 
        ;  FSR=Fault status register 
        ;  CP = 15: CRn = 5, CRm = 0, op_1 = 0, op_2 = 0 
        ;  PCP15: PID  Process ID register 
    ;  CP = 15: CRn = 13, CRm = 0, op_1 = 0, op_2 = 0 
        
        tst     r0, #0xFE000000                 ; slot 0 reference? 
        orreq   r0, r0, r2                      ; (r0) = process slot based address 
        and     r1, r1, #0x0D                   ; type of data abort 
        cmp     r1, #0x05                       ; translation error? 
        movne   r0, #0 
        CALLEQ  LoadPageTable                   ; (r0) = !0 if entry loaded 
        tst     r0, r0 
        ldmnefd sp!, {r0-r3, r12, pc}^          ; restore regs & continue 
        ;********************************************************************* 
        ldr     lr, =KData-4 
        ldmfd   sp!, {r0-r3, r12} 
        stmdb   lr, {r0-r3} 
        ldmfd   sp!, {r0} 
        str     r0, [lr]                        ; save resume address 
        mov     r1, #ID_DATA_ABORT              ; (r1) = exception ID 
        b       CommonHandler

ENTRY_END DataAbortHandler

在DataAbort发生后c6中的数据保存的就是导致异常的MVA地址,通过windowsCE memory layout可以了解到,当前进程的运行空间是在slot0,也就是0x0-0x1fffffff的位置,事实上这个slot上的数据仅仅是实际进程的一个副本所以如果数据异常发生在slot0就需要去找到进程所在的实际slot的存放地址,然后尝试将内核的页表复制到硬件实际使用的页表以达到恢复的目的。如果复制动作成功则返回,否则进入异常分发程序CommonHandler。 
2-5 PrefetchAbort服务程序 
   对于ARM处理器来说,由于其内部使用了哈佛结构---独立的数据的指令总线因此,在数据/指令的读取过程中产生的异常也就很自然地可以区分开来,本质上而言,这些异常都是同属于存储访问失败产生的异常,因此这些异常都由MMU相关,在ARM手册中DataAbort和PrefetchAbort都称为Memory abort。Prefetch也就是在预取指令的动作后产生的,当处理器运行到这个无效的指令时(这个无效与undefined exception中的不可识别不同,是指不存在或是无法得到)就触发该异常。所以不是所有的指令无效都产生异常,例如:一个分支程序指向一个不可访问的区域,而之前的分支指向另一个可访问区域时。后一个区域尽管预取无效但是由于该分支并不执行所以并不产生异常。所以prefetch的准确定义应该是prefetch and executes Abort:).在ARMV5指令集中BKPT也可以产生预取无效但由于这儿的ARM通常都是ARM9的,也就是使用ARMV4指令所以不讨论BKPT的情形。由于数据异常和指令异常同属存储异常而且两个异常不可能会相互中断所以在ARM的设计上这两个异常使用同一组寄存器abort组。

ALTERNATE_ENTRY PrefetchAbort

sub     lr, lr, #0xF0000004  ;考察产生异常的地址是否在0xf0000000-0xf0010400   
        cmp     lr, #0x00010400    ;之间,如果是进入系统调用处理 
        bhs     ProcessPrefAbort      ;->>正常的预取异常 执行ProcessPrefAbort 
    ...       
ProcessPrefAbort 
        add     lr, lr, #0xF0000000             ; repair continuation address 
        stmfd   sp!, {r0-r3, r12, lr} 
  
        mov     r0, lr                          ; (r0) = faulting address 
        mfc15   r2, c13                         ; (r2) = process base address 
        tst     r0, #0xFE000000                 ; slot 0 reference? 
        orreq   r0, r0, r2                      ; (r0) = process slot based address 
        CALL    LoadPageTable                   ; (r0) = !0 if entry loaded 
        tst     r0, r0 
        ldmnefd sp!, {r0-r3, r12, pc}^          ; restore regs & continue 
        ldmfd   sp!, {r0-r3, r12} 
        ldr     lr, =KData-4 
        stmdb   lr, {r0-r3} 
        ldmfd   sp!, {r0} 
        str     r0, [lr]                        ; save resume address 
        mov     r1, #ID_PREFETCH_ABORT          ; (r1) = exception ID 
        b       CommonHandler

下面来结合windowsCE的情形。PrefetchAbort就是该服务程序的入口,在程序的一开始将lr,也就是产生异常的地址+4(流水线导致)的地址减掉0xf000 0004并比较是否在0-0x10400之间,这是为什么呢?原来windowsCE除了使用PrefetchAbort服务程序作为正常的异常处理以外还使用这个异常作为系统调用的手段。通过0xf0000000-0xf0010400这段地址的预取异常来进行系统调用。我们下面看处理预取失败的情况,绕开系统调用的先不管。也就是ProcessPrefAbort的分支。 这个分支的内容就与上面DataAbort的内容一样了,我就不再重复了。

2-6异常分发 CommonHandler

到此为止我们已经了解了windowsCE对各个异常/中断模式下的处理情况已经基本做了一个了解,但是仍然有一些情况是送到CommonHandler来处理的,下面就对这个分发程序进行分析,完整windowsCE对整个异常流程的处理。 
  
        ALTERNATE_ENTRY CommonHandler 
        mrs     r2, spsr 
        msr     cpsr_c, #SVC_MODE:OR:0x80       ; switch to Supervisor mode w/IRQs disabled 
        ldr     r3, =KData                      ; (r3) = ptr to KData page 
在CommonHandler开始系统就转入Supervisor态来执行。

; Save the processor state into a thread structure. If the previous state was 
; User or System and the kernel isn't busy, then save the state into the current 
; thread. Otherwise, create a temporary thread structure on the kernel stack. 

;       (r1) = exception ID 
;       (r2) = SPSR 
;       (r3) = ptr to KData page 
;       Interrupted r0-r3, and Pc saved at (r3-0x14) 
;       In Supervisor Mode. 
        ALTERNATE_ENTRY SaveAndReschedule

and     r0, r2, #0x1f                   ; (r0) = previous mode 
        cmp     r0, #USER_MODE                  ; 'Z' set if from user mode 
        cmpne   r0, #SYSTEM_MODE                ; 'Z' set if from System mode 
        bne     %F50                            ; reentering kernel, save state on stack 
                        ; 现场保护分支 
                        ;发生异常前模态是否是用户态和系统态。FIQ/IRQ/SVC/Abort/Undef 
        ldr     r0, [r3,#pCurThd]               ; (r0) = ptr to current thread 
                            ; r0 =kData+pCurThd                           
        add     r0, r0, #TcxR4                  ; (r0) = ptr to r4 save 
                            ; r0 =kData+pCurThd+TcxR4 
                            ;THREAD_CONTEXT_OFFSET后的0x44bytes用于备份寄存器的内容 
        stmia   r0, {r4-r14}^                   ; save User bank registers                 
        **************************************************** 
        ; Save registers for fault from a non-preemptible state. 
50      sub     sp, sp, #TcxSizeof              ; allocate space for temp. thread structure 
        cmp     r0, #SVC_MODE 
        bne     %F55                            ; must mode switch to save state 
        add     r0, sp, #TcxR4                  ; (r0) = ptr to r4 save area 
        stmia   r0, {r4-r14}                    ; save SVC state registers 
        add     r4, sp, #TcxSizeof              ; (r4) = old SVC stack pointer 
        str     r4, [r0, #TcxSp-TcxR4]          ; update stack pointer value 
        b       %B10

55 
        msr     cpsr, r2                        ; switch to mode exception came from

add     r0, sp, #TcxR4                  ; (r0) = ptr to r4 save area 
        stmia   r0, {r4-r14}                    ; save mode's register state 
        msr     cpsr_c, #SVC_MODE:OR:0x80       ; back to supervisor mode 
        b       %B10                            ; go save remaining state

在进行统一的处理之前需要保存前态寄存器组的状态以便后面恢复,在用户态和系统态的情况下直接保存用户态的寄存器。同时上面可以看到到达50的条件是前一状态为FIQ/IRQ/SVC/Abort/Undef,也就是说为异常套嵌的情况,系统套嵌的情形前面已经处理过了。这里首先处理的是SVC下被套嵌的情形,上面可以看到SVC模式都是用于异常/中断后的具体事件处理(eg: HandleException),所以这个流程并不是独立存在的,因此当前寄存器就是前态寄存器,所以到这里需要重新计算stack指针的位置。而另外的FIQ/IRQ/Abort/Undef模式下的寄存器的保存则需要切换当前状态来进行,所以在进入真正的处理程序之前需要不同的分支来保存前态寄存器状态。可为什么前后都看不到System模式下的寄存器保存呢?这是因为系统态和用户态使用同一组寄存器所以保存用户态寄存器组就达到了现场保护了。这种设计完全是因为ARM分组寄存器的架构决定的,所以需要不同的处理。通过上面的处理所有的情况都已经统一的完成了现场保护的动作,下面就需要进一步处理这些异常了。 
10      ldmdb   r3, {r3-r7}                     ; load saved r0-r3 & Pc 
                        ;KData之前的16byte用作传递参数用 
                        ;所以每个异常句柄最后都由将r0-r3和PC送到这个位置。                
        stmdb   r0!, {r2-r6}                    ; save Psr, r0-r3 
        sub     r0, r0, #THREAD_CONTEXT_OFFSET  ; (r0) = ptr to Thread struct 
        str     r7, [r0,#TcxPc]                 ; save Pc 
        mfc15   r2, c6                          ; (r2) = fault address 
        mfc15   r3, c5                          ; (r3) = fault status 
    ;r0=&Kdata 
    ;r1=exception ID 
    ;r2=FAR 
    ;r3=FSR    
; Process an exception or reschedule request.

FirstSchedule 
20      msr     cpsr_c, #SVC_MODE               ; enable interrupts

CALL    HandleException 
        ldr     r2, [r0, #TcxPsr]               ; (r2) = target status 
        and     r1, r2, #0x1f                   ; (r1) = target mode 
        cmp     r1, #USER_MODE 
        cmpne   r1, #SYSTEM_MODE 
        bne     %F30                            ; not going back to user or system mode 
        ;System mode and user mode branch 
        add     r0, r0, #TcxR3 
        ldmia   r0, {r3-r14}^                   ; reload user/system mode registers 
        ldr     r1, =KData 
        msr     cpsr_c, #SVC_MODE:OR:0x80       ; disable all interrupts 
        ldrb    r1, [r1, #bResched]             ; (r1) = nest level + reschedule flag 
        cmp     r1, #1 
        mov     r1, #ID_RESCHEDULE 
        beq     %B20                            ; interrupted, reschedule again 
        msr     spsr, r2 
        ldr     lr, [r0, #TcxPc-TcxR3] 
        ldmdb   r0, {r0-r2} 
        movs    pc, lr                          ; return to user or system mode

HandleException是实际进行异常处理的函数,针对上面没有处理完的异常进一步分析并进行处理。这个函数是没有公开代码的,所以没有办法进一步深入下去。由于处理的异常类型比较多所以这个异常处理函数的代码量是相当大的,因此会耗费相对比较多的时钟周期,在之前的代码中我们都是在关闭中断的情况下进行异常处理,如果在这里还不打开中断的话整个异常处理过程会相当的长,这样会很大程度上影响系统的实时性,所以在这里调用HandleException之前是将中断重新打开的,待到处理完成再将中断关闭。对于这些异常,如果不能处理就只有两种情况:1.结束该进程/线程。2.挂起系统.第二种情况下挂起系统HandleException是不会返回的。因此,只有异常处理正常流程和结束线程的可能。对于返回的情况,这个时候如果返回触发异常的地址继续运行的话,仍然会导致异常,所以结束进程/线程都需要重新调度才能完成了。对于异常处理成功的情形,就不必调度了,直接就可以返回产生异常的地方继续执行。在这里还要考虑套嵌(这里仅仅是指系统模式和兼管模式的异常套嵌)的情形,也就是中断/异常已经进入调度状态又再次产生中断/异常,这个时候就强行取消上一次调度,进而重新调度.这用于调度过程中遇到异常恢复和剥夺的情况,如果不属于这种情况的话就直接恢复寄存器状态并且返回中断点继续执行。

; Return to a non-preemptible privileged mode. 

;       (r0) = ptr to THREAD structure 
;       (r2) = target mode

30    msr     cpsr, r2                        ; switch to target mode 
        add     r0, r0, #TcxR0 
        ldmia   r0, {r0-r15}                    ; reload all registers & return 
通过HandleException处理以后,已经完成了所有异常的处理,所以这里只是考虑反回的情况,由于这里不包含用户模式下的处理,所以这里处理的都是特权模式,完全可以访问kdata区域,这里就直接利用Kdata区域中的线程备份来完成恢复寄存器和返回。

windowsCE异常和中断服务程序初探(=)相关推荐

  1. windowsCE异常和中断服务程序初探

    windowsCE异常和中断服务程序初探 ---------by nasiry 转载请说明出处 1.中断/异常相量的装入和执行方式. 中断和异常都是异步发生的事件,当该事件发生,系统将停止目前正在执行 ...

  2. windowsCE异常和中断服务程序初探(-)

    1.中断/异常相量的装入和执行方式. 中断和异常都是异步发生的事件,当该事件发生,系统将停止目前正在执行的代码转而执行事件响应的服务程序.而事件服务程序的入口点就是中断/异常向量所在的位置.arm的中 ...

  3. 两篇文章说异常和中断之二

    一.基本概念 1.  产生的位置 发生的时刻 时序 中断 CPU外部 随机 异步 异常 CPU正在执行的程序 一条指令终止执行后 同步 2.由中断或异常执行的代码不是一个进程,而是一个内核控制路径,代 ...

  4. 中断技术之中断的定义,中断服务程序的设计方法,中断处理的过程以及中断向量表的建立

    一,中断的定义 在CPU执行程序的过程中,出现了某种紧急或异常的事件(中断请求),CPU需要暂时停止正在执行的程序,转去处理该事件(执行终端服务程序),并在处理完毕后,返回断点继续执行被暂停的程序,这 ...

  5. emwin之在中断服务程序中创建窗口的结果

    @2019-04-28 [小记] 使用emwin设计器生成的程序,将该窗口创建放在中断服务程序中出现奇怪现象,非死机但功能间歇性异常,将创建窗口程序放于普通程序中则工作正常 转载于:https://w ...

  6. 用C语言写ucos中断服务程序,在ARM处理器上移植uCOS II的中断处理

    uCOS II是一个源码公开.可移植.可固化.可剪裁和抢占式的实时多任务操作系统,其大部分源码是用ANSI C编写,与处理器硬件相关的部分使用汇编语言编写.总量约200行的汇编语言部分被压缩到最低限度 ...

  7. :I/O中断处理过程包括哪几个阶段?中断服务程序流程分为哪几部分?

    完整的中断处理过程分为 1)中断响应的事前准备: 系统要想能够应对各种不同的中断信号,总的来看就是需要知道每种信号应该由哪个中断服务程序负责以及这些中断服务程序具体是如何工作的.系统只有事前对这两件事 ...

  8. STM32的异常“、“中断”和“事件”区别和理解

    1 异常与中断(Cortex-M3) 1.1 异常与中断 原话:  Cortex‐M3 在内核水平上搭载了一个异常响应系统,支持为数众多的系统异常和外部中断.  其中,编号为 1-15 的对应系统异常 ...

  9. 操作系统:异常和中断详解

    1.异常 异常是指由CPU内部异常引起的意外时间,分为硬故障中断和程序性异常.         硬故障中断是由硬连线出现异常引起的,如电源掉电.存储器线路错误等.         程序性异常(也称软中 ...

最新文章

  1. linux epoll用法
  2. 破解网页禁止使用“复制”、“粘贴“
  3. 【总结】IE和Firefox的Javascript兼容性总结
  4. 文件数据云计算学习笔记---Hadoop HDFS和MapReduce 架构浅析
  5. linux ntp 'ntp_request.c'远程拒绝服务漏洞,NTP拒绝服务漏洞(CVE-2015-5146)
  6. 第三次学JAVA再学不好就吃翔(part76)--Collection类
  7. springcloud(七)-Feign声明式REST调用
  8. 腐蚀rust研究台抽奖_中石化青岛安工院专家分享延迟焦化装置的腐蚀风险分析!...
  9. Bootstrap 字体图标 Bootstrap Glyphicon Components
  10. Codeforces Round #381 (Div. 2)
  11. Hadoop完全分布式安装Kafka
  12. BZOJ2681 : 玩游戏2
  13. Atitit atiplat_reader 基于url阅读器的新特性
  14. html无节日为空,这个生死相拥的节日_311.Html
  15. iPhoneXR苹果手机中文电路原理图纸
  16. matlab亮度对比度调节公式,图像编辑之对比度调整(亮度对比度的算法公式)
  17. mac jupyter notebook 服务似乎挂掉了,但是会立刻重启的
  18. perl中tr的用法
  19. MySql模糊查询like通配符的使用
  20. dump文件深度分析

热门文章

  1. 安装vuejs全过程、淘宝镜像
  2. mac 上mysql_connect_Warning: mysql_connect(): No such file or directory 解决方案总结(操作系统: Mac)...
  3. Storage 使用
  4. 从0实现三层神经网络
  5. linux版本的redis bin,Linux下安装Redis4.0版本(简便方法)
  6. 计算机组装与维护配置清单作业,计算机组装与维护 作业汇.doc
  7. axios的数据请求方式及跨域
  8. struts2值栈,OGNL表达式,interceptor
  9. PHP的pm、pm.max_requests、memory_limit
  10. [剑指offer][JAVA]面试题第[34]题[二叉树中和为某一值的路径][回溯]