willy tarreau | 80862a3 | 2006-04-12 19:15:57 +0200 | [diff] [blame] | 1 | /* |
| 2 | * list.h : list manipulation macros and structures. |
Willy Tarreau | deb9ed8 | 2010-01-03 21:03:22 +0100 | [diff] [blame] | 3 | * Copyright 2002-2010 Willy Tarreau <w@1wt.eu> |
willy tarreau | 80862a3 | 2006-04-12 19:15:57 +0200 | [diff] [blame] | 4 | * |
| 5 | */ |
| 6 | |
Willy Tarreau | 2dd0d47 | 2006-06-29 17:53:05 +0200 | [diff] [blame] | 7 | #ifndef _COMMON_MINI_CLIST_H |
| 8 | #define _COMMON_MINI_CLIST_H |
willy tarreau | 80862a3 | 2006-04-12 19:15:57 +0200 | [diff] [blame] | 9 | |
Willy Tarreau | e3ba5f0 | 2006-06-29 18:54:54 +0200 | [diff] [blame] | 10 | #include <common/config.h> |
| 11 | |
willy tarreau | 80862a3 | 2006-04-12 19:15:57 +0200 | [diff] [blame] | 12 | /* 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 | */ |
| 17 | struct list { |
| 18 | struct list *n; /* next */ |
| 19 | struct list *p; /* prev */ |
| 20 | }; |
| 21 | |
Willy Tarreau | bc04ce7 | 2008-12-07 20:00:15 +0100 | [diff] [blame] | 22 | /* 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 | */ |
| 31 | struct bref { |
| 32 | struct list users; |
| 33 | struct list *ref; /* pointer to the target's list entry */ |
| 34 | }; |
| 35 | |
Willy Tarreau | deb9ed8 | 2010-01-03 21:03:22 +0100 | [diff] [blame] | 36 | /* a word list is a generic list with a pointer to a string in each element. */ |
| 37 | struct wordlist { |
| 38 | struct list list; |
| 39 | char *s; |
| 40 | }; |
| 41 | |
Willy Tarreau | f4f0412 | 2010-01-28 18:10:50 +0100 | [diff] [blame] | 42 | /* this is the same as above with an additional pointer to a condition. */ |
| 43 | struct cond_wordlist { |
| 44 | struct list list; |
| 45 | void *cond; |
| 46 | char *s; |
| 47 | }; |
| 48 | |
Willy Tarreau | bd578bb | 2007-10-28 11:41:06 +0100 | [diff] [blame] | 49 | /* First undefine some macros which happen to also be defined on OpenBSD, |
| 50 | * in sys/queue.h, used by sys/event.h |
| 51 | */ |
| 52 | #undef LIST_HEAD |
| 53 | #undef LIST_INIT |
| 54 | #undef LIST_NEXT |
| 55 | |
Willy Tarreau | dc13c11 | 2013-06-21 23:16:39 +0200 | [diff] [blame] | 56 | /* ILH = Initialized List Head : used to prevent gcc from moving an empty |
| 57 | * list to BSS. Some older version tend to trim all the array and cause |
| 58 | * corruption. |
| 59 | */ |
| 60 | #define ILH { .n = (struct list *)1, .p = (struct list *)2 } |
| 61 | |
Willy Tarreau | baaee00 | 2006-06-26 02:48:02 +0200 | [diff] [blame] | 62 | #define LIST_HEAD(a) ((void *)(&(a))) |
| 63 | |
willy tarreau | 80862a3 | 2006-04-12 19:15:57 +0200 | [diff] [blame] | 64 | #define LIST_INIT(l) ((l)->n = (l)->p = (l)) |
| 65 | |
Willy Tarreau | 2b1dccd | 2007-05-07 00:18:32 +0200 | [diff] [blame] | 66 | #define LIST_HEAD_INIT(l) { &l, &l } |
| 67 | |
willy tarreau | 80862a3 | 2006-04-12 19:15:57 +0200 | [diff] [blame] | 68 | /* dual linked lists : |
| 69 | * Start = (struct list *) pointer to the next elem's prev list entry |
| 70 | * For each element : |
| 71 | * - prev = pointer to previous element's next (or start). Cannot be NULL |
| 72 | * - next = pointer to next element's prev. NULL = end. |
| 73 | * |
| 74 | */ |
| 75 | |
Willy Tarreau | 40cf67d | 2007-04-28 12:42:06 +0200 | [diff] [blame] | 76 | /* adds an element at the beginning of a dual-linked list ; returns the element */ |
Willy Tarreau | 47d9404 | 2008-06-23 22:39:37 +0200 | [diff] [blame] | 77 | #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 Tarreau | 40cf67d | 2007-04-28 12:42:06 +0200 | [diff] [blame] | 78 | |
| 79 | /* removes an element from a dual-linked list and returns it */ |
Willy Tarreau | 47d9404 | 2008-06-23 22:39:37 +0200 | [diff] [blame] | 80 | #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 Tarreau | 40cf67d | 2007-04-28 12:42:06 +0200 | [diff] [blame] | 81 | |
| 82 | /* |
| 83 | * iterates through a list of items of type "<struct_type>" which are |
| 84 | * linked via a "struct list" member named <struct_member>. The head of the |
| 85 | * list is stored at a location designed by <list_head>, which should be a |
| 86 | * "struct list *". A variable <end_item> of type "<struct_type>" will |
| 87 | * be used as temporary end of list pointer. It can be derived from <list_head> |
| 88 | * since this one is only used before. <list_head> will be modified except for |
| 89 | * foreach_dlist_item_cst which is slightly slower. |
| 90 | * Major difference between FOREACH_ITEM is that it stops at NULL. |
| 91 | * Example: foreach_dlist_item(cur_node, args, struct node *, list) { ... }; |
| 92 | * foreach_dlist_item_cst(cur_node, &node->args, struct node *, list) { ... }; |
| 93 | */ |
| 94 | #define foreach_dlist_item_cst(iterator, list_head, struct_type, struct_member) \ |
| 95 | for ((iterator) = LIST_ELEM(&(list_head), struct_type, struct_member.n); \ |
| 96 | ((iterator)->struct_member.n != NULL) && \ |
| 97 | (((iterator) = LIST_ELEM((iterator)->struct_member.n, struct_type, struct_member.n)), 1);\ |
| 98 | ) |
| 99 | |
| 100 | #define foreach_dlist_item(iterator, var_list_head, struct_type, struct_member) \ |
| 101 | while ((var_list_head != NULL) && \ |
| 102 | ((var_list_head=((iterator)=LIST_ELEM(var_list_head, struct_type, struct_member.n))->struct_member.n), 1)) |
| 103 | |
| 104 | /* |
| 105 | * Like foreach_dlist_item, except that this one only operates on the head of |
| 106 | * the list. It's to the inner instructions to iterate the list head. If not, |
| 107 | * this will be an endless loop. |
| 108 | */ |
| 109 | #define while_dlist_item(iterator, var_list_head, struct_type, struct_member) \ |
| 110 | while ((var_list_head != NULL) && \ |
| 111 | (((iterator)=LIST_ELEM(var_list_head, struct_type, struct_member.n)),1)) |
| 112 | |
| 113 | |
willy tarreau | 80862a3 | 2006-04-12 19:15:57 +0200 | [diff] [blame] | 114 | /****** circular lists ********/ |
| 115 | |
| 116 | /* adds an element at the beginning of a list ; returns the element */ |
| 117 | #define LIST_ADD(lh, el) ({ (el)->n = (lh)->n; (el)->n->p = (lh)->n = (el); (el)->p = (lh); (el); }) |
| 118 | |
| 119 | /* adds an element at the end of a list ; returns the element */ |
| 120 | #define LIST_ADDQ(lh, el) ({ (el)->p = (lh)->p; (el)->p->n = (lh)->p = (el); (el)->n = (lh); (el); }) |
| 121 | |
| 122 | /* removes an element from a list and returns it */ |
| 123 | #define LIST_DEL(el) ({ typeof(el) __ret = (el); (el)->n->p = (el)->p; (el)->p->n = (el)->n; (__ret); }) |
| 124 | |
| 125 | /* returns a pointer of type <pt> to a structure containing a list head called |
| 126 | * <el> at address <lh>. Note that <lh> can be the result of a function or macro |
| 127 | * since it's used only once. |
| 128 | * Example: LIST_ELEM(cur_node->args.next, struct node *, args) |
| 129 | */ |
| 130 | #define LIST_ELEM(lh, pt, el) ((pt)(((void *)(lh)) - ((void *)&((pt)NULL)->el))) |
| 131 | |
| 132 | /* checks if the list head <lh> is empty or not */ |
| 133 | #define LIST_ISEMPTY(lh) ((lh)->n == (lh)) |
| 134 | |
| 135 | /* returns a pointer of type <pt> to a structure following the element |
| 136 | * which contains list head <lh>, which is known as element <el> in |
| 137 | * struct pt. |
| 138 | * Example: LIST_NEXT(args, struct node *, list) |
| 139 | */ |
| 140 | #define LIST_NEXT(lh, pt, el) (LIST_ELEM((lh)->n, pt, el)) |
| 141 | |
| 142 | |
| 143 | /* returns a pointer of type <pt> to a structure preceeding the element |
| 144 | * which contains list head <lh>, which is known as element <el> in |
| 145 | * struct pt. |
| 146 | */ |
| 147 | #define LIST_PREV(lh, pt, el) (LIST_ELEM((lh)->p, pt, el)) |
| 148 | |
| 149 | /* |
Willy Tarreau | b9c62b9 | 2007-05-02 20:46:49 +0200 | [diff] [blame] | 150 | * DEPRECATED !!! Use list_for_each_entry() below instead ! |
| 151 | * |
willy tarreau | 80862a3 | 2006-04-12 19:15:57 +0200 | [diff] [blame] | 152 | * iterates through a list of items of type "<struct_type>" which are |
| 153 | * linked via a "struct list" member named <struct_member>. The head of the |
| 154 | * list is stored at a location designed by <list_head>, which should be a |
| 155 | * "struct list *". A variable <end_item> of type "<struct_type>" will |
| 156 | * be used as temporary end of list pointer. It can be derived from <list_head> |
| 157 | * since this one is only used before. |
| 158 | * Example: FOREACH_ITEM(cur_node, &node->args, node, struct node *, neigh) { ... }; |
| 159 | */ |
| 160 | #define FOREACH_ITEM(iterator, list_head, end_item, struct_type, struct_member) \ |
| 161 | iterator = end_item = LIST_ELEM(list_head, struct_type, struct_member); \ |
| 162 | while (((iterator) = LIST_ELEM((iterator)->struct_member.n, \ |
| 163 | struct_type, struct_member)) != (end_item)) |
| 164 | |
| 165 | /* |
Willy Tarreau | b9c62b9 | 2007-05-02 20:46:49 +0200 | [diff] [blame] | 166 | * DEPRECATED !!! Use list_for_each_entry_safe() below instead ! |
| 167 | * |
willy tarreau | 80862a3 | 2006-04-12 19:15:57 +0200 | [diff] [blame] | 168 | * idem except that this one is safe against deletion, but it needs a backup |
| 169 | * pointer of the element after the iterator. |
| 170 | * Example: FOREACH_ITEM_SAFE(cur_node, backup, &node->args, node, struct node *, neigh) { ... }; |
| 171 | */ |
| 172 | #define FOREACH_ITEM_SAFE(iterator, backup, list_head, end_item, struct_type, struct_member) \ |
| 173 | end_item = LIST_ELEM(list_head, struct_type, struct_member); \ |
| 174 | iterator = LIST_ELEM((end_item)->struct_member.n, struct_type, struct_member); \ |
| 175 | if ((iterator) != (end_item)) \ |
| 176 | backup = LIST_ELEM((iterator)->struct_member.n, struct_type, struct_member); \ |
| 177 | for ( ; (iterator) != (end_item); (iterator) = (backup), \ |
| 178 | backup = LIST_ELEM((iterator)->struct_member.n, struct_type, struct_member)) |
| 179 | |
Willy Tarreau | b9c62b9 | 2007-05-02 20:46:49 +0200 | [diff] [blame] | 180 | /* |
| 181 | * Simpler FOREACH_ITEM 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>. No temporary variable is needed. Note |
| 185 | * that <item> must not be modified during the loop. |
| 186 | * Example: list_for_each_entry(cur_acl, known_acl, list) { ... }; |
| 187 | */ |
| 188 | #define list_for_each_entry(item, list_head, member) \ |
| 189 | for (item = LIST_ELEM((list_head)->n, typeof(item), member); \ |
| 190 | &item->member != (list_head); \ |
| 191 | item = LIST_ELEM(item->member.n, typeof(item), member)) |
| 192 | |
| 193 | /* |
| 194 | * Simpler FOREACH_ITEM_SAFE macro inspired from Linux sources. |
| 195 | * Iterates <item> through a list of items of type "typeof(*item)" which are |
| 196 | * linked via a "struct list" member named <member>. A pointer to the head of |
| 197 | * the list is passed in <list_head>. A temporary variable <back> of same type |
| 198 | * as <item> is needed so that <item> may safely be deleted if needed. |
| 199 | * Example: list_for_each_entry_safe(cur_acl, tmp, known_acl, list) { ... }; |
| 200 | */ |
| 201 | #define list_for_each_entry_safe(item, back, list_head, member) \ |
| 202 | for (item = LIST_ELEM((list_head)->n, typeof(item), member), \ |
| 203 | back = LIST_ELEM(item->member.n, typeof(item), member); \ |
| 204 | &item->member != (list_head); \ |
| 205 | item = back, back = LIST_ELEM(back->member.n, typeof(back), member)) |
| 206 | |
| 207 | |
Willy Tarreau | 2dd0d47 | 2006-06-29 17:53:05 +0200 | [diff] [blame] | 208 | #endif /* _COMMON_MINI_CLIST_H */ |