原创文章,转载请注明:Linux内核学习笔记-1.简介和入门 By Lucio.Yang

部分内容来自:Linux Kernel Development(Third Edition),Robert Love,陈莉君等译。

1.操作系统和内核简介  

  Linux内核是自由公开软件,使用GNU的General Public License(GPL)第二版作为限制条款。大多数软件许可证决意剥夺你共享和修改软件的自由。相比之下,GNU通用公共许可证试图保证你共享和修改自由软件的自由。

  通常一个内核负责响应中断的中断服务程序、负责管理多个进程从而分享处理器时间的调度程序、负责管理进程地址空间的内存管理程序和网络、进程间通信等系统服务程序共同组成。内核独立于普通应用程序,拥有受保护的内存空间和访问硬件设备的所有权限,这种系统态和受保护的内存空间,称之为内核空间。

  应用程序通过系统调用与内核通信。当一个应用程序执行一条系统调用,称应用程序在内核空间运行,而内核运行于进程上下文。

  内核还要管理硬件设备。当硬件设备要和系统通信时,首先发出中断信号打断处理器的执行,继而打断内核的执行,内核通过中断号寻找相应的中断处理程序,并调用这个程序相应和处理中断。

  所以,处理器活动的情况:

    1.运行于用户空间,执行用户程序。

    2.运行于内核空间,处于进程上下文。

    3.运行于内核空间,处于中断上下文。

  操作系统内核分为两大阵营:单内核和微内核。

  单内核是将内核从整体上作为一个单独的大过程来实现,同时运行在一个单独的地址空间上。内核可以直接调用函数。大多数Unix为单内核单模块。

  微内核的功能被划分为多个独立的过程,所有的服务器殴打保持独立并运行在各自的地址空间上,不能像单内核模块直接调用函数,通过进程间通信(IPC)机制实现消息传递。Windows和Mac OS X基于微内核,但是却让全部的服务器进程运行在内核空间,而避免频繁的上下文切换。

  Linux是单内核,但是有模块化设计、抢占式内核、支持内核线程以及动态装载内核模块的特性。

  与Unix的一些区别:

    1.Linux支持动态加载内核模块。

    2.Linux支持对称多处理机制(SMP)。

    3.Linux内核可以抢占。

    4.Linux不区分线程和进程。

2.GNU C

  Linux使用c编写的,并不完全符合ANSI C标准,涵盖了ISO C99和GNU C标准。下面介绍内核使用的C语言拓展的部分。

  1.内联(inline)函数

    内联函数从源代码层看,有函数的结构,而在编译后,却不具备函数的性质。内联函数不是在调用时发生控制转移,而是在编译时将函数体嵌入在每一个调用处。因此,可以消除函数调用和返回带来的开销,但是意味着占用更多的空间。适合将对时间要求高、代码不长的函数定义为内联函数。如:

    static inline void wolf();(MS的C99支持的关键字是_inline)。

  2.内联汇编

    gcc编译器支持在c函数中嵌入汇编指令。通常使用asm()指令嵌入代码。

  3.分支声明

    对于条件选择指令,gcc内建立了一条指令用于优化,在一个条件经常出现(likely),或者该条件经常很少出现的时候(unlikely),编译器可以根据这条指令对分支选择进行优化,从而生成更好的汇编代码。内核将这条指令封装成了宏。

      #define likely(x)       __builtin_expect((x),1)//表示 x 的值为真的可能性更大;
      #define unlikely(x)     __builtin_expect((x),0)//表示 x 的值为假的可能性更大。

    用法如下:

      if (likely(prev != next)) {
           next->timestamp = now;
            ...
      } else {
            ...;
      }

  

04-15 06:34