进程的内核态堆栈默认为2个页面8KB,由于在运行中需要频繁地获取当前进程的task_struct指针,因此内核定义了一个current,在任何时候,current都指向当前进程的task_struct.早期的内核把task_struct放到堆栈的顶部,这样在内核态,current这个宏就是ESP的最低13位清0,来得到当前进程的task_struct指针。但是随着task_struct结构的不断增大,把这个结构嵌入8KB的堆栈顶部已经不合适,于是分离出一个很小的thread_info结构嵌入到堆栈中。thread_info结构中的task指针指向进程的task_struct结构,而进程的task_struct结构中的stack成员则指向内核态堆栈。注意堆栈是由高地址向低地址方向增长的,而thread_info位于低地址,也就是堆栈的顶端。通过把ESP低13位清零的方式获取的是当前进程的thread_info结构,而该结构的task则指向当前进程的task_struct。但是现在内核定了percpu变量current_task,每次调度一个新进程时,就会设置current_task变量指向新进程的task_struct结构。
2.6.10内核中current的定义如下:
static inline struct task_struct * get_current(void)
{
return current_thread_info()->task;
}
#define current get_current()
static inline struct thread_info *current_thread_info(void)
{
struct thread_info *ti;
__asm__("andl %%esp,%0; ":"=r" (ti) : "0" (~(THREAD_SIZE - 1)));
return ti;
}
#ifdef CONFIG_4KSTACKS
#define THREAD_SIZE (4096)
#else
#define THREAD_SIZE (8192)
#endif