|
|
EDA365欢迎您登录!
您需要 登录 才可以下载或查看,没有帐号?注册
x
摘要:本章将向读者依次解释中断概念,解析Linux中的中断实现机理以及Linux下中断如何被使用。作为实例我们第一将向《i386体系结构》一章中打造的系统加入一个时钟中断;第二将为大家注解RTC中断,希望通过这两个实例可以帮助读者掌握中断相关的概念、实现和编程方法。
9 [$ {4 E0 v& ` p! U; u: o
: ^5 ~" d) R* m+ z" B, e9 b中断是什么
4 ]8 \) M* Q' Q \. j$ o6 f) W+ z, p2 m0 m8 K' y+ h8 [
中断的汉语解释是半中间发生阻隔、停顿或故障而断开。那么,在计算机系统中,我们为什么需要“阻隔、停顿和断开”呢?$ I' }5 s# e0 [- h- r% }# B
) V+ n. X4 s5 i4 O举个日常生活中的例子,比如说我正在厨房用煤气烧一壶水,这样就只能守在厨房里,苦苦等着水开——如果水溢出来浇灭了煤气,有可能就要发生一场灾难了。等啊等啊,外边突然传来了惊奇的叫声“怎么不关水龙头?”于是我惭愧的发现,刚才接水之后只顾着抱怨这份无聊的差事,居然忘了这事,于是慌慌张张的冲向水管,三下两下关了龙头,声音又传到耳边,“怎么干什么都是这么马虎?”。伸伸舌头,这件小事就这么过去了,我落寞的眼神又落在了水壶上。7 [, B) _5 T( j2 i4 o: z! J
. {4 R$ U% E/ t2 P0 O+ J4 [门外忽然又传来了铿锵有力的歌声,我最喜欢的古装剧要开演了,真想夺门而出,然而,听着水壶发出“咕嘟咕嘟”的声音,我清楚:除非等到水开,否则没有我享受人生的时候。
' t9 K) D, O# }" u) d
8 O! `. C# c- w% `8 |6 [这个场景跟中断有什么关系呢?/ Z, ]8 N6 M1 e" r% h8 @3 k! F2 Q
! I6 \3 d0 q3 o$ Z/ J$ {" F如果说我专心致志等待水开是一个过程的话,那么叫声、电视里传出的音乐不都让这个过程“半中间发生阻隔、停顿或故障而断开”了吗?这不就是活生生的“中断”吗?# c* N5 j* l6 P% y3 A- U8 S
. }+ d2 R* F; r; z. b在这个场景中,我是唯一具有处理能力的主体,不管是烧水、关龙头还是看电视,同一个时间点上我只能干一件事情。但是,在我专心致志干一件事情时,总有许多或紧迫或不紧迫的事情突然出现在面前,都需要去关注,有些还需要我停下手头的工作马上去处理。只有在处理完之后,方能回头完成先前的任务,“把一壶水彻底烧开!”
: _: L$ u8 m; h! z+ p: u& @1 r; Y& I3 ?6 ^
中断机制不仅赋予了我处理意外情况的能力,如果我能充分发挥这个机制的妙用,就可以“同时”完成多个任务了。回到烧水的例子,实际上,无论我在不在厨房,煤气灶总是会把水烧开的,我要做的,只不过是及时关掉煤气灶而已,为了这么一个一秒钟就能完成的动作,却让我死死的守候在厨房里,在10分钟的时间里不停的看壶嘴是不是冒蒸汽,怎么说都不划算。我决定安下心来看电视。当然,在有生之年,我都不希望让厨房成为火海,于是我上了闹钟,10分钟以后它会发出“尖叫”,提醒我炉子上的水烧开了,那时我再去关煤气也完全来得及。我用一个中断信号——闹铃——换来了10分钟的欢乐时光,心里不禁由衷的感叹:中断机制真是个好东西。. s$ x9 Q/ m: d9 e6 q
3 W) S( G/ I0 j
正是由于中断机制,我才能有条不紊的“同时”完成多个任务,中断机制实质上帮助我提高了并发“处理”能力。它也能给计算机系统带来同样的好处:如果在键盘按下的时候会得到一个中断信号,CPU就不必死守着等待键盘输入了;如果硬盘读写完成后发送一个中断信号,CPU就可以腾出手来集中精力“服务大众”了——无论是人类敲打键盘的指尖还是来回读写介质的磁头,跟CPU的处理速度相比,都太慢了。没有中断机制,就像我们苦守厨房一样,计算机谈不上有什么的并行处理能力。
8 [* D5 \/ Q$ k% J. V% t5 ~; ~- y( K) _& v: V
跟人相似,CPU也一样要面对纷繁芜杂的局面——现实中的意外是无处不在的——有可能是用户等得不耐烦,猛敲键盘;有可能是运算中碰到了0除数;还有可能网卡突然接收到了一个新的数据包。这些都需要CPU具体情况具体分析,要么马上处理,要么暂缓响应,要么置之不理。无论如何应对,都需要CPU暂停“手头”的工作,拿出一种对策,只有在响应之后,方能回头完成先前的使命,“把一壶水彻底烧开!”- ]( g8 M0 ]& z* O0 N8 ~
4 ~1 m9 S' c1 R; M( E1 e& [: ^9 s2 ~4 `7 B, `( ?& \2 Z# Q9 D
先让我们感受一下中断机制对并发处理带来的帮助。
# z8 P5 Q5 y7 _$ L3 {! M" g; A% d( r5 F9 |. R) R
让我们用程序来探讨一下烧水问题,如果没有“中断”(注意,我们这里只是模仿中断的场景,实际上是用异步事件——消息——处理机制来展示中断产生的效果。毕竟,在用户空间没有办法与实际中断产生直接联系,不过操作系统为用户空间提供的异步事件机制,可以看作是模仿中断的产物),设计如下:
/ i7 Z2 b& G+ ]% L8 w) V6 \" G& |7 r3 M5 x' s/ N6 G
void StayInKitchen(), E# @9 v, n6 _3 [1 p
' t0 k& k/ V( K{8 \+ [8 Z3 u* P6 D9 T
& q8 J9 D5 t _6 Vbool WaterIsBoiled = false;- a$ f; \% t, ~ q: c
" ~/ f3 B7 d+ uwhile ( WaterIsBoiled != true )! W% @3 M" x' J2 B0 G
! f! S- C! E: n$ B2 v. Q$ [{' S0 U9 G7 g2 \; h. ]7 H* Y2 w
; @5 C( t2 W) @
bool VaporGavenOff = false;0 y1 v! C$ S# ~& O+ D6 \
- L7 _' _ o) F; x+ m if (VaporGavenOff )
& n- d3 d% v( H9 n; K2 U- j3 G0 b e) p3 s+ D3 l( P5 U1 e% {/ |
WaterIsBoiled = true;1 L0 P$ q9 J+ X$ [
5 c9 M3 T3 A/ q8 t/ A V
else
! X' ?8 e; R& q. Y n, {" z6 y k# F1 X# x
WaterIsBoiled = false;
% N9 |# u& U! p. ~; G4 a1 t9 `( A+ J. a- d
}
" J7 \$ D, z* g+ `# a: f9 m0 S+ J2 C
// 关煤气炉* y% n% [1 z) z9 s6 n
. v/ s- v7 q# R+ S5 ?2 N3 b. C+ tprintf(“Close gas oven.\n”);+ D9 A9 \! z9 l) {
( Y0 Q: ^2 i0 V) v; ^& a/ B0 f( M// 一切安定下来,终于可以看电视了,10分钟的宝贵时间啊,逝者如斯夫…
# z# n& ~% s! h E) M H" q+ H2 Z. v9 B* H2 T7 V3 Y9 S. f
watching_tv();
4 n4 W9 W! m0 Q- M N; u( I h! j& d- Q0 J. p# i, y
return;
: ^& `: ^+ o% n& V+ A( D( a q* d( B- r
}4 _% W) M7 R1 W) T$ }$ S6 Y
% ^, B. }+ q4 ~$ X可以看出,整个流程如同我们前面描述的一样,所有工作要顺序执行,没有办法完成并发任务。5 i- V( _( f( @# V
0 E, d3 M: Z8 Z: i* M( [
4 }( w8 M* d9 p) ]
3 d5 x& C( Z! A% u( c% r2 T
, h! A/ p( J& Y$ A如果用“中断”,在开始烧水的时候设定一个10分钟的“闹铃”,然后让CPU去看电视(有点难度,具体实现不在我们关心的范围之内,留给读者自行解决吧:>)。等闹钟响的时候再去厨房关炉子。# g$ s* \1 c" H8 ?' \+ }" N2 \
1 e j3 I3 X% h
#include <sys/types.h>
. j7 F& r* C/ z2 f0 m- r# w4 N; u) v h3 D
#include <unistd.h>, Q7 c% P* r5 i; K" v, `
, U1 s! E. p4 c( S5 [. n& o#include <sys/stat.h>
% J- z: ` `- f0 ?$ i! b# f2 z* S
0 l- T& E2 \( O, h F#include <signal.h>
- N( s, U' M8 _ S d! @. r: Z; W% G/ O) j4 S* t7 `. t; L
#include <stdio.h>
( D: d0 Y, p/ \2 I7 Y! c% {( m
2 c9 D5 w, ^ P6 Q. F
- ^/ y! X) d C" {9 H8 U! N+ P - a( l9 O/ M4 I& X# ^+ U8 E4 _' _: J
, H- d- |& m2 i& T5 n1 v8 ~// 闹钟到时会执行此程序
^. |# s0 W# o# p6 z7 S( m$ U0 X9 I# h/ a4 T% U
void sig_alARM(int signo)
; \5 E3 j6 C7 W* a* f4 z% ?
* _( T# o: v& H8 {6 J8 w. w{: ? D+ Z6 `; Y! @+ q
( J, m# n9 R$ _: o //关煤气炉8 [; X8 s1 z. d0 q
; {4 c- `. \4 o: l& X! M printf(“Close gas oven.\n”);/ ^, R3 ^# C' g6 M# }# @
! ]" {" M! b$ M. \5 q}
9 _- ~; s* k9 I$ n0 \/ ], o* X. @0 l. V, X& h! E
2 V! m3 \- J* @
% C3 I3 [3 g/ {6 E+ D* e, S
/ }1 c& `5 H, c% Z5 v7 s+ {
void watching_tv()
* N: G8 C8 y x0 u% ^( Y4 K$ j& z# {2 O" x* u7 Q$ d
{
@/ \& v" ?" z* R2 ~6 Z# f) J) o( ~9 [) h1 g( ~% m( P2 e: N
while(1)
3 S) @" U$ G! r1 H' g- O7 a, A: C1 U( `9 ~
{
2 O8 Z0 V' {7 x6 K1 X9 T
/ r2 }# I2 C6 H1 G8 X // 呵呵,优哉游哉8 p% S9 n8 t" r4 O
% n; s% g8 N+ f( A: |7 k* A" H
}
+ C k. w0 }9 f7 `
0 j0 x' i5 f" J; P}
; q5 c: m" ^. S/ N8 d7 v" w# W4 w5 [& r1 a9 f3 a" a. C$ [( e
5 O: q- m! G( ?- R; o2 j : z% _( M* w( n; o( l3 O
. {1 a& J2 L" ~7 |
int main()
7 `! [% x: x$ S; `3 L a% @: X3 t/ m; q+ v
{3 o. O. S. @4 L" I; z
+ o R& F3 H( ~" G// 点火后设置定时中断" w4 x$ N1 h$ V$ L& u
; U( K5 P3 v5 {9 s% g. |; Y2 G/ i
printf(“Start to boil water, set Alarm”);
* r+ F5 s# c! J d
/ T+ n# c& U+ h+ A& }3 M7 [if (signal( SIGALRM, sig_alrm ) == SIG_ERR)
# p# T m) h1 `4 J) h1 T. b% d
+ t2 u. Z& q6 \6 [+ i/ f5 U{
9 L" f2 f/ \$ e0 F
( V% U$ O$ O! z; r perror("signal(SIGALRM) error");
) v e6 D& e+ R; X
. m* H4 g* e U& @/ k) c- H/ x return -1;0 @9 I0 H3 q: v. t: a
, X; @8 n; U4 ?9 [0 s8 l3 d( R5 M
}. C7 L3 f" b( [5 j
4 ]5 ^5 _# T' ^9 Y3 U0 P# c u- @ ) e1 \6 g, v" a2 E/ }, r
/ M T6 V( @+ q2 b
// 然后就可以欣赏电视节目了
+ ]/ v8 w" S, p% Z/ n
# I4 s/ L4 _; I% u- t0 Z7 V printf(“Watching TV!\n”);
5 Y8 r3 e/ D: B4 f$ |! ]
5 m$ i3 Z- p% z' _. k' Y m$ m+ u0 J) J* C& G
) K5 I5 d! G) x5 {
0 c+ {- ?/ c+ ~9 d( ewatching_tv();
4 z1 f0 l) p6 W
0 S6 r, p& {* ]" H: s7 i
, J3 W3 m; ~3 g- ~ 1 b1 Q# Y( D0 d3 H% Y n
0 C! t2 r% @& n; D8 Z: G+ y0 ]
return 0;) B1 k0 x/ N0 `2 f" u8 b2 D
5 e& D" C$ o' @* T0 ]- K
}3 \8 D, ]) P% H( J/ }; b8 H$ z
' F" y( @$ `; m0 z* _2 o2 R
! m$ Q1 Q8 p, s' ^0 J' V& p
, T* Z& m) w0 s) c8 t' m# ~4 J
7 P. Z* a; @3 I; u2 T. L这两段程序都在用户空间执行。第二段程序跟中断也没有太大的关系,实际上它只用了信号机制而已。但是,通过这两个程序的对比,我们可以清楚地看到异步的事件处理机制是如何提升并发处理能力的。
5 |: Y5 x5 \& Y! j$ o+ j1 P8 y2 J! W4 h% C2 k5 D2 m3 E9 F
Alarm定时器:alarm相当于系统中的一个定时器,如果我们调用alarm(5),那么5秒钟后就会“响起一个闹铃”(实际上靠信号机制实现的,我们这里不想深入细节,如果你对此很感兴趣,请参考Richard Stevens不朽著作《Unix环境高级编程》)。在闹铃响起的时候会发生什么呢?系统会执行一个函数,至于到底是什么函数,系统允许程序自行决定。程序员编写一个函数,并调用signal对该函数进行注册,这样一旦定时到来,系统就会调用程序员提供的函数(CallBack函数?没错,不过在这里如何实现并不关键,我们就不引入新的概念和细节了)。上面的例子里我们提供的函数是sig_alarm,所做的工作很简单,打印“关闭煤气灶”消息。
3 a6 M9 P* g0 |% ~" H0 V y/ H7 O% L6 ~9 J
/ |0 V: l) w: Q3 n! h; s9 j) w
! Y( {2 N9 `! ]2 T
/ U) i1 W% p9 r# s上面的两个例子很简单,但很能说明问题,首先,它证明采用异步的消息处理机制可以提高系统的并发处理能力。更重要的是,它揭示了这种处理机制的模式。用户根据需要设计处理程序,并可以将该程序和特定的外部事件绑定起来,在外部事件发生时系统自动调用处理程序,完成相关的工作。这种模式给系统带来了统一的管理方法,也带来无尽的功能扩展空间。
5 t" g: ]8 m% R. v+ d" ?/ g2 j4 Z8 }3 j2 _$ D" u7 U$ O" r; ]; @9 Y, R' n! }
5 p5 l1 E2 t5 R S# k& ?# m% S- ~计算机系统实现中断机制是非常复杂的一件工作,再怎么说人都是高度智能化的生物,而计算机作为一个铁疙瘩,没有程序的教导就一事无成。而处理一个中断过程,它受到的限制和需要学习的东西太多了。
) }: K ^7 d' Z, \$ B' A* G3 h! _0 ^2 Y
首先,计算机能够接收的外部信号形式非常有限。中断是由外部的输入引起的,可以说是一种刺激。在烧水的场景中,这些输入是叫声和电视的音乐,我们这里只以声音为例。其实现实世界中能输入人类CPU——大脑的信号很多,图像、气味一样能被我们接受,人的信息接口很完善。而计算机则不然,接受外部信号的途径越多,设计实现就越复杂,代价就越高。因此个人计算机(PC)给所有的外部刺激只留了一种输入方式——特定格式的电信号,并对这种信号的格式、接入方法、响应方法、处理步骤都做了规约(具体内容本文后面部分会继续详解),这种信号就是中断或中断信号,而这一整套机制就是中断机制。
; s3 w* G6 |+ y. M" \
, g8 J! Y/ x- d其次,计算机不懂得如何应对信号。人类的大脑可以自行处理外部输入,我从来不用去担心闹钟响时会手足无措——走进厨房关煤气,这简直是天经地义的事情,还用大脑想啊,小腿肚子都知道——可惜计算机不行,没有程序,它就纹丝不动。因此,必须有机制保证外部中断信号到来后,有正确的程序在正确的时候被执行。* y, e5 y3 b- N: s7 G
" N4 a* N$ ]* z J2 U6 f; j6 ?- ^
还有,计算机不懂得如何保持工作的持续性。我在看电视的时候如果去厨房关了煤气,回来以后能继续将电视进行到底,不受太大的影响。而计算机则不然,如果放下手头的工作直接去处理“意外”的中断,那么它就再也没有办法想起来曾经作过什么,做到什么程度了。自然也就没有什么“重操旧业”的机会了。这样的处理方式就不是并发执行,而是东一榔头,西一棒槌了。
: b, Y o+ q6 z& x
+ H/ Q H! q7 V那么,通用的计算机系统是如何解决这些问题的呢?它是靠硬件和软件配合来协同实现中断处理的全过程的。我们将通过Intel X86架构的实现来介绍这一过程。
, M1 F! F1 z' s& J
; X; }' I# }6 R0 c2 U中断流程处理
! r5 Q9 ?+ m! @, m8 c
+ Z- G% ~) H3 L. x, k1 ?, YCPU执行完一条指令后,下一条指令的逻辑地址存放在cs和eip这对寄存器中。在执行新指令前,控制单元会检查在执行前一条指令的过程中是否有中断或异常发生。如果有,控制单元就会抛下指令,进入下面的流程:
9 U# ^* ]0 b7 ~9 Y$ g! g; t1 x l
3 R6 j5 j/ t% ~- W" O1. 确定与中断或异常关联的向量i (0£i£255)
- q* F2 q7 L4 J2 E' s1 |3 P8 x1 q* H& M0 n2 T
2. 寻找向量对应的处理程序* g) u9 Z' K# G0 }; ]
/ O8 I# T4 e" b0 }2 k3. 保存当前的“工作现场”,执行中断或异常的处理程序. |4 p3 Y$ s$ D+ y: e3 a0 o
% n2 Z4 _" ?6 r4. 处理程序执行完毕后,把控制权交还给控制单元- g0 A, L+ w% D D/ |. V
" Z. I8 a l; x# G0 ~" Z) G& D' c
5. 控制单元恢复现场,返回继续执行原程序' J* F" U: E4 C- p
9 K. S/ {# A9 g
整个流程如下图所示:
! G/ D" f4 [( d7 \6 _, r I5 b( z6 Q& z7 `
, w* B( _. U( U2 R
图一:中断处理过程* Y. O& P. ^' I8 N9 I$ \
: B& K3 J( V- `" p: ^0 L, C
让我们深入这个流程,看看都有什么问题需要面对。6 Y. q. L" d. H1 D `1 P3 j
( E6 |) K1 ^5 x% k! h9 H
1、异常是什么概念?
7 l% R5 C0 A7 i8 F+ X$ K; |2 Q% Y
7 F7 ]4 J) o* M& j4 o2 |8 ]# E在处理器执行到由于编程失误而导致的错误指令(例如除数是0)的时候,或者在执行期间出现特殊情况(例如缺页),需要靠操作系统来处理的时候,处理器就会产生一个异常。对大部分处理器体系结构来说,处理异常和处理中断的方式基本是相同的,x86架构的CPU也是如此。异常与中断还是有些区别,异常的产生必须考虑与处理器时钟的同步。实际上,异常往往被称为同步中断。
: G: |) {: I1 j6 U
% r$ a% T; R5 H, \7 s. |' H+ n5 z- r
' y8 p, F" M" \% Y
1 d4 [, k) b. ?' p9 L6 m2、中断向量是什么?
5 N* m$ l% D& }" N6 I% \7 K
8 o: W, ]; ~" f1 E& `, h# e- ?中断向量代表的是中断源——从某种程度上讲,可以看作是中断或异常的类型。中断和异常的种类很多,比如说被0除是一种异常,缺页又是一种异常,网卡会产生中断,声卡也会产生中断,CPU如何区分它们呢?中断向量的概念就是由此引出的,其实它就是一个被送通往CPU数据线的一个整数。CPU给每个IRQ分配了一个类型号,通过这个整数CPU来识别不同类型的中断。这里可能很多朋友会寻问为什么还要弄个中断向量这么麻烦的东西?为什么不直接用IRQ0~IRQ15就完了?比如就让IRQ0为0,IRQ1为1……,这不是要简单的多么?其实这里体现了模块化设计规则,及节约规则。3 y q) @; r9 X4 ]) ^/ k0 R
8 @$ ~- D" V3 S3 S. L
首先我们先谈谈节约规则,所谓节约规则就是所使用的信号线数越少越好,这样如果每个IRQ都独立使用一根数据线,如IRQ0用0号线,IRQ1用1号线……这样,16个IRQ就会用16根线,这显然是一种浪费。那么也许马上就有朋友会说:那么只用4根线不就行了吗?(2^4=16)。, h) B6 y/ ]3 w; a" @
1 G( S3 g( R4 o# O! L+ D, ?* y这个问题,体现了模块设计规则。我们在前面就说过中断有很多类,可能是外部硬件触发,也可能是由软件触发,然而对于CPU来说中断就是中断,只有一种,CPU不用管它到底是由外部硬件触发的还是由运行的软件本身触发的,应为对于CPU来说,中断处理的过程都是一样的:中断现行程序,转到中断服务程序处执行,回到被中断的程序继续执行。CPU总共可以处理256种中断,而并不知道,也不应当让CPU知道这是硬件来的中断还是软件来的中断,这样,就可以使CPU的设计独立于中断控制器的设计,这样CPU所需完成的工作就很单纯了。CPU对于其它的模块只提供了一种接口,这就是256个中断处理向量,也称为中断号。由这些中断控制器自行去使用这256个中断号中的一个与CPU进行交互,比如,硬件中断可以使用前128个号,软件中断使用后128个号,也可以软件中断使用前128个号,硬件中断使用后128个号,这与CPU完全无关了,当你需要处理的时候,只需告诉CPU你用的是哪个中断号就行,而不需告诉CPU你是来自哪儿的中断。这样也方便了以后的扩充,比如现在机器里又加了一片8259芯片,那么这个芯片就可以使用空闲的中断号,看哪一个空闲就使用哪一个,而不是必须要使用第0号,或第1号中断号了。其实这相当于一种映射机制,把IRQ信号映射到不同的中断号上,IRQ的排列或说编号是固定的,但通过改变映射机制,就可以让IRQ映射到不同的中断号,也可以说调用不同的中断服务程序。4 U, [ q9 I% z, [; |
$ C& i, m* ?5 A# F$ S& s+ r, w. ?! ~3 J4 a$ y3 }/ ?
5 p0 [+ `: _- Q# k" J5 S! v9 n& ~3 c% }# L: i1 X
3、什么是中断服务程序?
, S( x: e) ?" E& k3 u
$ @; |$ n' z9 d8 s8 v% t在响应一个特定中断的时候,内核会执行一个函数,该函数叫做中断处理程序(interrupt handler)或中断服务程序(interrupt service routine(ISR))。产生中断的每个设备都有相应的中断处理程序。例如,由一个函数专门处理来自系统时钟的中断,而另外一个函数专门处理由键盘产生的中断。
4 M. E& I! X$ e) r1 ]: N5 s: d+ J$ f% q) o
一般来说,中断服务程序要负责与硬件进行交互,告诉该设备中断已被接收。此外,还需要完成其他相关工作。比如说网络设备的中断服务程序除了要对硬件应答,还要把来自硬件的网络数据包拷贝到内存,对其进行处理后再交给合适的协议栈或应用程序。每个中断服务程序根据其要完成的任务,复杂程度各不相同。
6 {* h" c/ Z$ i ^/ G& Z2 r$ m4 P( d- @# D2 T" C! `- U# C) v4 ?
一般来说,一个设备的中断服务程序是它设备驱动程序(device driver)的一部分——设备驱动程序是用于对设备进行管理的内核代码。1 G0 f4 ]5 q) \. b
R6 `- L# y# @) o
9 G& S5 @7 t# q G/ W3 D 5 i0 K: k% i. B4 i, M5 [' J. [4 o: c
+ \/ O. s0 U) e
4、隔离变化0 ]! X* e/ `; O5 F1 n
# E. U) |* {0 A5 k1 E
不知道您有没有意识到,中断处理前面这部分的设计是何等的简单优美。人是高度智能化的,能够对遇到的各种意外情况做有针对性的处理,计算机相比就差距甚远了,它只能根据预定的程序进行操作。对于计算机来说,硬件支持的,只能是中断这种电信号传播的方式和CPU对这种信号的接收方法,而具体如何处理这个中断,必须得靠操作系统实现。操作系统支持所有事先能够预料到的中断信号,理论上都不存在太大的挑战,但在操作系统安装到计算机设备上以后,肯定会时常有新的外围设备被加入系统,这可能会带来安装系统时根本无法预料的“意外”中断。如何支持这种扩展,是整个系统必须面对的。1 p+ @6 D( \; i8 X# r! c% _
- I. l0 p# V! b6 h5 J2 t而硬件和软件在这里的协作,给我们带来了完美的答案。当新的设备引入新类型的中断时,CPU和操作系统不用关注如何处理它。CPU只负责接收中断信号,并引用中断服务程序;而操作系统提供默认的中断服务——一般来说就是不理会这个信号,返回就可以了——并负责提供接口,让用户通过该接口注册根据设备具体功能而编制的中断服务程序。如果用户注册了对应于一个中断的服务程序,那么CPU就会在该中断到来时调用用户注册的服务程序。这样,在中断来临时系统需要如何操作硬件、如何实现硬件功能这部分工作就完全独立于CPU架构和操作系统的设计了。 X7 V' u+ \6 U8 {" l" o/ t" K
' Z- [" u- u+ l5 A* e/ k @
而当你需要加入新设备的时候,只需要告诉操作系统该设备占用的中断号、按照操作系统要求的接口格式撰写中断服务程序,用操作系统提供的函数注册该服务程序,设备的中断就被系统支持了。+ {$ {. b& C' B( F
) W/ r+ T0 ^1 ^ k3 _中断和对中断的处理被解除了耦合。这样,无论是你在需要加入新的中断时,还是在你需要改变现有中断的服务程序时、又或是取消对某个中断支持的时候,CPU架构和操作系统都无需作改变。
4 k) I/ D6 j/ m7 e3 K1 G
: L- u$ ]! b. R3 p
! ^. w* n$ v x# m7 ?
4 f, t, U% p6 A' O4 w" V
6 c3 B. a) e8 I2 O5、保存当前工作“现场”4 M3 w8 Q2 m7 ` e3 B
) A4 e8 k+ G% Q- `/ O' M. f4 w
在中断处理完毕后,计算机一般来说还要回头处理原先手头正做的工作。这给中断的概念带来些额外的“内涵”[1]。“回头”不是指从头再来重新做,而是要接着刚才的进度继续做。这就需要在处理中断信号之前保留工作“现场”。“现场”这个词比较晦涩,其实就是指一个信息集,它能反映某个时间点上任务的状态,并能保证按照这些信息就能恢复任务到该状态,继续执行下去。再直白一点,现场不过就是一组寄存器值。而如何保护现场和恢复场景是中断机制需要考虑的重点之一。* J' e( ?* Z: f2 W4 v6 u
, O2 V# g* e: X, w4 |
每个中断处理都要经历这个保存和恢复过程,我们可以抽象出其中的步骤:4 k E0 i2 |9 s% W$ @. S
3 N2 U# t9 g9 @
1. 保存现场9 J1 z, \" C+ ]% Q: K4 M- l6 u/ f7 K
6 _! Y# a( e u- ]) B5 x" [. i
2. 执行具体的中断服务程序
1 s% }& r( p/ R
* \1 G& ^% N) ~ w0 N( X3. 从中断服务返回0 |3 D2 V/ p" H9 E$ w2 a l3 ~: q
_# F4 j' ]2 B8 k0 N# Z4. 恢复现场6 x# J4 J( _6 ~
1 E+ m% q0 y" ]- v3 I上面说过了,“现场”看似在不断变化,没有哪个瞬间相同。但实际上组成现场的要素却不会有任何改变。也就是说,这要我们保存了相关的寄存器状态,现场就能保存下来。而恢复“现场”就是重新载入这些寄存器。换句话说,对于任何一个中断,保护现场和恢复现场所作的都是完全相同的操作。
- u* g! k3 q1 o# {4 w9 A
) w' c% s. T/ `+ b J既然操作相同,实现操作的过程和代码就相同。减少代码的冗余是模块化设计的基本准则,实在没有道理让所有的中断服务程序都重复的实现这样的功能,应该将它作为一种基本的结构由底层的操作系统或硬件完成。而对中断的处理过程需要迅速完成,因此,Intel CPU的控制器就承担了这个任务,非但如此,上面的所有步骤次序都被固化下来,由控制器驱动完成。保存现场和恢复现场都由硬件自动完成,大大减轻了操作系统和设备驱动程序的负担。
8 _' t/ I( n2 `- D1 F6 c
; m# G0 T) W- s7 M, V# @# a( {$ r% Z8 Y3 [+ V
+ P, j8 P" c" \, n
: y( Y/ S0 ~4 B$ z# k6、硬件对中断支持的细节
& i1 U' v) d( F! J, g- j& a6 ?- E
. W, y+ r: n$ |0 V- W" x下面的部分,本来应该介绍8259、中断控制器编程、中断描述符表等内容,可是我看到了潇寒写的“保护模式下的8259A芯片编程及中断处理探究”,前人之述备矣,读者直接读它好了。
, n5 I ^$ d; A( p1 t& ~5 N5 j9 t
* E e, a1 F( f% b0 y- c7 S: C7 F$ ^6 |
& y' t3 u! z9 p7 T- {! h. b
9 Q: Y- V6 ]- z! R
Linux下的中断) L2 K4 m4 `& v/ n' ]* |# q
0 x U- D+ t- z1 U+ u3 q$ }在Linux中,中断处理程序看起来就是普普通通的C函数。只不过这些函数必须按照特定的类型声明,以便内核能够以标准的方式传递处理程序的信息,在其他方面,它们与一般的函数看起来别无二致。中断处理程序与其它内核函数的真正区别在于,中断处理程序是被内核调用来响应中断的,而它们运行于我们称之为中断上下文的特殊上下文中。关于中断上下文,我们将在后面讨论。
& j8 K& S8 M6 J8 j7 A9 w) H+ U1 n
T8 Z# p2 z$ L2 q3 l% F中断可能随时发生,因此中断处理程序也就随时可能执行。所以必须保证中断处理程序能够快速执行,这样才能保证尽可能快地恢复被中断代码的执行。因此,尽管对硬件而言,迅速对其中断进行服务非常重要。但对系统的其它部分而言,让中断处理程序在尽可能短的时间内完成执行也同样重要。. D4 w. N0 }) c8 ` `6 i
. V/ s9 w7 ~: _" ]) r" {( a
即使最精简版的中断服务程序,它也要与硬件进行交互,告诉该设备中断已被接收。但通常我们不能像这样给中断服务程序随意减负,相反,我们要靠它完成大量的其它工作。作为一个例子,我们可以考虑一下网络设备的中断处理程序面临的挑战。该处理程序除了要对硬件应答,还要把来自硬件的网络数据包拷贝到内存,对其进行处理后再交给合适的协议栈或应用程序。显而易见,这种运动量不会太小。
* r2 e* J6 w5 A
6 N1 H4 k! P: |+ u0 X0 A j5 ?: _0 O2 |* k/ p7 H& T/ @( P7 d
% I! X7 ~/ S6 T7 Z$ s- O4 F
4 A d# n) D' y% w" v1 t/ i
现在我们来分析一下Linux操作系统为了支持中断机制,具体都需要做些什么工作。
5 M# g; `9 }5 r) H8 V# f7 D$ D5 w+ G% L; `' j; ?! V4 }/ M
首先,操作系统必须保证新的中断能够被支持。计算机系统硬件留给外设的是一个统一的中断信号接口。它固化了中断信号的接入和传递方法,拿PC机来说,中断机制是靠两块8259和CPU协作实现的。外设要做的只是把中断信号发送到8259的某个特定引脚上,这样8259就会为此中断分配一个标识——也就是通常所说的中断向量,通过中断向量,CPU就能够在以中断向量为索引的表——中断向量表——里找到中断服务程序,由它决定具体如何处理中断。这是硬件规定的机制,软件只能无条件服从。
) o- v) ^8 r( c( B
9 n& C2 T# U) R/ R0 m: V( u/ P) F因此,操作系统对新中断的支持,说简单点,就是维护中断向量表。新的外围设备加入系统,首先得明确自己的中断向量号是多少,还得提供自身中断的服务程序,然后利用Linux的内核调用界面,把〈中断向量号、中断服务程序〉这对信息填写到中断向量表中去。这样CPU在接收到中断信号时就会自动调用中断服务程序了。这种注册操作一般是由设备驱动程序完成的。
5 O& I& V! r% {) L$ l) ?- ^: ]. Y5 N
其次,操作系统必须提供给程序员简单可靠的编程界面来支持中断。中断的基本流程前面已经讲了,它会打断当前正在进行的工作去执行中断服务程序,然后再回到先前的任务继续执行。这中间有大量需要解决问题:如何保护现场、嵌套中断如何处理等等,操作系统要一一化解。程序员,即使是驱动程序的开发人员,在写中断服务程序的时候也很少需要对被打断的进程心存怜悯。(当然,出于提高系统效率的考虑,编写驱动程序要比编写用户级程序多一些条条框框,谁让我们顶着系统程序员的光环呢?)$ v: ?; z, m! N( Y
8 _# I2 K1 I" S2 q+ B: n
操作系统为我们屏蔽了这些与中断相关硬件机制打交道的细节,提供了一套精简的接口,让我们用极为简单的方式实现对实际中断的支持,Linux是怎么完美的做到这一点的呢?9 K9 Y2 ]1 G1 Z3 I( B/ g0 F' j8 {
2 Z9 |) {/ ~% E
" Y9 X; p( W$ f+ k, _, G7 a+ H; W
0 X9 z( q8 m, B3 k# x9 s/ ?& ]9 a. _8 A
CPU对中断处理的流程# M) L, Y: r# ?% C% j/ r
1 g$ B) X0 |& Q0 Y4 o" u我们首先必须了解CPU在接收到中断信号时会做什么。没办法,操作系统必须了解硬件的机制,不配合硬件就寸步难行。现在我们假定内核已被初始化,CPU在保护模式下运行。
- p! N9 \ C) k" _, p0 }$ L
, p! L! Q# q2 a" U' L+ ^; } u' n1 U6 j/ L% {0 S" a) g
% t5 [( w5 Z' {5 ] O
& X$ t* |+ T6 f; i. X7 m( |
CPU执行完一条指令后,下一条指令的逻辑地址存放在cs和eip这对寄存器中。在执行新指令前,控制单元会检查在执行前一条指令的过程中是否有中断或异常发生。如果有,控制单元就会抛下指令,进入下面的流程:8 G7 b# C* V3 g. X
. r) p7 f' H+ ?3 a1.确定与中断或异常关联的向量i (0£i£255)。
( V2 D1 m; w) G$ O. M0 d
1 p2 w& f$ y" q6 ~3 d2.籍由idtr寄存器从IDT表中读取第i项(在下面的描述中,我们假定该IDT表项中包含的是一个中断门或一个陷阱门)。. f. w" K2 j4 J
* ]+ t6 q s9 f8 t ^- \6 i' A* o1 Z
3.从gdtr寄存器获得GDT的基地址,并在GDT表中查找,以读取IDT表项中的选择符所标识的段描述符。这个描述符指定中断或异常处理程序所在段的基地址。
6 X. m+ Q1 B% ~/ {. M: ]# i* q+ T0 R7 k1 r/ _$ j) |; s ]
! |; P3 T5 d. u: `: ~( @$ m
! t- @3 w' r3 I; Y1 t
# E$ _- l$ l9 b) w& D+ {4.确信中断是由授权的(中断)发生源发出的。首先将当前特权级CPL(存放在cs寄存器的低两位)与段描述符(存放在GDT中)的描述符特权级DPL比较,如果CPL小于DPL,就产生一个“通用保护”异常,因为中断处理程序的特权不能低于引起中断的程序的特权。对于编程异常,则做进一步的安全检查:比较CPL与处于IDT中的门描述符的DPL,如果DPL小于CPL,就产生一个“通用保护”异常。这最后一个检查可以避免用户应用程序访问特殊的陷阱门或中断门。
9 g/ x1 r2 G7 w1 A9 N8 I# Q* v6 B5 ]: _$ }
$ d! C6 U9 c2 L( b. y2 C
& {! G% r- V+ M5 ~9 ]
; {( F0 P6 u/ y5.检查是否发生了特权级的变化,也就是说, CPL是否不同于所选择的段描述符的DPL。如果是,控制单元必须开始使用与新的特权级相关的栈。通过执行以下步骤来做到这点:
+ t4 G. g, \, E1 O* @; x2 e* ~7 A' J
O4 }3 q" _, d- h a.读tr寄存器,以访问运行进程的TSS段。% |4 b- Q6 x' u
& P/ Y+ X. q( R; ib.用与新特权级相关的栈段和栈指针的正确值装载ss和esp寄存器。这些值可以在TSS中找到(参见第三章的“任务状态段”一节)。+ b( t: r: ^& Z3 a. Z2 n
" g" V3 B7 H$ @: \4 n0 N/ k4 rc.在新的栈中保存ss和esp以前的值,这些值定义了与旧特权级相关的栈的逻辑地址。) A0 G! f& ?( w9 ^! B$ X
2 V2 ^6 o- O) x/ j7 y) a% B' [( G1 R
( N0 h" d- b+ d, v. C" V4 y' J5 M
5 e! y% {, q! ]0 H1 _( M7 M& T/ i9 Y# D4 v/ c( {' y5 o
6.如果故障已发生,用引起异常的指令地址装载cs和eip寄存器,从而使得这条指令能再次被执行。
1 u9 i# ] h9 ]: @
: a# R+ k" E) ^0 I 7.在栈中保存eflag、cs及eip的内容。; U% e6 y' E5 D2 r
; M) N' L# {0 [0 R9 D O8.如果异常产生了一个硬错误码,则将它保存在栈中。
& W7 e8 O8 D, J( p& N: ]
8 i( n; t! w. v% o- x! R9.装载cs和eip寄存器,其值分别是IDT表中第i项门描述符的段选择符和偏移量域。这些值给出了中断或者异常处理程序的第一条指令的逻辑地址。
) U0 U3 _. l$ K9 T; C! ]0 U; f3 S6 b- B7 e+ _: I
3 w4 I' w7 k: h& _! J
/ V" L8 {$ N6 k: W, Y: u
4 V0 l$ g9 P8 m
控制单元所执行的最后一步就是跳转到中断或者异常处理程序。换句话说,处理完中断信号后, 控制单元所执行的指令就是被选中处理程序的第一条指令。
% l& d6 C9 S& }7 t: \/ N( ]
( r$ S2 o: j" W2 D) G( d% e
$ ]' R, y/ `0 Z6 G3 e - ~3 [, k- u0 b
4 e! c( M" N# y6 G1 u9 a: L中断或异常被处理完后,相应的处理程序必须0x20/0x21/0xa0/0xa1
, c5 {" Y5 N1 o# F
6 h3 R( v% f9 x. [, W产生一条iret指令,把控制权转交给被中断的进程,这将迫使控制单元:
* G% N5 B8 m% N3 ?" S3 P% M d
" p% P' K1 T0 Z; p1.用保存在栈中的值装载cs、eip、或eflag寄存器。如果一个硬错误码曾被压入栈中,并且在eip内容的上面,那么,执行iret指令前必须先弹出这个硬错误码。) { @7 r5 _) c3 J' T
* H6 K+ i& @7 a9 N" i9 c# J. s! K' X2.检查处理程序的CPL是否等于cs中最低两位的值(这意味着被中断的进程与处理程序运行在同一特权级)。如果是,iret终止执行;否则,转入下一步。
# C6 D1 b0 w2 y( T- g1 [: t( [5 R
3. 从栈中装载ss和esp寄存器,因此,返回到与旧特权级相关的栈。4 C8 w$ O; o( O2 N8 k, F) |
$ b, ^* \ N# w7 a# R8 r4. 检查ds、es、fs及gs段寄存器的内容,如果其中一个寄存器包含的选择符是一个段描述符,并且其DPL值小于CPL,那么,清相应的段寄存器。控制单元这么做是为了禁止用户态的程序(CPL=3)利用内核以前所用的段寄存器(DPL=0)。如果不清这些寄存器,怀有恶意的用户程序就可能利用它们来访问内核地址空间。) ?/ M* K# d, ]5 w0 q2 L
/ g$ e n9 e# q c6 ^: Y
' G$ c0 b3 q7 m/ q8 Q
4 D# K" j5 l* N. b* B+ f6 ~$ G1 W& \
再次,操作系统必须保证中断信息能够高效可靠的传递# y2 ~+ m# S+ M( `
: ~$ N/ [- V! X
0 B; B+ Q, k" T2 n7 p2 H/ b+ t , b% I! O+ s4 Q: @
6 y/ A( h: j I: _$ [+ B
实例一——为自己的操作系统中加入中断
( x# G; ^: J' s2 F
& c" I( `' G1 L7 S" J( q0 N; A n中断机制的实现' v! {) I8 U0 H; |7 P/ _ r
v- r1 ^0 o( \1 n7 z
在这个部分,我将为大家详细介绍SagaLinux_irq中是如何处理中断的。为了更好的演示软硬件交互实现中断机制的过程,我将在前期实现的SagaLinux上加入对一个新中断-——定时中断——的支持。; j& T( U' ^! u3 U: N) Z, k' w
# x( }% d" z( K; i9 C
首先,让我介绍一下SagaLinux_irq中涉及中断的各部分代码。这些代码主要包含在kernel目录下,包括idt.c,irq.c,i8259.s,boot目录下的setup.s也和中断相关,下面将对他们进行讨论。$ a! F- Z5 p' b! M$ g6 \
/ o' x* G' E$ x+ X. j7 y1 W
1、boot/setup.s
) Q9 |) ?) c+ Z2 O7 ^. s
6 l+ `$ }, ]* O7 ysetup.s中相关于中断的部分主要集中在pic_init小结,该部分完成了对中断控制器的初始化。对8259A的编程是通过向其相应的端口发送一系列的ICW(初始化命令字)完成的。总共需要发送四个ICW,它们都分别有自己独特的格式,而且必须按次序发送,并且必须发送到相应的端口,具体细节请查阅相关资料。
$ V6 [. e- e; t5 e% v& x
# C% L1 x% Z. x' W5 _2 _ xpic_init:
9 x& p+ C* h% d# F7 @, X& d( H1 T
cli* V# ?# X4 `3 ?
( z6 N% R' p# c- h
mov al, 0x11 ; initialize PICs
" |- S0 ?2 ]7 ~; \* F; A9 ]
/ e/ w. ?9 M2 m, q% l; 给中断寄存器编程- U0 [) T4 \0 n$ g4 V
4 X* j4 A s% } D+ W( G" M ?
; 发送ICW1:使用ICW4,级联工作
% K: h2 Z" S+ U! u+ V& d/ k+ a$ e1 ?. F; E
out 0x20, al ; 8259_MASTER
& i6 l1 B. D7 D/ l$ \3 }' }3 D3 M) j( d/ _$ P9 M
out 0xA0, al ; 8259_SLAVE8 a' [- @7 i9 z5 N+ J$ o6 V
# `, n9 @5 }" J# }, L+ \ E! j! s
; 发送 ICW2,中断起始号从 0x20 开始(第一片)及 0x28开始(第二片)6 S. B S; r9 Z- e6 p
4 R8 I: b6 g/ _0 \) p3 F
mov al, 0x20 ; interrupt start 326 F l7 x, H) h' ]7 \" R
3 X8 F F/ J) d8 U; G out 0x21, al: B6 b; ]0 ~" }0 r5 y; }; P# K
# T% u: V; w+ s9 E/ J
mov al, 0x28 ; interrupt start 40% E# l7 _6 F6 T! L6 K
2 P% E4 V0 S' W- `% C* v" n$ C; F* G
out 0xA1, al
7 M# g% W3 g" T; Q
* Y* ~2 P. [) b$ }; 发送 ICW3
$ ]: {0 S+ ~# p$ I0 R; k( F6 [" l
" P- j+ r6 X1 s J3 F mov al, 0x04 ; IRQ 2 of 8259_MASTER
2 M+ P+ Y* w/ O
, s* c1 u/ n: g, h+ m1 u4 f out 0x21, al _! Y( [ K! M; f- S- o0 i
4 J6 C) B+ z$ Z! l2 U+ c
; 发送 ICW4( B. H! m- ?( T; x6 l% ?! l
: e. Y6 Y. {5 W" x i
mov al, 0x02 ; to 8259_SLAVE. ~0 B* H+ i2 v: o: x" s7 Z) r
?& B! H, N" u' l" G& ^! O( f# k, ?* a out 0xA1, al- N: V( z7 ]- q( S) O% K1 G
7 Q0 \% O6 p" Y* B; 工作在80x86架构下
8 r' q/ D/ Z- [. G5 Q( D& i
# _, [8 V* e2 _# U1 e( b# k mov al, 0x01 ; 8086 Mode
6 Y, d8 I I0 M+ ~6 }
! \( h& h3 e% @! C0 n x" W out 0x21, al
& w) o2 M" E% q, q- \: T! ~: v0 ~/ x4 K! V
out 0xA1, al
5 x4 ~. ?/ ^' ?( [0 s+ D
; q! B% I% }! x4 h; 设置中断屏蔽位 OCW1 ,屏蔽所有中断请求/ j1 x& p+ n% `! c* m% Q: Q' P) Q
+ l5 [3 I0 v3 H( S' Q. C5 q mov al, 0xFF ; mask all. Y8 D: G+ E/ ?9 ^7 q
0 c; \ c: S) |3 t- k out 0x21, al! [$ h+ |# a6 L7 n r, w
; Z& z: o5 X2 X
out 0xA1, al+ m3 c5 s8 r! Q, K
; ~8 Y1 I7 q: C" \" M; M! x
sti
/ V" c4 B* _, `7 e3 a2 P1 H
( X1 S5 @6 d% \0 K/ c
& k' o) `* w8 E9 b
6 M7 E. R; p9 m3 q+ v% u2、kernel/irq.c
$ @2 C( w9 g: k& N6 r* X+ M9 B( ?, S+ u1 z/ [# G4 Z1 W
irq.c提供了三个函数enable_irq、disable_irq和request_irq,函数原型如下:
8 a4 y7 V; f4 S8 p
: t b* i" ?0 }7 ~: r) K3 g% v! E& M- t! Q. U! U! `, J3 x" F* Z
# c" D2 S) \( `- r
) d' `) u. w, Q% K* mvoid enable_irq(int irq)9 W& Y% \/ o, M# p" n- z7 [, A
0 w# g' m; L- e3 N7 I) F
void disable_irq(int irq)+ a7 r# i1 A. L! d+ Z$ Q# f+ B
7 R' a! }; w, Q, s
void request_irq(int irq, void (*handler)())4 k( F$ P& m* A
1 r L- ^0 K( g
$ F7 y9 m, [( k- g% }* k
/ \) m$ _9 B2 y2 Q1 ~; e; Oenable_irq和disable_irq用来开启和关闭右参数irq指定的中断,这两个函数直接对8259的寄存器进行操作,因此irq对应的是实实在在的中断号,比如说X86下时钟中断一般为0号中断,那么启动时钟中断就需要调用enable_irq(1),而键盘一般占用2号中断,那么关闭键盘中断就需要调用disable_irq(2)。irq对应的不是中断向量。& K0 J6 K7 ^8 H9 v3 s3 V
" r) Z6 {9 a* t5 } - H; Y/ u, c5 h* s. ~* C, b! d+ I
' g9 Y$ D. m* {. g' wrequest_irq用来将中断号和中断服务程序绑定起来,绑定完成后,命令8259开始接受中断请求。下面是request_irq的实现代码:
: M5 h) Y, H0 A* T2 h% f1 h! B+ B5 G1 {% W8 Z3 h
void request_irq(int irq, void (*handler)())4 R* m' Q! w$ `) s8 j ^$ a
6 ?6 G# e% l3 Q& [6 d( u
{
# M. O5 c1 z! y; s' a) ?5 g4 ^- f# E. P
irq_handler[irq] = handler;" O; r. ^# v+ m9 n
% t& O% b3 s3 |4 P0 m/ E2 H4 g* U
enable_irq(irq);
3 ^# a6 J$ A9 _8 S- I- f8 R5 A* A) [# w, ]
}" t/ t+ t+ |! D: h$ Z
6 i1 x$ z. f c9 u, {
其中irq_handler是一个拥有16个元素的数组,数组项是指向函数的指针,每个指针可以指向一个中断服务程序。irq_handler[irq] = handler 就是一个给数组项赋值的过程,其中隐藏了中断号向中断向量映射的过程,在初始化IDT表的部分,我会介绍相关内容。# y: i- W9 s4 R: p3 g' _. l
" x1 T8 [. V t2 }! p
3 V# D1 V- Z$ e6 Y: P
, G. B0 s( L" `6 s2 t3、kernel/i8259.s[2]
2 j7 f& d3 f( D, c9 o: t! q! E! r, X# l* J. f" M
i8259.c负责对外部中断的支持。我们已经讨论过了,8259芯片负责接收外部设备——如定时器、键盘、声卡等——的中断,两块8259共支持16个中断。
" ]0 x7 H! P+ M9 a: D7 X2 W3 L/ Z
我们也曾讨论过,在编写操作系统的时候,我们不可能知道每个中断到底对应的是哪个中断服务程序。实际上,通常在这个时候,中断服务程序压根还没有被编写出来。可是,X86体系规定,在初始化中断向量表的时候,必须提供每个向量对应的服务程序的偏移地址,以便CPU在接收到中断时调用相应的服务程序,这该如何是好呢?% [- T- Z! L1 w* z9 ?5 ^3 F. r
" l& i/ N. U# H) q" N! W
巧妇难为无米之炊,此时此刻,我们只有创造所有中断对应的服务程序,才能完成初始化IDT的工作,于是我们制造出16个函数——__irq0到__irq15,在注册中断服务程序的时候,我们就把它们填写到IDT的描述符中去。(在SagaLinux中当前的实现里,我并没有填写完整的IDT表,为了让读者看得较为清楚,我只加入了定时器和键盘对应的__irq和__irq1。但这样一来就带来一个恶果,读者会发现在加入新的中断支持时,需要改动idt.c中的trap_init函数,用set_int_gate对新中断进行支持。完全背离了我们强调的分隔变化的原则。实际上,只要我们在这里填写完整,并提供一个缺省的中断服务函数就可以解决这个问题。我再强调一遍,这不是设计问题,只是为了便于读者观察而做的简化。)
- n3 U# b; Q9 `
& ^- e; V) {6 B! c& s. O& {可是,这16个函数怎么能对未知的中断进行有针对性的个性化服务呢?当然不能,这16个函数只是一个接口,我们可以在其中留下后门,当新的中断需要被系统支持时,它实际的中断服务程序就能被这些函数调用。具体调用关系请参考图2( T) P% a, e8 S! N, Q, @0 G' O
! u {: O0 q2 I: y6 P
I+ j$ H& h, d: d图2:中断服务程序调用关系
3 \8 i I" E. I* S7 I. L
/ S% Q+ F- P( E/ B# l 如图2所示,__irq0到__irq15会被填充到IDT从32到47(之所以映射到这个区间是为了模仿Linux的做法,其实这部分的整个实现都是在模仿Linux)这16个条目的中断描述符中去,这样中断到来的时候就会调用相应的__irq函数。所有irq函数所作的工作基本相同,把中断号压入栈中,再调用do_irq函数;它们之间唯一区别的地方就在于不同的irq函数压入的中断号不同。
6 V8 S/ o. x/ t; Q5 ]7 S6 `5 y3 [
) c: y8 A. e6 y( J, |8 x do_irq首先会从栈中取出中断号,然后根据中断号计算该中断对应的中断服务程序在irq_handler数组中的位置,并跳到该位置上去执行相应的服务程序。
8 K3 X9 P2 W# Y3 {
; X6 {7 O& E& F8 o; U: ]+ m 还记得irq.c中介绍的request_irq函数吗,该函数绑定中断号和中断服务程序的实现,其实就是把指向中断服务程序的指针填写到中断号对应的irq_handler数组中去。现在,你应该明白我们是怎样把一个中断服务程序加入到SagaLinux中的了吧——通过一个中间层,我们可以做任何事情。
+ i e8 E$ S* e3 z5 y" b1 s
* ]# U( H2 ]7 z9 v! M在上图的实现中,IDT表格中墨绿色的部分——外部中断对应的部分——可以浮动,也就是说,我们可以任意选择映射的起始位置,比如说,我们让__irq0映射到IDT的第128项,只要后续的映射保持连续就可以了。
( }- c8 F% x& P; v1 z
4 @! o# z+ G2 u) S0 E2 h. N" n2 L
1 u* J' V) @/ u 2 z* W2 N/ R1 F# ]# T" I6 A
/ e7 N/ v4 M( k( T$ I1 J/ M4、kernel/idt.c) `) G9 H$ U" X& M4 v+ [3 F
7 V; P1 s* S6 w9 P' t+ @
idt.c当然是用来初始化IDT表的了。5 ?( {( E H. O! u7 G/ D
6 U! B/ G( |* |! r在i8259.s中我们介绍了操作系统是如何支持中断服务程序的添加的,但是,有两个部分的内容没有涉及:一是如何把__irq函数填写到IDT表中,另外一个就是中断支持了,那异常怎么支持呢?idt.c负责解决这两方面的问题。
# C% E* p- m# T
. `+ i& m( F: O% Y7 g( ]idt.c提供了trap_init函数来填充IDT表。
/ h/ n1 O+ ^2 q6 C9 B! O, I
7 t3 Q, s, r% h% i void trap_init()
5 Y- _& X9 J' c* J
4 {! @, M( k$ K2 b- i" A6 X{6 H+ M3 X7 Q! j/ B. `
' X3 g+ k4 s9 D- e/ d; O" l
int i;
; u$ d, `& G* o( m! R: M. U6 m, ~, `( K3 y4 x
idtr_t idtr;
& N: H7 G) R4 L
n( Y6 k. U6 d. V* f: j // 填入系统默认的异常,共17个- Q7 B- M- @4 } ?/ T! e
9 D4 _& X- d8 `3 X) d' t3 ]6 I* R2 k4 i
set_trap_gate(0, (unsigned int)÷_error);$ _5 `# O9 S# o
$ L. S1 x+ t* N2 Z/ U, _+ A4 U1 E set_trap_gate(1, (unsigned int)&debug);
1 B, g' z5 G% N8 R L
; ]8 K% r- j0 o5 y2 z" k& | set_trap_gate(2, (unsigned int)&nmi);
0 C1 j( f y0 T4 q1 e7 Y
! Z% u8 N" |. ?5 C9 J set_trap_gate(3, (unsigned int)&int3);
. p, [! \/ a0 H
) x4 {+ `! N4 _& ^! Z# G! X set_trap_gate(4, (unsigned int)&oveRFlow);
* m, [6 Y' A( u2 U @" v( n) I
m2 w# M M# n4 R' o set_trap_gate(5, (unsigned int)&bounds);4 C: O \( D7 e) I' U5 E2 @% M5 I
( J# i' {6 n$ F1 C9 b. ?9 V7 m
set_trap_gate(6, (unsigned int)&invalid_op);" y# A* j9 G/ v% _# E
1 q" k+ K4 B2 e7 Q; \
set_trap_gate(7, (unsigned int)&device_not_available);) \/ L r, W5 s0 ^6 j/ ~
9 ^% t! y E. I% U1 g
set_trap_gate(8, (unsigned int)&double_fault);8 ~3 \0 O3 L% {7 E1 c1 y
5 R$ Y. M) P5 j; M
set_trap_gate(9, (unsigned int)&coprocessor_segment_overrun);6 \, x# R2 k$ k* q9 L; f
9 h/ ]* o. U5 W. x/ A
set_trap_gate(10,(unsigned int) &invalid_TSS);3 i! G9 B. Y) A
+ t) ^: Y- e5 X4 A" \5 H' s
set_trap_gate(11, (unsigned int)&segment_not_present);7 m/ ~' [- F) l' R* `* b6 W, t
6 u( x- L- @- X T' C set_trap_gate(12, (unsigned int)&stack_segment);
, X# Z7 t( y/ q6 q* y
0 M' F- ?" f3 e" ?, A set_trap_gate(13, (unsigned int)&general_protection);% L1 `/ r2 }& P" ^' T) a+ _0 K
( k0 K$ o3 c: C9 |; M( N
set_trap_gate(14, (unsigned int)&page_fault);
; z. I. ~2 c2 z5 S& H1 r. m. p! H& D' a/ F) P7 V5 q1 k5 T2 }
set_trap_gate(15, (unsigned int)&coprocessor_error);
2 @- A, \% n1 {" [- l' m1 V* I* {+ h% G& @
set_trap_gate(16, (unsigned int)&alignment_check);3 O3 r. y& b5 i
3 y3 S9 _: M5 X* O! c, q
& K2 s% [! ?, k5 B5 o1 m# i 9 W, H: Y6 w' D
2 I7 i* u) W8 _5 y" _+ d* {6 j
// 17到31这15个异常是intel保留的,最好不要占用( j( i2 o1 Q5 ~
3 e9 k. _! k# `5 w0 a9 \' r& N; B, ] for (i = 17;i<32;i++)
' z5 v2 g/ m$ X0 p
; w" c( E4 B" R; x- j7 `/ ?1 B set_trap_gate(i, (unsigned int)&reserved);
, N+ D. i3 M& u/ \+ @& F* e: o( b/ ]& a" ]
; I1 e, p( g0 q& G1 B
9 |& s9 U4 M. O! o( ^
2 s# ^) a( t e+ Q: F. h" Q- ^ // 我们只在IDT中填入定时器和键盘要用到的两个中断
/ a2 j) B% x# ?! s2 e0 ~
+ f s% t6 H* m8 @ set_int_gate(32, (unsigned int)&__irq0); . B p) ?* Z6 O5 ^! v
: m' D9 |/ l* Q# h& r4 [ set_int_gate(33, (unsigned int)&__irq1);) D0 X4 \4 Y. Z4 c
" B3 v3 j2 s/ T9 d" A- e& H5 h8 c4 i+ v# j6 A: I) S8 ~8 Z
w3 D/ u2 [8 ^* k
, t% f+ W7 F9 B5 F2 f5 g( ^// 一共有34个中断和异常需要支持
% m( K1 h( X. J2 v
9 `" T' i& O- h; J; T idtr.limit = 34*8;
% X# r" o9 B: H& }6 z: }3 a# Y* a4 r6 e8 i% z
idtr.lowerbase = 0x0000;
# V( E5 J. K4 \8 J2 c1 `
/ W! T9 S% I" s: f idtr.higherbase = 0x0000;% A; R" w& K% H7 U5 r( C1 P
/ Z2 N* ~) \ k. ^& ^
cli();$ f2 y% h$ l. t7 v1 r
; h( T6 V4 ~) D6 w0 k' {# m. B
7 ^- I% z/ d. d) o }4 A" |' ?
, V. B- o/ A# [- {, E- i
// 载入IDT表,新的中断可以用了0 ^/ H' p2 e2 t2 u) s3 n
M: w) L' d. p* h& F& f8 b
__asm__ __volatile__ ("lidt (%0)"9 e' F2 b4 ]0 O* {2 {' W' ?
' t' |1 {- `" f; K" b
::"p" (&idtr));
, a; ~+ w1 Q7 @0 c2 o' j$ J5 s$ g" u! k* ]% o
sti();0 V3 N! x: q6 s/ e4 s2 E/ B
) H9 O& e7 ?4 f/ }' d) }& ^$ D' \5 D}) q% e& K3 m& J! i+ a6 A
+ {4 v6 y( y$ T2 ~2 D0 a) }4 X4 z! |
3 p9 A+ u: \, j9 q$ X3 G6 i
: w: U. i% }/ u% a首先我们来看看set_trap_gate和set_int_gate函数,下面是它们两个的实现1 v( { ]3 T) \3 Q7 D6 ?3 R
( ~+ X* a( G! t1 W( x. Svoid set_trap_gate(int vector, unsigned int handler_offset)( @ T( F( \7 d, D2 x. ]' H! ]
+ t# D+ z' Q$ V# h! i& K% C0 ^! C) E{
6 p E4 N2 ~0 l3 y$ O
7 x' ]) k2 M( w( ~. H: n+ z trapgd_t* trapgd = (trapgd_t*) IDT_BASE + vector;
6 _, D- q6 T5 O3 V2 z! E6 x; t8 N& S2 p7 ?
trapgd->loffset = handler_offset & 0x0000FFFF;* @! D1 |/ N' ~+ J
% h( v* b% S# o- ` trapgd->segment_s = CODESEGMENT;
# W# R; c# b/ B7 N) {! X
) j% k8 F% B9 n& i! z1 {7 n! ~$ { trapgd->reserved = 0x00;
6 a- I9 ?: `! G
$ V8 ^' B9 d" Q) c. j; N trapgd->options = 0x0F | PRESENT | KERNEL_LEVEL;
- @1 u4 E. M. T; `" m$ B) U+ M% ]& Q7 t- d: Q4 O
trapgd->hoffset = ((handler_offset & 0xFFFF0000) >> 16);, ~. v x. o0 G' v2 w. P6 Z/ g
' R9 d! K! ?' r# ]; g}
5 e3 R' k! h0 m8 m% W6 k# r
. r" {/ n5 u( T9 S$ s0 e! m
" U7 {. Q) W" i 5 t: }, f! n; K; _$ ^( n' i
@- ^& l% q7 b5 X+ t/ o
void set_int_gate(int vector, unsigned int handler_offset)
, Z/ l& K) _! w' h$ m
4 y' p* d( `9 F# i. T+ M4 _{8 _; S$ `& C& h: I
4 m" c1 V5 u) ] intgd_t* intgd = (intgd_t*) IDT_BASE + vector;
2 T/ b! M$ V/ e# |! _. K
; d7 d1 o+ I% u$ O* o intgd->loffset = handler_offset & 0x0000FFFF;7 e$ d" P/ S# s* S3 K4 _
7 } P% w5 U# x: ]2 V intgd->segment_s = CODESEGMENT;
5 f3 R& o/ U7 \, s" {8 `
( ^% n8 I; L: O intgd->reserved = 0x0;
, M& ? Z6 K8 b/ L4 R1 P
0 T6 L6 R1 \+ }+ ] intgd->options = 0x0E | PRESENT | KERNEL_LEVEL;
) {' L8 j# v+ b" ]0 O
. \ m O* U/ H @( ] intgd->hoffset = ((handler_offset & 0xFFFF0000) >> 16); $ s! F# a+ l* \& ~8 O' ^
6 Z# n8 r- _4 N- B4 F; k; k$ d
}7 G9 z. @. F# a- T- j! Z5 [
. f( S# D. e# S/ z
我们可以发现,它们所作的工作就是根据中断向量号计算出应该把指向中断或异常服务程序的指针放在什么IDT表中的什么位置,然后把该指针和中断描述符设置好就行了。同样,中断描述符的格式请查阅有关资料。, q/ D2 C, U9 D2 e; O* u
* V1 p j& }% F3 {8 o! Q" \+ }现在,来关注一下set_trap_gate的参数,又是指向函数的指针。在这里,我们看到每个这样的指针指向一个异常处理函数,如divide_error、debug等:
0 k# S% J# |) n2 I: a6 C. j! J9 u* ?3 {- ]. W# W- W4 o
void divide_error(void)5 `: _- t8 Q4 }% r' P U
: L' Y: z: Q: r( {{
2 C5 b6 ~6 X- l8 ?2 }0 n2 ^- y% ?6 m" ]; A! k, g# V) d+ |
sleep("divide error");
: ]6 T% Y! L1 B6 U! ~0 O" T! d3 W) O7 J9 x1 u x6 a
}
, v* W+ O6 S4 k( J2 N# t' s
& M( ~6 a1 |, W6 S0 a( c2 `void debug(void)! L* t2 E. b2 B6 ?5 ~! R7 L
1 g+ p6 _$ e2 g, R. U+ u' a# N* L
{! X! J& W6 E; x, B* P9 X
, [8 Y& ]; n# v4 V sleep("debug");8 C' b( z. _8 Q5 r" ~
2 X2 U' s# X a$ `6 t3 g0 {- B2 A}
( f G- D; d! A
% K6 f5 u+ y( c0 {5 v 每个函数都调用了sleep,那么sleep是有何作用?是不是像——do_irq一样调用具体异常的中断服务函数呢?
+ A6 i! r3 g% d" d7 {! o9 R3 @: u5 d
// Nooooo ... just sleep 
$ G$ k$ d3 [) a) `3 a, v& [3 \8 s0 m3 M$ B) V( d
void sleep(char* message)) ]: G8 E2 h& ?# f# g4 v/ J9 `
+ {4 N$ s- I2 F
{
9 e0 P6 E' d" E2 Y- ^; ?% y0 x( W: l# r# a9 F. U! Z7 K8 k
printk("%s",message);& d2 x1 p9 |5 a! G( Z: t
9 `# k) M7 D4 P1 t, G- d
while(1);
, T/ o9 r4 `$ m6 W; z# r2 j! H& A9 [6 d0 w# I7 a
}6 W( j( ~1 ` [4 @
?& G7 J0 T# U
看样子不是,这个函数就是休眠而已!实际上,我们这里进行了简化,对于Intel定义好的前17个内部异常,目前SagaLinux还不能做有针对性的处理,因此我们直接让系统无限制地进入休眠——跟死机区别不大。因此,当然也不用担心恢复“现场”的问题了,不用考虑栈的影响,所以直接用C函数实现。. M% T5 _$ j/ O! ]8 \1 Z, N) \
- I* J% r2 u: v1 j+ X6 Y
此外,由于这17个异常如何处理在这个时候我们已经确定下来了——sleep,既然没有什么变化,我们也就不用耗尽心思的考虑去如何支持变化了,直接把函数硬编码就可以了。
* A* z, K: ^: n$ u( m" I N" U6 x
# [1 M3 W1 V1 ~/ T0 [& g! ~Intel规定中断描述符表的第17-31项保留,为硬件将来可能的扩展用,因此我们这里将它闲置起来。
6 {7 X$ s2 @* p3 g" i# a+ J& ` a7 n$ g% v
void reserved(void)
3 y: Z5 X3 _! A2 Z5 m# p, k# M
1 m1 Y: u' S9 e# Y( M. n{
) t: [! ]1 k+ U) Q7 K3 x7 J
4 X+ m' F6 w& Dsleep("reserved");
4 ], ^- }+ w3 a5 C. z* g6 K- K! f9 Z, |# X1 V3 V% W& i
}
* A- n3 t, b( Y/ w! n+ H- S0 T& p" O' \: H* c
下面的部分是对外部中断的初始化,放在trap_init中是否有些名不正言不顺呢?确实如此,这个版本暂时把它放在这里,以后重构的时候再调整吧。注意,这个部分解释了我们是如何把中断服务程序放置到IDT中的。此外,可以看出,我们使用手工方式对中断向量号进行了映射,__irq0对应32号中断,而__irq1对应33号中断。能不能映射成别的向量呢?当然可以,可是别忘了修改setup.s中的pic_init部分,要知道,我们初始化8259的时候定义好了外部中断对应的向量,如果你希望从8259发来的中断信号能正确的触发相应的中断服务程序,当然要把所有的接收——处理链条上的每个映射关系都改过来。 w& r8 p) A/ U1 C' B% v+ _
+ K) P. T# ^, H$ M* L
2 a% K' T$ Z* {% @我们只填充了34个表项,每个表项8字节长,因此我们把IDT表的长度上限设为34x8,把IDT表放置在逻辑地址起始的地方(如果我们没有启用分页机制,那么就是在线性空间起始的地方,也就是物理地址的0位置处)。# j8 r% x/ h* U* ]/ w4 X% j2 A, i
8 u- f/ Z+ a7 X# X! w5 L最后,调用ldtr指令启用新的中断处理机制,SagaLinux的初步中断支持机制就完成了。
& k- M" e, L$ \4 U' M( D
7 Q1 {( b$ G2 O6 U4 w1 @; }扩展新的中断
8 r# c+ @ g ]) j& v& ^2 ?
1 b" K6 U& a T# X% e+ `1 v0 A下面,我们以定时器(timer)设备为例,展示如何通过SagaLinux目前提供的中断服务程序接口来支持设备的中断。
. m4 X4 i& o5 l# x: j' Y4 I; k2 k5 c2 l* B7 h% d- d3 f9 Z
IBM PC兼容机包含了一种时间测量设备,叫做可编程间隔定时器(PIT)。PIT的作用类似于闹钟,在设定的时间点到来的时候发出中断信号。这种中断叫做定时中断(timer interrupt)。在Linux操作系统中,就是它来通知内核又一个时间片断过去了。与闹钟不同,PIT以某一固定的频率(编程控制)不停地发出中断。每个IBM PC兼容机至少都会包含一个PIT,一般来说,它就是一个使用0x40~0x43 I/O端口的8254CMOS芯片。
; N$ n$ G0 ]- L' r) i. c9 s7 o# M) R
! ]( p2 [8 L& w9 @3 C, a6 J SagaLinux目前的版本还不支持进程调度,因此定时中断的作用还不明显,不过,作为一个做常见的中断源,我们可以让它每隔一定时间发送一个中断信号,而我们在定时中断的中断服务程序中计算流逝过去的时间数,然后打印出结果,充分体现中断的效果。
7 ^0 Z8 l2 C( O8 _9 s' w, k" f' A% W& Y
我们在kernel目录下编写了timer.c文件,也在include目录下加入了相应的timer.h,下面就是具体的实现。4 _: W8 T" B( ?! ]
0 p4 y+ B4 Z- ^( Y1 S// 流逝的时间% X3 H6 I6 R, F% e: f- a; P5 Z
' \& k( o* A2 Z+ ]% S4 s
static volatile ulong_t counter;
8 o- F t9 C# N( Y3 I6 u# d; f" g4 X
" B" c& u2 |: M7 E) N) i: A // 中断服务程序: J6 s! f7 U3 x$ a: ]+ Z1 L1 O
$ G9 I' m- F% o4 L) ?: B2 |void timer_handler()
3 n! d2 n0 Y; G8 J! b7 s3 x3 Q' V/ W2 O+ |0 H* c
{' K0 h& t# `1 |% G; h% M5 S7 Y2 E8 Q
2 U& D( l* `' ]; O% X i; B) H
// 中断每10毫秒一次3 c# u. x) o+ L8 p$ r6 e8 E4 b0 a
' N$ p4 M$ n: p4 ?0 t3 K3 _( R/ j6 ? counter += 10;8 F0 S# @! R M# S% U! M
* i/ W* m$ t, |: M- i7 D}7 X/ `6 @' U; x0 e" |+ L
& d4 s v |) o8 k' E7 d! r! ^" O- K$ b, Z
' i0 k# z4 t' n+ Y
. F( R1 L* n" I2 F; y! z; |9 E// 初始化硬件和技术器,启用中断) R3 `0 v, \2 |0 y2 o3 y \& T
Z+ l+ i$ f6 r, [( {8 p8 U# v2 b5 Uvoid timer_init()
7 }% U: q* e( \9 h% u) E# `
; T' O( t t+ w! z3 M{, B9 `# c( {4 e
- D; P6 Z, v' Q/ C
ushort_t pit_counter = CLOCK_RATE * INTERVAL / SECOND;
V F' C( j: F Y1 m
1 t& f, [! J0 L& u. A, [7 s counter = 0;' ~, S f& B4 g5 B1 t: W ? C
7 M( ~5 }6 ^$ u* V
5 p3 a* G# J/ N& w 3 s8 |% k+ j# D/ q5 q
/ Y: N* g' E; ^( R) G: M
outb (SEL_CNTR0|RW_LSB_MSB|MODE2|BINARY_STYLE, CONTROL_REG);
6 e+ V* P+ T$ v' v/ e* r9 n1 m' ]% v1 d4 }+ \/ F
outb (pit_counter & 0xFF, COUNTER0_REG);
0 Y: N* S. F6 M0 f8 G( r' D
8 ?! }, y7 z4 U6 g* ~9 C) a) H outb (pit_counter >> 8, COUNTER0_REG);
% [+ Z: d; R: w! Q" x+ ~" O+ m
6 O0 P' X1 m, w! X" j // 申请0号中断,TIMER定义为0
6 z$ j8 }, s! f' G& w" u5 U8 y m3 w+ z: S: T2 d/ P- p. {* Y
request_irq(TIMER, timer_handler);3 _- i# F. ?' {9 T9 b3 e
- }$ M7 k" F& F2 D/ i7 f% H
} O3 [9 C, n$ Q$ [1 R
' @" E3 Z* ?& q* }' x9 h$ z* U, @. u. f
* |& P8 p, Y5 k8 e4 X2 [) v4 u f. f& g, n
// 返回流逝过去的时间2 ^' J: ~2 G0 E- ?+ O
( k& p# g: Z2 d6 Sulong_t uptime(): R H; {% E8 z1 ?3 s3 W
5 l) p% [5 d3 a1 F! K- e( Y{
# n( L4 `6 A. p& k7 S( O7 i4 C3 A0 W& e0 K! i- A
return counter;
/ f5 G; j% R5 T7 t3 ~) d4 b
f X8 `" f, W! _6 M$ n3 Y! H5 _1 [}
9 T4 R9 }0 [/ t9 C
l, d9 U8 X- `; Rtimer_init函数是核心函数,负责硬件的初始化和中断的申请,对8254的初始化就不多做纠缠了,请查阅有关资料。我们可以看到,申请中断确实跟预想中的一样容易,调用request_irq,一行语句就完成了中断的注册。7 g# \3 @) z, l+ t3 F2 t& _
7 Y! z ^0 z/ h6 g( u; u而中断服务程序非常简单,由于把8254设置为每10毫秒发送一次中断,因此每次中断到来时都在服务程序中对counter加10,所以counter表示的就是流逝的时间。! u4 ]) Q2 r/ j6 n) z3 U2 o
$ O& j9 v. I4 L5 `; r0 L8 e在kernel.c中,我们调用timer_init进行初始化,此时定时中断就被激活了,如果我们的中断机制运转顺利,那么流逝时间会不断增加。为了显示出这样的结果,我们编写一个循环不断的调uptime函数,并把返回的结果打印在屏幕上。如果打印出的数值越来越大,那就说明我们的中断机制确确实实发挥了作用,定时中断被驱动起来了。
) o& @1 @0 D! I9 [
" ]- d* o# r; I( `$ u' N6 } 在kernel.c中:
4 M! R7 Y6 U5 B: R# C# ^
8 z5 n; |; ^, X( m/ r // 初始化
N2 q' Y# D" U9 [
# {6 F0 x* N5 f: \: E int i = 0;
8 P# d+ n) T; c: S: ]
2 d8 w$ u, i K/ J* r* m1 Z timer_init();# O9 u5 S) b+ f* d8 A
) O% A. U* m/ F( f# x i = uptime();
+ j" `/ u- V+ J: E: S$ x5 e6 f$ Z- z& Y( @* M. W9 d& w! R
while(1)
4 W+ m. ~8 y# }- R. u* g1 h& A7 O; t
+ ~ _8 a: L, } {
% r4 e6 E4 I3 v7 C8 ]( J& K+ w ~$ ~$ b, C& {& U" ^
int temp = uptime();& v3 B9 S* `$ c# {, M! x. x0 X3 Y
- @# B7 X R1 c3 c+ l8 P
// 发生变化才打印,否则看不清楚. U5 Q* |! r; D+ M7 G: _
# g0 {' P' C! a( |% d
if (temp != i)
# E6 [. ~! G& Q
0 q) A# [2 F0 C {& L8 h9 ~, s5 [( o# F
5 y& p% x7 x" f7 H4 u J printk(" %d ", temp);
% A1 h) q( k5 C+ x! T
: [# U7 Z& o) O6 u" E i = temp;' W: q. w! K* t# V5 V
, n: ]% I0 X" N% ^ }+ D$ O% ]$ Y1 Y$ t. q' O2 x) o/ [, n
) _% \4 [5 y( L% ~" \% o当SagaLinux_irq引导后,你会发现屏幕上开始不停的打印逐渐增大的数字,系统对定时中断的支持,确实成功了。
8 Q; S$ [; H# u3 u2 a5 u5 ~9 Q* O
为了验证中断支持的一般性,我们又加入了对键盘的支持。这样还可以充分体现中断对并发执行任务带来的帮助,在你按下键盘的时候,定时中断依然不断触发,屏幕上会打印出时间,当然,也会打印出你按下的字符。不过,这里就不对此做进一步描述了。
8 D% |* {/ P$ S. k1 i
* b* Z& B8 Y9 Y2 _实例二——从RTC设备学习中断
4 v* ~( ?6 k4 H# T* L7 i& S: a% x; ]4 I9 Q3 U1 s) D
系统实时钟9 s e$ M9 i" }4 P
" Z/ ~. ?6 Y6 Z! i; q- f
每台PC机都有一个实时钟(Real Time Clock)设备。在你关闭计算机电源的时候,由它维持系统的日期和时间信息。
) K( o" j) T3 e3 z. b
6 U# I) z2 Y* U% r& v2 ]$ S2 @# f此外,它还可以用来产生周期信号,频率变化范围从2Hz到8192Hz——当然,频率必须是2的倍数。这样该设备就能被当作一个定时器使用,比如我们把频率设定为4Hz,那么设备启动后,系统实时钟每秒就会向CPU发送4次定时信号——通过8号中断提交给系统(标准PC机的IRQ 8是如此设定的)。由于系统实时钟是可编程控制的,你也可以把它设成一个警报器,在某个特定的时刻拉响警报——向系统发送IRQ 8中断信号。由此看来,IRQ 8与生活中的闹铃差不多:中断信号代表着报警器或定时器的发作。
. E/ B3 B: j, F% r) K" R+ a) U ^0 F; z, ~. A2 \) h0 h
在Linux操作系统的实现里,上述中断信号可以通过/dev/rtc(主设备号10,从设备号135,只读字符设备)设备获得。对该设备执行读(read)操作,会得到unsigned long型的返回值,最低的一个字节表明中断的类型(更新完毕update-done,定时到达alarm-rang,周期信号periodic);其余字节包含上次读操作以来中断到来的次数。如果系统支持/proc文件系统,/proc/driver/rtc中也能反映相同的状态信息。
7 M' T3 V7 t2 p5 D5 ^5 [
; Z: A" Y& @6 Q- t2 e3 E该设备只能由每个进程独占,也就是说,在一个进程打开(open)设备后,在它没有释放前,不允许其它进程再打开它。这样,用户的程序就可以通过对/dev/rtc执行read()或select()系统调用来监控这个中断——用户进程会被阻塞,直到系统接收到下一个中断信号。对于一些高速数据采集程序来说,这个功能非常有用,程序无需死守着反复查询,耗尽所有的CPU资源;只要做好设定,以一定频率进行查询就可以了。$ n7 {6 Z* u |& D; D& k5 Y6 E+ F
% Z, N3 `# q* k8 p
#include <stdio.h>! q3 c {8 h, ^& d
' d2 S, x0 C& q" N: s
#include <linux/rtc.h>
' W" e( P) F( D5 R% ?- F2 \0 }% x# H9 s' X3 p
#include <sys/ioctl.h>
( D4 `4 f9 T6 h- v ~* ?$ u! X& n1 q: L2 E u. B: P
#include <sys/time.h>; E8 F4 H Q) F; c' @, f
- n$ T/ I" n) l O+ ^( c9 ?, }
#include <sys/types.h>( D3 T% H3 ?1 R
4 C7 q8 |, l+ s& R# D, f3 ^
#include <fcntl.h>' Y2 ~5 e. x+ J
6 k7 K8 }4 X4 |! P
#include <unistd.h>
1 X! l* D. Z! n4 }' d; n/ {4 Y. H- D: [/ E3 N* L p
#include <errno.h>
: i+ \( d B* W0 [# J! H! v4 |, q: M9 d: r
: P; _% i6 n: O6 ^
) _3 Y" Z( t2 S7 u0 J4 |/ N; B
; K; s, R% y2 b. g. x, ]* s. N( M+ mint main(void). L) r: F$ {$ d& [9 i, I
4 R5 q1 _% Q6 {+ X. \; z! W/ A& m
{
% a8 `) T* o3 r% e7 F8 Q4 L8 }
- p: y; J I* O: B7 s$ T, Q* n int i, fd, retval, irqcount = 0;$ Z' g1 I* P: Y+ T" d+ P+ x
, R- ]2 `: S$ [6 v5 }1 z unsigned long tmp, data;2 S+ [/ `9 P% W2 Z3 q
7 R3 r2 |/ Q. s. N+ G; t0 h; X [ struct rtc_time rtc_tm;
) R: K) z- v: Q4 }0 y0 a0 ^' v3 L E9 t B2 b; W& G' V0 a
" H) j0 g3 F9 m( J
8 {: l; Z; _) `2 a6 y/ D3 @5 i* t: V
& N! E" t2 x9 A9 A3 _- v // 打开RTC设备6 z+ V2 d4 K0 L" Q! q
% i) A8 U/ ?/ k fd = open ("/dev/rtc", O_RDONLY);! n- m9 @6 C: |0 F4 R1 C/ e
. G! }/ b; M g, Q
6 C! v! D* u+ c" w , R6 a, h% \+ B V$ ]
- v* Z; Y! {: ?0 W, h4 k, V W" _
if (fd == -1) {
8 b, e+ [ J2 T4 p" N' |
# H6 A) C" C5 K3 g6 w! H2 t5 ]* L perror("/dev/rtc");* N9 n b: z8 Z2 ^4 `
8 B0 I6 C& k5 [7 t4 K4 T+ {
exit(errno);
, N% q) F' s2 u2 R8 j, V) n3 P7 N m' K; E# G
}0 n9 Z& j) r- a( @/ ^
: W( u2 \6 _" f% c* G
$ P* n! E; T0 Z
& F4 _2 @* Y7 a/ e2 g" s
- a) W* i" ], r8 I2 g7 | fprintf(stderr, "\n\t\t\tEnjoy TV while boiling water.\n\n");. @: c8 v$ E) G
" S( o" T R4 n5 o0 e |' D 2 }, @" V, q* d! w% h& v% Z3 _" e
7 @0 a! Z: n4 X6 _ // 首先是一个报警器的例子,设定10分钟后"响铃" $ D( U- y5 E# R
: ?3 t2 M: B$ Z/ ~; m( ?$ T // 获取RTC中保存的当前日期时间信息& W0 r! n$ a9 E$ L
7 x v) e/ G& H l) D- b7 p /* Read the RTC time/date */
: B2 {% j' Q' U) _
3 R& y* j% }3 m/ f, ` retval = ioctl(fd, RTC_RD_TIME, &rtc_tm);
# m0 K2 S* O8 E- L- W4 r `2 u; [& I8 v
if (retval == -1) {% ?2 Q) X3 o6 s
. X+ d' a$ U; O5 N
perror("ioctl");3 i0 q0 j B+ t0 ~
. Q3 j7 M' M7 G9 w exit(errno);
9 U- u6 L0 R$ z3 A6 j9 ?; |$ X$ _6 G, h' c* r# ^6 [+ V' G
}
% z' z8 L- g @9 u
9 ]2 Z0 ~- p( b, w1 d) _0 Z, Q& |) O9 _0 \
6 B2 |5 E: ]/ v* }) X: N4 u9 l' }/ R9 ~; \) p
fprintf(stderr, "\n\nCurrent RTC date/time is %d-%d-%d,%02d:- i* z m4 Q/ w# w
' B' Q: l) p4 r% ~4 a o1 {%02d:%02d.\n", " Y% x5 _6 Q' W7 r6 @6 b" m
! ^3 ]$ K" L I+ I& x( ]
rtc_tm.tm_mday, rtc_tm.tm_mon + 1, rtc_tm.tm_year + 1900,6 Y; t0 a, x( W& U
+ j/ @, C, x: A2 r$ \ rtc_tm.tm_hour, rtc_tm.tm_min, rtc_tm.tm_sec);
/ Z8 G! ^; s. N* ]) T* }# [4 c. F1 e& H. \1 i. I- D
6 B5 z6 E* i$ C0 _" t7 D0 H
; C4 L- f/ a- \6 a [ // 设定时间的时候要避免溢出
/ w/ F. l8 }0 n. m2 Y6 m5 T3 C" E) i+ |% H- o7 _
rtc_tm.tm_min += 10;
. T( g) \$ D# R. b5 _+ D
% _8 l' h. p9 i& o" x% b/ d1 h if (rtc_tm.tm_sec >= 60) {
. W2 G9 R- ~$ F! l6 a; u7 M( [, k7 I" L% L
rtc_tm.tm_sec %= 60;" Y x& [& N4 N1 h
0 K9 M$ Q; e& p7 O& b9 H rtc_tm.tm_min++;
1 T% Z/ O2 v) l9 F# h, `/ w& l/ u4 N. G) x9 n0 K8 D$ l2 J
}: l( }, i2 ` q; z$ \
% e% }0 j; Y7 ] if (rtc_tm.tm_min == 60) {
4 {, g& K. c9 J( n' x) ~, E' t: a, e
rtc_tm.tm_min = 0;8 s( I8 N; ^4 ^
5 n W& ^; G& u2 `9 R3 P. V
rtc_tm.tm_hour++; K+ \* ]/ e, u
4 r& g1 | `+ v! ^" }
}
* p/ m( |# ~% a( ]0 C- Y1 E3 L
0 d* u2 n; {! B4 t# } if (rtc_tm.tm_hour == 24)
. M V' h2 I/ x5 S* X! z
. G# ^; j% ~ u4 [% M rtc_tm.tm_hour = 0;4 A7 a2 w. r2 Z' q/ J( p4 L
8 [; E2 ^7 v+ n) V3 Z, K& @3 D
! r+ T- j: R# Y+ R& Z
6 ~1 Q ]8 I( ~6 P2 R- \1 l // 实际的设定工作
" H# |0 _3 y5 T( D9 A6 ]1 Q# v7 I. L% X2 P' B+ @+ Q% @
retval = ioctl(fd, RTC_ALM_SET, &rtc_tm);: x/ i$ m7 k: D4 v0 Z8 L
; q) n3 `( D! G( s6 j- P
if (retval == -1) {
: h( O& J" y: L" f
9 P/ a1 S- x: z perror("ioctl");9 J P8 g. ?* [ Q6 {; y
! w s) r* p: H( s! `2 \ exit(errno);
1 Y. Z1 I: [; G. d4 H! b/ ~5 s
4 b$ F# n. I) a* i7 d+ P }
; G \% P: V7 Y
0 a+ w$ {3 H" r9 k 8 K* }4 V9 s. } F3 ~ ]
" i5 \% W2 _. A$ H2 h
// 检查一下,看看是否设定成功
( u$ d# i/ u0 Z& O" N+ l' B4 z9 x. ^
& O6 ]/ d8 @ H ^! i. t /* Read the current alarm settings */
: g0 h0 d4 S1 v- @6 r @1 N. i0 T: p
retval = ioctl(fd, RTC_ALM_READ, &rtc_tm);; y' F1 F; @0 I' A, [( [' Q
) A$ S- v: C5 t* g) }0 ~1 w$ m if (retval == -1) {* T/ Q8 r2 C I! Z# v
) w7 d/ v; V/ ]1 A. O0 w5 [ perror("ioctl");
. @4 Z/ ~; P+ s7 o
) h+ O2 u V7 ~2 G% s exit(errno);
# t6 y; a W- B0 i
" M# a: {# y4 h1 f. l0 v9 N' } }6 c N7 j& R3 E+ f- @! e% o1 W
& Y8 v/ d: O! b
# ^8 D! _$ J8 Q) X0 L, n
6 [& Y2 m% S6 g4 D3 N; t$ Q: i fprintf(stderr, "Alarm time now set to %02d:%02d:%02d.\n",; b J0 n' |3 W) t/ L. V
6 ?" c# H' M5 c rtc_tm.tm_hour, rtc_tm.tm_min, rtc_tm.tm_sec);9 @& W. K' J% Z" G
/ E7 t# `" m% J
: {8 G. Q0 C: n0 \
, |, ?& Q3 p- G1 y f/ }
// 光设定还不成,还要启用alarm类型的中断才行7 v; u5 c1 V9 c
9 U( j+ q( ?$ z& j0 ^2 U3 p& i /* Enable alarm interrupts */
, A6 _( Y: z/ g" O. b/ E1 Y' A1 r# T7 ^
retval = ioctl(fd, RTC_AIE_ON, 0);. K( {3 W1 X! }' _7 \+ o% n2 G' z
$ d- V4 |; q* b# W' c( z if (retval == -1) {! |- x1 P' [5 O# H: O
}, m, f% R% L9 m8 o( _1 m9 n perror("ioctl");
; n. h+ G' Z3 W( L1 }8 k' R* c) K0 r6 w& U
exit(errno);3 H( o, o0 i, i+ j0 Q
3 d$ a' G9 r: q+ x. ^
}
. ^: {% P1 B1 q' O3 V
?$ e$ R0 K! k4 T+ | 5 |. x6 D8 O) z' g5 i) Z
9 |0 g* ]6 a( H( Q
// 现在程序可以耐心的休眠了,10分钟后中断到来的时候它就会被唤醒+ j# _% [: Z4 h0 v7 O u3 c! z6 \
2 z* h5 {9 G' Q, I- g /* This blocks until the alarm ring causes an interrupt */1 V/ A0 u* t% i6 T9 ~. z. E7 z/ [
3 R" f+ y# u9 `. t retval = read(fd, &data, sizeof(unsigned long));
, _, U- A; |! F) [3 n y$ A8 ^% e4 Z' j# O: f0 O, R
if (retval == -1) {2 `0 b9 T2 y8 ~" y
& ]$ B; S0 F( H, f5 a perror("read");+ y0 }+ X" b" V7 c, @. D
5 w0 |9 n* B) s6 j# o Z exit(errno);
+ D1 e1 ]6 x, m" a" `6 \7 L$ V1 b7 Z' c$ X
}" l/ P! q+ h3 }/ g# s+ R- O
, q7 ~# [1 I7 b2 e# E irqcount++;
- L/ g+ w3 T% c+ l' A
- n1 v V8 \+ p: y+ k: ^3 { fprintf(stderr, " okay. Alarm rang.\n");
1 } G' |) U& N( p- R+ l: F. `+ v$ b8 Z' ]' T4 w! H3 v
}' ^( i% v! ~( M
8 Z9 S {, `% L# n9 P- r这个例子稍微显得有点复杂,用到了open、ioctl、read等诸多系统调用,初看起来让人眼花缭乱。其实如果简化一下的话,过程还是“烧开水”:设定定时器、等待定时器超时、执行相应的操作(“关煤气灶”)。
7 \# f- U- k0 k8 o& g+ }4 x
6 u! I) j& u4 {, k: W读者可能不理解的是:这个例子完全没有表现出中断带来的好处啊,在等待10分钟的超时过程中,程序依然什么都不能做,只能休眠啊?. w2 X8 J2 G4 D# u. o6 y9 I
! q% R- ~" c8 _
读者需要注意自己的视角,我们所说的中断能够提升并发处理能力,提升的是CPU的并发处理能力。在这里,上面的程序可以被看作是烧开水,在烧开水前,闹铃已经被上好,10分钟后CPU会被中断(闹铃声)惊动,过来执行后续的关煤气工作。也就是说,CPU才是这里唯一具有处理能力的主体,我们在程序中主动利用中断机制来节省CPU的耗费,提高CPU的并发处理能力。这有什么好处呢?试想如果我们还需要CPU烤面包,CPU就有能力完成相应的工作,其它的工作也一样。这其实是在多任务操作系统环境下程序生存的道德基础——“我为人人,人人为我”。
8 s7 A/ o5 A- |; i* U
' X2 s3 X2 A6 q好了,这段程序其实是我们进入Linux中断机制的引子,现在我们就进入Linux中断世界。$ |, i! K% G. H: {6 Z
: v7 Y+ d: Y7 C& c2 F更详细的内容和其它一些注意事项请参考内核源代码包中Documentations/rtc.txt
4 n* h$ @- ?$ t9 Y! j4 {. z; ]8 s3 j9 B7 P; D" ?9 N
' X7 @# Q8 I5 b! S9 C* C _; y! {6 j( [! |# }
( c7 K1 R: w, A. ]& d0 C' s1 k RTC中断服务程序
1 `* G5 t5 C3 y: M) D" Q
3 p# M* y( R7 U) w- aRTC中断服务程序包含在内核源代码树根目录下的driver/char/rtc.c文件中,该文件正是RTC设备的驱动程序——我们曾经提到过,中断服务程序一般由设备驱动程序提供,实现设备中断特有的操作。
, n1 ]* A D$ j E9 L0 u+ g
+ ?" o; `4 o$ R! J6 }3 BSagaLinux中注册中断的步骤在Linux中同样不能少,实际上,两者的原理区别不大,只是Linux由于要解决大量的实际问题(比如SMP的支持、中断的共享等)而采用了更复杂的实现方法。
1 T, i! o. Q4 [" V% ^ e8 y( N& Z, \1 D
RTC驱动程序装载时,rtc_init()函数会被调用,对这个驱动程序进行初始化。该函数的一个重要职责就是注册中断处理程序:2 a; Q* S% Z* a9 G( o
! D% A- ?. d0 D$ F8 e4 N if (request_irq(RTC_IRQ,rtc_interrupt,SA_INTERRUPT,”rtc”,NULL)){* l: [% V9 `2 ^3 X
printk(KERN_ERR “rtc:cannot register IRQ %d\n”,rtc_irq);
1 F! O9 B& M2 ?# B- S; M) q. Q return –EIO;! j& Q9 W) L. }' H
}
: e, l }" f9 W2 P! D- i# g这个request_irq函数显然要比SagaLinux中同名函数复杂很多,光看看参数的个数就知道了。不过头两个参数两者却没有区别,依稀可以推断出:它们的主要功能都是完成中断号与中断服务程序的绑定。
8 m% Y1 ]& X! l* k* a- }5 D! Z8 {# C. W1 G
关于Linux提供给系统程序员的、与中断相关的函数,很多书籍都给出了详细描述,如“Linux Kernel Development”。我这里就不做重复劳动了,现在集中注意力在中断服务程序本身上。! H4 B3 ~; n6 K* }9 H! ?, Y1 k
# R* \/ C4 D; Z4 ?static irqreturn_t rtc_interrupt(int irq, void *dev_id,. W/ p+ r" |) S9 A: S
3 i: U$ K# R4 V1 c" N) istruct pt_regs *regs)6 _# q' H& f" g6 V
* [# I, B+ r/ [! c7 b6 B) ~7 U% l
{
1 @. s N- a( `2 @3 W- @$ M( m1 Y/ C$ z. `
/*
6 U s- O; i3 i( S- f6 C0 \* M: A1 G+ C# k9 s# O
* Can be an alarm interrupt, update complete interrupt,5 ]' C9 e6 o% ]4 {, E/ U+ j
1 z' i( y0 [3 S6 n * or a periodic interrupt. We store the status in the5 s! x& K' o' \7 T
& o# E9 ~8 k- W2 r
* low byte and the number of interrupts received since
' U6 Q; ]0 n/ i+ o; b9 Q- R1 _$ ^7 m( F3 D3 S+ @* b! T
* the last read in the remainder of rtc_irq_data.3 S% o8 L) b) W& n( N5 T3 [7 M
" @7 \8 m* ?8 T */
# Q0 Z" C8 C+ f
6 I+ ]) e4 A2 q8 v+ m- Q A spin_lock (&rtc_lock);
: n) t' N+ {' E" J
Y9 p7 ]% O/ e rtc_irq_data += 0x100;7 C1 y: j9 l$ W- |
9 _* l j' S2 r, {+ ~ rtc_irq_data &= ~0xff;
/ X$ K6 F, x$ E, N+ r' S5 x" l/ X9 m- `$ n" a
rtc_irq_data |= (CMOS_READ(RTC_INTR_FLAGS) & 0xF0);6 Z" r2 O6 R* W1 D- m* Z0 x; u& J
! O: ]. u' r' v, h
9 S6 E4 o3 A: u3 B
' s; D" I0 }% n5 z$ o) F" b3 B$ ^+ u7 t. ]* T* G1 Y" [1 D
if (rtc_status & RTC_TIMER_ON)
5 ?3 J" F8 I4 E7 g
1 P8 s+ L0 q* _9 C% N' [. v mod_timer(&rtc_irq_timer,
/ I1 n2 i, r% T7 K) {5 g
1 I8 C% d: s! S) mjiffies + HZ/rtc_fre
) h* g$ V5 s: j" ^- r- E
% ~: P% q! ~ ~# jq6 T. _( ` c! s
5 h9 O( ]* p/ ^% f" H) e + 2*HZ/100);) V3 N3 G E1 x7 o& F
( K+ P/ d& R$ o; Q, O
spin_unlock (&rtc_lock);
' _& ]! j* A* U5 V+ [, f0 N
' A, G: t! N3 _5 z. t7 J5 ]& g. }) [0 b y9 f( ]
/* Now do the rest of the actions */* X( [3 k+ E* L- x
' T4 b; P4 A, t2 B spin_lock(&rtc_task_lock);
3 m3 e$ x9 Z: [6 J6 l$ ?4 _. A5 J' }" G" I( J
if (rtc_callback)5 S7 L/ L& X' M, Z
7 v0 V) Q: O* n
rtc_callback->func(rtc_callback->private_data);. H4 E9 W( R: z5 F8 U6 z* x
6 @8 a3 T! n# I2 t6 h
spin_unlock(&rtc_task_lock);
( E5 c2 H \; t% y1 i9 F9 a: g4 z
wake_up_interruptible(&rtc_wait);
8 Z% @. P; F, ^7 `/ Z, l ^ w k' L% b+ y% Y2 b
kill_fasync (&rtc_async_queue, SIGIO, POLL_IN);
* r# R" Z8 r! i* Y; o' W& b+ C5 ?" J1 T8 ~9 _; D5 z
return IRQ_HANDLED;
5 s# r5 P/ K7 {3 ^9 `
4 o2 Y7 l7 r1 R}8 q1 k7 l9 s- J `
7 K! J2 g( L$ c$ w1 y# j8 I9 Z2 X$ V' r3 D2 ^8 W
这里先提醒读者注意一个细节:中断服务程序是static类型的,也就是说,该函数是本地函数,只能在rtc.c文件中调用。这怎么可能呢?根据我们从SagaLinux中得出的经验,中断到来的时候,操作系统的中断核心代码一定会调用此函数的,否则该函数还有什么意义?实际上,request_irq函数会把指向该函数的指针注册到相应的查找表格中(还记得SagaLinux中的irq_handler[]吗?)。static只能保证rtc.c文件以外的代码不能通过函数名字显式的调用函数,而对于指针,它就无法画地为牢了。7 a9 v3 @7 l0 |/ {# i( ?" d/ R
+ `6 H9 i e. k% J8 L% J* K4 ]+ h程序用到了spin_lock函数,它是Linux提供的自旋锁相关函数,关于自旋锁的详细情况,我们会在以后的文章中详细介绍。你先记住,自旋锁是用来防止SMP结构中的其他CPU并发访问数据的,在这里被保护的数据就是rtc_irq_data。rtc_irq_data存放有关RTC的信息,每次中断时都会更新以反映中断的状态。
6 {( M7 s7 A9 g o6 [
1 f1 E8 J8 \( S* j! }接下来,如果设置了RTC周期性定时器,就要通过函数mod_timer()对其更新。定时器是Linux操作系统中非常重要的概念,我们会在以后的文章中详加解释。
- n8 q; r/ [$ |) M n& j7 U( h3 q
代码的最后一部分要通过设置自旋锁进行保护,它会执行一个可能被预先设置好的回调函数。RTC驱动程序允许注册一个回调函数,并在每个RTC中断到来时执行。 t# K& P! t+ \+ i
- }) R: ^2 _" v8 D4 ?. Swake_up_interruptible是个非常重要的调用,在它执行后,系统会唤醒睡眠的进程,它们等待的RTC中断到来了。这部分内容涉及等待队列,我们也会在以后的文章中详加解释。
& q( U% F/ F) J9 O9 t
. T' M8 _' ?$ Q/ Y7 \; `, K感受RTC——最简单的改动
* i; l, k2 K0 c+ q* X4 B
+ {/ H* D& m5 a我们来更进一步感受中断,非常简单,我们要在RTC的中断服务程序中加入一条printk语句,打印什么呢?“I’m coming, interrupt!”。
5 }& {$ m9 _2 B6 k( b; X1 X( y
7 Q! p' B1 n @& I; D下面,我们把它加进去:
0 ?1 J7 `8 |0 N1 N$ D3 s9 L v2 F/ x* o' r5 h( z* X$ C3 g
… …! r' d6 F, x0 q
8 W3 N7 ^" J: x" @
spin_unlock(&rtc_task_lock);' y- T3 ~/ F, O1 x A% `* U, A
" s9 l% C5 L; D0 K: O7 K$ J
printk(“I’m coming , interrupt!\n”);; f; t' k$ ]0 e9 T
* }7 k% d7 {7 M4 \, q$ z. qwake_up_interruptible(&rtc_wait); , O' I! l: S5 i" t G, ^
; M% z& C+ D: U… …; o1 y6 Q2 b& D# t1 @: C
) W7 |& c# _4 K/ o: {# D4 j1 x
没错,就先做这些,请你找到代码树的drivers\char\rtc.c文件,在其中irqreturn_t rtc_interrupt函数中加入这条printk语句。然后重新编译内核模块(当然,你要在配置内核编译选项时包含RTC,并且以模块形式)现在,当我们插入编译好的rtc.o模块,执行前面实时钟部分介绍的用户空间程序,你就会看到屏幕上打印的“I’m coming , interrupt!”信息了。
( Y/ r1 g' {- V( u3 V' N( Z3 y
5 u: \5 h+ P) v' n# C Z$ \3 F- u* ~这是一次实实在在的中断服务过程,如果我们通过ioctl改变RTC设备的运行方式,设置周期性到来的中断的话,假设我们将频率定位8HZ,你就会发现屏幕上每秒打印8次该信息。
9 A7 n3 O g- l7 ~5 o* Z' `1 u
- H' L8 ?1 M# |, u0 K! \动手修改RTC实际上是对中断理解最直观的一种办法,我建议你不但注意中断服务程序,还可以看一下RTC驱动中ioctl的实现,这样你会更加了解外部设备和驱动程序、中断服务程序之间实际的互动情况。3 {4 Q6 } U G/ @7 v9 F
4 }, B4 E) V0 Z
不仅如此,通过修改RTC驱动程序,我完成了不少稀奇古怪的工作,比如说,在高速数据采集过程中,我就是利用高频率的RTC中断检查高速AD采样板硬件缓冲区使用情况,配合DMA共同完成数据采集工作的。当然,在有非常严格时限要求的情况下,这样不一定适用。但是,在两块12位20兆采样率的AD卡交替工作,对每秒1KHz的雷达视频数据连续采样的情况下,我的RTC跑得相当好。/ ~* @- Q" o; f- O
! I# u( x8 r$ H
当然,这可能不是一种美观和标准的做法,但是,我只是一名程序员而不是艺术家,只是了解了这么一点点中断知识,我就完成了工作,我想或许您也希望从系统底层的秘密中获得收益吧,让我们在以后的文章中再见。
; ^# ^/ o0 |; ?$ d/ Q$ [* h5 [( K- s0 J( g. j8 x
[1]那么PowerOff(关机)算不算中断呢?如果从字面上讲,肯定符合汉语对中断的定义,但是从信号格式、处理方法等方面来看,就很难符合我们的理解了。Intel怎么说的呢?该中断没有采用通用的中断处理机制。那么到底是不时中断呢?我也说不上来:(
' k9 S4 X. x! e, N+ w$ ~ i/ n" E7 T7 i" {
+ L! b& D7 }& o# r3 ^( Q9 B
8 [5 ?+ ^, {- n' Z
; F6 k: [ ?. O[2]之所以这里使用汇编而不是C来实现这些函数,是因为C编译器会在函数的实现中推入额外的栈信息。而CPU在中断来临时保存和恢复现场都按照严格的格式进行,一个字节的变化都不能有。
2 j; }7 S" o0 e3 @; N$ v
6 ?4 j3 o# N: a8 E& M6 {4 D: V: n7 k% F( ~# ~3 z* t$ k* A3 ?/ v# `
|
|