针对好多
Linux 爱好者对内核很有兴趣却无从下口,本文旨在介绍一种解读linux内核源码的入门方法,
3 o* q( M6 n0 u
而不是解说linux复杂的内核机制;
; k3 w$ P* j$ H& q/ Z1 D. {+ Z5 k, a
一.核心源
程序的文件组织:
7 V3 X! M; W8 Q1 d. r" L
1.Linux核心源程序通常都安装在/usr/src/linux下,而且它有一个非常简单的编号约定:任何偶数的
& a: e3 d( m* K
核心(例如2.0.30)都是一个稳定地发行的核心,而任何奇数的核心(例如2.1.42)都是一个开发中的核心。
" R. m" w( p& z( X' v& r+ T本文基于稳定的2.2.5
源代码,第二部分的实现平台为
Redhat Linux 6.0。
3 T! s$ u" c$ w" x" i5 N2.核心源程序的文件按树形
结构进行组织,在源程序树的最上层你会看到这样一些目录:
7 i$ U1 N8 `* x7 C
●Arch :arch子目录包括了所有和体系结构相关的核心代码。它的每一个子目录都代表一种支持的体系
% P" ]7 \+ x2 q/ t. l c 结构,例如i386就是关于intel cpu及与之相兼容体系结构的子目录。PC机一般都基于此目录;
0 |7 _7 r* _0 n( w3 O! n& x●Include: include子目录包括编译核心所需要的大部分头文件。与平台无关的头文件在 include/linux
; b, Y) |9 A! ^+ p( o* U
子目录下,与 intel cpu相关的头文件在include/asm-i386子目录下,而include/scsi目录则是有关
Q" i: H2 N; y2 V* K4 Z" E3 a. ~ scsi设备的头文件目录;
W; g2 ^+ L n& n4 J: K N●Init: 这个目录包含核心的初始化代码(注:不是
系统的引导代码),包含两个文件main.c和Version.c,
5 w- T$ j: p2 P1 P
这是研究核心如何工作的一个非常好的起点。
+ R" a* [, A. _: v7 G: u●Mm :这个目录包括所有独立于 cpu 体系结构的
内存管理代码,如页式存储管理内存的分配和释放等;而和
, b1 m L6 X- m2 Z 体系结构相关的内存管理代码则位于arch/*/mm/,例如arch/i386/mm/Fault.c
' Y4 f/ }; X: K; v
●Kernel:主要的核心代码,此目录下的文件实现了大多数linux系统的内核函数,其中最重要的文件当属
1 z: H' y8 s2 v9 |0 b2 V; I* f sched.c;同样,和体系结构相关的代码在arch/*/kernel中;
' j8 [8 J# J2 Q' o8 m+ x* `
●
Drivers: 放置系统所有的设备
驱动程序;每种
驱动程序又各占用一个子目录:如,/block 下为块设备
) j( v8 w# a% d; ~3 l7 O" n 驱动程序,比如ide(ide.c)。如果你希望查看所有可能包含文件系统的设备是如何初始化的,你可以看
, w6 [0 C( t% q) F: Z3 o/ l( v+ @
drivers/block/genhd.c中的device_setup()。它不仅初始化
硬盘,也初始化
网络,因为安装nfs文件
& ?4 K3 u5 ~0 a; R* k* o ` 系统的时候需要网络
9 y* ?5 G f% s
其他: 如, Lib放置核心的库代码; Net,核心与网络相关的代码; Ipc,这个目录包含核心的进程间通讯的代码;
" E9 R! X9 q$ S8 z* r, j Fs ,所有的文件系统代码和各种
类型的文件操作代码,它的每一个子目录支持一个文件系统,例如fat和ext2;
9 v' r* a4 \9 _
Scripts, 此目录包含用于配置核心的脚本文件等。
2 S$ X6 ]6 m7 G 一般,在每个目录下,都有一个 .depend 文件和一个 Makefile 文件,这两个文件都是编译时
Q, O# \; c& `# U
使用的辅助文件,仔细阅读这两个文件对弄清各个文件这间的联系和依托关系很有帮助;而且,在有的目录下
2 \# W3 ]* G+ L% ~ 还有Readme 文件,它是对该目录下的文件的一些说明,同样有利于我们对内核源码的理解;
# g# g0 p" t1 h8 P3 x$ Q
( ]. s* t: q: J# A3 r! ^; X
二.解读实战:为你的内核增加一个系统调用
) h, B. Z; U7 J2 x' I* F% k% t
虽然,Linux 的内核源码用树形结构组织得非常合理、
科学,把
功能相关联的文件都放在同一个子目录下,这样使
# V: T& O" T3 ]. w( j得程序更具可读性。然而,Linux 的内核源码实在是太大而且非常复杂,即便采用了很合理的文件组织方法,在
& l i0 E1 E! s9 E3 l8 F
不同目录下的文件之间还是有很多的关联,分析核心的一部分代码通常会要查看其它的几个相关的文件,而且可能
0 k5 w4 K2 ~% [$ q+ p这些文件还不在同一个子目录下。
9 a) Q7 K. z: ?9 r8 X
体系的庞大复杂和文件之间关联的错综复杂,可能就是很多人对其望而生畏的主要原因。当然,这种令人生畏的劳动
9 c- N' P1 D: U) b
所带来的回报也是非常令人着迷的:你不仅可以从中学到很多的
计算机的底层的
知识(如下面将讲到的系统的引导),
' A# c- g, I5 X5 X5 |/ d7 O( L0 r
体会到整个
操作系统体系结构的精妙和在解决某个具体细节问题时,
算法的巧妙;而且更重要的是:在源码的分析过
: @ m0 j m/ U/ ?+ T" N程中,你就会被一点一点地、潜移默化地专业化;甚至,只要分析十分之一的代码后,你就会深刻地体会到,什么样
* i- i1 R Y8 E0 I3 e4 K
的代码才是一个专业的
程序员写的,什么样的代码是一个业余爱好者写的。
* }" Y# H5 k; _5 P7 ~为了使读者能更好的体会到这一特点,下面举了一个具体的内核分析实例,希望能通过这个实例,使读者对 Linux
' {* }, }$ k9 ^3 |7 l' Q5 c, `
的内核的组织有些具体的认识,从中读者也可以学到一些对内核的分析方法。
' T6 Y/ l6 h$ ]- j3 t( r# W4 E
, d; C* D9 X: c K/ Q+ P9 [- ~. O, |以下即为分析实例:
8 m$ W, }$ D- {
: _0 r* y2 J2 M# y
【一】操作平台:
+ F- u7 u9 b" k) O7 j j' k- Q& j" i硬件:cpu intel Pentium II ;
. U5 L0 K% u0 _: D1 _# w
软件:Redhat Linux 6.0; 内核版本2.2.5
- n ^0 z2 n( Q' R" F3 @
9 r4 e6 Z1 n4 g+ B9 _% H【二】相关内核源代码分析:
: o+ c U! N# U2 Z+ b
1.系统的引导和初始化:Linux 系统的引导有好几种方式:常见的有 Lilo, Loadin引导和Linux的自举引导
x- A+ o. F# r- h/ n
(bootsect-loader),而后者所对应源程序为arch/i386/boot/bootsect.S,它为实模式的汇
编程序,限于
2 }) j+ | Z- B7 q% |" m. f5 `
篇幅在此不做分析;无论是哪种引导方式,最后都要跳转到 arch/i386/Kernel/setup.S, setup.S主要是
- Y, a/ g i. Y- m5 ~2 Z
进行时模式下的初始化,为系统进入保护模式做准备;此后,系统执行 arch/i386/kernel/head.S (对经压缩
/ }+ r# A+ l( a! x
后存放的内核要先执行 arch/i386/boot/compressed/head.S); head.S 中定义的一段汇编程序setup_idt ,
2 h3 |$ |' I( D) {+ X
它负责建立一张256项的 idt 表(Interrupt Descriptor Table),此表保存着所有自陷和中断的入口地址;其中
! c1 G' ?2 {( B) K/ e9 ]* b
包括系统调用总控程序 system_call 的入口地址;当然,除此之外,head.S还要做一些其他的初始
化工作;
( q6 B5 Y. |( W9 D0 Q# z2.系统初始化后运行的第一个内核程序asmlinkage void __init start_kernel(void) 定义在
/ {! B6 ?( Z4 s /usr/src/linux/init/main.c中,它通过调用usr/src/linux/arch/i386/kernel/traps.c 中的一个函数
; B* m3 P4 K3 W$ p5 [9 G
void __init trap_init(void) 把各自陷和中断服务程序的入口地址设置到 idt 表中,其中系统调用总控程序
) } w. |( C! r system_cal就是中断服务程序之一;void __init trap_init(void) 函数则通过调用一个宏
- y+ m! X+ O" V% i0 R
set_system_gate(SYSCALL_VECTOR,%26;amp;system_call); 把系统调用总控程序的入口挂在中断0x80上;
. h# p" x2 G, Q其中SYSCALL_VECTOR是定义在 /usr/src/linux/arch/i386/kernel/irq.h中的一个常量0x80; 而 system_call
2 X3 p6 O( e( ^( n 即为中断总控程序的入口地址;中断总控程序用汇编语言定义在/usr/src/linux/arch/i386/kernel/entry.S中;
0 U3 ]* p( X, c: Y
3.中断总控程序主要负责保存处理机执行系统调用前的状态,检验当前调用是否合法, 并根据系统调用向量,使处理机
' y3 X/ @% O+ `6 H- d 跳转到保存在 sys_call_table 表中的相应系统服务例程的入口; 从系统服务例程返回后恢复处理机状态退回用户程序;
4 c% L, f5 X$ O% V7 l
而系统调用向量则定义在/usr/src/linux/include/asm-386/unistd.h 中;sys_call_table 表定义在
* Z! A+ w/ v1 w: l) b. C5 k* y
/usr/src/linux/arch/i386/kernel/entry.S 中; 同时在 /usr/src/linux/include/asm-386/unistd.h
; }( e' P% p; i0 J' m 中也定义了系统调用的用户编程接口;
% b8 K% P( Q& S
4.由此可见 , linux 的系统调用也象 dos 系统的 int 21h 中断服务, 它把0x80 中断作为总的入口, 然后
, ^0 T3 S; d( L6 A- l0 M' @8 A
转到保存在 sys_call_table 表中的各种中断服务例程的入口地址 , 形成各种不同的中断服务;
( a" q- J7 z: Q# i; f 由以上源代码分析可知, 要增加一个系统调用就必须在 sys_call_table 表中增加一项 , 并在其中保存好自己
' D" p; }: _# z5 g 的系统服务例程的入口地址,然后重新编译内核,当然,系统服务例程是必不可少的。
" A7 H+ T; O5 y由此可知在此版linux内核源程序%26lt;2。2。5%26gt;中,与系统调用相关的源程序文件就包括以下这些:
+ R9 { Y/ p/ k9 J1.arch/i386/boot/bootsect.S
. R: f9 O- V0 e) ]
2.arch/i386/Kernel/setup.S
& X+ }2 X f" F3.arch/i386/boot/compressed/head.S
3 d' ]3 d$ k" `5 W7 x4 q4.arch/i386/kernel/head.S
+ Y* X3 z6 d: W
5.init/main.c
. O u* L* }* r% N A+ ~9 w
6.arch/i386/kernel/traps.c
/ s3 O' X, n. k) T( k) _: B Q7.arch/i386/kernel/entry.S
6 |+ n8 Y7 ?3 b2 m4 N4 z( c7 o, {! [3 H
8.arch/i386/kernel/irq.h
5 L- R! L) U) _9.include/asm-386/unistd.h
* s* G, h) q) Q' w9 O/ d6 Y2 B; W1 g1 `
- o* q6 D9 |+ q$ @! C 当然,这只是涉及到的几个主要文件。而事实上,增加系统调用真正要修改文件只有include/asm-386/unistd.h
0 X4 M* q6 |2 F8 f" P+ }0 | 和arch/i386/kernel/entry.S两个;
3 V" n: B/ V& ?% Z v" O/ [
; s7 }! O+ M# b( N' c
【三】 对内核源码的修改:
J- M3 p& T- I; F1 W1.在kernel/sys.c中增加系统服务例程如下:
1 |# p& H9 j0 U E5 L$ B asmlinkage int sys_addtotal(int numdata)
3 d. V( x! R5 ?( I; t' N Q
{
6 G+ V9 f# E4 f6 lint i=0,enddata=0;
" X' p+ n, B& m, b# L+ p
while(i%26lt;=numdata)
; ]5 N& G' k* ]1 l' L9 L, Kenddata=i;
% v- v0 E: d1 T2 l
return enddata;
5 L4 E' H% t4 _. r _
}
, m |- N" d: ^ 该函数有一个 int 型入口参数 numdata , 并返回从 0 到 numdata 的累加值; 当然也可以把系统服务例程放
) i( k- e- A* u* x; _7 f- f6 D5 b. @
在一个自己定义的文件或其他文件中,只是要在相应文件中作必要的说明;
# S: l, k1 Q+ }3 q2.把 asmlinkage int sys_addtotal( int) 的入口地址加到sys_call_table表中:
% w5 k# w* q% u* A, Y) p
arch/i386/kernel/entry.S 中的最后几行源代码修改前为:
- \- z+ R1 M0 b" T
... ...
4 \# ]. U' T8 b$ _; b: O$ b0 {6 r.long SYMBOL_NAME(sys_sendfile)
, ]2 e+ E2 i) f& q2 e.long SYMBOL_NAME(sys_ni_syscall)/* streams1 */
2 n1 I, V, k0 f9 ^3 W8 N6 P) P5 ^.long SYMBOL_NAME(sys_ni_syscall)/* streams2 */
, Y% r2 K" K" E2 q a1 l.long SYMBOL_NAME(sys_vfork) /* 190 */
4 l9 a; b g2 _# v; X4 P$ I/ G
.rept NR_syscalls-190
. Q# I1 Y% V: H* z.long SYMBOL_NAME(sys_ni_syscall)
8 P5 y3 e& x$ m.endr
" ?- w- I' v- R7 Z& ~ J9 m
修改后为: ... ...
- K3 p# G% i5 ^+ G
.long SYMBOL_NAME(sys_sendfile)
. [9 |; b' }- n
.long SYMBOL_NAME(sys_ni_syscall)/* streams1 */
5 e2 s7 f& ?* E1 E& i- ?/ Y6 j
.long SYMBOL_NAME(sys_ni_syscall)/* streams2 */
& f y3 A P% c3 n! p* Z
.long SYMBOL_NAME(sys_vfork) /* 190 */
4 J, o; A+ M' ~7 z$ e F
/* add by I */
( s9 U8 N3 D9 K* D& g2 [
.long SYMBOL_NAME(sys_addtotal)
* O% e5 \$ h( Z9 c6 o.rept NR_syscalls-191
5 L" S2 ]. `' m9 o4 {.long SYMBOL_NAME(sys_ni_syscall)
# L, y2 H+ ?9 ~- W: [
.endr
* u0 A5 M, x2 B& I" o. B
3. 把增加的 sys_call_table 表项所对应的向量,在include/asm-386/unistd.h 中进行必要申明,以供
p4 R Y- _$ F1 z { 用户进程和其他系统进程查询或调用:
: U5 T5 W" W' g E: {
增加后的部分 /usr/src/linux/include/asm-386/unistd.h 文件如下:
2 a0 S5 d% w5 m* `
... ...
" M, H4 z( k, q2 c7 l& g7 \5 h#define __NR_sendfile187
& c+ i8 B( x! Z
#define __NR_getpmsg 188
9 q0 ?" T+ P( D! h#define __NR_putpmsg 189
* W" [3 q6 g1 e. X( b#define __NR_vfork190
' c/ B, H- a7 p H; D4 u8 d
/* add by I */
2 B7 h: O; K# D6 _. J
#define __NR_addtotal191
2 d: C* b9 G% D5 \" ~' x0 y3 B4.
测试程序(test.c)如下:
) ]! P9 X9 h' Y#include
4 r: S1 j1 Q3 w) ]& k#include
& H4 @- t& h6 C2 O
4 }# A: k: Z9 X% t [_syscall1(int,addtotal,int, num)
- ^. a" Z# T) n+ L+ d
6 t: c- U" H9 [8 b
main()
5 t4 K0 y# H9 L( L
{
* t7 E* N. o0 @
int i,j;
5 e2 l- \8 o" d% [$ u! E. X
* L. b0 z" g1 w- U( d: v! ~0 Hdo
4 e: g( k/ f" F% e! e6 e8 `, m printf("Please input a number\n");
6 o* m' w# G5 ~ } while(scanf("%d",%26;amp;i)==EOF);
" R" |; b1 y6 gif((j=addtotal(i))==-1)
7 l7 y( ?) {: z/ ` printf("Error occurred in syscall-addtotal();\n");
+ j) ?7 G( W3 n# i
printf("Total from 0 to %d is %d \n",i,j);
. I& b: p4 Z3 D( ?9 c
}
# _- x" H3 @! g* A8 E" W对修改后的新的内核进行编译,并引导它作为新的操作系统,运行几个程序后可以发现一切正常;在新的系统下
s' d5 \( R4 F2 u+ [ a- C对测试程序进行编译(*注:由于原内核并未提供此系统调用,所以只有在编译后的新内核下,此测试程序才能
/ J3 U0 Z0 V2 k
可能被编译通过),运行情况如下:
4 s( }7 O0 p! y3 h- v. y$ l$gcc -o test test.c
* j. t6 W/ B; N
$./test
) M; Q/ w _# f! D
Please input a number
% v/ e" M3 Q, L; P, J36
( G# A' l3 o k6 b+ E) bTotal from 0 to 36 is 666
) y+ R- i9 T8 F% [* s, D
可见,修改成功;
" |. P% L) c1 v) m而且,对相关源码的进一步分析可知,在此版本的内核中,从/usr/src/linux/arch/i386/kernel/entry.S
P5 R9 p& j [% a+ D. l文件中对 sys_call_table 表的设置可以看出,有好几个系统调用的服务例程都是定义在
: u( I. d( H7 H. E+ U; O; r
/usr/src/linux/kernel/sys.c 中的同一个函数:
, S8 e9 }7 j; v+ X0 b
asmlinkage int sys_ni_syscall(void)
7 o3 n4 A' \% v" @/ A{
$ R' M1 H# h3 e! qreturn -ENOSYS;
+ m; Q$ A( r/ ]+ @}
8 x/ v+ A9 A# E1 C) [/ V ^例如第188项和第189项就是如此:
/ E2 w$ G/ o, Q* w... ...
$ o8 X: _7 Y& T.long SYMBOL_NAME(sys_sendfile)
' X) ^) ~# R1 ^) k) |4 d, R! x/ K
.long SYMBOL_NAME(sys_ni_syscall)/* streams1 */
1 l; b( R2 n; ~3 |) z; Q, {% D! d5 K.long SYMBOL_NAME(sys_ni_syscall)/* streams2 */
. F, F! P7 q W B% S* d! R* D.long SYMBOL_NAME(sys_vfork) /* 190 */
* t; y* J0 e- }
......
: \% A, @6 f9 v) S5 Q9 v而这两项在文件 /usr/src/linux/include/asm-386/unistd.h 中却申明如下:
* ?; M# G+ f! h e4 E9 k
... ...
1 D% m; J( {$ x1 W# i% {8 m- G
#define __NR_sendfile187
' Z. ^$ Q# a T% [
#define __NR_getpmsg188/* some people actually want streams */
, x) c6 g1 M! N4 b& _2 o6 b* g#define __NR_putpmsg189/* some people actually want streams */
3 T1 [8 r/ n. s, ?; y
#define __NR_vfork190
: \3 S; Y% r6 Y: z& X由此可见,在此版本的内核源代码中,由于asmlinkage int sys_ni_syscall(void) 函数并不进行任何操作,
! l0 P- q* E5 r1 ?7 ]. A5 ~7 y2 }% c) t) [
所以包括 getpmsg, putpmsg 在内的好几个系统调用都是不进行任何操作的,即有待扩充的空调用; 但它们
( v& ]6 O; q$ q% Z! T5 x- L
却仍然占用着sys_call_table表项,估计这是设计者们为了方便扩充系统调用而安排的; 所以只需增加相应
' l7 \; n/ r m, a- m/ V- `7 \8 @服务例程(如增加服务例程getmsg或putpmsg),就可以达到增加系统调用的作用。
5 N! G, v- e% n4 M7 w9 O. X7 X结语:当然对于庞大复杂的 linux 内核而言,一篇文章远远不够,而且与系统调用相关的代码也只是内核中极其
. C& T( T2 s6 Y+ J1 g
微小的一部分;但重要的是方法、掌握好的分析方法;所以上的分析只是起个引导的作用,而正真的分析还有待于
( N! e9 L; K3 @" g/ |读者自己的努力