include/qemu/queue.h

   1 /*      $NetBSD: queue.h,v 1.52 2009/04/20 09:56:08 mschuett Exp $ */
   2
   3 /*
   4  * QEMU version: Copy from netbsd, removed debug code, removed some of
   5  * the implementations.  Left in singly-linked lists, lists, simple
   6  * queues, and tail queues.
   7  */
   8
   9 /*
  10  * Copyright (c) 1991, 1993
  11  *      The Regents of the University of California.  All rights reserved.
  12  *
  13  * Redistribution and use in source and binary forms, with or without
  14  * modification, are permitted provided that the following conditions
  15  * are met:
  16  * 1. Redistributions of source code must retain the above copyright
  17  *    notice, this list of conditions and the following disclaimer.
  18  * 2. Redistributions in binary form must reproduce the above copyright
  19  *    notice, this list of conditions and the following disclaimer in the
  20  *    documentation and/or other materials provided with the distribution.
  21  * 3. Neither the name of the University nor the names of its contributors
  22  *    may be used to endorse or promote products derived from this software
  23  *    without specific prior written permission.
  24  *
  25  * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
  26  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
  27  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
  28  * ARE DISCLAIMED.  IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
  29  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
  30  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
  31  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
  32  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
  33  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
  34  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
  35  * SUCH DAMAGE.
  36  *
  37  *      @(#)queue.h     8.5 (Berkeley) 8/20/94
  38  */
  39
  40 #ifndef QEMU_SYS_QUEUE_H_
  41 #define QEMU_SYS_QUEUE_H_
  42
  43 /*
  44  * This file defines four types of data structures: singly-linked lists,
  45  * lists, simple queues, and tail queues.
  46  *
  47  * A singly-linked list is headed by a single forward pointer. The
  48  * elements are singly linked for minimum space and pointer manipulation
  49  * overhead at the expense of O(n) removal for arbitrary elements. New
  50  * elements can be added to the list after an existing element or at the
  51  * head of the list.  Elements being removed from the head of the list
  52  * should use the explicit macro for this purpose for optimum
  53  * efficiency. A singly-linked list may only be traversed in the forward
  54  * direction.  Singly-linked lists are ideal for applications with large
  55  * datasets and few or no removals or for implementing a LIFO queue.
  56  *
  57  * A list is headed by a single forward pointer (or an array of forward
  58  * pointers for a hash table header). The elements are doubly linked
  59  * so that an arbitrary element can be removed without a need to
  60  * traverse the list. New elements can be added to the list before
  61  * or after an existing element or at the head of the list. A list
  62  * may only be traversed in the forward direction.
  63  *
  64  * A simple queue is headed by a pair of pointers, one the head of the
  65  * list and the other to the tail of the list. The elements are singly
  66  * linked to save space, so elements can only be removed from the
  67  * head of the list. New elements can be added to the list after
  68  * an existing element, at the head of the list, or at the end of the
  69  * list. A simple queue may only be traversed in the forward direction.
  70  *
  71  * A tail queue is headed by a pair of pointers, one to the head of the
  72  * list and the other to the tail of the list. The elements are doubly
  73  * linked so that an arbitrary element can be removed without a need to
  74  * traverse the list. New elements can be added to the list before or
  75  * after an existing element, at the head of the list, or at the end of
  76  * the list. A tail queue may be traversed in either direction.
  77  *
  78  * For details on the use of these macros, see the queue(3) manual page.
  79  */
  80
  81 #include "qemu/atomic.h" /* for smp_wmb() */
  82
  83 /*
  84  * List definitions.
  85  */
  86 #define QLIST_HEAD(name, type)                                          \
  87 struct name {                                                           \
  88         struct type *lh_first;  /* first element */                     \
  89 }
  90
  91 #define QLIST_HEAD_INITIALIZER(head)                                    \
  92         { NULL }
  93
  94 #define QLIST_ENTRY(type)                                               \
  95 struct {                                                                \
  96         struct type *le_next;   /* next element */                      \
  97         struct type **le_prev;  /* address of previous next element */  \
  98 }
  99
 100 /*
 101  * List functions.
 102  */
 103 #define QLIST_INIT(head) do {                                           \
 104         (head)->lh_first = NULL;                                        \
 105 } while (/*CONSTCOND*/0)
 106
 107 #define QLIST_SWAP(dstlist, srclist, field) do {                        \
 108         void *tmplist;                                                  \
 109         tmplist = (srclist)->lh_first;                                  \
 110         (srclist)->lh_first = (dstlist)->lh_first;                      \
 111         if ((srclist)->lh_first != NULL) {                              \
 112             (srclist)->lh_first->field.le_prev = &(srclist)->lh_first;  \
 113         }                                                               \
 114         (dstlist)->lh_first = tmplist;                                  \
 115         if ((dstlist)->lh_first != NULL) {                              \
 116             (dstlist)->lh_first->field.le_prev = &(dstlist)->lh_first;  \
 117         }                                                               \
 118 } while (/*CONSTCOND*/0)
 119
 120 #define QLIST_INSERT_AFTER(listelm, elm, field) do {                    \
 121         if (((elm)->field.le_next = (listelm)->field.le_next) != NULL)  \
 122                 (listelm)->field.le_next->field.le_prev =               \
 123                     &(elm)->field.le_next;                              \
 124         (listelm)->field.le_next = (elm);                               \
 125         (elm)->field.le_prev = &(listelm)->field.le_next;               \
 126 } while (/*CONSTCOND*/0)
 127
 128 #define QLIST_INSERT_BEFORE(listelm, elm, field) do {                   \
 129         (elm)->field.le_prev = (listelm)->field.le_prev;                \
 130         (elm)->field.le_next = (listelm);                               \
 131         *(listelm)->field.le_prev = (elm);                              \
 132         (listelm)->field.le_prev = &(elm)->field.le_next;               \
 133 } while (/*CONSTCOND*/0)
 134
 135 #define QLIST_INSERT_HEAD(head, elm, field) do {                        \
 136         if (((elm)->field.le_next = (head)->lh_first) != NULL)          \
 137                 (head)->lh_first->field.le_prev = &(elm)->field.le_next;\
 138         (head)->lh_first = (elm);                                       \
 139         (elm)->field.le_prev = &(head)->lh_first;                       \
 140 } while (/*CONSTCOND*/0)
 141
 142 #define QLIST_REMOVE(elm, field) do {                                   \
 143         if ((elm)->field.le_next != NULL)                               \
 144                 (elm)->field.le_next->field.le_prev =                   \
 145                     (elm)->field.le_prev;                               \
 146         *(elm)->field.le_prev = (elm)->field.le_next;                   \
 147 } while (/*CONSTCOND*/0)
 148
 149 #define QLIST_FOREACH(var, head, field)                                 \
 150         for ((var) = ((head)->lh_first);                                \
 151                 (var);                                                  \
 152                 (var) = ((var)->field.le_next))
 153
 154 #define QLIST_FOREACH_SAFE(var, head, field, next_var)                  \
 155         for ((var) = ((head)->lh_first);                                \
 156                 (var) && ((next_var) = ((var)->field.le_next), 1);      \
 157                 (var) = (next_var))
 158
 159 /*
 160  * List access methods.
 161  */
 162 #define QLIST_EMPTY(head)                ((head)->lh_first == NULL)
 163 #define QLIST_FIRST(head)                ((head)->lh_first)
 164 #define QLIST_NEXT(elm, field)           ((elm)->field.le_next)
 165
 166
 167 /*
 168  * Singly-linked List definitions.
 169  */
 170 #define QSLIST_HEAD(name, type)                                          \
 171 struct name {                                                           \
 172         struct type *slh_first; /* first element */                     \
 173 }
 174
 175 #define QSLIST_HEAD_INITIALIZER(head)                                    \
 176         { NULL }
 177
 178 #define QSLIST_ENTRY(type)                                               \
 179 struct {                                                                \
 180         struct type *sle_next;  /* next element */                      \
 181 }
 182
 183 /*
 184  * Singly-linked List functions.
 185  */
 186 #define QSLIST_INIT(head) do {                                           \
 187         (head)->slh_first = NULL;                                       \
 188 } while (/*CONSTCOND*/0)
 189
 190 #define QSLIST_INSERT_AFTER(slistelm, elm, field) do {                   \
 191         (elm)->field.sle_next = (slistelm)->field.sle_next;             \
 192         (slistelm)->field.sle_next = (elm);                             \
 193 } while (/*CONSTCOND*/0)
 194
 195 #define QSLIST_INSERT_HEAD(head, elm, field) do {                        \
 196         (elm)->field.sle_next = (head)->slh_first;                       \
 197         (head)->slh_first = (elm);                                       \
 198 } while (/*CONSTCOND*/0)
 199
 200 #define QSLIST_INSERT_HEAD_ATOMIC(head, elm, field) do {                   \
 201         do {                                                               \
 202             (elm)->field.sle_next = (head)->slh_first;                     \
 203         } while (atomic_cmpxchg(&(head)->slh_first, (elm)->field.sle_next, \
 204                                (elm)) != (elm)->field.sle_next);           \
 205 } while (/*CONSTCOND*/0)
 206
 207 #define QSLIST_MOVE_ATOMIC(dest, src) do {                               \
 208         (dest)->slh_first = atomic_xchg(&(src)->slh_first, NULL);        \
 209 } while (/*CONSTCOND*/0)
 210
 211 #define QSLIST_REMOVE_HEAD(head, field) do {                             \
 212         (head)->slh_first = (head)->slh_first->field.sle_next;          \
 213 } while (/*CONSTCOND*/0)
 214
 215 #define QSLIST_REMOVE_AFTER(slistelm, field) do {                        \
 216         (slistelm)->field.sle_next =                                    \
 217             QSLIST_NEXT(QSLIST_NEXT((slistelm), field), field);           \
 218 } while (/*CONSTCOND*/0)
 219
 220 #define QSLIST_FOREACH(var, head, field)                                 \
 221         for((var) = (head)->slh_first; (var); (var) = (var)->field.sle_next)
 222
 223 #define QSLIST_FOREACH_SAFE(var, head, field, tvar)                      \
 224         for ((var) = QSLIST_FIRST((head));                               \
 225             (var) && ((tvar) = QSLIST_NEXT((var), field), 1);            \
 226             (var) = (tvar))
 227
 228 /*
 229  * Singly-linked List access methods.
 230  */
 231 #define QSLIST_EMPTY(head)       ((head)->slh_first == NULL)
 232 #define QSLIST_FIRST(head)       ((head)->slh_first)
 233 #define QSLIST_NEXT(elm, field)  ((elm)->field.sle_next)
 234
 235
 236 /*
 237  * Simple queue definitions.
 238  */
 239 #define QSIMPLEQ_HEAD(name, type)                                       \
 240 struct name {                                                           \
 241     struct type *sqh_first;    /* first element */                      \
 242     struct type **sqh_last;    /* addr of last next element */          \
 243 }
 244
 245 #define QSIMPLEQ_HEAD_INITIALIZER(head)                                 \
 246     { NULL, &(head).sqh_first }
 247
 248 #define QSIMPLEQ_ENTRY(type)                                            \
 249 struct {                                                                \
 250     struct type *sqe_next;    /* next element */                        \
 251 }
 252
 253 /*
 254  * Simple queue functions.
 255  */
 256 #define QSIMPLEQ_INIT(head) do {                                        \
 257     (head)->sqh_first = NULL;                                           \
 258     (head)->sqh_last = &(head)->sqh_first;                              \
 259 } while (/*CONSTCOND*/0)
 260
 261 #define QSIMPLEQ_INSERT_HEAD(head, elm, field) do {                     \
 262     if (((elm)->field.sqe_next = (head)->sqh_first) == NULL)            \
 263         (head)->sqh_last = &(elm)->field.sqe_next;                      \
 264     (head)->sqh_first = (elm);                                          \
 265 } while (/*CONSTCOND*/0)
 266
 267 #define QSIMPLEQ_INSERT_TAIL(head, elm, field) do {                     \
 268     (elm)->field.sqe_next = NULL;                                       \
 269     *(head)->sqh_last = (elm);                                          \
 270     (head)->sqh_last = &(elm)->field.sqe_next;                          \
 271 } while (/*CONSTCOND*/0)
 272
 273 #define QSIMPLEQ_INSERT_AFTER(head, listelm, elm, field) do {           \
 274     if (((elm)->field.sqe_next = (listelm)->field.sqe_next) == NULL)    \
 275         (head)->sqh_last = &(elm)->field.sqe_next;                      \
 276     (listelm)->field.sqe_next = (elm);                                  \
 277 } while (/*CONSTCOND*/0)
 278
 279 #define QSIMPLEQ_REMOVE_HEAD(head, field) do {                          \
 280     if (((head)->sqh_first = (head)->sqh_first->field.sqe_next) == NULL)\
 281         (head)->sqh_last = &(head)->sqh_first;                          \
 282 } while (/*CONSTCOND*/0)
 283
 284 #define QSIMPLEQ_SPLIT_AFTER(head, elm, field, removed) do {            \
 285     QSIMPLEQ_INIT(removed);                                             \
 286     if (((removed)->sqh_first = (head)->sqh_first) != NULL) {           \
 287         if (((head)->sqh_first = (elm)->field.sqe_next) == NULL) {      \
 288             (head)->sqh_last = &(head)->sqh_first;                      \
 289         }                                                               \
 290         (removed)->sqh_last = &(elm)->field.sqe_next;                   \
 291         (elm)->field.sqe_next = NULL;                                   \
 292     }                                                                   \
 293 } while (/*CONSTCOND*/0)
 294
 295 #define QSIMPLEQ_REMOVE(head, elm, type, field) do {                    \
 296     if ((head)->sqh_first == (elm)) {                                   \
 297         QSIMPLEQ_REMOVE_HEAD((head), field);                            \
 298     } else {                                                            \
 299         struct type *curelm = (head)->sqh_first;                        \
 300         while (curelm->field.sqe_next != (elm))                         \
 301             curelm = curelm->field.sqe_next;                            \
 302         if ((curelm->field.sqe_next =                                   \
 303             curelm->field.sqe_next->field.sqe_next) == NULL)            \
 304                 (head)->sqh_last = &(curelm)->field.sqe_next;           \
 305     }                                                                   \
 306 } while (/*CONSTCOND*/0)
 307
 308 #define QSIMPLEQ_FOREACH(var, head, field)                              \
 309     for ((var) = ((head)->sqh_first);                                   \
 310         (var);                                                          \
 311         (var) = ((var)->field.sqe_next))
 312
 313 #define QSIMPLEQ_FOREACH_SAFE(var, head, field, next)                   \
 314     for ((var) = ((head)->sqh_first);                                   \
 315         (var) && ((next = ((var)->field.sqe_next)), 1);                 \
 316         (var) = (next))
 317
 318 #define QSIMPLEQ_CONCAT(head1, head2) do {                              \
 319     if (!QSIMPLEQ_EMPTY((head2))) {                                     \
 320         *(head1)->sqh_last = (head2)->sqh_first;                        \
 321         (head1)->sqh_last = (head2)->sqh_last;                          \
 322         QSIMPLEQ_INIT((head2));                                         \
 323     }                                                                   \
 324 } while (/*CONSTCOND*/0)
 325
 326 #define QSIMPLEQ_LAST(head, type, field)                                \
 327     (QSIMPLEQ_EMPTY((head)) ?                                           \
 328         NULL :                                                          \
 329             ((struct type *)(void *)                                    \
 330         ((char *)((head)->sqh_last) - offsetof(struct type, field))))
 331
 332 /*
 333  * Simple queue access methods.
 334  */
 335 #define QSIMPLEQ_EMPTY(head)        ((head)->sqh_first == NULL)
 336 #define QSIMPLEQ_FIRST(head)        ((head)->sqh_first)
 337 #define QSIMPLEQ_NEXT(elm, field)   ((elm)->field.sqe_next)
 338
 339
 340 /*
 341  * Tail queue definitions.
 342  */
 343 #define Q_TAILQ_HEAD(name, type, qual)                                  \
 344 struct name {                                                           \
 345         qual type *tqh_first;           /* first element */             \
 346         qual type *qual *tqh_last;      /* addr of last next element */ \
 347 }
 348 #define QTAILQ_HEAD(name, type)  Q_TAILQ_HEAD(name, struct type,)
 349
 350 #define QTAILQ_HEAD_INITIALIZER(head)                                   \
 351         { NULL, &(head).tqh_first }
 352
 353 #define Q_TAILQ_ENTRY(type, qual)                                       \
 354 struct {                                                                \
 355         qual type *tqe_next;            /* next element */              \
 356         qual type *qual *tqe_prev;      /* address of previous next element */\
 357 }
 358 #define QTAILQ_ENTRY(type)       Q_TAILQ_ENTRY(struct type,)
 359
 360 /*
 361  * Tail queue functions.
 362  */
 363 #define QTAILQ_INIT(head) do {                                          \
 364         (head)->tqh_first = NULL;                                       \
 365         (head)->tqh_last = &(head)->tqh_first;                          \
 366 } while (/*CONSTCOND*/0)
 367
 368 #define QTAILQ_INSERT_HEAD(head, elm, field) do {                       \
 369         if (((elm)->field.tqe_next = (head)->tqh_first) != NULL)        \
 370                 (head)->tqh_first->field.tqe_prev =                     \
 371                     &(elm)->field.tqe_next;                             \
 372         else                                                            \
 373                 (head)->tqh_last = &(elm)->field.tqe_next;              \
 374         (head)->tqh_first = (elm);                                      \
 375         (elm)->field.tqe_prev = &(head)->tqh_first;                     \
 376 } while (/*CONSTCOND*/0)
 377
 378 #define QTAILQ_INSERT_TAIL(head, elm, field) do {                       \
 379         (elm)->field.tqe_next = NULL;                                   \
 380         (elm)->field.tqe_prev = (head)->tqh_last;                       \
 381         *(head)->tqh_last = (elm);                                      \
 382         (head)->tqh_last = &(elm)->field.tqe_next;                      \
 383 } while (/*CONSTCOND*/0)
 384
 385 #define QTAILQ_INSERT_AFTER(head, listelm, elm, field) do {             \
 386         if (((elm)->field.tqe_next = (listelm)->field.tqe_next) != NULL)\
 387                 (elm)->field.tqe_next->field.tqe_prev =                 \
 388                     &(elm)->field.tqe_next;                             \
 389         else                                                            \
 390                 (head)->tqh_last = &(elm)->field.tqe_next;              \
 391         (listelm)->field.tqe_next = (elm);                              \
 392         (elm)->field.tqe_prev = &(listelm)->field.tqe_next;             \
 393 } while (/*CONSTCOND*/0)
 394
 395 #define QTAILQ_INSERT_BEFORE(listelm, elm, field) do {                  \
 396         (elm)->field.tqe_prev = (listelm)->field.tqe_prev;              \
 397         (elm)->field.tqe_next = (listelm);                              \
 398         *(listelm)->field.tqe_prev = (elm);                             \
 399         (listelm)->field.tqe_prev = &(elm)->field.tqe_next;             \
 400 } while (/*CONSTCOND*/0)
 401
 402 #define QTAILQ_REMOVE(head, elm, field) do {                            \
 403         if (((elm)->field.tqe_next) != NULL)                            \
 404                 (elm)->field.tqe_next->field.tqe_prev =                 \
 405                     (elm)->field.tqe_prev;                              \
 406         else                                                            \
 407                 (head)->tqh_last = (elm)->field.tqe_prev;               \
 408         *(elm)->field.tqe_prev = (elm)->field.tqe_next;                 \
 409 } while (/*CONSTCOND*/0)
 410
 411 #define QTAILQ_FOREACH(var, head, field)                                \
 412         for ((var) = ((head)->tqh_first);                               \
 413                 (var);                                                  \
 414                 (var) = ((var)->field.tqe_next))
 415
 416 #define QTAILQ_FOREACH_SAFE(var, head, field, next_var)                 \
 417         for ((var) = ((head)->tqh_first);                               \
 418                 (var) && ((next_var) = ((var)->field.tqe_next), 1);     \
 419                 (var) = (next_var))
 420
 421 #define QTAILQ_FOREACH_REVERSE(var, head, headname, field)              \
 422         for ((var) = (*(((struct headname *)((head)->tqh_last))->tqh_last));    \
 423                 (var);                                                  \
 424                 (var) = (*(((struct headname *)((var)->field.tqe_prev))->tqh_last)))
 425
 426 /*
 427  * Tail queue access methods.
 428  */
 429 #define QTAILQ_EMPTY(head)               ((head)->tqh_first == NULL)
 430 #define QTAILQ_FIRST(head)               ((head)->tqh_first)
 431 #define QTAILQ_NEXT(elm, field)          ((elm)->field.tqe_next)
 432
 433 #define QTAILQ_LAST(head, headname) \
 434         (*(((struct headname *)((head)->tqh_last))->tqh_last))
 435 #define QTAILQ_PREV(elm, headname, field) \
 436         (*(((struct headname *)((elm)->field.tqe_prev))->tqh_last))
 437
 438 #endif  /* !QEMU_SYS_QUEUE_H_ */