Linux中通用链表(list)的解析（3）

 下面说一下list的move相关函数和empty相关判断函数:
1. static inline void list_move(struct list_head *list, struct list_head *head)
{
        __list_del(list->prev, list->next);
        list_add(list, head);
}
先解释一下参数, list是要移动的结点, head是移动的前一个位置.
即: 把list结点移动到head的后一个位置.
这是通过两步完成的:
先把list结点从链表中删除, 再把list结点插入到适当的位置.

2. static inline void list_move_tail(struct list_head *list,
                  struct list_head *head)
{
        __list_del(list->prev, list->next);
        list_add_tail(list, head);
}
这是和move对应的tail函数.
即: 把list结点移动到head的前一个位置.

3. static inline int list_is_last(const struct list_head *list,
                const struct list_head *head)
{
    return list->next == head;
}
这个函数判断list结点是否为该链表的最后一个结点.
其中参数list是被判断结点, head是该链表的头结点.

4. static inline int list_empty(const struct list_head *head)
{
    return head->next == head;
}
这个函数判断链表是否为空, 是通过比较head和head->next的值是否相等实现的, 这与表结点的初始化方法有关.
因为初始化/重置表结点时, 把该结点的prev和next都指向本身.
参数head是表头结点.

5. static inline int list_empty_careful(const struct list_head *head)
{
    struct list_head *next = head->next;
    return (next == head) && (next == head->prev);
}
这个函数判断链表是否为空, 并且检查是否有进程在修改prev和next成员.
首先记录下head->next, 比较next和head是否相等, 同时比较next和prev是否相等, 要确定它们都是指向head本身才行.
这个函数只能与带有_init的函数一起使用(如__list_del_init),因为这些函数是有"重置"操作的.