queue.h 25 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508
  1. /* $OpenBSD: queue.h,v 1.26 2004/05/04 16:59:32 grange 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 circular 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 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. * A circle 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 after
  75. * an existing element, at the head of the list, or at the end of the list.
  76. * A circle queue may be traversed in either direction, but has a more
  77. * complex end of list detection.
  78. *
  79. * For details on the use of these macros, see the queue(3) manual page.
  80. */
  81. /*
  82. * Singly-linked List definitions.
  83. */
  84. #define SLIST_HEAD(name, type) \
  85. struct name { \
  86. struct type *slh_first; /* first element */ \
  87. }
  88. #define SLIST_HEAD_INITIALIZER(head) \
  89. { NULL }
  90. #define SLIST_ENTRY(type) \
  91. struct { \
  92. struct type *sle_next; /* next element */ \
  93. }
  94. /*
  95. * Singly-linked List access methods.
  96. */
  97. #define SLIST_FIRST(head) ((head)->slh_first)
  98. #define SLIST_END(head) NULL
  99. #define SLIST_EMPTY(head) (SLIST_FIRST(head) == SLIST_END(head))
  100. #define SLIST_NEXT(elm, field) ((elm)->field.sle_next)
  101. #define SLIST_FOREACH(var, head, field) \
  102. for((var) = SLIST_FIRST(head); \
  103. (var) != SLIST_END(head); \
  104. (var) = SLIST_NEXT(var, field))
  105. #define SLIST_FOREACH_PREVPTR(var, varp, head, field) \
  106. for ((varp) = &SLIST_FIRST((head)); \
  107. ((var) = *(varp)) != SLIST_END(head); \
  108. (varp) = &SLIST_NEXT((var), field))
  109. /*
  110. * Singly-linked List functions.
  111. */
  112. #define SLIST_INIT(head) { \
  113. SLIST_FIRST(head) = SLIST_END(head); \
  114. }
  115. #define SLIST_INSERT_AFTER(slistelm, elm, field) do { \
  116. (elm)->field.sle_next = (slistelm)->field.sle_next; \
  117. (slistelm)->field.sle_next = (elm); \
  118. } while (0)
  119. #define SLIST_INSERT_HEAD(head, elm, field) do { \
  120. (elm)->field.sle_next = (head)->slh_first; \
  121. (head)->slh_first = (elm); \
  122. } while (0)
  123. #define SLIST_REMOVE_NEXT(head, elm, field) do { \
  124. (elm)->field.sle_next = (elm)->field.sle_next->field.sle_next; \
  125. } while (0)
  126. #define SLIST_REMOVE_HEAD(head, field) do { \
  127. (head)->slh_first = (head)->slh_first->field.sle_next; \
  128. } while (0)
  129. #define SLIST_REMOVE(head, elm, type, field) do { \
  130. if ((head)->slh_first == (elm)) { \
  131. SLIST_REMOVE_HEAD((head), field); \
  132. } \
  133. else { \
  134. struct type *curelm = (head)->slh_first; \
  135. while( curelm->field.sle_next != (elm) ) \
  136. curelm = curelm->field.sle_next; \
  137. curelm->field.sle_next = \
  138. curelm->field.sle_next->field.sle_next; \
  139. } \
  140. } while (0)
  141. /*
  142. * List definitions.
  143. */
  144. #define LIST_HEAD(name, type) \
  145. struct name { \
  146. struct type *lh_first; /* first element */ \
  147. }
  148. #define LIST_HEAD_INITIALIZER(head) \
  149. { NULL }
  150. #define LIST_ENTRY(type) \
  151. struct { \
  152. struct type *le_next; /* next element */ \
  153. struct type **le_prev; /* address of previous next element */ \
  154. }
  155. /*
  156. * List access methods
  157. */
  158. #define LIST_FIRST(head) ((head)->lh_first)
  159. #define LIST_END(head) NULL
  160. #define LIST_EMPTY(head) (LIST_FIRST(head) == LIST_END(head))
  161. #define LIST_NEXT(elm, field) ((elm)->field.le_next)
  162. #define LIST_FOREACH(var, head, field) \
  163. for((var) = LIST_FIRST(head); \
  164. (var)!= LIST_END(head); \
  165. (var) = LIST_NEXT(var, field))
  166. /*
  167. * List functions.
  168. */
  169. #define LIST_INIT(head) do { \
  170. LIST_FIRST(head) = LIST_END(head); \
  171. } while (0)
  172. #define LIST_INSERT_AFTER(listelm, elm, field) do { \
  173. if (((elm)->field.le_next = (listelm)->field.le_next) != NULL) \
  174. (listelm)->field.le_next->field.le_prev = \
  175. &(elm)->field.le_next; \
  176. (listelm)->field.le_next = (elm); \
  177. (elm)->field.le_prev = &(listelm)->field.le_next; \
  178. } while (0)
  179. #define LIST_INSERT_BEFORE(listelm, elm, field) do { \
  180. (elm)->field.le_prev = (listelm)->field.le_prev; \
  181. (elm)->field.le_next = (listelm); \
  182. *(listelm)->field.le_prev = (elm); \
  183. (listelm)->field.le_prev = &(elm)->field.le_next; \
  184. } while (0)
  185. #define LIST_INSERT_HEAD(head, elm, field) do { \
  186. if (((elm)->field.le_next = (head)->lh_first) != NULL) \
  187. (head)->lh_first->field.le_prev = &(elm)->field.le_next;\
  188. (head)->lh_first = (elm); \
  189. (elm)->field.le_prev = &(head)->lh_first; \
  190. } while (0)
  191. #define LIST_REMOVE(elm, field) do { \
  192. if ((elm)->field.le_next != NULL) \
  193. (elm)->field.le_next->field.le_prev = \
  194. (elm)->field.le_prev; \
  195. *(elm)->field.le_prev = (elm)->field.le_next; \
  196. } while (0)
  197. #define LIST_REPLACE(elm, elm2, field) do { \
  198. if (((elm2)->field.le_next = (elm)->field.le_next) != NULL) \
  199. (elm2)->field.le_next->field.le_prev = \
  200. &(elm2)->field.le_next; \
  201. (elm2)->field.le_prev = (elm)->field.le_prev; \
  202. *(elm2)->field.le_prev = (elm2); \
  203. } while (0)
  204. /*
  205. * Simple queue definitions.
  206. */
  207. #define SIMPLEQ_HEAD(name, type) \
  208. struct name { \
  209. struct type *sqh_first; /* first element */ \
  210. struct type **sqh_last; /* addr of last next element */ \
  211. }
  212. #define SIMPLEQ_HEAD_INITIALIZER(head) \
  213. { NULL, &(head).sqh_first }
  214. #define SIMPLEQ_ENTRY(type) \
  215. struct { \
  216. struct type *sqe_next; /* next element */ \
  217. }
  218. /*
  219. * Simple queue access methods.
  220. */
  221. #define SIMPLEQ_FIRST(head) ((head)->sqh_first)
  222. #define SIMPLEQ_END(head) NULL
  223. #define SIMPLEQ_EMPTY(head) (SIMPLEQ_FIRST(head) == SIMPLEQ_END(head))
  224. #define SIMPLEQ_NEXT(elm, field) ((elm)->field.sqe_next)
  225. #define SIMPLEQ_FOREACH(var, head, field) \
  226. for((var) = SIMPLEQ_FIRST(head); \
  227. (var) != SIMPLEQ_END(head); \
  228. (var) = SIMPLEQ_NEXT(var, field))
  229. /*
  230. * Simple queue functions.
  231. */
  232. #define SIMPLEQ_INIT(head) do { \
  233. (head)->sqh_first = NULL; \
  234. (head)->sqh_last = &(head)->sqh_first; \
  235. } while (0)
  236. #define SIMPLEQ_INSERT_HEAD(head, elm, field) do { \
  237. if (((elm)->field.sqe_next = (head)->sqh_first) == NULL) \
  238. (head)->sqh_last = &(elm)->field.sqe_next; \
  239. (head)->sqh_first = (elm); \
  240. } while (0)
  241. #define SIMPLEQ_INSERT_TAIL(head, elm, field) do { \
  242. (elm)->field.sqe_next = NULL; \
  243. *(head)->sqh_last = (elm); \
  244. (head)->sqh_last = &(elm)->field.sqe_next; \
  245. } while (0)
  246. #define SIMPLEQ_INSERT_AFTER(head, listelm, elm, field) do { \
  247. if (((elm)->field.sqe_next = (listelm)->field.sqe_next) == NULL)\
  248. (head)->sqh_last = &(elm)->field.sqe_next; \
  249. (listelm)->field.sqe_next = (elm); \
  250. } while (0)
  251. #define SIMPLEQ_REMOVE_HEAD(head, field) do { \
  252. if (((head)->sqh_first = (head)->sqh_first->field.sqe_next) == NULL) \
  253. (head)->sqh_last = &(head)->sqh_first; \
  254. } while (0)
  255. /*
  256. * Tail queue definitions.
  257. */
  258. #define TAILQ_HEAD(name, type) \
  259. struct name { \
  260. struct type *tqh_first; /* first element */ \
  261. struct type **tqh_last; /* addr of last next element */ \
  262. }
  263. #define TAILQ_HEAD_INITIALIZER(head) \
  264. { NULL, &(head).tqh_first }
  265. #define TAILQ_ENTRY(type) \
  266. struct { \
  267. struct type *tqe_next; /* next element */ \
  268. struct type **tqe_prev; /* address of previous next element */ \
  269. }
  270. /*
  271. * tail queue access methods
  272. */
  273. #define TAILQ_FIRST(head) ((head)->tqh_first)
  274. #define TAILQ_END(head) NULL
  275. #define TAILQ_NEXT(elm, field) ((elm)->field.tqe_next)
  276. #define TAILQ_LAST(head, headname) \
  277. (*(((struct headname *)((head)->tqh_last))->tqh_last))
  278. /* XXX */
  279. #define TAILQ_PREV(elm, headname, field) \
  280. (*(((struct headname *)((elm)->field.tqe_prev))->tqh_last))
  281. #define TAILQ_EMPTY(head) \
  282. (TAILQ_FIRST(head) == TAILQ_END(head))
  283. #define TAILQ_FOREACH(var, head, field) \
  284. for((var) = TAILQ_FIRST(head); \
  285. (var) != TAILQ_END(head); \
  286. (var) = TAILQ_NEXT(var, field))
  287. #define TAILQ_FOREACH_REVERSE(var, head, headname, field) \
  288. for((var) = TAILQ_LAST(head, headname); \
  289. (var) != TAILQ_END(head); \
  290. (var) = TAILQ_PREV(var, headname, field))
  291. /*
  292. * Tail queue functions.
  293. */
  294. #define TAILQ_INIT(head) do { \
  295. (head)->tqh_first = NULL; \
  296. (head)->tqh_last = &(head)->tqh_first; \
  297. } while (0)
  298. #define TAILQ_INSERT_HEAD(head, elm, field) do { \
  299. if (((elm)->field.tqe_next = (head)->tqh_first) != NULL) \
  300. (head)->tqh_first->field.tqe_prev = \
  301. &(elm)->field.tqe_next; \
  302. else \
  303. (head)->tqh_last = &(elm)->field.tqe_next; \
  304. (head)->tqh_first = (elm); \
  305. (elm)->field.tqe_prev = &(head)->tqh_first; \
  306. } while (0)
  307. #define TAILQ_INSERT_TAIL(head, elm, field) do { \
  308. (elm)->field.tqe_next = NULL; \
  309. (elm)->field.tqe_prev = (head)->tqh_last; \
  310. *(head)->tqh_last = (elm); \
  311. (head)->tqh_last = &(elm)->field.tqe_next; \
  312. } while (0)
  313. #define TAILQ_INSERT_AFTER(head, listelm, elm, field) do { \
  314. if (((elm)->field.tqe_next = (listelm)->field.tqe_next) != NULL)\
  315. (elm)->field.tqe_next->field.tqe_prev = \
  316. &(elm)->field.tqe_next; \
  317. else \
  318. (head)->tqh_last = &(elm)->field.tqe_next; \
  319. (listelm)->field.tqe_next = (elm); \
  320. (elm)->field.tqe_prev = &(listelm)->field.tqe_next; \
  321. } while (0)
  322. #define TAILQ_INSERT_BEFORE(listelm, elm, field) do { \
  323. (elm)->field.tqe_prev = (listelm)->field.tqe_prev; \
  324. (elm)->field.tqe_next = (listelm); \
  325. *(listelm)->field.tqe_prev = (elm); \
  326. (listelm)->field.tqe_prev = &(elm)->field.tqe_next; \
  327. } while (0)
  328. #define TAILQ_REMOVE(head, elm, field) do { \
  329. if (((elm)->field.tqe_next) != NULL) \
  330. (elm)->field.tqe_next->field.tqe_prev = \
  331. (elm)->field.tqe_prev; \
  332. else \
  333. (head)->tqh_last = (elm)->field.tqe_prev; \
  334. *(elm)->field.tqe_prev = (elm)->field.tqe_next; \
  335. } while (0)
  336. #define TAILQ_REPLACE(head, elm, elm2, field) do { \
  337. if (((elm2)->field.tqe_next = (elm)->field.tqe_next) != NULL) \
  338. (elm2)->field.tqe_next->field.tqe_prev = \
  339. &(elm2)->field.tqe_next; \
  340. else \
  341. (head)->tqh_last = &(elm2)->field.tqe_next; \
  342. (elm2)->field.tqe_prev = (elm)->field.tqe_prev; \
  343. *(elm2)->field.tqe_prev = (elm2); \
  344. } while (0)
  345. /*
  346. * Circular queue definitions.
  347. */
  348. #define CIRCLEQ_HEAD(name, type) \
  349. struct name { \
  350. struct type *cqh_first; /* first element */ \
  351. struct type *cqh_last; /* last element */ \
  352. }
  353. #define CIRCLEQ_HEAD_INITIALIZER(head) \
  354. { CIRCLEQ_END(&head), CIRCLEQ_END(&head) }
  355. #define CIRCLEQ_ENTRY(type) \
  356. struct { \
  357. struct type *cqe_next; /* next element */ \
  358. struct type *cqe_prev; /* previous element */ \
  359. }
  360. /*
  361. * Circular queue access methods
  362. */
  363. #define CIRCLEQ_FIRST(head) ((head)->cqh_first)
  364. #define CIRCLEQ_LAST(head) ((head)->cqh_last)
  365. #define CIRCLEQ_END(head) ((void *)(head))
  366. #define CIRCLEQ_NEXT(elm, field) ((elm)->field.cqe_next)
  367. #define CIRCLEQ_PREV(elm, field) ((elm)->field.cqe_prev)
  368. #define CIRCLEQ_EMPTY(head) \
  369. (CIRCLEQ_FIRST(head) == CIRCLEQ_END(head))
  370. #define CIRCLEQ_FOREACH(var, head, field) \
  371. for((var) = CIRCLEQ_FIRST(head); \
  372. (var) != CIRCLEQ_END(head); \
  373. (var) = CIRCLEQ_NEXT(var, field))
  374. #define CIRCLEQ_FOREACH_REVERSE(var, head, field) \
  375. for((var) = CIRCLEQ_LAST(head); \
  376. (var) != CIRCLEQ_END(head); \
  377. (var) = CIRCLEQ_PREV(var, field))
  378. /*
  379. * Circular queue functions.
  380. */
  381. #define CIRCLEQ_INIT(head) do { \
  382. (head)->cqh_first = CIRCLEQ_END(head); \
  383. (head)->cqh_last = CIRCLEQ_END(head); \
  384. } while (0)
  385. #define CIRCLEQ_INSERT_AFTER(head, listelm, elm, field) do { \
  386. (elm)->field.cqe_next = (listelm)->field.cqe_next; \
  387. (elm)->field.cqe_prev = (listelm); \
  388. if ((listelm)->field.cqe_next == CIRCLEQ_END(head)) \
  389. (head)->cqh_last = (elm); \
  390. else \
  391. (listelm)->field.cqe_next->field.cqe_prev = (elm); \
  392. (listelm)->field.cqe_next = (elm); \
  393. } while (0)
  394. #define CIRCLEQ_INSERT_BEFORE(head, listelm, elm, field) do { \
  395. (elm)->field.cqe_next = (listelm); \
  396. (elm)->field.cqe_prev = (listelm)->field.cqe_prev; \
  397. if ((listelm)->field.cqe_prev == CIRCLEQ_END(head)) \
  398. (head)->cqh_first = (elm); \
  399. else \
  400. (listelm)->field.cqe_prev->field.cqe_next = (elm); \
  401. (listelm)->field.cqe_prev = (elm); \
  402. } while (0)
  403. #define CIRCLEQ_INSERT_HEAD(head, elm, field) do { \
  404. (elm)->field.cqe_next = (head)->cqh_first; \
  405. (elm)->field.cqe_prev = CIRCLEQ_END(head); \
  406. if ((head)->cqh_last == CIRCLEQ_END(head)) \
  407. (head)->cqh_last = (elm); \
  408. else \
  409. (head)->cqh_first->field.cqe_prev = (elm); \
  410. (head)->cqh_first = (elm); \
  411. } while (0)
  412. #define CIRCLEQ_INSERT_TAIL(head, elm, field) do { \
  413. (elm)->field.cqe_next = CIRCLEQ_END(head); \
  414. (elm)->field.cqe_prev = (head)->cqh_last; \
  415. if ((head)->cqh_first == CIRCLEQ_END(head)) \
  416. (head)->cqh_first = (elm); \
  417. else \
  418. (head)->cqh_last->field.cqe_next = (elm); \
  419. (head)->cqh_last = (elm); \
  420. } while (0)
  421. #define CIRCLEQ_REMOVE(head, elm, field) do { \
  422. if ((elm)->field.cqe_next == CIRCLEQ_END(head)) \
  423. (head)->cqh_last = (elm)->field.cqe_prev; \
  424. else \
  425. (elm)->field.cqe_next->field.cqe_prev = \
  426. (elm)->field.cqe_prev; \
  427. if ((elm)->field.cqe_prev == CIRCLEQ_END(head)) \
  428. (head)->cqh_first = (elm)->field.cqe_next; \
  429. else \
  430. (elm)->field.cqe_prev->field.cqe_next = \
  431. (elm)->field.cqe_next; \
  432. } while (0)
  433. #define CIRCLEQ_REPLACE(head, elm, elm2, field) do { \
  434. if (((elm2)->field.cqe_next = (elm)->field.cqe_next) == \
  435. CIRCLEQ_END(head)) \
  436. (head).cqh_last = (elm2); \
  437. else \
  438. (elm2)->field.cqe_next->field.cqe_prev = (elm2); \
  439. if (((elm2)->field.cqe_prev = (elm)->field.cqe_prev) == \
  440. CIRCLEQ_END(head)) \
  441. (head).cqh_first = (elm2); \
  442. else \
  443. (elm2)->field.cqe_prev->field.cqe_next = (elm2); \
  444. } while (0)
  445. #endif /* !_SYS_QUEUE_H_ */