剁饺子馅机器:C语言的那些小秘密之链表(四)

来源:百度文库 编辑:中财网 时间:2024/07/14 10:32:51
大多数的读者在学习编程语言的时候都不喜欢那些枯燥的文字描述,包括我自己在开始学习编程的时候也是这样,对于代码的热情远远高于文字,所以我在我写东西的时候也不喜欢用枯燥的文字描述来向读者讲解,更喜欢用代码加上适当的文字描述的方式进行讲解,因为有些东西可能用枯燥的文字描述半天还不如实实在在的给读者呈现出一段简单的代码,让读者理解得更加的透彻些。但是并不是说文字描述就没用,文字描述也很重要,只是绝大部分读者都更加的希望直接达到最终的效果,都想跳过那些中间的步骤。接下来我们接着上一篇博客《C语言的那些小秘密之链表(三)》的内容继续讲解linux内核双向循环链表。

特此说明:我会把我在文章中编写代码时候用到的头文件list.h上传到我的空间,免积分下载,有需要的读者可以自己去下载,当然也可以自己上网下载或者从自己安装的linux系统中得到。下载地址:http://download.csdn.net/user/bigloomy

view plain
  1. static inline int list_empty(const struct list_head *head)  
  2. {  
  3.         return head->next == head;  
  4. }  
  5.   
  6. static inline int list_empty_careful(const struct list_head *head)  
  7. {  
  8.         struct list_head *next = head->next;  
  9.         return (next == head) && (next == head->prev);  
  10. }  

list_empty()函数和list_empty_careful()函数都是用来检测链表是否为空的。但是稍有区别的就是第一个链表使用的检测方法是判断表头的结点的下一个结点是否为其本身,如果是则返回为true,否则返回false。第二个函数使用的检测方法是判断表头的前一个结点和后一个结点是否为其本身,如果同时满足则返回false,否则返回值为true。说多了可能读者就会没耐心了,那么接下来我来看看下面的代码。

view plain
  1. #include   
  2. #include   
  3. #include "list.h"  
  4.   
  5. typedef struct _stu  
  6. {  
  7.     char name[20];  
  8.     int num;  
  9.     struct list_head list;  
  10. }stu;  
  11.   
  12. int main()  
  13. {  
  14.     stu *pstu;  
  15.     stu *tmp_stu;  
  16.     struct list_head stu_list;  
  17.     struct list_head *pos;  
  18.     int i = 0;  
  19.       
  20.     INIT_LIST_HEAD(&stu_list);  
  21.       
  22.     pstu = malloc(sizeof(stu)*5);  
  23.       
  24.     for(i=0;i<5;i++)  
  25.     {  
  26.             sprintf(pstu[i].name,"Stu%d",i+1);  
  27.         pstu[i].num = i+1;   
  28.         list_add( &(pstu[i].list), &stu_list);  
  29.     }   
  30.     list_for_each(pos,&stu_list)  
  31.     {  
  32.         tmp_stu = list_entry(pos, stu, list);  
  33.         printf("student num: %d\tstudent name: %s\n",tmp_stu->num,tmp_stu->name);  
  34.     }  
  35.     if(list_empty(&stu_list))  
  36.         printf("使用list_empty()检测,链表为空\n");  
  37.     else  
  38.         printf("使用list_empty()检测,链表非空\n");  
  39.   
  40.     if(list_empty_careful(&stu_list))  
  41.         printf("使用list_empty_careful()检测,链表为空\n");  
  42.     else  
  43.         printf("使用list_empty_careful()检测,链表非空\n");  
  44.     free(pstu);  
  45.     return 0;  
  46. }  

运行结果为:

view plain
  1. root@ubuntu:/home/paixu/dlist_node# ./a  
  2. student num: 5  student name: Stu5  
  3. student num: 4  student name: Stu4  
  4. student num: 3  student name: Stu3  
  5. student num: 2  student name: Stu2  
  6. student num: 1  student name: Stu1  
  7. 使用list_empty()检测,链表非空  
  8. 使用list_empty_careful()检测,链表非空  

看看代码就知道如何使用了,接下来看看链表的合成。

view plain
  1. static inline void __list_splice(struct list_head *list,  
  2.                                  struct list_head *head)  
  3. {  
  4.         struct list_head *first = list->next;  
  5.         struct list_head *last = list->prev;  
  6.         struct list_head *at = head->next;  
  7.   
  8.         first->prev = head;  
  9.         head->next = first;  
  10.   
  11.         last->next = at;  
  12.         at->prev = last;  
  13. }  

这个地方我觉得最好的方法就是使用图示来进行讲解,直观易懂,如果用文字描述半天还不如读者看一眼图。

将一个链表插入到另外一个链表中。不作链表是否为空的检查,由调用者默认保证。因为每个链表只有一个头节点,将空链表插入到另外一个链表中是没有意义的。但被插入的链表可以是空的。

view plain
  1. static inline void list_splice(struct list_head *list, struct list_head *head)  
  2. {  
  3.         if (!list_empty(list))  
  4.                 __list_splice(list, head);  
  5. }  

在这种情况下会丢弃list所指向的头结点,因为两个链表有两个头结点,所以我们必须要去掉其中一个头结点。只要list非空链,head无任何限制,该函数就能实现链表的合并。

view plain
  1. static inline void list_splice_init(struct list_head *list,  
  2.                                     struct list_head *head)  
  3. {  
  4.         if (!list_empty(list)) {  
  5.                 __list_splice(list, head);  
  6.                 INIT_LIST_HEAD(list);  
  7.         }  
  8. }  

以上函数的功能是将一个链表list的有效信息合并到另外一个链表head后,重新初始化被去掉的空的链表头。这样的描述可能不是太好理解,接下来看看一段代码。

view plain
  1. #include   
  2. #include   
  3. #include "list.h"  
  4.   
  5. typedef struct _stu  
  6. {  
  7.     char name[20];  
  8.     int num;  
  9.     struct list_head list;  
  10. }stu;  
  11.   
  12. int main()  
  13. {  
  14.     stu *pstu,*pstu2;  
  15.     stu *tmp_stu;  
  16.     struct list_head stu_list,stu_list2;  
  17.     struct list_head *pos;  
  18.   
  19.     int i = 0;  
  20.       
  21.     INIT_LIST_HEAD(&stu_list);  
  22.     INIT_LIST_HEAD(&stu_list2);  
  23.   
  24.     pstu = malloc(sizeof(stu)*3);  
  25.     pstu2 = malloc(sizeof(stu)*3);  
  26.       
  27.     for(i=0;i<3;i++)  
  28.     {  
  29.             sprintf(pstu[i].name,"Stu%d",i+1);  
  30.         sprintf(pstu2[i].name,"Stu%d",i+4);  
  31.         pstu[i].num = i+1;  
  32.         pstu2[i].num = i+4;   
  33.         list_add( &(pstu[i].list), &stu_list);  
  34.         list_add( &(pstu2[i].list), &stu_list2);  
  35.     }   
  36.     printf("stu_list  链表\n");  
  37.     list_for_each(pos,&stu_list)  
  38.     {  
  39.         tmp_stu = list_entry(pos, stu, list);  
  40.         printf("student num: %d\tstudent name: %s\n",tmp_stu->num,tmp_stu->name);  
  41.     }  
  42.     printf("stu_list2 链表\n");  
  43.     list_for_each(pos,&stu_list2)  
  44.     {  
  45.         tmp_stu = list_entry(pos, stu, list);  
  46.         printf("student num: %d\tstudent name: %s\n",tmp_stu->num,tmp_stu->name);  
  47.     }  
  48.     printf("stu_list链表和stu_list2 链表合并以后\n");  
  49.     list_splice(&stu_list2,&stu_list);  
  50.     list_for_each(pos,&stu_list)  
  51.     {  
  52.         tmp_stu = list_entry(pos, stu, list);  
  53.         printf("student num: %d\tstudent name: %s\n",tmp_stu->num,tmp_stu->name);  
  54.     }  
  55.   
  56.     free(pstu);  
  57.     return 0;  
  58. }  

运行结果为:

view plain
  1. root@ubuntu:/home/paixu/dlist_node# ./a  
  2. stu_list  链表  
  3. student num: 3  student name: Stu3  
  4. student num: 2  student name: Stu2  
  5. student num: 1  student name: Stu1  
  6. stu_list2 链表  
  7. student num: 6  student name: Stu6  
  8. student num: 5  student name: Stu5  
  9. student num: 4  student name: Stu4  
  10. stu_list链表和stu_list2 链表合并以后  
  11. student num: 6  student name: Stu6  
  12. student num: 5  student name: Stu5  
  13. student num: 4  student name: Stu4  
  14. student num: 3  student name: Stu3  
  15. student num: 2  student name: Stu2  
  16. student num: 1  student name: Stu1  

有了直观的代码和运行结果,理解起来也更加的容易了。

有了上面的这些操作,但是我们还一直没有讲到我们最终所关心的宿主结构,那么接下来我们一起来看看我们该如何取出宿主结构的指针呢?这也是我认为linux内核双向循环链表实现最为巧妙的地方了。

view plain
  1. #define list_entry(ptr, type, member)  \  
  2.     ((type *)((char *)(ptr)-(unsigned long)(&((type *)0)->member)))  

看看上面的代码,发现一个很熟悉的身影(unsigned long)(&((type *)0)->member)),这个我在前一篇博客《C语言的那些小秘密之字节对齐》中已经讲解过了,多以在此就不再做过多的讲解,如果有不明白的读者可以回过去看看讲解再回过来阅读。通过(unsigned long)(&((type *)0)->member))我们得出了成员变量member的偏移量,而ptr为指向member的指针,因为指针类型不同的原因,所以我们再次要先进行(char*)的转换之后再进行计算。所以我们用ptr减去member的偏移量就得到了宿主结构体的指针,这就是一个非常巧妙的地方,这也就使得linux内核双向循环链表能够区别于传统链表的关键所在。可能看到这儿的时候读者已经感觉非常的枯燥了,但是别放弃,坚持看完,因为虽然这样的讲解枯燥了点,但是非常有用。所以坚持坚持吧!

view plain
  1. #define list_for_each(pos, head) \  
  2.         for (pos = (head)->next; prefetch(pos->next), pos != (head); \  
  3.                 pos = pos->next)  
  4.   
  5. #define __list_for_each(pos, head) \  
  6.         for (pos = (head)->next; pos != (head); pos = pos->next)  
  7.   
  8. #define list_for_each_prev(pos, head) \  
  9.         for (pos = (head)->prev; prefetch(pos->prev), pos != (head); \  
  10.                 pos = pos->prev)  

遍历是双循环链表的基本操作,head为头节点,遍历过程中首先从(head)->next开始,当pos==head时退出,故head节点并没有访问,这和链表的结构设计有关,通常头节点都不含有其它有效信息,因此可以把头节点作为双向链表遍历一遍的检测标志来使用。在list_for_each宏中读者可能发现一个比较陌生的面孔,我们在此就不将prefetch展开了讲解了,有兴趣的读者可以自己查看下它的实现,其功能是预取内存的内容,也就是程序告诉CPU哪些内容可能马上用到,CPU预先其取出内存操作数,然后将其送入高速缓存,用于优化,是的执行速度更快。接下来的__list_for_each()宏和list_for_each_prev()宏就不在此做一一的讲解了,和list_for_each()宏类似。 就是遍历的方向有所改变或者不使用预取。

通过上面的讲解和前面那么多的代码,相信读者这个时候对于list_for_each()已经不再感到陌生了。上面的但三个遍历链表的宏都类似,继续往下看。

view plain
  1. #define list_for_each_safe(pos, n, head) \  
  2.         for (pos = (head)->next, n = pos->next; pos != (head); \  
  3.                 pos = n, n = pos->next)  

以上list_for_each_safe()宏也同样是用于遍历的,不同的是里边多出了一个n暂存pos下一个节点的地址,避免了因为pos节点被释放而造成的断链,这也就体现出了safe。也就是说你可以遍历完当前节点后将其删除,同时可以接着访问下一个节点,遍历完毕后就只剩下一个头节点。当然这有一个最为典型的应用,那就是我们在多进程编程时候,多个进程等待在同一个等待队列上,若事件发生时唤醒所有进程,则可以唤醒后将其依次从等待队列中删除。

view plain
  1. #include   
  2. #include   
  3. #include "list.h"  
  4.   
  5. typedef struct _stu  
  6. {  
  7.     char name[20];  
  8.     int num;  
  9.     struct list_head list;  
  10. }stu;  
  11.   
  12. int main()  
  13. {  
  14.     stu *pstu;  
  15.     stu *tmp_stu;  
  16.     struct list_head stu_list;  
  17.     struct list_head *pos,*n;  
  18.   
  19.     int i = 0;  
  20.       
  21.     INIT_LIST_HEAD(&stu_list);  
  22.   
  23.     pstu = malloc(sizeof(stu)*3);  
  24.       
  25.     for(i=0;i<3;i++)  
  26.     {  
  27.             sprintf(pstu[i].name,"Stu%d",i+1);  
  28.         pstu[i].num = i+1;  
  29.         list_add( &(pstu[i].list), &stu_list);  
  30.     }   
  31.     printf("通过list_for_each_safe()遍历使用list_del(pos)删除结点前\n");  
  32.     list_for_each_safe(pos, n, &stu_list)   
  33.     {  
  34.   
  35.         tmp_stu = list_entry(pos, stu, list);  
  36.         printf("student num: %d\tstudent name: %s\n",tmp_stu->num,tmp_stu->name);  
  37.         list_del(pos);  
  38.     }  
  39.     printf("通过list_for_each()遍历使用list_del(pos)删除结点后\n");  
  40.     list_for_each(pos,&stu_list)  
  41.     {  
  42.         tmp_stu = list_entry(pos, stu, list);  
  43.         printf("student num: %d\tstudent name: %s\n",tmp_stu->num,tmp_stu->name);  
  44.     }  
  45.   
  46.     free(pstu);  
  47.     return 0;  
  48. }  

运行结果为:

view plain
  1. root@ubuntu:/home/paixu/dlist_node# ./a  
  2. 通过list_for_each_safe()遍历使用list_del(pos)删除结点前  
  3. student num: 3  student name: Stu3  
  4. student num: 2  student name: Stu2  
  5. student num: 1  student name: Stu1  
  6. 通过list_for_each()遍历使用list_del(pos)删除结点后  

读者可以结合运行结果再去阅读上面的文字描述部分。 

如果只提供对list_head结构的遍历操作是远远不够的,我们希望实现的是对宿主结构的遍历,即在遍历时直接获得当前链表节点所在的宿主结构项,而不是每次要同时调用list_for_each()和list_entry()。为此Linux特地提供了list_for_each_entry()宏来实现

view plain
  1. #define list_for_each_entry(pos, head, member)                                \  
  2.         for (pos = list_entry((head)->next, typeof(*pos), member);        \  
  3.              prefetch(pos->member.next), &pos->member != (head);         \  
  4.              pos = list_entry(pos->member.next, typeof(*pos), member))  

第一个参数为传入的遍历指针,指向宿主数据结构,第二个参数为链表头,为list_head结构,第三个参数为list_head结构在宿主结构中的成员名。有时候做过多的讲解反而没有看看代码的效果好,我们还是用段代码来说明下吧。

view plain
  1. #include   
  2. #include   
  3. #include "list.h"  
  4.   
  5. typedef struct _stu  
  6. {  
  7.     char name[20];  
  8.     int num;  
  9.     struct list_head list;  
  10. }stu;  
  11.   
  12. int main()  
  13. {  
  14.     stu *pstu;  
  15.     stu *tmp_stu;  
  16.     struct list_head stu_list;  
  17.     struct list_head *pos,*n;  
  18.   
  19.     int i = 0;  
  20.       
  21.     INIT_LIST_HEAD(&stu_list);  
  22.   
  23.     pstu = malloc(sizeof(stu)*3);  
  24.       
  25.     for(i=0;i<3;i++)  
  26.     {  
  27.             sprintf(pstu[i].name,"Stu%d",i+1);  
  28.         pstu[i].num = i+1;  
  29.         list_add( &(pstu[i].list), &stu_list);  
  30.     }   
  31.     list_for_each_entry(tmp_stu, &stu_list, list)  
  32.         printf("student num: %d\tstudent name: %s\n",tmp_stu->num,tmp_stu->name);  
  33.   
  34.     free(pstu);  
  35.     return 0;  
  36. }  

运行结果为:

view plain
  1. root@ubuntu:/home/paixu/dlist_node# ./a  
  2. student num: 3  student name: Stu3  
  3. student num: 2  student name: Stu2  
  4. student num: 1  student name: Stu1  

如果读者一开始对于文字描述感到陌生的话,那么就再次结合代码去阅读。

接下来再来看看最后几个。

view plain
  1. #define list_for_each_entry_reverse(pos, head, member)                        \  
  2.         for (pos = list_entry((head)->prev, typeof(*pos), member);        \  
  3.              prefetch(pos->member.prev), &pos->member != (head);         \  
  4.              pos = list_entry(pos->member.prev, typeof(*pos), member))  
  5.   
  6. #define list_prepare_entry(pos, head, member) \  
  7.         ((pos) ? : list_entry(head, typeof(*pos), member))  
  8.   
  9. #define list_for_each_entry_continue(pos, head, member)                 \  
  10.         for (pos = list_entry(pos->member.next, typeof(*pos), member);        \  
  11.              prefetch(pos->member.next), &pos->member != (head);        \  
  12.              pos = list_entry(pos->member.next, typeof(*pos), member))  
  13.   
  14. #define list_for_each_entry_safe(pos, n, head, member)                        \  
  15.         for (pos = list_entry((head)->next, typeof(*pos), member),        \  
  16.                 n = list_entry(pos->member.next, typeof(*pos), member);        \  
  17.              &pos->member != (head);                                         \  
  18.              pos = n, n = list_entry(n->member.next, typeof(*n), member))  

以上几个与list_for_each_entry类似,只是其中略有差别,list_prepare_entry()中含有prefetch(),它的作用在上面已经讲解,有什么疑惑可以返回去阅读下,在此不再做过多的讲解;list_for_each_entry_continue()和list_for_each_entry()的区别主要是list_for_each_entry_continue()可以不从链表头开始遍历,而是从已知的某个pos结点的下一个结点开始遍历。在某些时候如果不是从头结点开始遍历,那么为了保证pos的初始值有效,必须使用list_prepare_entry()。其含义就是如果pos非空,那么pos的值就为其本身,如果pos为空,那么就从链表头强制扩展一个虚pos指针,读者自己分析list_prepare_entry()的实现就明白了。list_for_each_entry_safe()要求调用者另外提供一个与pos同类型的指针n,在for循环中暂存pos下一个节点的宿主结构体的地址,避免因pos节点被释放而造成的断链。

到此我们linux内核双向循环链表的旅程就结束了,下一篇我们将开始一个新的旅程。由于本人水平有限,博客中的不妥或错误之处在所难免,殷切希望读者批评指正。同时也欢迎读者共同探讨相关的内容,如果乐意交流的话请留下你宝贵的意见。