linux内核中的list详解
1 list_entry作用就是通过list_head型指针ptr换算成其宿主结构的起始地址，该宿主结构是type型的，
而ptr在其宿主结构中定义为member成员。定义在内核源文件include/linux/list.h中，
对比list_entry(ptr,type,member)可知有以下结果：
其中list相当于member成员，struct example_struct相当于type成员，ptr相当于ptr成员。而list{}成员嵌套于example_struct{}里面。ptr指向example_struct{}中的list成员变量的。在list_entry（）作用下，将ptr指针回转指向struct example_struct{}结构体的开始处
#define list_entry(ptr, type, member) /
container_of(ptr, type, member)
container_of是个宏,定义如下:
#define container_of(ptr, type, member) ({ /
const typeof( ((type *)0)->member ) *__mptr = (ptr); / // typeof是gcc扩展,用于得知数据类型的,这句话作用大
//概是看ptr是否是结构体里成员变量member的类型,不是编译时将报错,类型检测的
(type *)( (char *)__mptr - offsetof(type,member) );})
offsetof是计算成员member在结构体的type里面的偏移数,用__mptr的地址减去偏移地址就可以得到type结构体的开始地址
container_of向上面这样定义展开后可以直接赋值如下面这样
#include
int main(int argc,char argv[])
{
int x = 1,y = 2;
int m =
({
x++;
x + y;
});
fprintf(stdout,"----%d/n",m);
}
这种用法应该是gcc的扩展
2
在linux内核中，list是无处不在，好多代码都include了list.h。在linux源代码中，由于list的运用过于频繁，所以就把 list 单独定义了，如果有哪个结构要成为列表，就把结构的第一个成员定义成list_head，然后初始化就可以了。
struct list_head *next, *prev; //从定义中可以看出是个双向队列
} list_t;
#define LIST_HEAD_INIT(name) { &(name), &(name) }
#define LIST_HEAD(name) /
struct list_head name = LIST_HEAD_INIT(name) //定义一个空的列表
#define INIT_LIST_HEAD(ptr) do { / //初始化一个已定义的列表
(ptr)->next = (ptr); (ptr)->prev = (ptr); /
} while (0)
.
.
前三个宏用来初始化一个next和prev指针皆指向自身的空链表，宏可以用到的地方明显受限于c语法约束。例如，LIST_HEAD_INIT()用来初始化结构元素，第二个宏用来初始化静态变量，第三个用于函数内部。
struct list_head *prev,
struct list_head *next)
{
next->prev = new;
new->next = next;
new->prev = prev;
prev->next = new;
}
static inline void list_add(struct list_head *new, struct list_head *head) //加入一个新节点
{
__list_add(new, head, head->next);
}
/**
* list_entry - get the struct for this entry
* @ptr: the &struct list_head pointer.
* @type: the type of the struct this is embedded in.
* @member: the name of the list_struct within the struct.
*/
#define list_entry(ptr, type, member) /
((type *)((char *)(ptr)-(unsigned long)(&((type *)0)->member)))
从上面我们知道list_entry的作用是返回类型type的数据结构地址，但是具体怎么实现的呢？看代码怪怪的。其实我们只要知道 &((type *)0)->member 的意思就明白了。它是取结构成员偏移量的一种方法，将常数0强制为结构指针，取其成员的地址，结果就是成员的偏移量。
list_entry宏根据list_head型指针ptr换算成其宿主结构的起始地址，该宿主结构是 type型的，而ptr在其宿主结构中定义为member成员。如下图：
req-->|type型对象起始地址
|
|... ...
ptr-->|ptr指针所指的member成员地址
|
|... ...
ptr指向图中所示的位置，通过(unsigned long)(&((type*)0)->member)得到ptr 和req之间的差值，ptr减去这个差值就得到了type型宿主结构的指针req，返回 类型为(type*)。
struct demo {
struct list_head list;
int i;
}
struct demo demo1;
list_add(&demo1->list, list_head) //把demo1加入列表， list_head仅仅就是两个指针
这样的列表是非常灵活的，不同类型的变量都可以加到列表中去。如下图所示：
_________________________________________________
| list | 1 | 2 | 3 |
|_head |____________|___________|____________ |____
|| || ||
|| || ||
demo1 demo2 struct dev dev1
所以，我们只要知道了，list_head的地址，里面的东西就好找了。
注意： 队列头list_head不能被嵌入到结构中。