queue.h 21 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631
  1. /* $OpenBSD: queue.h,v 1.46 2020/12/30 13:33:12 millert Exp $ */
  2. /* $NetBSD: queue.h,v 1.11 1996/05/16 05:17:14 mycroft Exp $ */
  3. /*
  4. * Copyright (c) 1991, 1993
  5. * The Regents of the University of California. All rights reserved.
  6. *
  7. * Redistribution and use in source and binary forms, with or without
  8. * modification, are permitted provided that the following conditions
  9. * are met:
  10. * 1. Redistributions of source code must retain the above copyright
  11. * notice, this list of conditions and the following disclaimer.
  12. * 2. Redistributions in binary form must reproduce the above copyright
  13. * notice, this list of conditions and the following disclaimer in the
  14. * documentation and/or other materials provided with the distribution.
  15. * 3. Neither the name of the University nor the names of its contributors
  16. * may be used to endorse or promote products derived from this software
  17. * without specific prior written permission.
  18. *
  19. * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
  20. * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
  21. * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
  22. * ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
  23. * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
  24. * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
  25. * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
  26. * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
  27. * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
  28. * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
  29. * SUCH DAMAGE.
  30. *
  31. * @(#)queue.h 8.5 (Berkeley) 8/20/94
  32. */
  33. #ifndef _SYS_QUEUE_H_
  34. #define _SYS_QUEUE_H_
  35. /*
  36. * This file defines five types of data structures: singly-linked lists,
  37. * lists, simple queues, tail queues and XOR simple queues.
  38. *
  39. *
  40. * A singly-linked list is headed by a single forward pointer. The elements
  41. * are singly linked for minimum space and pointer manipulation overhead at
  42. * the expense of O(n) removal for arbitrary elements. New elements can be
  43. * added to the list after an existing element or at the head of the list.
  44. * Elements being removed from the head of the list should use the explicit
  45. * macro for this purpose for optimum efficiency. A singly-linked list may
  46. * only be traversed in the forward direction. Singly-linked lists are ideal
  47. * for applications with large datasets and few or no removals or for
  48. * implementing a LIFO queue.
  49. *
  50. * A list is headed by a single forward pointer (or an array of forward
  51. * pointers for a hash table header). The elements are doubly linked
  52. * so that an arbitrary element can be removed without a need to
  53. * traverse the list. New elements can be added to the list before
  54. * or after an existing element or at the head of the list. A list
  55. * may only be traversed in the forward direction.
  56. *
  57. * A simple queue is headed by a pair of pointers, one to the head of the
  58. * list and the other to the tail of the list. The elements are singly
  59. * linked to save space, so elements can only be removed from the
  60. * head of the list. New elements can be added to the list before or after
  61. * an existing element, at the head of the list, or at the end of the
  62. * list. A simple queue may only be traversed in the forward direction.
  63. *
  64. * A tail queue is headed by a pair of pointers, one to the head of the
  65. * list and the other to the tail of the list. The elements are doubly
  66. * linked so that an arbitrary element can be removed without a need to
  67. * traverse the list. New elements can be added to the list before or
  68. * after an existing element, at the head of the list, or at the end of
  69. * the list. A tail queue may be traversed in either direction.
  70. *
  71. * An XOR simple queue is used in the same way as a regular simple queue.
  72. * The difference is that the head structure also includes a "cookie" that
  73. * is XOR'd with the queue pointer (first, last or next) to generate the
  74. * real pointer value.
  75. *
  76. * For details on the use of these macros, see the queue(3) manual page.
  77. */
  78. #if defined(QUEUE_MACRO_DEBUG) || (defined(_KERNEL) && defined(DIAGNOSTIC))
  79. #define _Q_INVALID ((void *)-1)
  80. #define _Q_INVALIDATE(a) (a) = _Q_INVALID
  81. #else
  82. #define _Q_INVALIDATE(a)
  83. #endif
  84. /*
  85. * Singly-linked List definitions.
  86. */
  87. #define SLIST_HEAD(name, type) \
  88. struct name { \
  89. struct type *slh_first; /* first element */ \
  90. }
  91. #define SLIST_HEAD_INITIALIZER(head) \
  92. { NULL }
  93. #define SLIST_ENTRY(type) \
  94. struct { \
  95. struct type *sle_next; /* next element */ \
  96. }
  97. /*
  98. * Singly-linked List access methods.
  99. */
  100. #define SLIST_FIRST(head) ((head)->slh_first)
  101. #define SLIST_END(head) NULL
  102. #define SLIST_EMPTY(head) (SLIST_FIRST(head) == SLIST_END(head))
  103. #define SLIST_NEXT(elm, field) ((elm)->field.sle_next)
  104. #define SLIST_FOREACH(var, head, field) \
  105. for((var) = SLIST_FIRST(head); \
  106. (var) != SLIST_END(head); \
  107. (var) = SLIST_NEXT(var, field))
  108. #define SLIST_FOREACH_SAFE(var, head, field, tvar) \
  109. for ((var) = SLIST_FIRST(head); \
  110. (var) && ((tvar) = SLIST_NEXT(var, field), 1); \
  111. (var) = (tvar))
  112. /*
  113. * Singly-linked List functions.
  114. */
  115. #define SLIST_INIT(head) { \
  116. SLIST_FIRST(head) = SLIST_END(head); \
  117. }
  118. #define SLIST_INSERT_AFTER(slistelm, elm, field) do { \
  119. (elm)->field.sle_next = (slistelm)->field.sle_next; \
  120. (slistelm)->field.sle_next = (elm); \
  121. } while (0)
  122. #define SLIST_INSERT_HEAD(head, elm, field) do { \
  123. (elm)->field.sle_next = (head)->slh_first; \
  124. (head)->slh_first = (elm); \
  125. } while (0)
  126. #define SLIST_REMOVE_AFTER(elm, field) do { \
  127. (elm)->field.sle_next = (elm)->field.sle_next->field.sle_next; \
  128. } while (0)
  129. #define SLIST_REMOVE_HEAD(head, field) do { \
  130. (head)->slh_first = (head)->slh_first->field.sle_next; \
  131. } while (0)
  132. #define SLIST_REMOVE(head, elm, type, field) do { \
  133. if ((head)->slh_first == (elm)) { \
  134. SLIST_REMOVE_HEAD((head), field); \
  135. } else { \
  136. struct type *curelm = (head)->slh_first; \
  137. \
  138. while (curelm->field.sle_next != (elm)) \
  139. curelm = curelm->field.sle_next; \
  140. curelm->field.sle_next = \
  141. curelm->field.sle_next->field.sle_next; \
  142. } \
  143. _Q_INVALIDATE((elm)->field.sle_next); \
  144. } while (0)
  145. /*
  146. * List definitions.
  147. */
  148. #define LIST_HEAD(name, type) \
  149. struct name { \
  150. struct type *lh_first; /* first element */ \
  151. }
  152. #define LIST_HEAD_INITIALIZER(head) \
  153. { NULL }
  154. #define LIST_ENTRY(type) \
  155. struct { \
  156. struct type *le_next; /* next element */ \
  157. struct type **le_prev; /* address of previous next element */ \
  158. }
  159. /*
  160. * List access methods.
  161. */
  162. #define LIST_FIRST(head) ((head)->lh_first)
  163. #define LIST_END(head) NULL
  164. #define LIST_EMPTY(head) (LIST_FIRST(head) == LIST_END(head))
  165. #define LIST_NEXT(elm, field) ((elm)->field.le_next)
  166. #define LIST_FOREACH(var, head, field) \
  167. for((var) = LIST_FIRST(head); \
  168. (var)!= LIST_END(head); \
  169. (var) = LIST_NEXT(var, field))
  170. #define LIST_FOREACH_SAFE(var, head, field, tvar) \
  171. for ((var) = LIST_FIRST(head); \
  172. (var) && ((tvar) = LIST_NEXT(var, field), 1); \
  173. (var) = (tvar))
  174. /*
  175. * List functions.
  176. */
  177. #define LIST_INIT(head) do { \
  178. LIST_FIRST(head) = LIST_END(head); \
  179. } while (0)
  180. #define LIST_INSERT_AFTER(listelm, elm, field) do { \
  181. if (((elm)->field.le_next = (listelm)->field.le_next) != NULL) \
  182. (listelm)->field.le_next->field.le_prev = \
  183. &(elm)->field.le_next; \
  184. (listelm)->field.le_next = (elm); \
  185. (elm)->field.le_prev = &(listelm)->field.le_next; \
  186. } while (0)
  187. #define LIST_INSERT_BEFORE(listelm, elm, field) do { \
  188. (elm)->field.le_prev = (listelm)->field.le_prev; \
  189. (elm)->field.le_next = (listelm); \
  190. *(listelm)->field.le_prev = (elm); \
  191. (listelm)->field.le_prev = &(elm)->field.le_next; \
  192. } while (0)
  193. #define LIST_INSERT_HEAD(head, elm, field) do { \
  194. if (((elm)->field.le_next = (head)->lh_first) != NULL) \
  195. (head)->lh_first->field.le_prev = &(elm)->field.le_next;\
  196. (head)->lh_first = (elm); \
  197. (elm)->field.le_prev = &(head)->lh_first; \
  198. } while (0)
  199. #define LIST_REMOVE(elm, field) do { \
  200. if ((elm)->field.le_next != NULL) \
  201. (elm)->field.le_next->field.le_prev = \
  202. (elm)->field.le_prev; \
  203. *(elm)->field.le_prev = (elm)->field.le_next; \
  204. _Q_INVALIDATE((elm)->field.le_prev); \
  205. _Q_INVALIDATE((elm)->field.le_next); \
  206. } while (0)
  207. #define LIST_REPLACE(elm, elm2, field) do { \
  208. if (((elm2)->field.le_next = (elm)->field.le_next) != NULL) \
  209. (elm2)->field.le_next->field.le_prev = \
  210. &(elm2)->field.le_next; \
  211. (elm2)->field.le_prev = (elm)->field.le_prev; \
  212. *(elm2)->field.le_prev = (elm2); \
  213. _Q_INVALIDATE((elm)->field.le_prev); \
  214. _Q_INVALIDATE((elm)->field.le_next); \
  215. } while (0)
  216. /*
  217. * Simple queue definitions.
  218. */
  219. #define SIMPLEQ_HEAD(name, type) \
  220. struct name { \
  221. struct type *sqh_first; /* first element */ \
  222. struct type **sqh_last; /* addr of last next element */ \
  223. }
  224. #define SIMPLEQ_HEAD_INITIALIZER(head) \
  225. { NULL, &(head).sqh_first }
  226. #define SIMPLEQ_ENTRY(type) \
  227. struct { \
  228. struct type *sqe_next; /* next element */ \
  229. }
  230. /*
  231. * Simple queue access methods.
  232. */
  233. #define SIMPLEQ_FIRST(head) ((head)->sqh_first)
  234. #define SIMPLEQ_END(head) NULL
  235. #define SIMPLEQ_EMPTY(head) (SIMPLEQ_FIRST(head) == SIMPLEQ_END(head))
  236. #define SIMPLEQ_NEXT(elm, field) ((elm)->field.sqe_next)
  237. #define SIMPLEQ_FOREACH(var, head, field) \
  238. for((var) = SIMPLEQ_FIRST(head); \
  239. (var) != SIMPLEQ_END(head); \
  240. (var) = SIMPLEQ_NEXT(var, field))
  241. #define SIMPLEQ_FOREACH_SAFE(var, head, field, tvar) \
  242. for ((var) = SIMPLEQ_FIRST(head); \
  243. (var) && ((tvar) = SIMPLEQ_NEXT(var, field), 1); \
  244. (var) = (tvar))
  245. /*
  246. * Simple queue functions.
  247. */
  248. #define SIMPLEQ_INIT(head) do { \
  249. (head)->sqh_first = NULL; \
  250. (head)->sqh_last = &(head)->sqh_first; \
  251. } while (0)
  252. #define SIMPLEQ_INSERT_HEAD(head, elm, field) do { \
  253. if (((elm)->field.sqe_next = (head)->sqh_first) == NULL) \
  254. (head)->sqh_last = &(elm)->field.sqe_next; \
  255. (head)->sqh_first = (elm); \
  256. } while (0)
  257. #define SIMPLEQ_INSERT_TAIL(head, elm, field) do { \
  258. (elm)->field.sqe_next = NULL; \
  259. *(head)->sqh_last = (elm); \
  260. (head)->sqh_last = &(elm)->field.sqe_next; \
  261. } while (0)
  262. #define SIMPLEQ_INSERT_AFTER(head, listelm, elm, field) do { \
  263. if (((elm)->field.sqe_next = (listelm)->field.sqe_next) == NULL)\
  264. (head)->sqh_last = &(elm)->field.sqe_next; \
  265. (listelm)->field.sqe_next = (elm); \
  266. } while (0)
  267. #define SIMPLEQ_REMOVE_HEAD(head, field) do { \
  268. if (((head)->sqh_first = (head)->sqh_first->field.sqe_next) == NULL) \
  269. (head)->sqh_last = &(head)->sqh_first; \
  270. } while (0)
  271. #define SIMPLEQ_REMOVE_AFTER(head, elm, field) do { \
  272. if (((elm)->field.sqe_next = (elm)->field.sqe_next->field.sqe_next) \
  273. == NULL) \
  274. (head)->sqh_last = &(elm)->field.sqe_next; \
  275. } while (0)
  276. #define SIMPLEQ_CONCAT(head1, head2) do { \
  277. if (!SIMPLEQ_EMPTY((head2))) { \
  278. *(head1)->sqh_last = (head2)->sqh_first; \
  279. (head1)->sqh_last = (head2)->sqh_last; \
  280. SIMPLEQ_INIT((head2)); \
  281. } \
  282. } while (0)
  283. /*
  284. * XOR Simple queue definitions.
  285. */
  286. #define XSIMPLEQ_HEAD(name, type) \
  287. struct name { \
  288. struct type *sqx_first; /* first element */ \
  289. struct type **sqx_last; /* addr of last next element */ \
  290. unsigned long sqx_cookie; \
  291. }
  292. #define XSIMPLEQ_ENTRY(type) \
  293. struct { \
  294. struct type *sqx_next; /* next element */ \
  295. }
  296. /*
  297. * XOR Simple queue access methods.
  298. */
  299. #define XSIMPLEQ_XOR(head, ptr) ((__typeof(ptr))((head)->sqx_cookie ^ \
  300. (unsigned long)(ptr)))
  301. #define XSIMPLEQ_FIRST(head) XSIMPLEQ_XOR(head, ((head)->sqx_first))
  302. #define XSIMPLEQ_END(head) NULL
  303. #define XSIMPLEQ_EMPTY(head) (XSIMPLEQ_FIRST(head) == XSIMPLEQ_END(head))
  304. #define XSIMPLEQ_NEXT(head, elm, field) XSIMPLEQ_XOR(head, ((elm)->field.sqx_next))
  305. #define XSIMPLEQ_FOREACH(var, head, field) \
  306. for ((var) = XSIMPLEQ_FIRST(head); \
  307. (var) != XSIMPLEQ_END(head); \
  308. (var) = XSIMPLEQ_NEXT(head, var, field))
  309. #define XSIMPLEQ_FOREACH_SAFE(var, head, field, tvar) \
  310. for ((var) = XSIMPLEQ_FIRST(head); \
  311. (var) && ((tvar) = XSIMPLEQ_NEXT(head, var, field), 1); \
  312. (var) = (tvar))
  313. /*
  314. * XOR Simple queue functions.
  315. */
  316. #define XSIMPLEQ_INIT(head) do { \
  317. arc4random_buf(&(head)->sqx_cookie, sizeof((head)->sqx_cookie)); \
  318. (head)->sqx_first = XSIMPLEQ_XOR(head, NULL); \
  319. (head)->sqx_last = XSIMPLEQ_XOR(head, &(head)->sqx_first); \
  320. } while (0)
  321. #define XSIMPLEQ_INSERT_HEAD(head, elm, field) do { \
  322. if (((elm)->field.sqx_next = (head)->sqx_first) == \
  323. XSIMPLEQ_XOR(head, NULL)) \
  324. (head)->sqx_last = XSIMPLEQ_XOR(head, &(elm)->field.sqx_next); \
  325. (head)->sqx_first = XSIMPLEQ_XOR(head, (elm)); \
  326. } while (0)
  327. #define XSIMPLEQ_INSERT_TAIL(head, elm, field) do { \
  328. (elm)->field.sqx_next = XSIMPLEQ_XOR(head, NULL); \
  329. *(XSIMPLEQ_XOR(head, (head)->sqx_last)) = XSIMPLEQ_XOR(head, (elm)); \
  330. (head)->sqx_last = XSIMPLEQ_XOR(head, &(elm)->field.sqx_next); \
  331. } while (0)
  332. #define XSIMPLEQ_INSERT_AFTER(head, listelm, elm, field) do { \
  333. if (((elm)->field.sqx_next = (listelm)->field.sqx_next) == \
  334. XSIMPLEQ_XOR(head, NULL)) \
  335. (head)->sqx_last = XSIMPLEQ_XOR(head, &(elm)->field.sqx_next); \
  336. (listelm)->field.sqx_next = XSIMPLEQ_XOR(head, (elm)); \
  337. } while (0)
  338. #define XSIMPLEQ_REMOVE_HEAD(head, field) do { \
  339. if (((head)->sqx_first = XSIMPLEQ_XOR(head, \
  340. (head)->sqx_first)->field.sqx_next) == XSIMPLEQ_XOR(head, NULL)) \
  341. (head)->sqx_last = XSIMPLEQ_XOR(head, &(head)->sqx_first); \
  342. } while (0)
  343. #define XSIMPLEQ_REMOVE_AFTER(head, elm, field) do { \
  344. if (((elm)->field.sqx_next = XSIMPLEQ_XOR(head, \
  345. (elm)->field.sqx_next)->field.sqx_next) \
  346. == XSIMPLEQ_XOR(head, NULL)) \
  347. (head)->sqx_last = \
  348. XSIMPLEQ_XOR(head, &(elm)->field.sqx_next); \
  349. } while (0)
  350. /*
  351. * Tail queue definitions.
  352. */
  353. #define TAILQ_HEAD(name, type) \
  354. struct name { \
  355. struct type *tqh_first; /* first element */ \
  356. struct type **tqh_last; /* addr of last next element */ \
  357. }
  358. #define TAILQ_HEAD_INITIALIZER(head) \
  359. { NULL, &(head).tqh_first }
  360. #define TAILQ_ENTRY(type) \
  361. struct { \
  362. struct type *tqe_next; /* next element */ \
  363. struct type **tqe_prev; /* address of previous next element */ \
  364. }
  365. /*
  366. * Tail queue access methods.
  367. */
  368. #define TAILQ_FIRST(head) ((head)->tqh_first)
  369. #define TAILQ_END(head) NULL
  370. #define TAILQ_NEXT(elm, field) ((elm)->field.tqe_next)
  371. #define TAILQ_LAST(head, headname) \
  372. (*(((struct headname *)((head)->tqh_last))->tqh_last))
  373. /* XXX */
  374. #define TAILQ_PREV(elm, headname, field) \
  375. (*(((struct headname *)((elm)->field.tqe_prev))->tqh_last))
  376. #define TAILQ_EMPTY(head) \
  377. (TAILQ_FIRST(head) == TAILQ_END(head))
  378. #define TAILQ_FOREACH(var, head, field) \
  379. for((var) = TAILQ_FIRST(head); \
  380. (var) != TAILQ_END(head); \
  381. (var) = TAILQ_NEXT(var, field))
  382. #define TAILQ_FOREACH_SAFE(var, head, field, tvar) \
  383. for ((var) = TAILQ_FIRST(head); \
  384. (var) != TAILQ_END(head) && \
  385. ((tvar) = TAILQ_NEXT(var, field), 1); \
  386. (var) = (tvar))
  387. #define TAILQ_FOREACH_REVERSE(var, head, headname, field) \
  388. for((var) = TAILQ_LAST(head, headname); \
  389. (var) != TAILQ_END(head); \
  390. (var) = TAILQ_PREV(var, headname, field))
  391. #define TAILQ_FOREACH_REVERSE_SAFE(var, head, headname, field, tvar) \
  392. for ((var) = TAILQ_LAST(head, headname); \
  393. (var) != TAILQ_END(head) && \
  394. ((tvar) = TAILQ_PREV(var, headname, field), 1); \
  395. (var) = (tvar))
  396. /*
  397. * Tail queue functions.
  398. */
  399. #define TAILQ_INIT(head) do { \
  400. (head)->tqh_first = NULL; \
  401. (head)->tqh_last = &(head)->tqh_first; \
  402. } while (0)
  403. #define TAILQ_INSERT_HEAD(head, elm, field) do { \
  404. if (((elm)->field.tqe_next = (head)->tqh_first) != NULL) \
  405. (head)->tqh_first->field.tqe_prev = \
  406. &(elm)->field.tqe_next; \
  407. else \
  408. (head)->tqh_last = &(elm)->field.tqe_next; \
  409. (head)->tqh_first = (elm); \
  410. (elm)->field.tqe_prev = &(head)->tqh_first; \
  411. } while (0)
  412. #define TAILQ_INSERT_TAIL(head, elm, field) do { \
  413. (elm)->field.tqe_next = NULL; \
  414. (elm)->field.tqe_prev = (head)->tqh_last; \
  415. *(head)->tqh_last = (elm); \
  416. (head)->tqh_last = &(elm)->field.tqe_next; \
  417. } while (0)
  418. #define TAILQ_INSERT_AFTER(head, listelm, elm, field) do { \
  419. if (((elm)->field.tqe_next = (listelm)->field.tqe_next) != NULL)\
  420. (elm)->field.tqe_next->field.tqe_prev = \
  421. &(elm)->field.tqe_next; \
  422. else \
  423. (head)->tqh_last = &(elm)->field.tqe_next; \
  424. (listelm)->field.tqe_next = (elm); \
  425. (elm)->field.tqe_prev = &(listelm)->field.tqe_next; \
  426. } while (0)
  427. #define TAILQ_INSERT_BEFORE(listelm, elm, field) do { \
  428. (elm)->field.tqe_prev = (listelm)->field.tqe_prev; \
  429. (elm)->field.tqe_next = (listelm); \
  430. *(listelm)->field.tqe_prev = (elm); \
  431. (listelm)->field.tqe_prev = &(elm)->field.tqe_next; \
  432. } while (0)
  433. #define TAILQ_REMOVE(head, elm, field) do { \
  434. if (((elm)->field.tqe_next) != NULL) \
  435. (elm)->field.tqe_next->field.tqe_prev = \
  436. (elm)->field.tqe_prev; \
  437. else \
  438. (head)->tqh_last = (elm)->field.tqe_prev; \
  439. *(elm)->field.tqe_prev = (elm)->field.tqe_next; \
  440. _Q_INVALIDATE((elm)->field.tqe_prev); \
  441. _Q_INVALIDATE((elm)->field.tqe_next); \
  442. } while (0)
  443. #define TAILQ_REPLACE(head, elm, elm2, field) do { \
  444. if (((elm2)->field.tqe_next = (elm)->field.tqe_next) != NULL) \
  445. (elm2)->field.tqe_next->field.tqe_prev = \
  446. &(elm2)->field.tqe_next; \
  447. else \
  448. (head)->tqh_last = &(elm2)->field.tqe_next; \
  449. (elm2)->field.tqe_prev = (elm)->field.tqe_prev; \
  450. *(elm2)->field.tqe_prev = (elm2); \
  451. _Q_INVALIDATE((elm)->field.tqe_prev); \
  452. _Q_INVALIDATE((elm)->field.tqe_next); \
  453. } while (0)
  454. #define TAILQ_CONCAT(head1, head2, field) do { \
  455. if (!TAILQ_EMPTY(head2)) { \
  456. *(head1)->tqh_last = (head2)->tqh_first; \
  457. (head2)->tqh_first->field.tqe_prev = (head1)->tqh_last; \
  458. (head1)->tqh_last = (head2)->tqh_last; \
  459. TAILQ_INIT((head2)); \
  460. } \
  461. } while (0)
  462. /*
  463. * Singly-linked Tail queue declarations.
  464. */
  465. #define STAILQ_HEAD(name, type) \
  466. struct name { \
  467. struct type *stqh_first; /* first element */ \
  468. struct type **stqh_last; /* addr of last next element */ \
  469. }
  470. #define STAILQ_HEAD_INITIALIZER(head) \
  471. { NULL, &(head).stqh_first }
  472. #define STAILQ_ENTRY(type) \
  473. struct { \
  474. struct type *stqe_next; /* next element */ \
  475. }
  476. /*
  477. * Singly-linked Tail queue access methods.
  478. */
  479. #define STAILQ_FIRST(head) ((head)->stqh_first)
  480. #define STAILQ_END(head) NULL
  481. #define STAILQ_EMPTY(head) (STAILQ_FIRST(head) == STAILQ_END(head))
  482. #define STAILQ_NEXT(elm, field) ((elm)->field.stqe_next)
  483. #define STAILQ_FOREACH(var, head, field) \
  484. for ((var) = STAILQ_FIRST(head); \
  485. (var) != STAILQ_END(head); \
  486. (var) = STAILQ_NEXT(var, field))
  487. #define STAILQ_FOREACH_SAFE(var, head, field, tvar) \
  488. for ((var) = STAILQ_FIRST(head); \
  489. (var) && ((tvar) = STAILQ_NEXT(var, field), 1); \
  490. (var) = (tvar))
  491. /*
  492. * Singly-linked Tail queue functions.
  493. */
  494. #define STAILQ_INIT(head) do { \
  495. STAILQ_FIRST((head)) = NULL; \
  496. (head)->stqh_last = &STAILQ_FIRST((head)); \
  497. } while (0)
  498. #define STAILQ_INSERT_HEAD(head, elm, field) do { \
  499. if ((STAILQ_NEXT((elm), field) = STAILQ_FIRST((head))) == NULL) \
  500. (head)->stqh_last = &STAILQ_NEXT((elm), field); \
  501. STAILQ_FIRST((head)) = (elm); \
  502. } while (0)
  503. #define STAILQ_INSERT_TAIL(head, elm, field) do { \
  504. STAILQ_NEXT((elm), field) = NULL; \
  505. *(head)->stqh_last = (elm); \
  506. (head)->stqh_last = &STAILQ_NEXT((elm), field); \
  507. } while (0)
  508. #define STAILQ_INSERT_AFTER(head, listelm, elm, field) do { \
  509. if ((STAILQ_NEXT((elm), field) = STAILQ_NEXT((elm), field)) == NULL)\
  510. (head)->stqh_last = &STAILQ_NEXT((elm), field); \
  511. STAILQ_NEXT((elm), field) = (elm); \
  512. } while (0)
  513. #define STAILQ_REMOVE_HEAD(head, field) do { \
  514. if ((STAILQ_FIRST((head)) = \
  515. STAILQ_NEXT(STAILQ_FIRST((head)), field)) == NULL) \
  516. (head)->stqh_last = &STAILQ_FIRST((head)); \
  517. } while (0)
  518. #define STAILQ_REMOVE_AFTER(head, elm, field) do { \
  519. if ((STAILQ_NEXT(elm, field) = \
  520. STAILQ_NEXT(STAILQ_NEXT(elm, field), field)) == NULL) \
  521. (head)->stqh_last = &STAILQ_NEXT((elm), field); \
  522. } while (0)
  523. #define STAILQ_REMOVE(head, elm, type, field) do { \
  524. if (STAILQ_FIRST((head)) == (elm)) { \
  525. STAILQ_REMOVE_HEAD((head), field); \
  526. } else { \
  527. struct type *curelm = (head)->stqh_first; \
  528. while (STAILQ_NEXT(curelm, field) != (elm)) \
  529. curelm = STAILQ_NEXT(curelm, field); \
  530. STAILQ_REMOVE_AFTER(head, curelm, field); \
  531. } \
  532. } while (0)
  533. #define STAILQ_CONCAT(head1, head2) do { \
  534. if (!STAILQ_EMPTY((head2))) { \
  535. *(head1)->stqh_last = (head2)->stqh_first; \
  536. (head1)->stqh_last = (head2)->stqh_last; \
  537. STAILQ_INIT((head2)); \
  538. } \
  539. } while (0)
  540. #define STAILQ_LAST(head, type, field) \
  541. (STAILQ_EMPTY((head)) ? NULL : \
  542. ((struct type *)(void *) \
  543. ((char *)((head)->stqh_last) - offsetof(struct type, field))))
  544. #endif /* !_SYS_QUEUE_H_ */