blob: fa0537ce896f3a4f1b9de05b593fc730f3fc07c2 [file] [log] [blame]
willy tarreau80862a32006-04-12 19:15:57 +02001/*
2 * list.h : list manipulation macros and structures.
Willy Tarreaudeb9ed82010-01-03 21:03:22 +01003 * Copyright 2002-2010 Willy Tarreau <w@1wt.eu>
willy tarreau80862a32006-04-12 19:15:57 +02004 *
5 */
6
Willy Tarreau2dd0d472006-06-29 17:53:05 +02007#ifndef _COMMON_MINI_CLIST_H
8#define _COMMON_MINI_CLIST_H
willy tarreau80862a32006-04-12 19:15:57 +02009
Willy Tarreaue3ba5f02006-06-29 18:54:54 +020010#include <common/config.h>
11
willy tarreau80862a32006-04-12 19:15:57 +020012/* these are circular or bidirectionnal lists only. Each list pointer points to
13 * another list pointer in a structure, and not the structure itself. The
14 * pointer to the next element MUST be the first one so that the list is easily
15 * cast as a single linked list or pointer.
16 */
17struct list {
18 struct list *n; /* next */
19 struct list *p; /* prev */
20};
21
Willy Tarreaubc04ce72008-12-07 20:00:15 +010022/* a back-ref is a pointer to a target list entry. It is used to detect when an
23 * element being deleted is currently being tracked by another user. The best
24 * example is a user dumping the session table. The table does not fit in the
25 * output buffer so we have to set a mark on a session and go on later. But if
26 * that marked session gets deleted, we don't want the user's pointer to go in
27 * the wild. So we can simply link this user's request to the list of this
28 * session's users, and put a pointer to the list element in ref, that will be
29 * used as the mark for next iteration.
30 */
31struct bref {
32 struct list users;
33 struct list *ref; /* pointer to the target's list entry */
34};
35
Willy Tarreaudeb9ed82010-01-03 21:03:22 +010036/* a word list is a generic list with a pointer to a string in each element. */
37struct wordlist {
38 struct list list;
39 char *s;
40};
41
Willy Tarreaubd578bb2007-10-28 11:41:06 +010042/* First undefine some macros which happen to also be defined on OpenBSD,
43 * in sys/queue.h, used by sys/event.h
44 */
45#undef LIST_HEAD
46#undef LIST_INIT
47#undef LIST_NEXT
48
Willy Tarreaubaaee002006-06-26 02:48:02 +020049#define LIST_HEAD(a) ((void *)(&(a)))
50
willy tarreau80862a32006-04-12 19:15:57 +020051#define LIST_INIT(l) ((l)->n = (l)->p = (l))
52
Willy Tarreau2b1dccd2007-05-07 00:18:32 +020053#define LIST_HEAD_INIT(l) { &l, &l }
54
willy tarreau80862a32006-04-12 19:15:57 +020055/* dual linked lists :
56 * Start = (struct list *) pointer to the next elem's prev list entry
57 * For each element :
58 * - prev = pointer to previous element's next (or start). Cannot be NULL
59 * - next = pointer to next element's prev. NULL = end.
60 *
61 */
62
Willy Tarreau40cf67d2007-04-28 12:42:06 +020063/* adds an element at the beginning of a dual-linked list ; returns the element */
Willy Tarreau47d94042008-06-23 22:39:37 +020064#define DLIST_ADD(lh, el) ({ typeof(el) __ret = (el); __ret->n = (void *)(lh); __ret->p = (void *)&(lh); if (likely(__ret->n != NULL)) __ret->n->p = __ret; (lh) = (typeof(lh))&__ret->n; __ret; })
Willy Tarreau40cf67d2007-04-28 12:42:06 +020065
66/* removes an element from a dual-linked list and returns it */
Willy Tarreau47d94042008-06-23 22:39:37 +020067#define DLIST_DEL(el) ({ typeof(el) __ret = (el); if (likely(__ret->n != NULL)) __ret->n->p = __ret->p; __ret->p->n = __ret->n; __ret; })
Willy Tarreau40cf67d2007-04-28 12:42:06 +020068
69/*
70 * iterates through a list of items of type "<struct_type>" which are
71 * linked via a "struct list" member named <struct_member>. The head of the
72 * list is stored at a location designed by <list_head>, which should be a
73 * "struct list *". A variable <end_item> of type "<struct_type>" will
74 * be used as temporary end of list pointer. It can be derived from <list_head>
75 * since this one is only used before. <list_head> will be modified except for
76 * foreach_dlist_item_cst which is slightly slower.
77 * Major difference between FOREACH_ITEM is that it stops at NULL.
78 * Example: foreach_dlist_item(cur_node, args, struct node *, list) { ... };
79 * foreach_dlist_item_cst(cur_node, &node->args, struct node *, list) { ... };
80 */
81#define foreach_dlist_item_cst(iterator, list_head, struct_type, struct_member) \
82 for ((iterator) = LIST_ELEM(&(list_head), struct_type, struct_member.n); \
83 ((iterator)->struct_member.n != NULL) && \
84 (((iterator) = LIST_ELEM((iterator)->struct_member.n, struct_type, struct_member.n)), 1);\
85 )
86
87#define foreach_dlist_item(iterator, var_list_head, struct_type, struct_member) \
88 while ((var_list_head != NULL) && \
89 ((var_list_head=((iterator)=LIST_ELEM(var_list_head, struct_type, struct_member.n))->struct_member.n), 1))
90
91/*
92 * Like foreach_dlist_item, except that this one only operates on the head of
93 * the list. It's to the inner instructions to iterate the list head. If not,
94 * this will be an endless loop.
95 */
96#define while_dlist_item(iterator, var_list_head, struct_type, struct_member) \
97 while ((var_list_head != NULL) && \
98 (((iterator)=LIST_ELEM(var_list_head, struct_type, struct_member.n)),1))
99
100
willy tarreau80862a32006-04-12 19:15:57 +0200101/****** circular lists ********/
102
103/* adds an element at the beginning of a list ; returns the element */
104#define LIST_ADD(lh, el) ({ (el)->n = (lh)->n; (el)->n->p = (lh)->n = (el); (el)->p = (lh); (el); })
105
106/* adds an element at the end of a list ; returns the element */
107#define LIST_ADDQ(lh, el) ({ (el)->p = (lh)->p; (el)->p->n = (lh)->p = (el); (el)->n = (lh); (el); })
108
109/* removes an element from a list and returns it */
110#define LIST_DEL(el) ({ typeof(el) __ret = (el); (el)->n->p = (el)->p; (el)->p->n = (el)->n; (__ret); })
111
112/* returns a pointer of type <pt> to a structure containing a list head called
113 * <el> at address <lh>. Note that <lh> can be the result of a function or macro
114 * since it's used only once.
115 * Example: LIST_ELEM(cur_node->args.next, struct node *, args)
116 */
117#define LIST_ELEM(lh, pt, el) ((pt)(((void *)(lh)) - ((void *)&((pt)NULL)->el)))
118
119/* checks if the list head <lh> is empty or not */
120#define LIST_ISEMPTY(lh) ((lh)->n == (lh))
121
122/* returns a pointer of type <pt> to a structure following the element
123 * which contains list head <lh>, which is known as element <el> in
124 * struct pt.
125 * Example: LIST_NEXT(args, struct node *, list)
126 */
127#define LIST_NEXT(lh, pt, el) (LIST_ELEM((lh)->n, pt, el))
128
129
130/* returns a pointer of type <pt> to a structure preceeding the element
131 * which contains list head <lh>, which is known as element <el> in
132 * struct pt.
133 */
134#define LIST_PREV(lh, pt, el) (LIST_ELEM((lh)->p, pt, el))
135
136/*
Willy Tarreaub9c62b92007-05-02 20:46:49 +0200137 * DEPRECATED !!! Use list_for_each_entry() below instead !
138 *
willy tarreau80862a32006-04-12 19:15:57 +0200139 * iterates through a list of items of type "<struct_type>" which are
140 * linked via a "struct list" member named <struct_member>. The head of the
141 * list is stored at a location designed by <list_head>, which should be a
142 * "struct list *". A variable <end_item> of type "<struct_type>" will
143 * be used as temporary end of list pointer. It can be derived from <list_head>
144 * since this one is only used before.
145 * Example: FOREACH_ITEM(cur_node, &node->args, node, struct node *, neigh) { ... };
146 */
147#define FOREACH_ITEM(iterator, list_head, end_item, struct_type, struct_member) \
148 iterator = end_item = LIST_ELEM(list_head, struct_type, struct_member); \
149 while (((iterator) = LIST_ELEM((iterator)->struct_member.n, \
150 struct_type, struct_member)) != (end_item))
151
152/*
Willy Tarreaub9c62b92007-05-02 20:46:49 +0200153 * DEPRECATED !!! Use list_for_each_entry_safe() below instead !
154 *
willy tarreau80862a32006-04-12 19:15:57 +0200155 * idem except that this one is safe against deletion, but it needs a backup
156 * pointer of the element after the iterator.
157 * Example: FOREACH_ITEM_SAFE(cur_node, backup, &node->args, node, struct node *, neigh) { ... };
158 */
159#define FOREACH_ITEM_SAFE(iterator, backup, list_head, end_item, struct_type, struct_member) \
160 end_item = LIST_ELEM(list_head, struct_type, struct_member); \
161 iterator = LIST_ELEM((end_item)->struct_member.n, struct_type, struct_member); \
162 if ((iterator) != (end_item)) \
163 backup = LIST_ELEM((iterator)->struct_member.n, struct_type, struct_member); \
164 for ( ; (iterator) != (end_item); (iterator) = (backup), \
165 backup = LIST_ELEM((iterator)->struct_member.n, struct_type, struct_member))
166
Willy Tarreaub9c62b92007-05-02 20:46:49 +0200167/*
168 * Simpler FOREACH_ITEM macro inspired from Linux sources.
169 * Iterates <item> through a list of items of type "typeof(*item)" which are
170 * linked via a "struct list" member named <member>. A pointer to the head of
171 * the list is passed in <list_head>. No temporary variable is needed. Note
172 * that <item> must not be modified during the loop.
173 * Example: list_for_each_entry(cur_acl, known_acl, list) { ... };
174 */
175#define list_for_each_entry(item, list_head, member) \
176 for (item = LIST_ELEM((list_head)->n, typeof(item), member); \
177 &item->member != (list_head); \
178 item = LIST_ELEM(item->member.n, typeof(item), member))
179
180/*
181 * Simpler FOREACH_ITEM_SAFE macro inspired from Linux sources.
182 * Iterates <item> through a list of items of type "typeof(*item)" which are
183 * linked via a "struct list" member named <member>. A pointer to the head of
184 * the list is passed in <list_head>. A temporary variable <back> of same type
185 * as <item> is needed so that <item> may safely be deleted if needed.
186 * Example: list_for_each_entry_safe(cur_acl, tmp, known_acl, list) { ... };
187 */
188#define list_for_each_entry_safe(item, back, list_head, member) \
189 for (item = LIST_ELEM((list_head)->n, typeof(item), member), \
190 back = LIST_ELEM(item->member.n, typeof(item), member); \
191 &item->member != (list_head); \
192 item = back, back = LIST_ELEM(back->member.n, typeof(back), member))
193
194
Willy Tarreau2dd0d472006-06-29 17:53:05 +0200195#endif /* _COMMON_MINI_CLIST_H */