linux内核中hlist_head和hlist_node结构解析

hlist_head和hlist_node用于散列表，分表表示列表头（数组中的一项）和列表头所在双向链表中的某项，两者结构如下:

1 2 3

struct hlist_head { struct hlist_node *first; };

1 2 3

struct hlist_node { struct hlist_node *next, **pprev; };

在内核中的普通双向链表基本上都是通过list_head实现的：

1 2 3

struct list_head { struct list_head *next, *prev; };

list_head很好理解，但是hlist_head和hlist_node为何要这样设计呢？

先看下hlist_head和hlist_node的示意图:

hash_table为散列表（数组），其中的元素类型为struct hlist_head。以hlist_head为链表头的链表，其中的节点hash值是相同的（也叫冲突）。first指针指向链表中的节点①，然后节点①的pprev指针指向hlist_head中的first，节点①的next指针指向节点②。以此类推。

hash_table的列表头仅存放一个指针,也就是first指针,指向的是对应链表的头结点,没有tail指针也就是指向链表尾节点的指针,这样的考虑是为了节省空间——尤其在hash bucket(数组size)很大的情况下可以节省一半的指针空间。

为什么pprev是一个指向指针的指针呢？按照这个设计，我们如果想要得到尾节点，必须遍历整个链表，可如果是一个指向节点的指针，那么头结点现在的pprev便可以直接指向尾节点，也就是list_head的做法。

对于散列表来说，一般发生冲突的情况并不多（除非hash设计出现了问题），所以一个链表中的元素数量比较有限，遍历的劣势基本可以忽略。

在删除链表头结点的时候，pprev这个设计无需判断删除的节点是否为头结点。如果是普通双向链表的设计，那么删除头结点之后，hlist_head中的first指针需要指向新的头结点。通过下面2个函数来加深理解:

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20

//添加节点到链表头 static inline void hlist_add_head(struct hlist_node *n, struct hlist_head *h) { struct hlist_node *first = h->first; n->next = first;//新节点的next指针指向原头结点 if (first) first->pprev = &n->next;//原头结点的pprev指向新节点的next字段 h->first = n;//first指针指向新的节点（更换了头结点） n->pprev = &h->first; //此时n是链表的头结点,将它的pprev指向list_head的first字段 }   //删除节点 static inline void __hlist_del(struct hlist_node *n) { struct hlist_node *next = n->next; struct hlist_node **pprev = n->pprev; *pprev = next; // pprev指向的是前一个节点的next指针,当该节点是头节点时指向 hlist_head的first,两种情况下不论该节点是一般的节点还是头结点都可以通过这个操作删除掉所需删除的节点。 if (next) next->pprev = pprev;//使删除节点的后一个节点的pprev指向删除节点的前一个节点的next字段，节点成功删除。 }

因本人水平有限，若文章内容存在问题，恳请指出。允许转载，转载请在正文明显处注明原站地址以及原文地址，谢谢！