Linux内核中的klist分析

        分析的内核版本照样是2.6.38.5。

Linux内核中的klist是在神级的双向链表上扩展而形成的。先给出一个图。

 

 

很清晰也很简单。

先说表头：

K_lock：是一把锁，用来锁表的。这个就不多啰嗦了。

k_list：双向链表，用来联系各节点及链表头。

get、put：两个函数指针，是用来操作链表中的节点接口。

再说节点：

n_klist是一个空指针，随便用来指啥，但在我们的klist原语中是用来指向链表头的。另外其最低位用来做标志位。

n_node：双向链表，用来联系各节点及链表头。

n_ref：引用计数。

 

接下来我们来分析一下我们感兴趣的几个东西。

首先是

WARN_ON(condition)

BUG_ON(condition)

这两个宏。

经过分析后其在默认配置中被定义为：

#ifndef HAVE_ARCH_BUG_ON

#define BUG_ON(condition) do { if (condition) ; } while(0)

#endif

 

#ifndef HAVE_ARCH_WARN_ON

#define WARN_ON(condition) ({                                                     /

         int __ret_warn_on = !!(condition);                             /

         unlikely(__ret_warn_on);                                              /

})

#endif

可以认为这个宏是没用的。因为在klist中并没有对这个返回值作判断。

另外有的朋友可能会说linux内核中怎么会有这样的垃圾代码，会造成不必要的运行开销。其实我想说，你太低估linux内核开发者的水平了，这是一份国际顶尖级的高手写出来的代码，他们对编译器，操作系统，CPU体系结构的认识程度远不是你我所能达到的。说了这么多，让我们来一起仔细领会这些大牛的深厚功力。

我先写了个小例子程序：

#include "asm-generic/bug.h"

int main()

{

    int aa = 0x0;

    int condition = 0x77;

    WARN_ON(condition);

    aa = 0x88;

    return 0;

}

然后利用命令：

gcc test.c -E -I/opt/kernel/linux-2.6.38/linux-2.6.38.5/include/ > test.txt

再vi test.txt

我们可以看到有如下内容：

# 1 "test.c"                                                                   

# 1 "<built-in>"

# 1 "<command line>"

# 1 "test.c"

# 1 "/opt/kernel/linux-2.6.38/linux-2.6.38.5/include/asm-generic/bug.h" 1

 

 

 

# 1 "/opt/kernel/linux-2.6.38/linux-2.6.38.5/include/linux/compiler.h" 1

# 5 "/opt/kernel/linux-2.6.38/linux-2.6.38.5/include/asm-generic/bug.h" 2

# 2 "test.c" 2

 

 

int main()

{

 int aa = 0x0;

 int condition = 0x77;

 ({ int __ret_warn_on = !!(condition); unlikely(__ret_warn_on); });

 aa = 0x88;

 return 0;

}

通过编译预处理，我们可以看到宏确实被展开了。

接下来我们反汇编这段代码：

我们输入命令：

gcc test.c -c -I/opt/kernel/linux-2.6.38/linux-2.6.38.5/include/ -o test.o  –g
         然后再gdb test.o

         再：disassemble main 得到：

0x00000000 <main+0>:    lea    0x4(%esp),%ecx

0x00000004 <main+4>:    and    $0xfffffff0,%esp

0x00000007 <main+7>:    pushl  -0x4(%ecx)

0x0000000a <main+10>:   push   %ebp

0x0000000b <main+11>:   mov    %esp,%ebp

0x0000000d <main+13>:   push   %ecx

0x0000000e <main+14>:   sub    $0x14,%esp

0x00000011 <main+17>:   movl   $0x0,-0x10(%ebp)

0x00000018 <main+24>:   movl   $0x77,-0xc(%ebp)

0x0000001f <main+31>:   cmpl   $0x0,-0xc(%ebp)

0x00000023 <main+35>:   setne  %al

0x00000026 <main+38>:   movzbl %al,%eax

0x00000029 <main+41>:   mov    %eax,-0x8(%ebp)

0x0000002c <main+44>:   mov    -0x8(%ebp),%eax

0x0000002f <main+47>:   mov    %eax,(%esp)

0x00000032 <main+50>:   call   0x33 <main+51>

0x00000037 <main+55>:   movl   $0x88,-0x10(%ebp)

0x0000003e <main+62>:   mov    $0x0,%eax

0x00000043 <main+67>:   add    $0x14,%esp

0x00000046 <main+70>:   pop    %ecx

0x00000047 <main+71>:   pop    %ebp

0x00000048 <main+72>:   lea    -0x4(%ecx),%esp

 

多了很多代码。这linux内核的作者这么蠢？

我们再看看inux内核根makefile下面的几行：

HOSTCC       = gcc                                                              

HOSTCXX      = g++

HOSTCFLAGS   = -Wall -Wmissing-prototypes -Wstrict-prototypes -O2 -fomit-frame-p

ointer

HOSTCXXFLAGS = -O2

加了个O2！

Ok，我们也加个O2。

wwhs_klist]# gcc test.c -c -I/opt/kernel/linux-2.6.38/linux-2.6.38.5/include/ -o test.o -g –O2（后面分别用优化选项-O、-O1、-Os在我们关注的这个地方表现出来的效果是相同的）。

gdb test.o

disassemble main

得到：

0x00000000 <main+0>:    lea    0x4(%esp),%ecx

0x00000004 <main+4>:    and    $0xfffffff0,%esp

0x00000007 <main+7>:    pushl  -0x4(%ecx)

0x0000000a <main+10>:   push   %ebp

0x0000000b <main+11>:   mov    %esp,%ebp

0x0000000d <main+13>:   push   %ecx

0x0000000e <main+14>:   sub    $0x4,%esp

0x00000011 <main+17>:   movl   $0x1,(%esp)

0x00000018 <main+24>:   call   0x19 <main+25>

0x0000001d <main+29>:   add    $0x4,%esp

0x00000020 <main+32>:   xor    %eax,%eax

0x00000022 <main+34>:   pop    %ecx

0x00000023 <main+35>:   pop    %ebp

0x00000024 <main+36>:   lea    -0x4(%ecx),%esp

0x00000027 <main+39>:   ret 

 

哈哈。看到了吧，全都被优化掉了，所以加的这些东西对我们的性能不会造成任何影响！

我晕。好像偏题了，不好意思。

不过发现klist除了这个以外没有别的值得讲的。

值得一提的是：

个人觉得klist中有些函数的命名不是非常的好，容易让人误解，经过思考后发现klist的命名虽然是有规律的，但是说实话，确实可以做得更好。

另外有一个值得一讲的是：

void klist_remove(struct klist_node *n)

{

         struct klist_waiter waiter;

 

         waiter.node = n;

         waiter.process = current;

         waiter.woken = 0;

         spin_lock(&klist_remove_lock);

         list_add(&waiter.list, &klist_remove_waiters);

         spin_unlock(&klist_remove_lock);

 

         klist_del(n);

 

         for (;;) {

                   set_current_state(TASK_UNINTERRUPTIBLE);

                   if (waiter.woken)

                            break;

                   schedule();

         }

         __set_current_state(TASK_RUNNING);

}

我们分析一下：

struct klist_waiter waiter;

 

         waiter.node = n;

         waiter.process = current;        //这是个任务结构体，把当前任务结构体保存起来

         waiter.woken = 0;                      //这是用于唤醒任务的标记

         spin_lock(&klist_remove_lock);

         list_add(&waiter.list, &klist_remove_waiters);     //将waiter.list链入klist_remove_waiters

         spin_unlock(&klist_remove_lock);

 

接下来：

void klist_del(struct klist_node *n)

{

         klist_put(n, true);

}

 

static void klist_put(struct klist_node *n, bool kill)

{

         struct klist *k = knode_klist(n);

         void (*put)(struct klist_node *) = k->put;

 

         spin_lock(&k->k_lock);

         if (kill)

                   knode_kill(n);

         if (!klist_dec_and_del(n))

                   put = NULL;

         spin_unlock(&k->k_lock);

         if (put)

                   put(n);

}

重点在：

static int klist_dec_and_del(struct klist_node *n)

{

         return kref_put(&n->n_ref, klist_release);

}

int kref_put(struct kref *kref, void (*release)(struct kref *kref))

{

         WARN_ON(release == NULL);

         WARN_ON(release == (void (*)(struct kref *))kfree);

 

if (atomic_dec_and_test(&kref->refcount)) { //一定要把引用计数消耗完才能调用release()

                   release(kref);

                   return 1;

         }

         return 0;

}

重点在：

 

static void klist_release(struct kref *kref)

{

         struct klist_waiter *waiter, *tmp;

         struct klist_node *n = container_of(kref, struct klist_node, n_ref);

 

         WARN_ON(!knode_dead(n));

         list_del(&n->n_node);

         spin_lock(&klist_remove_lock);

         list_for_each_entry_safe(waiter, tmp, &klist_remove_waiters, list) {

                   if (waiter->node != n)

                            continue;

 

                   waiter->woken = 1;

                   mb();

                   wake_up_process(waiter->process);

                   list_del(&waiter->list);

         }

         spin_unlock(&klist_remove_lock);

         knode_set_klist(n, NULL);

}

到这里我们可以看到：

waiter->woken = 1;

mb();

标记也打了，内存屏障也设了（多任务的时候用这个玩意可以把寄存器的值回写到内存，防止编译器优化产生BUG，其最主要的函数是编译器内置的，有兴趣的同志可以自行学习一下）。接下就是用wake_up_process(waiter->process)要换醒我们之前设置好的进程了。

回到我们之前的地方：

void klist_remove(struct klist_node *n)

{

         struct klist_waiter waiter;

 

         waiter.node = n;

         waiter.process = current;

         waiter.woken = 0;

         spin_lock(&klist_remove_lock);

         list_add(&waiter.list, &klist_remove_waiters);

         spin_unlock(&klist_remove_lock);

 

         klist_del(n);

 

         for (;;) {

                   set_current_state(TASK_UNINTERRUPTIBLE);

                   if (waiter.woken)

                            break;

                   schedule();

         }

         __set_current_state(TASK_RUNNING);

}

跳进循环：

用set_current_state(TASK_UNINTERRUPTIBLE) 设置当前任务为不可中断状态，

接下来就是判断我们之前打的标记了，所以前面的标记如果没打的话，就会继续调用schedule()来切换任务，只有当标记被置了1（也就是说只有引用计数被消耗完了），才会跳出循环。这是设计的好的地方，可以确保在多任务环境下，所有调用者都有机会释放，但也是容易出问题的地方，如果不小心控制引用计数，一个死循环就这么产生了。

接下来再用__set_current_state(TASK_RUNNING)将任务状态切成正在行运状态。