!((char *)(p+1))[i] 何解

最新推荐文章于 2023-09-20 23:33:52 发布

转载最新推荐文章于 2023-09-20 23:33:52 发布 · 1.2k 阅读

linux 专栏收录该内容

11 篇文章

订阅专栏

本文详细解读了内核Linux0.11中task_struct结构与内核堆栈的关系，包括物理内存分配、结构组成及如何通过show_task函数计算内核栈剩余空间。

参考http://hi.baidu.com/ylzhjy/blog/item/396c99f584fb137eddc474dc.html，就写的很详细，只是我没法转载，就重写了一遍。
题目中的这句出处是内核linux 0.11内核中的sched.c函数。在理解这个结构之前，要知道这点：内核为每个进程分配一个task_struct结构时，实际上分配两个连续的物理页面(8192字节）底部用作task_struct结构(大小约为1K字节)，结构的上面用作内核堆栈(大小约为7K字节)。
内核堆栈是这么定义的：
union task_union {
struct task_struct task;
unsigned long stack[INIT_TASK_SIZE/sizeof(long)];
};
所以下面show_task用于计算除去task_struct占用的空间，统计unsigned long stack[INIT_TASK_SIZE/sizeof(long)]为0的个数，即统计内核栈剩余空间的大小。
void show_task(int nr,struct task_struct * p)
> {
> int i,j = 4096-sizeof(struct task_struct);
> printk("%d: pid=%d, state=%d, ",nr,p->pid,p->state);
> i=0;
> while (i<j && !((char *)(p+1))[i])
> i++;
> printk("%d (of %d) chars free in kernel stack\n\r",i,j);
> }
明白这一切，就好解释题目中的结构了：
p是task_struct类型的指针，p+1就是p的值加上sizeof(task_struct)，也就是说p+1是指定任务数据结构之后的第一个字节，也就是stack。
(char *)(p+1)将p+1转换为char类型指针，那么(p+1)[i]实际就是一个char类型数组的第i个元素了，char占一个字节，因此 !((char*)(p+1))[i] = true的条件是任务数据结构以后第i个字节为0。