我对linux内核链表实现中的部分函数的理解——第二节

接下来是linux内核链表结点的删除

在内核当中链表结点删除的函数是static inline void list_del(struct list_head *entry)；

我们来看一下它的实现：

static inline void list_del(structlist_head *entry)

{

       __list_del(entry->prev,entry->next);

       entry->next= LIST_POISON1;

       entry->prev= LIST_POISON2;

}

 

其中核心部分是调用__list_del函数，__list_del函数的实现如下所示

static inline void __list_del(structlist_head * prev, struct list_head * next)

{

       next->prev= prev;

       prev->next= next;

}

这个函数的参数有两个，一个是当前删除结点的前驱节点、还一个是当前删除结点的后继结点，这个函数使后继结点的前驱指针变量指向该删除结点的前驱结点，使前驱结点的后继指针变量指向该删除结点的后继结点。

 

接下来是提取数据结构操作

 

在linux内核中它是以宏的方式来定义的

#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) );})

 

要看懂以上代码不是一件容易的事情，里面用到了几个宏，一个是typeof宏，还有一个是offsetof宏，typeof来用来获取类型的，根据我的理解，用typeof宏的目的是做强类型检查，避免member不是type的成员的情况。

(type *)( (char *)__mptr -offsetof(type,member) );意思是__mptr的地址减去（member在该struct中的偏移量）得到的地址, 再转换成type型指针. 该指针就是member的入口地址了。

用一副图来表示这个窍门的过程