Nginx 源码分析：ngx_queue_t

摘要：源文件路径版本主要作用分析是提供的双向链表。同时，由于这种链表没有节点成员变量，所以需要作为带有节点变量的结构体的成员变量存在，这种情况下，称这种链表为寄宿链表，链表所在结构体称为宿主。和常规的双向链表操作基本相同。

版本：1.8.0

srccoreNgx_queue.h
srccoreNgx_queue.c

ngx_queue_t是Nginx提供的双向链表。

通常意义上的双向链表是长成这个样子的：

struct double_link_s {
    int            node;
    double_link_t *prev;
    double_link_t *next;
};

包含三个要素：节点数据data，指向前一个节点的指针prev及指向后一下节点的指针next。

然后就是老生常谈的对于双向链表的创建、插入、删除等等。我就不详说了，自行google即可。

其实，如果你仔细观察一下，就会发现，对双向链表的操作基本都是围绕prev和next展开的，与节点数据data关系不大。

所以，将双向链表的操作抽象出来，形成与链表节点无关的抽象可以帮助我们更好的去操作各种节点类型的双向链表。

这种链表的特点是只有prev和next两个变量，没有表示链表节点的成员变量。因此，这种链表也被称为轻量级链表。

同时，由于这种链表没有节点成员变量，所以需要作为带有节点变量的结构体的成员变量存在，这种情况下，称这种链表为寄宿链表，链表所在结构体称为宿主。

举个栗子，就是长成这个样子：

typedef double_link_s double_link_t;
struct double_link_s {
    double_link_t *prev;
    double_link_t *next;
};

struct node_s {
    int             node;
    double_link_t   link;
}

简单来说，如果想将结构体作为链表节点，那么就将这种轻量级链表作为成员变量加入到自身。

示意图如下：

这样，操作链表就是操作链表中的轻量级链表，因此，可以定义出通用的链表结构。

在Nginx中，这个通用的双向链表结构就是ngx_queue_t。这不是Nginx发明的，在Linux内核中也使用这种链表。

ngx_queue_t

根据上述分析，定义轻量级链表很简单。

typedef struct ngx_queue_s  ngx_queue_t;

struct ngx_queue_s {
    ngx_queue_t  *prev;
    ngx_queue_t  *next;
};

既然是双向链表，那么关于双向链表的基本操作是相同的。所以，不需要多解释，直接看源码即可。

#define ngx_queue_init(q)                                                     
    (q)->prev = q;                                                            
    (q)->next = q

使用ngx_queue_t类型的变量q初始化链表，由于是初始化，因此prev和next均指向自身。q作为管理整个链表的空节点。

#define ngx_queue_empty(h)                                                    
    (h == (h)->prev)

#define ngx_queue_insert_head(h, x)                                           
    (x)->next = (h)->next;                                                    
    (x)->next->prev = x;                                                      
    (x)->prev = h;                                                            
    (h)->next = x

虽然宏的名字叫insert_head，实际上可以是插入的通用操作。所以，在源码中有

#define ngx_queue_insert_after   ngx_queue_insert_head

这里跟正常的双链表插入操作没有区别。

采用寄宿链表，一个绕不开的问题就是，如何根据链表获得节点的数据。

  
这里解决的基本思路如下：
  
  

寄宿链表是链表节点结构体的一个成员变量，虽然结构体可能因为对齐的问题使得各个成员变量在空间上不连续，但是，整个结构体本身仍然可以看作一块连续的内存区域。
  
所以，可以利用offsetof宏计算出寄宿链表成员变量相对于结构体起始位置的偏移量

  
寄宿链表的起始地址 - 寄宿链表成员变量相对于结构体起始位置的偏移量 = 结构体的起始地址
  

所以，ngx_queue_t获取节点数据就利用了上述方法

#define ngx_queue_data(q, type, link)                                         
    (type *) ((u_char *) q - offsetof(type, link))

其中q为寄宿链表变量，type为寄宿链表所在结构体的类型，link为寄宿链表在type结构体中的变量名。
这个宏返回宿主结构体的首地址。

这属于双向链表操作的老梗了，就是使用了双指针，移动速度差一倍，速度快的指针到末尾时，速度慢的所在就是中间位置。

源码如下

ngx_queue_t *
ngx_queue_middle(ngx_queue_t *queue)
{
    ngx_queue_t  *middle, *next;

    middle = ngx_queue_head(queue);

    if (middle == ngx_queue_last(queue)) {
        return middle;
    }

    next = ngx_queue_head(queue);

    for ( ;; ) {
        middle = ngx_queue_next(middle);

        next = ngx_queue_next(next);

        if (next == ngx_queue_last(queue)) {
            return middle;
        }

        next = ngx_queue_next(next);

        if (next == ngx_queue_last(queue)) {
            return middle;
        }
    }
}

当然，还有其他操作，比如排序，移除等等。和常规的双向链表操作基本相同。
这里就不详细描述了。