理解Linux内核之中断控制

乍一看下边的Linux内核代码，貌似L3389有bug，于是我就绕有兴趣地阅读了一下local_irq_save/local_irq_restore的源代码。

/* linux-4.14.12/mm/slab.c#3389 */

  static __always_inline void *

  slab_alloc(struct kmem_cache *cachep, gfp_t flags, unsigned long caller)

  {

    unsigned long save_flags;

    void *objp;

....

    local_irq_save(save_flags);

    objp = __do_cache_alloc(cachep, flags);

    local_irq_restore(save_flags);

....

    return objp;

  }

在L3380和L3389中，如果local_irq_save()是一个函数，必然存在着bug, 因为需要把save_flags的变量地址传给local_irq_save()才对。

      unsigned long save_flags;

....

      local_irq_save(save_flags);

L3389是不是该是这样才对啊？

      local_irq_save(&save_flags);

但是，local_irq_save()和local_irq_restore()不是函数，而是宏,这样就没有bug了。

1. local_irq_save()和local_irq_restore()的实现

/* linux-4.14.12/include/linux/irqflags.h#139 */

  #ifdef CONFIG_TRACE_IRQFLAGS

...

  #define local_irq_save(flags)                      \

     do {                                            \

             raw_local_irq_save(flags);              \

             trace_hardirqs_off();                   \

     } while ()

  #define local_irq_restore(flags)                   \

     do {                                            \

             if (raw_irqs_disabled_flags(flags)) {   \

                     raw_local_irq_restore(flags);   \

                     trace_hardirqs_off();           \

             } else {                                \

                     trace_hardirqs_on();            \

                     raw_local_irq_restore(flags);   \

             }                                       \

     } while ()

...

  #else /* !CONFIG_TRACE_IRQFLAGS */

...

  #define local_irq_save(flags)                              \

     do {                                                    \

             raw_local_irq_save(flags);                      \

     } while ()

  #define local_irq_restore(flags) do { raw_local_irq_restore(flags); } while (0)

...

  #endif /* CONFIG_TRACE_IRQFLAGS */

为简单起见，我们只关注!CONFIG_TRACE_IRQFLAGS分支就好了，

  #define local_irq_save(flags)                              \

     do {                                                    \

             raw_local_irq_save(flags);                      \

     } while ()

  #define local_irq_restore(flags) do { raw_local_irq_restore(flags); } while (0)

于是，我们可以认为， locale_irq_save()/local_irq_restore()等同于：

#define local_irq_save(flags)    raw_local_irq_save(flags)

#define local_irq_restore(flags) raw_local_irq_restore(flags)

2. raw_local_irq_save()和raw_local_irq_restore()的实现

/* linux-4.14.12/include/linux/irqflags.h#78 */

  #define raw_local_irq_save(flags)                   \

      do {                                            \

              typecheck(unsigned long, flags);        \

              flags = arch_local_irq_save();          \

      } while ()

  #define raw_local_irq_restore(flags)                \

      do {                                            \

              typecheck(unsigned long, flags);        \

              arch_local_irq_restore(flags);          \

      } while ()

关于宏typecheck()不做解释，因为很直观，就是保证flags的类型必须是unsigned long。于是，raw_local_irq_save()和raw_local_irq_restore()等同于：

#define raw_local_irq_save(flags)       flags = arch_local_irq_save()

#define raw_local_irq_restore(flags)    arch_local_irq_restore(flags)

下面以x86为例说明arch_local_irq_save()和arch_local_irq_restore()这两个函数的实现。

3. arch_local_irq_save()和arch_local_irq_restore()这两个函数在x86上的实现

/* linux-4.14.12/arch/x86/include/asm/irqflags.h#70 */

  static inline notrace unsigned long arch_local_save_flags(void)

  {

      return native_save_fl();

  }

  static inline notrace void arch_local_irq_restore(unsigned long flags)

  {

      native_restore_fl(flags);

  }

...

  static inline notrace unsigned long arch_local_irq_save(void)

  {

     unsigned long flags = arch_local_save_flags();

     arch_local_irq_disable();

     return flags;

  }

函数arch_local_irq_save()在调用arch_local_save_flags()还做了一件事，那就是调用arch_local_irq_disable()把中断禁止掉。接下来，我们首先看看native_save_fl()和native_restore_fl()的具体实现。

3.1 native_save_fl()的实现

/* linux-4.14.12/arch/x86/include/asm/irqflags.h#16 */

  static inline unsigned long native_save_fl(void)

  {

      unsigned long flags;

      /*

21       * "=rm" is safe here, because "pop" adjusts the stack before

22       * it evaluates its effective address -- this is part of the

23       * documented behavior of the "pop" instruction.

24       */

      asm volatile("# __raw_save_flags\n\t"

                   "pushf ; pop %0"

                   : "=rm" (flags)

                   : /* no input */

                   : "memory");

      return flags;

  }

这是一段内嵌的汇编代码，后面写一个简单的demo再解释。

3.2 native_restore_fl()的实现

/* linux-4.14.12/arch/x86/include/asm/irqflags.h#34 */

  static inline void native_restore_fl(unsigned long flags)

  {

      asm volatile("push %0 ; popf"

                   : /* no output */

                   :"g" (flags)

                   :"memory", "cc");

  }

同样，这也是内嵌的汇编代码，后面写一个简单的demo再解释。

3.3 反汇编理解native_save_fl()和native_restore_fl()

foo.c

 static inline unsigned long native_save_fl(void)

 {

         unsigned long flags;

         /*

          * "=rm" is safe here, because "pop" adjusts the stack before

          * it evaluates its effective address -- this is part of the

          * documented behavior of the "pop" instruction.

          */

         asm volatile("# __raw_save_flags\n\t"

                      "pushf ; pop %0"

                      : "=rm" (flags)

                      : /* no input */

                      : "memory");

         return flags;

 }

 static inline void native_restore_fl(unsigned long flags)

 {

         asm volatile("push %0 ; popf"

                      : /* no output */

                      :"g" (flags)

                      :"memory", "cc");

 }

 int main(int argc, char *argv[])

 {

         unsigned long flags = native_save_fl();

         native_restore_fl(flags);

         return ;

 }

用gcc编译并反汇编

veli@idorax:/tmp$ gcc -g -Wall -o foo foo.c

veli@idorax:/tmp$

veli@idorax:/tmp$ gdb foo

GNU gdb (Ubuntu 7.11.-0ubuntu1~16.5) 7.11.

...<snip>...................................

(gdb) set disassembly-flavor intel

(gdb)

(gdb) disas /m main

Dump of assembler code for function main:

      {

   0x00000000004004f5 <+>:     push   rbp

   0x00000000004004f6 <+>:     mov    rbp,rsp

   0x00000000004004f9 <+>:     sub    rsp,0x20

   0x00000000004004fd <+>:     mov    DWORD PTR [rbp-0x14],edi

   0x0000000000400500 <+>:    mov    QWORD PTR [rbp-0x20],rsi

              unsigned long flags = native_save_fl();

   0x0000000000400504 <+>:    call   0x4004d6 <native_save_fl>

   0x0000000000400509 <+>:    mov    QWORD PTR [rbp-0x8],rax

              native_restore_fl(flags);

   0x000000000040050d <+>:    mov    rax,QWORD PTR [rbp-0x8]

   0x0000000000400511 <+>:    mov    rdi,rax

   0x0000000000400514 <+>:    call   0x4004e6 <native_restore_fl>

              return ;

   0x0000000000400519 <+>:    mov    eax,0x0

      }

   0x000000000040051e <+>:    leave

   0x000000000040051f <+>:    ret

End of assembler dump.

(gdb) #

(gdb) disas /m native_save_fl

Dump of assembler code for function native_save_fl:

       {

   0x00000000004004d6 <+>:     push   rbp

   0x00000000004004d7 <+>:     mov    rbp,rsp

               unsigned long flags;

               /*

6                * "=rm" is safe here, because "pop" adjusts the stack before

7                * it evaluates its effective address -- this is part of the

8                * documented behavior of the "pop" instruction.

9                */

              asm volatile("# __raw_save_flags\n\t"

   0x00000000004004da <+>:     pushf

   0x00000000004004db <+>:     pop    rax

   0x00000000004004dc <+>:     mov    QWORD PTR [rbp-0x8],rax

                           "pushf ; pop %0"

                           : "=rm" (flags)

                           : /* no input */

                           : "memory");

              return flags;

   0x00000000004004e0 <+>:    mov    rax,QWORD PTR [rbp-0x8]

      }

   0x00000000004004e4 <+>:    pop    rbp

   0x00000000004004e5 <+>:    ret

End of assembler dump.

(gdb) #

(gdb) disas /m native_restore_fl

Dump of assembler code for function native_restore_fl:

      {

   0x00000000004004e6 <+>:     push   rbp

   0x00000000004004e7 <+>:     mov    rbp,rsp

   0x00000000004004ea <+>:     mov    QWORD PTR [rbp-0x8],rdi

              asm volatile("push %0 ; popf"

   0x00000000004004ee <+>:     push   QWORD PTR [rbp-0x8]

   0x00000000004004f1 <+>:    popf

                           : /* no output */

                           :"g" (flags)

                           :"memory", "cc");

      }

   0x00000000004004f2 <+>:    nop

   0x00000000004004f3 <+>:    pop    rbp

   0x00000000004004f4 <+>:    ret

End of assembler dump.

(gdb) q

veli@idorax:/tmp$

根据上面的反汇编代码不难看出，native_save_fl()和native_restore_fl()的实现异常简单。

native_save_fl()

; static inline unsigned long native_save_fl(void)

0x00000000004004da <+>:        pushf                          ; 把标志寄存器(FLAGS)压入栈(Stack)中

0x00000000004004db <+>:        pop    rax                     ; 通过出栈操作把标志寄存器的值存入rax中

0x00000000004004dc <+>:        mov    QWORD PTR [rbp-0x8],rax ; 把rax存入局部变量flags中

0x00000000004004e0 <+>:       mov    rax,QWORD PTR [rbp-0x8] ; 根据ABI, 返回值总是存于rax中，这里等同于return flags

native_restore_fl()

; static inline void native_restore_fl(unsigned long flags)

0x00000000004004ea <+>:        mov    QWORD PTR [rbp-0x8],rdi ; 根据ABI, 函数的第一个参数通过寄存器rdi传递

                                                               ; 于是，等同于将第一个参数flags存入一个局部变量中

0x00000000004004ee <+>:        push   QWORD PTR [rbp-0x8]     ; 等同于将第一个参数flags压入栈中

0x00000000004004f1 <+>:       popf                           ; 通过初栈操作把flags的值回复到标志寄存器FLAGS中

注意：操作标志寄存器FLAGS(16位： flags, 32位： eflags, 64位: rflags)，必须通过pushf和popf这两个指令，而不能使用push和pop指令。

因此，我们可以得出如下结论，(在x86平台上)

local_irq_save()就是把标志寄存器保存到一个局部变量flags中，然后禁止中断;
local_irq_restore()则是通过局部变量flags的值恢复标志寄存器，中断自动打开。

4. arch_local_irq_disable()和arch_local_irq_enable()在x86上的实现

/* linux-4.14.12/arch/x86/include/asm/irqflags.h#80 */

  static inline notrace void arch_local_irq_disable(void)

  {

      native_irq_disable();

  }

  static inline notrace void arch_local_irq_enable(void)

  {

      native_irq_enable();

  }

/* linux-4.14.12/arch/x86/include/asm/irqflags.h#42 */

  static inline void native_irq_disable(void)

  {

      asm volatile("cli": : :"memory");

  }

  static inline void native_irq_enable(void)

  {

      asm volatile("sti": : :"memory");

  }

从上面的代码可以看出，在x86中，

arch_local_irq_disable()的实质是执行汇编指令cli
arch_local_irq_enable的实质则是执行汇编指令sti

到此为止，我们已经搞清楚了如下4个宏的作用。

local_irq_disable() : 禁止本地中断传递。在x86上，本质上是调用汇编指令cli;
local_irq_enable() : 激活本地中断传递。在x86上，本质上是调用汇编指令sti;
local_irq_save() : 保存本地中断传递的当前状态，然后禁止本地中断传递。在x86上，本质上是调用pushf+pop先保存标志寄存器到一个变量flags中，然后调用汇编指令cli;
local_irq_restore() : 恢复本地中断传递到给定的状态。在x86上，本质上是调用push+popf重置标志寄存器。

更多有关中断控制的细节，请阅读源代码和《Linux Kernel Development》一书的第7章:中断和中断处理。常用的中断控制方法，如下图所示。

If all you have is a hammer, everything looks like a nail. | 如果你拥有的东西就只有一把锤子，那么一切事物在你眼里都看起来是钉子。 （P.S. 保持Open的心态很重要啊）

理解Linux内核之中断控制的更多相关文章

深入理解Linux内核－中断和异常
Linux内核代码查看 http://androidxref.com/ 中断:被定义位一个事件,它能改变处理器执行指令的顺序.它对应硬件(CPU.其他硬件设备)电路产生的电信号. 同步中断:指令执行时 ...
读书笔记之Linux系统编程与深入理解Linux内核
前言本人再看深入理解Linux内核的时候发现比较难懂,看了Linux系统编程一说后,觉得Linux系统编程还是简单易懂些,并且两本书都是讲Linux比较底层的东西,只不过侧重点不同,本文就以Linu ...
再思linux内核在中断路径内不能睡眠/调度的原因（2010）【转】
转自:http://blog.csdn.net/maray/article/details/5770889 Linux内核中断路径中不能睡眠,为什么? 这里就行了很深入的讨论,值得一看:http:// ...
《深入理解Linux内核》读书笔记
深入理解Linux内核读书笔记一.概论操作系统基本概念多用户系统允许多个用户登录系统,不同用户之间的有私有的空间用户和组每个用于属于一个组,组的权限和其他人的权限,和拥有者的权限不一样. ...
Linux内核实现中断和中断处理（二）
第一部分移步传送门召唤!!:http://www.cnblogs.com/lenomirei/p/5562086.html 上回说了Linux内核实现中断会把中断分为两部分进行处理,上回讲了上部分,这 ...
【读书笔记::深入理解linux内核】内存寻址【转】
转自:http://www.cnblogs.com/likeyiyy/p/3837272.html 我对linux高端内存的错误理解都是从这篇文章得来的,这篇文章里讲的物理地址 = 逻辑地址 – 0 ...
【读书笔记::深入理解linux内核】内存寻址
我对linux高端内存的错误理解都是从这篇文章得来的,这篇文章里讲的物理地址 = 逻辑地址 – 0xC0000000:这是内核地址空间的地址转换关系. 这句话瞬间让我惊呆了,根据我的CPU的知识,开 ...
Linux内存管理（深入理解Linux内核）
Linux的内存管理,实际上是借助80x86的硬件分段和分页电路,将逻辑地址转化为物理地址的. 物理内存中,有一部分是一直(Permanently)映射给内核使用的,这部分主要用于保存内核的代码,以及 ...
深入理解Linux内核学习笔记（1）
1.用户和用户组每个用户是一个或多个用户组的一名成员,组由唯一的用户组标识符(user group ID)标识.每个文件的相关权限也恰好与一个组相对应. root为超级用户, 2.模块为了达到微内 ...

随机推荐

springmvc elf8848
刚开始觉得孔浩讲得好,之后觉得开涛讲得好,现在觉得elf8848讲得好.其实只是自己学习的各个阶段孔浩:环境搭建,做了个基础的CRUD 开涛:讲了Controller(不该看),注解,数据绑定,请求 ...
hdu 3664 Permutation Counting(水DP)
Permutation Counting Time Limit: 2000/1000 MS (Java/Others) Memory Limit: 32768/32768 K (Java/Oth ...
[翻译Joel On Software]选择一门语言/Choosing a language
Joel on Software Choosing a language 选择一门语言 by Joel Spolsky Sunday, May 05,2002 Why do developerscho ...
wc.java
GitHub代码链接 1.项目相关要求 •基本功能列表: -c 统计文件中字符的个数 -w 统计文件中的词数 -l 统计文件中的行数 •拓展功能: -a 统计文件中代码行数.注释行数.空行 2 ...
IFNULL函数
MySQL函数里有一个很有用的函数IFNULL,它的形式是IFNULL(fieldA,fieldB),意义是当字段fieldA是NULL时取fieldB,不是NULL时取fieldA的值. 这个函数与 ...
可移植类库无法使用async、await关键字
今天遇到了如题所示的问题,平台已经选择了.net 4.5了,可是就是编译不通过,await关键字下出现了红色下划线. 解决方法:安装一个Bcl的补丁包. https://www.nuget.org/p ...
Linux Mint 楷体问题
很多人都遇见过刚装完的 Linux Mint 界面字体是黑体,然后莫名其妙就变成楷体的问题. 先不说技术层面的原因,只说怎么解决. 造成这种情况,多数是安装输入法或其他某种软件的时候,同时安装了 AR ...
DBCC--常用命令
------------------------------------------------------ --1 DBCC FLUSHPROCINDB 清除SQL SERVER服务器内存中某个数据 ...
统一登录中心SSO 单点登录系统的构想
什么是单点登录?我想肯定有一部分人“望文生义”的认为单点登录就是一个用户只能在一处登录,其实这是错误的理解.单点登录指的是多个子系统只需要登录一个,其他系统不需要登录了(一个浏览器内).一个子系统退出 ...
mySql数据库 C#使用guid
CHAR(36) 如果某列设置为CHAR(36),则MySQL官方的连接器会将其当成 GUID 类型.实际上,有时候某个字段碰巧设为可CHAR(36), 但是我们的本意并非当它是GUID. varc ...

理解Linux内核之中断控制

理解Linux内核之中断控制的更多相关文章

随机推荐

热门专题