Linux内核分析——进程任务结构与初始化

Linux内核分析——进程任务结构与初始化

      Linux系统对线程和进程并不特别区分。对Linux来说，线程只不过是一种特殊的进程罢了，后面我们会看到，他们都通过do_fork函数创建，只是传入的参数不一样而已。线程创建时，会共享内核资源。

     内核中，各个进程的task_struct存放在他们内核栈的尾端。这样做是为了让那些像x86那些寄存器较少的硬件体系结构只要通过栈指针就能计算出他的位置而避免额外的寄存器专门记录。寄存器较弱的体系结构不是引入thread_info结构的唯一原因。这个新建的结构使在汇编代码中计算其偏移变量非常容易。由于现在用slab分配器动态生成task_struct，所以只需要在栈底（对于向下增长的栈来说）或栈顶（对于向上增长的栈来说）创建一个新的结构struct thread_info。

 <span style="font-size:18px;">union thread_union {/*大小为8k*/
     struct thread_info thread_info;
     unsigned long stack[THREAD_SIZE/sizeof(long)];/*大小为8k*/
 };</span>

从这个联合体中可以看到，thread_info结构体和栈存放在两个页面中，而栈的大小正好是两个页面，这也论证了上面所说的。

下面来看看如何获得当前进程的指针

 <span style="font-size:18px;">#define current get_current()

 #define get_current() (current_thread_info()->task)

 static inline struct thread_info *current_thread_info(void)
 {
     struct thread_info *ti;
     /*函数percpu_read_stable(kernel_stack)取得相应当前cpu上  thread_info所在的地址，返回值是整数。*/
     ti = (void *)(percpu_read_stable(kernel_stack) +
               KERNEL_STACK_OFFSET - THREAD_SIZE);
     return ti;
 }</span>

其中kernel_stack为内核per CPU变量

 <span style="font-size:18px;">DEFINE_PER_CPU(unsigned long, kernel_stack) =
     (unsigned long)&init_thread_union - KERNEL_STACK_OFFSET + THREAD_SIZE;</span><span style="font-family: Arial, Verdana, sans-serif; font-size: 18px; white-space: normal; background-color: rgb(255, 255, 255); "> </span>

      thread_union是一个联合体，里面定义了thread_info结构和堆栈结构，THREAD_SIZE在32位平台上一般定义为4K，所以stack的大小其实就是4KB，这就是初始任务在核心里所拥有的所有空间，除去thread_info和KERNEL_STACK_OFFSET占用的空间后，就是任务在核心里实际拥有堆栈的大小。KERNEL_STACK_OFFSET定义为5*8，由于是unsigned long,所以堆栈底部以上还有5*8*4B=200B的空间用来存放程序运行时相关的环境参数。

      内核栈采用每个CPU数据（per_cpu_data）的概念，在每一个处理器中各自维护一个以前在多个CPU之间进行共享的数据，如当前运行的任务结构体，以前就是在多个CPU之间共享的。

关于内核进程初始化

首先我们要知道linux中第一个进程时内核进程，pid为0，他是所有进程的父进程。这个进程也叫swapper，或者idle。这个进程时静态初始化的，定义为：

 <span style="font-size:18px;">/*
  * Initial thread structure.
  *
  * We need to make sure that this is 8192-byte aligned due to the
  * way process stacks are handled. This is done by making sure
  * the linker maps this in the .text segment right after head.S,
  * and making head.S ensure the proper alignment.
  *
  * The things we do for performance..
  */
 union thread_union init_thread_union __init_task_data =
     { INIT_THREAD_INFO(init_task) };

 /* Attach to the init_task data structure for proper alignment */
 #define __init_task_data __attribute__((__section__(".data.init_task")))</span>

       这个进程主要用途就是保证至少会有一个进程还在运行，也就是说当没有进程运行的情况下，它是最后的那个进程,就是swaaper 进程.init进程就是由它派生出来的。

        然后来看对应的初始化，在header32.s中，这里是将init_thread_union的地址加上THREAD_SIZE(栈的大小)装载进esp，然后__BOOT_DS装载进ss。32为x86默认栈的大小为8k，因此一开始esp的值就是init_thread_union的地址＋栈的大小。

 <span style="font-size:18px;">/* Set up the stack pointer */
 lss stack_start,%esp

 .data
 ENTRY(stack_start)
     .long init_thread_union+THREAD_SIZE
     .long __BOOT_DS</span>

参考来源：http://blog.csdn.net/bullbat/article/details/7084135