Linux内核设计与实现--学习笔记--第三章- 1(task_struct等）

1，Linux系统的线程非常特别，他对线程与进程并不特别区分。对Linux而言，线程是一种特殊的进程。

2，在Linux系统中，调用fork（）创建进程，该系统调用通过复制一个现有进程来创建一个全新的进程，调用fork（）的进程称为父进程，新生的进程称为子进程，在调用结束时，在返回点这个位置上，父进程恢复执行，子进程开始执行，fork（）系统调用从内核返回两次：一次回到父进程，一次回到新生的子进程。

3，在OSE系统（ENEA公司出品，该公司成立于1968年，总部位于瑞典斯得哥尔摩，与爱立信共同成长）中，PCB与进程栈在内存中是相邻的，PCB在低地址处，进程栈（从高向低地址增长）在紧接着PCB的高地址存放（PCB+栈：在systemPool中分配）。而在Linux系统中并不直接存储PCB，取代PCB的是一个小的结构体：struct thread_info, 这个结构中并没有直接包含与进程相关的字段，而是通过task字段指向具体某个进程描述符（struct task_struct），这是因为现在用slab分配器动态生成task_struct（通过预先分配或重复使用task_struct，优点是进程创建迅速），所以只需在栈定（栈的低地址处）创建一个struct thread_info结构体，并指向task_struct。通过下图可知内核的栈（真正的栈）顶指针存储在esp寄存器中。

\include\asm-x86_64：struct thread_info {struct task_struct*task;/* main task structure */struct exec_domain*exec_domain;/* execution domain */__u32flags;/* low level flags */__u32status;/* thread synchronous flags */__u32cpu;/* current CPU */int preempt_count;mm_segment_taddr_limit;struct restart_block    restart_block;};

<em><span style="font-family:FangSong_GB2312;font-size:14px;">/** * 内核栈与thread_info 是个联合体， 在\include\linux\sched.h中定义 */union thread_union {struct thread_info thread_info;unsigned long stack[THREAD_SIZE/sizeof(long)];};</span></em>

如在i386处理器中：

#ifdef CONFIG_4KSTACKS
#define THREAD_SIZE            (4096)
#else
#define THREAD_SIZE (8192)
#endif

即内核stack数组大小为2048，如果THREAD_SIZE = 8192。

由于thread_union是联合体，我们可知stack[0]的地址与thread_info地址相同，也就是说每个thread的thread_info保存在进程内核栈的最低端（这与OSE系统不一样，OSE系统的PCB与栈是分开的，PCB并不占用栈的空间）

4，内核访问进程需要获取进程的task_struct,通过current宏可以得到当前正在运行的进程的进程描述符，硬件体系结构不同，该宏的实现也不同，有的硬件体系结构可以用专门的寄存器存放指向task_struct的指针，但像x86，其寄存器并不富裕，只能通过栈尾端的thread_info结构，计算偏移得到task_struct。对于i386（32位 x86）的current_thread_info定义如下：

<span style="font-size:14px;"><em>\include\asm-i386\thread_info.hstatic inline struct thread_info *current_thread_info(void){struct thread_info *ti;__asm__("andl %%esp,%0; ":"=r" (ti) : "0" (~(THREAD_SIZE - 1)));return ti;}</em></span>

上述代码，如果THREAD_SIZE=8192,则~(THREAD_SIZE - 1)=0xE000，即低13位为0，这样esp寄存器的LSB 13bit被清零，得到了内核堆栈thread_info结构的地址。

current_thread_info()->task就得到了进程task_struct。

通过current宏可以直接得到task_struck：

<span style="font-size:14px;">#ifndef _I386_CURRENT_H    \include\asm-i386#define _I386_CURRENT_H#include <linux/thread_info.h>struct task_struct;static inline struct task_struct * get_current(void){return current_thread_info()->task;} #define current get_current()#endif /* !(_I386_CURRENT_H) */</span><span style="font-size: 18px;"></span>

5，OSE系统怎么得到current_process？

<span style="font-size:14px;">PROCESS current_process(void){    D_DIV( debug_printf("current_process *\n"); );    return odo_sys.current->pid;}</span>

对于多核处理器系统，OSE在每个CPU都维护一个结构：odo_sys，odo_sys.current就是当前正在运行进程的PCB。