文章参照任桥位Linux内核修炼之道3.6节编写。
在Linux内核中大量地方使用了链表这个数据结构。相信科班出身的学生或者自己学习过数据结构的同学都不陌生,不错,他就是最简单的线性结构——链表。不过,在内核当中,一般采用的都是循环双联表的数据结构。因为源码有三百多行我就不贴在这里,有兴趣的去下载一下:http://download.csdn.net/detail/huiguixian/3889011。
1. 链表的定义
这个跟我们在课本上学习的一样,相当简单。包括了一个前项指针,和后项指针。是不是有点不对劲?不错,竟然没有数据域!不急,我们慢慢看。
struct list_head { struct list_head *next, *prev; };
没有数据是内核链表的一大特色,因为他采用的方式比较特殊,他不是用链表来包含数据的,而是让数据项反回来包含链表的。刚开始多多少少有点难以理解,下面会解释的。
2. 链表的的定义和初始化
(1)采用LIST_HEAD宏在编译时静态初始化
#defineLIST_HEAD_INIT(name) { &(name), &(name) } #defineLIST_HEAD(name) \ struct list_head name =LIST_HEAD_INIT(name)
LIST_HEAD_INIT是宏定义,也就是说在定义的时候把他扩展一下就很容易理解了。比如初始化语句为
LIST_HEAD(event_list),可以理解为
struct list_headevent_list = { &event_list, &event_list }
结构体大家应该还没有忘记吧,里面有一条可以按照成员顺序在定义时对其进行初始化,所以这句就很明显了。目的是把next prev指针初始化指向它本身。
(2)采用INIT_LIST_HEAD函数在运行时动态初始化,这个目的一眼就看出来了,同上面一样。
static inline voidINIT_LIST_HEAD(struct list_head *list) { list->next = list; list->prev = list; }
3. 判断链表是否为空的操作,即是判断是否指向自己本身而已
static inline intlist_empty(const struct list_head *head) { return head->next == head; }
4.插入操作,学过链表操作的都看得懂,看不懂的自己去学链表去。
static inline void__list_add(struct list_head *new, struct list_head *prev, struct list_head *next) { next->prev = new; new->next = next; new->prev = prev; prev->next = new; } static inline voidlist_add(struct list_head *new, struct list_head *head) { __list_add(new, head,head->next); } static inline voidlist_add_tail(struct list_head *new, struct list_head *head) { __list_add(new, head->prev,head); }
5. 移动、删除等等类似,主要讲遍历!遍历的精彩部分在于链表是被数据包含着的,如何通过被包含的链表取出包含他的数据(有点拗口)
比如书上举的那个例子:
struct list_head*tmp; struct usb_hub *hub; tmp =hub_event_list.next; hub = list_entry(tmp,struct usb_hub, event_list);
数据结构是usb_hub,里面包含着一个list_head数据项,然后现在有一个list_head的链表hub_event_list,要取出里面包含hub_event_list.next的数据usb_hub。这就是上述代码的功能。最重要的函数为list_entry,代码如下:
#definelist_entry(ptr, type, member) \ container_of(ptr, type, member)
这个不用解释,他调用的是container_of(ptr, type, member),直接看这个宏定义
#definecontainer_of(ptr, type, member) ({ \ const typeof( ((type *)0)->member )*__mptr = (ptr); \ (type*)( (char *)__mptr - offsetof(type,member) );}) #defineoffsetof(TYPE, MEMBER) ((size_t) &((TYPE *)0)->MEMBER)
这个看起来比较费力。需要一步步理解。首先,宏定义不是函数,宏定义的参数不受函数的限制,所以在list_entry和container_of的第二个参数都是以数据类型做参数的。另外GCC有一个对ISO C的扩展,就是他支持typeof操作,具体可以看这里:http://blog.csdn.net/huiguixian/article/details/7045311 。主要看最后讲解typeof。简单来看他就是可以返回一个类型,基本可以用在你想用的任何时候。
接着上面的例子来解释:
type为usb_hub,type *就是usb_hub*,0可以理解为NULL,也就是usb_hub->event_list就是((type *)0)->member。一整句就是定义了一个list_head类型的常量指针,指向了参数的event_list。然后下一步是通过计算偏移量,让这个指针减去这个偏移量,即减去后的指针指向的可以看作是一个usb_hub的数据结构,至此就把usb_hub取出来了。