接着上一篇继续讲
发生异常会跳到异常向量表执行,但异常向量表里放的是一条跳转指令,调到哪里呢?
当然是中断异常处理函数,这部分源码很长,从999行一直到1127行,我们取其中一段分析(irq异常情况)
__stubs_start:
/*
* Interrupt dispatcher
*/
vector_stub irq, IRQ_MODE, 4
.long __irq_usr @ 0 (USR_26 / USR_32)
.long __irq_invalid @ 1 (FIQ_26 / FIQ_32)
.long __irq_invalid @ 2 (IRQ_26 / IRQ_32)
.long __irq_svc @ 3 (SVC_26 / SVC_32)
.long __irq_invalid @ 4
.long __irq_invalid @ 5
.long __irq_invalid @ 6
.long __irq_invalid @ 7
.long __irq_invalid @ 8
.long __irq_invalid @ 9
.long __irq_invalid @ a
.long __irq_invalid @ b
.long __irq_invalid @ c
.long __irq_invalid @ d
.long __irq_invalid @ e
.long __irq_invalid @ f
……此处省略n行
.LCvswi:
.word vector_swi
.globl __stubs_end
__stubs_end:
是不是想说什么玩意,刚开始我也想说,但别急,来分析一下上面的代码:
vector_stub irq, IRQ_MODE, 4 是个宏,定义在959行:
.macro vector_stub, name, mode, correction=0
.align 5
vector_\name:
.if \correction
sub lr, lr, #\correction
.endif
@
@ Save r0, lr_ (parent PC) and spsr_
@ (parent CPSR)
@
stmia sp, {r0, lr} @ save r0, lr
mrs lr, spsr
str lr, [sp, #8] @ save spsr
@
@ Prepare for SVC32 mode. IRQs remain disabled.
@
mrs r0, cpsr
eor r0, r0, #(\mode ^ SVC_MODE | PSR_ISETSTATE)
msr spsr_cxsf, r0
@
@ the branch table must immediately follow this code
@
and lr, lr, #0x0f
THUMB( adr r0, 1f )
THUMB( ldr lr, [r0, lr, lsl #2] )
mov r0, sp
ARM( ldr lr, [pc, lr, lsl #2] )
movs pc, lr @ branch to handler in SVC mode
ENDPROC(vector_\name)
.align 2
@ handler addresses follow this label
1:
.endm
将上面的展开之后,就出现了标号vector_irq,然后做保存现场、切换工作模式等工作
接下来的代码就是.long __irq_usr @ 0 (USR_26 / USR_32) 等,这段当中有用的只有
.long __irq_usr @ 0 (USR_26 / USR_32) // 在用户模式下发生中断异常
.long __irq_svc @ 3 (SVC_26 / SVC_32) // 在管理模式下发生中断异常
这些拷贝完成之后,就可以正常的异常处理工作了
假如在用户模式下发生了一个外部中断(irq异常模式),CPU会跳转到异常向量表取出
W(b) vector_irq + stubs_offset // 0x18
执行,它是一条跳转指令,会跳到上面解析出的标号vector_irq地方,然后执行,接着跳转到__irq_usr
__irq_usr:
usr_entry
kuser_cmpxchg_check
irq_handler
get_thread_info tsk
mov why, #0
b ret_to_user_from_irq
UNWIND(.fnend )
ENDPROC(__irq_usr)
这里有个irq_handler,它也是一个宏,看下它的定义
.macro irq_handler
#ifdef CONFIG_MULTI_IRQ_HANDLER
ldr r1, =handle_arch_irq
mov r0, sp
adr lr, BSYM(9997f)
ldr pc, [r1]
#else
arch_irq_handler_default
#endif
由于没有定义:CONFIG_MULTI_IRQ_HANDLER,所以简化下就是执行:arch_irq_handler_default
这有时一个宏,根据包含的头文件看出查找是定义在\linux-3.3\arch\arm\include\asm\entry-macro-multi.S中
.macro arch_irq_handler_default
get_irqnr_preamble r6, lr
1: get_irqnr_and_base r0, r2, r6, lr /* 这是一个宏,定义在\linux-3.3\arch\arm\include\asm\hardware\entry-macro-iomd.S
它会获取终端号存在r0里面*/
movne r1, sp
@
@ routine called with r0 = irq number, r1 = struct pt_regs *
@
adrne lr, BSYM(1b)
bne asm_do_IRQ
#ifdef CONFIG_SMP
/*
* XXX
*
* this macro assumes that irqstat (r2) and base (r6) are
* preserved from get_irqnr_and_base above
*/
ALT_SMP(test_for_ipi r0, r2, r6, lr)
ALT_UP_B(9997f)
movne r1, sp
adrne lr, BSYM(1b)
bne do_IPI
#endif
9997:
.endm
看到上面的asm_do_IRQ你是不是笑了,终于看到曙光了。它是中断的总入口函数,并传入了中断号,
下面的内核代码就不分析了,参见中断处理相关内容。
现在有一个疑问:刚才我们执行异常向量表的跳转指令:W(b) vector_irq + stubs_offset // 0x18
为什么跳转的地址是上面的这个,加上stubs_offset是什么意思,它又代表什么?
先找出stubs_offset的宏定义:
.equ stubs_offset, __vectors_start + 0x200 - __stubs_start
异常向量表使用了两种类型的跳转指令:
W(b) vector_und + stubs_offset
W(ldr) pc, .LCvswi + stubs_offset
对于B跳转指令的执行,是相对当前的PC值加上偏移地址,在重定位后,由于跳转指令所在位置
与将要跳转到的目的位置之间的相对位置偏移量发生了变化,故要加一个偏移量。例如:以前这
两个位置的相对偏移量是10,重定位后变成了15,那么在进行相对跳转的时候就要再加上偏移量5
对于ldr指令,它是绝对地址跳转,就是直接把要跳转的地址赋给PC,但是重定位后,要跳转的这个
绝对地址处的代码也发生了偏移,偏移量的值和上一种情况是一样的,因为LCvswi是随
__stubs_start一起进行重定位的(.LCvswi在__stubs_start~~__stubs_end段中定义)。
.LCvswi:
.word vector_swi
所以这两种情况都要加上一个偏移量stubs_offset,那么这个值是怎么计算出来的呢?
下面是网上一位仁兄的计算方法:
首先我们要知道,上面重定位的两部分代码,在重定位前后,其每部分内部的相对位置是没有发生变化的,
只是两部分之间的部分偏移发生了变化。
(irq_entry - _vectors_start) = (irq_entry’ - _vectors_start’) = V1 中断向量表
(vector_irq - _stubs_start) = (vector_irq’ - _stubs_start’) = V2 目的代码
重定位前:
irq_entry = _vectors_start + V1 IRQ向量表地址
vector_irq = _stubs_start + V2 IRQ跳转目的地址
跳转地址与目的地址间的偏移(相对地址):
P1 = (vector_irq - irq_entry) =(_stubs_start - _vectors_start) + ( V2 - V1)
重定位后:
irq_entry’ = _vectors_start’ + V1 IRQ向量表地址
vector_irq’ = _stubs_start’ + V2 IRQ跳转目的地址
跳转地址与目的地址间的偏移(重定位后相对地址):
P2 = (vector_irq’ - irq_entry’) =(_stubs_start’ - _vectors_start’) + ( V2 - V1)
由此可得出重定位后的相对地址和重定位前的相对地址变化量:
P = P2 – P1
= ((_stubs_start’ - _vectors_start’) + ( V2 - V1)) – ((_stubs_start - _vectors_start) + ( V2 - V1))
= 0x200 - (_stubs_start - _vectors_start)
= __vectors_start + 0x200 - __stubs_start
这节讲的是针对irq异常,根据之前的博文我们知道系统调用是产生swi异常的,下一篇博文就以系统调用来分析一下swi异常
阅读(3076) | 评论(0) | 转发(3) |