QQ登录

只需要一步,快速开始

 注册地址  找回密码
查看: 2995|回复: 0
打印 上一主题 下一主题

Linux内核解读入门

[复制链接]
字体大小: 正常 放大

1253

主题

442

听众

-586

积分

复兴中华数学头子

  • TA的每日心情
    开心
    2011-9-26 17:31
  • 签到天数: 3 天

    [LV.2]偶尔看看I

    自我介绍
    数学中国网站(www.madio.cn)是目前中国最大的数学建模交流社区

    邮箱绑定达人 优秀斑竹奖 发帖功臣 元老勋章 新人进步奖 原创写作奖 最具活力勋章 风雨历程奖

    群组越狱吧

    群组湖南工业大学数学建模同盟会

    群组四川农业大学数学建模协会

    群组重庆交通大学数学建模协会

    群组中国矿业大学数学建模协会

    跳转到指定楼层
    1#
    发表于 2004-9-27 14:35 |只看该作者 |倒序浏览
    |招呼Ta 关注Ta |邮箱已经成功绑定
    针对好多Linux 爱好者对内核很有兴趣却无从下口,本文旨在介绍一种解读linux内核源码的入门方法,而不是解说linux复杂的内核机制;  
    ; ]: c. p4 X2 e8 O9 f; r6 Q, `一.核心源程序的文件组织:    _8 H1 m1 ?% r8 S. b) F3 V. P
    1.Linux核心源程序通常都安装在/usr/src/linux下,而且它有一个非常简单的编号约定:任何偶数的核心(例如2.0.30)都是一个稳定地发行的核心,而任何奇数的核心(例如2.1.42)都是一个开发中的核心。本文基于稳定的2.2.5源代码,第二部分的实现平台为 Redhat Linux 6.0。  9 N; o( r2 k9 _3 g# |/ M7 B! R
    2.核心源程序的文件按树形结构进行组织,在源程序树的最上层你会看到这样一些目录:  
    5 b/ B9 H( y; P* P●Arch :arch子目录包括了所有和体系结构相关的核心代码。它的每一个子目录都代表一种支持的体系结构,例如i386就是关于intel cpu及与之相兼容体系结构的子目录。PC机一般都基于此目录;    x; e8 _6 b) e$ B) R* k
    ●Include: include子目录包括编译核心所需要的大部分头文件。与平台无关的头文件在 include/linux  2 p  v3 _4 V/ G+ i, ^
    子目录下,与 intel cpu相关的头文件在include/asm-i386子目录下,而include/scsi目录则是有关 scsi设备的头文件目录;  
    0 [8 v& G# }0 i$ H0 n% e●Init: 这个目录包含核心的初始化代码(注:不是系统的引导代码),包含两个文件main.c和Version.c,这是研究核心如何工作的一个非常好的起点。  % m# V1 q4 l4 Z5 V8 p4 o
    ●Mm :这个目录包括所有独立于 cpu 体系结构的内存管理代码,如页式存储管理内存的分配和释放等;而和体系结构相关的内存管理代码则位于arch/*/mm/,例如arch/i386/mm/Fault.c  ! \3 m9 G; w9 X2 j( _- M; k0 J
    ●Kernel:主要的核心代码,此目录下的文件实现了大多数linux系统的内核函数,其中最重要的文件当属 sched.c;同样,和体系结构相关的代码在arch/*/kernel中;  
    : e4 T' U9 Y3 `+ C9 a1 i●Drivers: 放置系统所有的设备驱动程序;每种驱动程序又各占用一个子目录:如,/block 下为块设备驱动程序,比如ide(ide.c)。如果你希望查看所有可能包含文件系统的设备是如何初始化的,你可以看drivers/block/genhd.c中的device_setup()。它不仅初始化硬盘,也初始化网络,因为安装nfs文件系统的时候需要网络其他: 如, Lib放置核心的库代码; Net,核心与网络相关的代码; Ipc,这个目录包含核心的进程间通讯的代码; Fs ,所有的文件系统代码和各种类型的文件操作代码,它的每一个子目录支持一个文件系统,例如fat和ext2; Scripts, 此目录包含用于配置核心的脚本文件等。一般,在每个目录下,都有一个 .depend 文件和一个 Makefile 文件,这两个文件都是编译时使用的辅助文件,仔细阅读这两个文件对弄清各个文件这间的联系和依托关系很有帮助;而且,在有的目录下还有Readme 文件,它是对该目录下的文件的一些说明,同样有利于我们对内核源码的理解;  ) ^8 @; g/ O7 M& A4 D% w! y

    . w" {3 y1 n6 U/ Q二.解读实战:为你的内核增加一个系统调用  
    : j( q5 @0 _$ O" J8 }2 T虽然,Linux 的内核源码用树形结构组织得非常合理、科学,把功能相关联的文件都放在同一个子目录下,这样使得程序更具可读性。然而,Linux 的内核源码实在是太大而且非常复杂,即便采用了很合理的文件组织方法,在不同目录下的文件之间还是有很多的关联,分析核心的一部分代码通常会要查看其它的几个相关的文件,而且可能这些文件还不在同一个子目录下。体系的庞大复杂和文件之间关联的错综复杂,可能就是很多人对其望而生畏的主要原因。当然,这种令人生畏的劳动所带来的回报也是非常令人着迷的:你不仅可以从中学到很多的计算机的底层的知识(如下面将讲到的系统的引导),体会到整个操作系统体系结构的精妙和在解决某个具体细节问题时,算法的巧妙;而且更重要的是:在源码的分析过程中,你就会被一点一点地、潜移默化地专业化;甚至,只要分析十分之一的代码后,你就会深刻地体会到,什么样的代码才是一个专业的程序员写的,什么样的代码是一个业余爱好者写的。  
    " e) G2 H8 c2 ?% s! B为了使读者能更好的体会到这一特点,下面举了一个具体的内核分析实例,希望能通过这个实例,使读者对 Linux的内核的组织有些具体的认识,从中读者也可以学到一些对内核的分析方法。  
    # H3 S0 O9 w: {. f) S以下即为分析实例:  9 |2 B& a! ^7 G* R. Z
    【一】操作平台:  # ?0 h8 q8 {3 I* t0 g
    硬件:cpu intel Pentium II ;  1 O4 l# V- ?- [: ~8 w: Z
    软件:Redhat Linux 6.0; 内核版本2.2.5  3 V2 i, F' B! g: E9 L6 @6 P. X3 h
    【二】相关内核源代码分析:  7 e2 p8 `* ^0 v2 Y4 e8 j
    1.系统的引导和初始化:Linux 系统的引导有好几种方式:常见的有 Lilo, Loadin引导和Linux的自举引导(bootsect-loader),而后者所对应源程序为arch/i386/boot/bootsect.S,它为实模式的汇编程序,限于篇幅在此不做分析;无论是哪种引导方式,最后都要跳转到 arch/i386/Kernel/setup.S, setup.S主要是进行时模式下的初始化,为系统进入保护模式做准备;此后,系统执行 arch/i386/kernel/head.S (对经压缩后存放的内核要先执行 arch/i386/boot/compressed/head.S); head.S 中定义的一段汇编程序setup_idt ,它负责建立一张256项的 idt 表(Interrupt Descriptor Table),此表保存着所有自陷和中断的入口地址;其中包括系统调用总控程序 system_call 的入口地址;当然,除此之外,head.S还要做一些其他的初始化工作;  
    ( E5 a" K5 ?( I0 e8 \9 L; |1 p2.系统初始化后运行的第一个内核程序asmlinkage void __init start_kernel(void) 定义在 /usr/src/linux/init/main.c中,它通过调用usr/src/linux/arch/i386/kernel/traps.c 中的一个函数 void __init trap_init(void) 把各自陷和中断服务程序的入口地址设置到 idt 表中,其中系统调用总控程序 system_cal就是中断服务程序之一;void __init trap_init(void) 函数则通过调用一个宏 set_system_gate(SYSCALL_VECTOR,&system_call); 把系统调用总控程序的入口挂在中断0x80上; 其中SYSCALL_VECTOR是定义在 /usr/src/linux/arch/i386/kernel/irq.h中的一个常量0x80; 而 system_call 即为中断总控程序的入口地址;中断总控程序用汇编语言定义在/usr/src/linux/arch/i386/kernel/entry.S中;  
    7 t4 r) R8 K. P3 Q1 K! p! K3.中断总控程序主要负责保存处理机执行系统调用前的状态,检验当前调用是否合法, 并根据系统调用向量,使处理机跳转到保存在 sys_call_table 表中的相应系统服务例程的入口; 从系统服务例程返回后恢复处理机状态退回用户程序; 而系统调用向量则定义在/usr/src/linux/include/asm-386/unistd.h 中;sys_call_table 表定义在 /usr/src/linux/arch/i386 kernel/entry.S 中; 同时在 /usr/src/linux/include/asm-386/unistd.h 中也定义了系统调用的用户编程接口;  0 J/ g; w% |0 d( Z/ G0 L
    4.由此可见 , linux 的系统调用也象 dos 系统的 int 21h 中断服务, 它把0x80 中断作为总的入口, 然后转到保存在 sys_call_table 表中的各种中断服务例程的入口地址 , 形成各种不同的中断服务; 由以上源代码分析可知, 要增加一个系统调用就必须在 sys_call_table 表中增加一项 , 并在其中保存好自己的系统服务例程的入口地址,然后重新编译内核,当然,系统服务例程是必不可少的。 由此可知在此版linux内核源程序<2。2。5>中,与系统调用相关的源程序文件就包括以下这些:  
      v! Y! l; o+ R2 u" J7 a1 k1.arch/i386/boot/bootsect.S  
    7 M7 Z% N6 I. \$ I2 t; O: I5 ~- l2.arch/i386/Kernel/setup.S  
    3 _) A, F% f9 Y/ M/ |7 w3.arch/i386/boot/compressed/head.S  
    : W% [/ B) y- X; _6 v) H4.arch/i386/kernel/head.S  
    . Q  ^7 p& N2 c, n5.init/main.c  
    - ^* {8 W1 G- C& _& G* r4 N6.arch/i386/kernel/traps.c  
    5 g- h) m( U: Z+ \. _9 ]7.arch/i386/kernel/entry.S  
    2 H/ j0 U2 m" i( u8.arch/i386/kernel/irq.h  * ]( S& ]6 E( t4 ?2 ?. d! H0 W. ]
    9.include/asm-386/unistd.h  2 i* v% }  b" i+ ~* y0 Z7 V
    2 k# A! s" M6 m  Q, k2 J$ }0 O: I
    当然,这只是涉及到的几个主要文件。而事实上,增加系统调用真正要修改文件只有include/asm-386/unistd.h  
    9 L6 P) q) ?6 ^+ }和arch/i386/kernel/entry.S两个;  
    : p; x" X3 W, D  {: l' O5 s! ^5 v  L- c
    【三】 对内核源码的修改:  
    + b9 A- _( R$ p* Q! X1.在kernel/sys.c中增加系统服务例程如下:  
    ( o2 K3 n% r6 ~* b2 xasmlinkage int sys_addtotal(int numdata)  7 B. E8 J- e7 t$ x& w$ w1 K
    {  9 ~$ N2 s; n' H
    int i=0,enddata=0;  / ~# W' {' Z, q7 P9 L$ M$ I
    while(i<=numdata)  & w: {0 H8 `1 G' _+ _1 j9 `
    enddata+=i++;  
    % }4 c' W. A3 Areturn enddata;  - I7 ]2 n$ N+ y1 ^; d0 ~! [
    }  
    ' v2 ]' _) t( Q* E! b该函数有一个 int 型入口参数 numdata , 并返回从 0 到 numdata 的累加值; 当然也可以把系统服务例程放在一个自己定义的文件或其他文件中,只是要在相应文件中作必要的说明;  
    7 m5 o. E' N' V: g) k; ~- J2.把 asmlinkage int sys_addtotal( int) 的入口地址加到sys_call_table表中:  . ?$ E: A( f. ?+ ~! R
    arch/i386/kernel/entry.S 中的最后几行源代码修改前为:  
    1 V) O. y3 x  A... ...  
    , T" D: N1 \2 U8 L3 F.long SYMBOL_NAME(sys_sendfile)  1 C, e. ~, u% h- b
    .long SYMBOL_NAME(sys_ni_syscall) /* streams1 */    C7 U' E  g- M/ O
    .long SYMBOL_NAME(sys_ni_syscall) /* streams2 */  ) f9 z. Y) f9 W! r1 Q( n% P4 T
    .long SYMBOL_NAME(sys_vfork) /* 190 */  ' Q# a7 R9 M$ x/ K" G& y$ p
    .rept NR_syscalls-190  ) W% e/ y$ ], v" Q7 v
    .long SYMBOL_NAME(sys_ni_syscall)  % e9 u9 Z# O( G
    .endr  
    ' T* o( f: E6 q修改后为: ... ...  
    ) g  r* Q1 P# e: S/ y.long SYMBOL_NAME(sys_sendfile)  
    . R3 Q1 y6 ~/ s4 ^7 C.long SYMBOL_NAME(sys_ni_syscall) /* streams1 */  9 J/ o2 m" {+ s0 Q
    .long SYMBOL_NAME(sys_ni_syscall) /* streams2 */  ; C# M4 l; o5 D
    .long SYMBOL_NAME(sys_vfork) /* 190 */  
    ! T* c/ a- D0 }1 g4 C3 G0 o, d/* add by I */  + |* w- R* p  L8 d9 d. w
    .long SYMBOL_NAME(sys_addtotal)  4 H% \6 D6 b/ m2 @
    .rept NR_syscalls-191  ! N0 F( Y9 h! m1 |2 {" A( }
    .long SYMBOL_NAME(sys_ni_syscall)  ) `5 W; C9 f. S& R# P
    .endr  
    ) o: O% X! l- Q& y" o' g% W3. 把增加的 sys_call_table 表项所对应的向量,在include/asm-386/unistd.h 中进行必要申明,以供用户进程和其他系统进程查询或调用:  
    # P+ Y" K( p' j增加后的部分 /usr/src/linux/include/asm-386/unistd.h 文件如下:  % B  U8 M- `* Q
    ... ...  
    , B0 v2 t. z$ j#define __NR_sendfile 187  % A4 X  }4 }  o( p! n: F" a, }
    #define __NR_getpmsg 188  + s" t9 J0 @8 r1 [; Y# B
    #define __NR_putpmsg 189  
    7 O. H2 |$ y$ c#define __NR_vfork 190  % @+ y4 h8 L2 }0 e3 M
    /* add by I */  8 A* `+ ^( U* I8 T
    #define __NR_addtotal 191  
    0 s+ ]( q  R) V% K2 ]# x4.测试程序(test.c)如下:  7 O9 W' V8 b( G/ J
    #include  . b  o& p" S9 R3 m, }; K2 b
    #include  
    3 j: C' h; Z) i# G0 J2 p/ l) x6 i) o  Y. F$ e  M- l4 Y
    _syscall1(int,addtotal,int, num)  : E- _+ W  `: \2 j6 m# w
    5 i, S  b2 G. d& d8 k
    main()  - W: ~6 p7 M$ Z/ X, n0 t
    {  # A0 n, u/ T( Y+ Q7 a8 r4 p
    int i,j;  
    ( a' ]/ ]* X& Y: _: b
    * P- P+ o5 @' ?$ q. \do  
    * n# H  `* {. K7 U) ^printf("lease input a number\n");  / w. }0 E# @0 {; @. ]
    while(scanf("%d",&i)==EOF);  ; |: G" [( G2 }7 P$ t0 o! C/ D
    if((j=addtotal(i))==-1)  
    - h& S/ Z7 }# M( k3 dprintf("Error occurred in syscall-addtotal();\n");  ( l4 ]* t( x6 }8 m# ?
    printf("Total from 0 to %d is %d \n",i,j);  % j  u, g+ P6 O* o. Q) |! z
    }  
    / ^/ O9 `& o0 Z+ \# G" b4 t' U对修改后的新的内核进行编译,并引导它作为新的操作系统,运行几个程序后可以发现一切正常;在新的系统下对测试程序进行编译(*注:由于原内核并未提供此系统调用,所以只有在编译后的新内核下,此测试程序才能可能被编译通过),运行情况如下:  
    1 f5 x' J# c% u' o4 D$ v. T$gcc -o test test.c  3 L+ b) ?5 O# r4 C) E2 f
    $./test  % b# d& f+ P0 ^+ [$ G' A
    Please input a number  7 b* d3 c' M- f# Y# {% s
    36  4 ^+ d6 v7 H: p+ X/ ?
    Total from 0 to 36 is 666  $ \& }: Q' g& t- K
    可见,修改成功;  
    ; ^( w/ M$ \( h( Q! V而且,对相关源码的进一步分析可知,在此版本的内核中,/usr/src/linux/arch/i386/kernel/entry.S  
    7 q0 F* t0 Z6 i9 V# C文件中对 sys_call_table 表的设置可以看出,有好几个系统调用的服务例程都是定义在  
    7 }& A7 V( a- M6 y; |* }: i/usr/src/linux/kernel/sys.c 中的同一个函数:  
      V# E9 {% Y$ V$ N5 l/ ?8 ~asmlinkage int sys_ni_syscall(void)  
    . i1 E. m9 F0 r* u' Q4 r{  : S1 t: P, i# n
    return -ENOSYS;  ' p% q0 D& V  X& l# Q( ]
    }  6 ?* g. r: N, q7 c! f' g
    例如第188项和第189项就是如此:  
    9 \! l$ m5 v7 f... ...  # N4 M* d$ h' G. J; p& d6 W( m, c
    .long SYMBOL_NAME(sys_sendfile)  2 q  P' S( y$ C+ n+ c
    .long SYMBOL_NAME(sys_ni_syscall) /* streams1 */  $ N' x( w6 B/ A* \7 q
    .long SYMBOL_NAME(sys_ni_syscall) /* streams2 */  
    1 d) E9 g# w$ u.long SYMBOL_NAME(sys_vfork) /* 190 */  7 @# {0 B2 n* k: Q+ {0 M/ ~
    ... ...  
    * B- T% q" a7 l% m而这两项在文件 /usr/src/linux/include/asm-386/unistd.h 中却申明如下:  
    ; J4 O2 ^0 W+ T& s3 D% R/ g... ...  3 Z2 @* E/ c! s4 @3 w/ M
    #define __NR_sendfile 187  
    ( U1 i- D) C! C6 f#define __NR_getpmsg 188 /* some people actually want streams */  
    7 n( j+ a5 `# k$ r#define __NR_putpmsg 189 /* some people actually want streams */  
    & a& A4 ~1 {3 T0 G$ o#define __NR_vfork 190  3 `+ d5 k8 P8 w$ }% }0 F3 y! n
    由此可见,在此版本的内核源代码中,由于asmlinkage int sys_ni_syscall(void) 函数并不进行任何操作, 所以包括 getpmsg, putpmsg 在内的好几个系统调用都是不进行任何操作的,即有待扩充的空调用; 但它们却仍然占用着sys_call_table表项,估计这是设计者们为了方便扩充系统调用而安排的; 所以只需增加相应服务例程(如增加服务例程getmsg或putpmsg),就可以达到增加系统调用的作用。  * p6 T+ b. O, Y; A& w5 y4 q
    结语:当然对于庞大复杂的 linux 内核而言,一篇文章远远不够,而且与系统调用相关的代码也只是内核中极其微小的一部分;但重要的是方法、掌握好的分析方法;所以上的分析只是起个引导的作用,而正真的分析还有待于 读者自己的努力。
    zan
    转播转播0 分享淘帖0 分享分享0 收藏收藏0 支持支持0 反对反对0 微信微信
    数学中国网站是以数学中国社区为主体的综合性学术社区,下分建模、编程、学术理论、工程应用等版块。从2003年11月建站以来一直致力于数学建模的普及和推广工作,目前已经发展成国内会员最多,资源最丰富,流量最大的数学建模网络平台。我们始终秉承服务大众的理念,坚持资源共享、共同进步的原则,努力营造出严肃、认真、务实、合作的学术氛围,为中国数学的发展做出应有的贡献。
    您需要登录后才可以回帖 登录 | 注册地址

    qq
    收缩
    • 电话咨询

    • 04714969085
    fastpost

    关于我们| 联系我们| 诚征英才| 对外合作| 产品服务| QQ

    手机版|Archiver| |繁體中文 手机客户端  

    蒙公网安备 15010502000194号

    Powered by Discuz! X2.5   © 2001-2013 数学建模网-数学中国 ( 蒙ICP备14002410号-3 蒙BBS备-0002号 )     论坛法律顾问:王兆丰

    GMT+8, 2025-8-23 05:04 , Processed in 0.908293 second(s), 51 queries .

    回顶部