Source to kern/queue.h
/*
* Copyright (c) 1999 Apple Computer, Inc. All rights reserved.
*
* @APPLE_LICENSE_HEADER_START@
*
* "Portions Copyright (c) 1999 Apple Computer, Inc. All Rights
* Reserved. This file contains Original Code and/or Modifications of
* Original Code as defined in and that are subject to the Apple Public
* Source License Version 1.0 (the 'License'). You may not use this file
* except in compliance with the License. Please obtain a copy of the
* License at http://www.apple.com/publicsource and read it before using
* this file.
*
* The Original Code and all software distributed under the License are
* distributed on an 'AS IS' basis, WITHOUT WARRANTY OF ANY KIND, EITHER
* EXPRESS OR IMPLIED, AND APPLE HEREBY DISCLAIMS ALL SUCH WARRANTIES,
* INCLUDING WITHOUT LIMITATION, ANY WARRANTIES OF MERCHANTABILITY,
* FITNESS FOR A PARTICULAR PURPOSE OR NON-INFRINGEMENT. Please see the
* License for the specific language governing rights and limitations
* under the License."
*
* @APPLE_LICENSE_HEADER_END@
*/
/*
* Mach Operating System
* Copyright (c) 1991,1990,1989,1988,1987 Carnegie Mellon University
* All Rights Reserved.
*
* Permission to use, copy, modify and distribute this software and its
* documentation is hereby granted, provided that both the copyright
* notice and this permission notice appear in all copies of the
* software, derivative works or modified versions, and any portions
* thereof, and that both notices appear in supporting documentation.
*
* CARNEGIE MELLON ALLOWS FREE USE OF THIS SOFTWARE IN ITS "AS IS"
* CONDITION. CARNEGIE MELLON DISCLAIMS ANY LIABILITY OF ANY KIND FOR
* ANY DAMAGES WHATSOEVER RESULTING FROM THE USE OF THIS SOFTWARE.
*
* Carnegie Mellon requests users of this software to return to
*
* Software Distribution Coordinator or [email protected]
* School of Computer Science
* Carnegie Mellon University
* Pittsburgh PA 15213-3890
*
* any improvements or extensions that they make and grant Carnegie Mellon rights
* to redistribute these changes.
*/
/*
* File: queue.h
* Author: Avadis Tevanian, Jr.
* Date: 1985
*
* Type definitions for generic queues.
*
*/
#ifndef _KERN_QUEUE_H_
#define _KERN_QUEUE_H_
#include <kern/lock.h>
#include <kern/macro_help.h>
/*
* Queue of abstract objects. Queue is maintained
* within that object.
*
* Supports fast removal from within the queue.
*
* How to declare a queue of elements of type "foo_t":
* In the "*foo_t" type, you must have a field of
* type "queue_chain_t" to hold together this queue.
* There may be more than one chain through a
* "foo_t", for use by different queues.
*
* Declare the queue as a "queue_t" type.
*
* Elements of the queue (of type "foo_t", that is)
* are referred to by reference, and cast to type
* "queue_entry_t" within this module.
*/
/*
* A generic doubly-linked list (queue).
*/
struct queue_entry {
struct queue_entry *next; /* next element */
struct queue_entry *prev; /* previous element */
};
typedef struct queue_entry *queue_t;
typedef struct queue_entry queue_head_t;
typedef struct queue_entry queue_chain_t;
typedef struct queue_entry *queue_entry_t;
/*
* enqueue puts "elt" on the "queue".
* dequeue returns the first element in the "queue".
* remqueue removes the specified "elt" from the specified "queue".
*/
#define enqueue(queue,elt) enqueue_tail(queue, elt)
#define dequeue(queue) dequeue_head(queue)
/*
* Routines to implement queue package.
*/
#ifndef _KERN_QUEUE_FUNCTION_SCOPE_
#define _KERN_QUEUE_FUNCTION_SCOPE_ static __inline__
#define _KERN_QUEUE_H_INTERNAL_SCOPING_
#endif
/*
* Insert element at head of queue.
*/
_KERN_QUEUE_FUNCTION_SCOPE_
void enqueue_head(
register queue_t que,
register queue_entry_t elt)
{
elt->next = que->next;
elt->prev = que;
elt->next->prev = elt;
que->next = elt;
}
/*
* Insert element at tail of queue.
*/
_KERN_QUEUE_FUNCTION_SCOPE_
void enqueue_tail(
register queue_t que,
register queue_entry_t elt)
{
elt->next = que;
elt->prev = que->prev;
elt->prev->next = elt;
que->prev = elt;
}
/*
* Remove and return element at head of queue.
*/
_KERN_QUEUE_FUNCTION_SCOPE_
queue_entry_t dequeue_head(
register queue_t que)
{
register queue_entry_t elt;
if (que->next == que)
return((queue_entry_t)0);
elt = que->next;
elt->next->prev = que;
que->next = elt->next;
return(elt);
}
/*
* Remove and return element at tail of queue.
*/
_KERN_QUEUE_FUNCTION_SCOPE_
queue_entry_t dequeue_tail(
register queue_t que)
{
register queue_entry_t elt;
if (que->prev == que)
return((queue_entry_t)0);
elt = que->prev;
elt->prev->next = que;
que->prev = elt->prev;
return(elt);
}
/*
* Remove arbitrary element from queue.
* Does not check whether element is on queue - the world
* will go haywire if it isn't.
*/
_KERN_QUEUE_FUNCTION_SCOPE_
/*ARGSUSED*/
void remqueue(
queue_t que,
register queue_entry_t elt)
{
elt->next->prev = elt->prev;
elt->prev->next = elt->next;
}
/*
* Routines to directly imitate the VAX hardware queue
* package.
*/
_KERN_QUEUE_FUNCTION_SCOPE_
void insque(
register struct queue_entry *entry,
register struct queue_entry *pred)
{
entry->next = pred->next;
entry->prev = pred;
(pred->next)->prev = entry;
pred->next = entry;
}
_KERN_QUEUE_FUNCTION_SCOPE_
struct queue_entry
*remque(
register struct queue_entry *elt)
{
(elt->next)->prev = elt->prev;
(elt->prev)->next = elt->next;
return(elt);
}
#ifdef _KERN_QUEUE_H_INTERNAL_SCOPING_
#undef _KERN_QUEUE_H_INTERNAL_SCOPING_
#endif
/*
* Macro: queue_init
* Function:
* Initialize the given queue.
* Header:
* void queue_init(q)
* queue_t q; *MODIFIED*
*/
#define queue_init(q) ((q)->next = (q)->prev = q)
/*
* Macro: queue_first
* Function:
* Returns the first entry in the queue,
* Header:
* queue_entry_t queue_first(q)
* queue_t q; *IN*
*/
#define queue_first(q) ((q)->next)
/*
* Macro: queue_next
* Function:
* Returns the entry after an item in the queue.
* Header:
* queue_entry_t queue_next(qc)
* queue_t qc;
*/
#define queue_next(qc) ((qc)->next)
/*
* Macro: queue_last
* Function:
* Returns the last entry in the queue.
* Header:
* queue_entry_t queue_last(q)
* queue_t q; *IN*
*/
#define queue_last(q) ((q)->prev)
/*
* Macro: queue_prev
* Function:
* Returns the entry before an item in the queue.
* Header:
* queue_entry_t queue_prev(qc)
* queue_t qc;
*/
#define queue_prev(qc) ((qc)->prev)
/*
* Macro: queue_end
* Function:
* Tests whether a new entry is really the end of
* the queue.
* Header:
* boolean_t queue_end(q, qe)
* queue_t q;
* queue_entry_t qe;
*/
#define queue_end(q, qe) ((q) == (qe))
/*
* Macro: queue_empty
* Function:
* Tests whether a queue is empty.
* Header:
* boolean_t queue_empty(q)
* queue_t q;
*/
#define queue_empty(q) queue_end((q), queue_first(q))
/*----------------------------------------------------------------*/
/*
* Macros that operate on generic structures. The queue
* chain may be at any location within the structure, and there
* may be more than one chain.
*/
/*
* Macro: queue_enter
* Function:
* Insert a new element at the tail of the queue.
* Header:
* void queue_enter(q, elt, type, field)
* queue_t q;
* <type> elt;
* <type> is what's in our queue
* <field> is the chain field in (*<type>)
*/
#define queue_enter(head, elt, type, field) \
MACRO_BEGIN \
register queue_entry_t prev; \
\
prev = (head)->prev; \
if ((head) == prev) { \
(head)->next = (queue_entry_t) (elt); \
} \
else { \
((type)prev)->field.next = (queue_entry_t)(elt);\
} \
(elt)->field.prev = prev; \
(elt)->field.next = head; \
(head)->prev = (queue_entry_t) elt; \
MACRO_END
/*
* Macro: queue_enter_first
* Function:
* Insert a new element at the head of the queue.
* Header:
* void queue_enter_first(q, elt, type, field)
* queue_t q;
* <type> elt;
* <type> is what's in our queue
* <field> is the chain field in (*<type>)
*/
#define queue_enter_first(head, elt, type, field) \
MACRO_BEGIN \
register queue_entry_t next; \
\
next = (head)->next; \
if ((head) == next) { \
(head)->prev = (queue_entry_t) (elt); \
} \
else { \
((type)next)->field.prev = (queue_entry_t)(elt);\
} \
(elt)->field.next = next; \
(elt)->field.prev = head; \
(head)->next = (queue_entry_t) elt; \
MACRO_END
/*
* Macro: queue_field [internal use only]
* Function:
* Find the queue_chain_t (or queue_t) for the
* given element (thing) in the given queue (head)
*/
#define queue_field(head, thing, type, field) \
(((head) == (thing)) ? (head) : &((type)(thing))->field)
/*
* Macro: queue_remove
* Function:
* Remove an arbitrary item from the queue.
* Header:
* void queue_remove(q, qe, type, field)
* arguments as in queue_enter
*/
#define queue_remove(head, elt, type, field) \
MACRO_BEGIN \
register queue_entry_t next, prev; \
\
next = (elt)->field.next; \
prev = (elt)->field.prev; \
\
if ((head) == next) \
(head)->prev = prev; \
else \
((type)next)->field.prev = prev; \
\
if ((head) == prev) \
(head)->next = next; \
else \
((type)prev)->field.next = next; \
MACRO_END
/*
* Macro: queue_remove_first
* Function:
* Remove and return the entry at the head of
* the queue.
* Header:
* queue_remove_first(head, entry, type, field)
* entry is returned by reference
*/
#define queue_remove_first(head, entry, type, field) \
MACRO_BEGIN \
register queue_entry_t next; \
\
(entry) = (type) ((head)->next); \
next = (entry)->field.next; \
\
if ((head) == next) \
(head)->prev = (head); \
else \
((type)(next))->field.prev = (head); \
(head)->next = next; \
MACRO_END
/*
* Macro: queue_remove_last
* Function:
* Remove and return the entry at the tail of
* the queue.
* Header:
* queue_remove_last(head, entry, type, field)
* entry is returned by reference
*/
#define queue_remove_last(head, entry, type, field) \
MACRO_BEGIN \
register queue_entry_t prev; \
\
(entry) = (type) ((head)->prev); \
prev = (entry)->field.prev; \
\
if ((head) == prev) \
(head)->next = (head); \
else \
((type)(prev))->field.next = (head); \
(head)->prev = prev; \
MACRO_END
/*
* Macro: queue_assign
*/
#define queue_assign(to, from, type, field) \
MACRO_BEGIN \
((type)((from)->prev))->field.next = (to); \
((type)((from)->next))->field.prev = (to); \
*to = *from; \
MACRO_END
/*
* Macro: queue_iterate
* Function:
* iterate over each item in the queue.
* Generates a 'for' loop, setting elt to
* each item in turn (by reference).
* Header:
* queue_iterate(q, elt, type, field)
* queue_t q;
* <type> elt;
* <type> is what's in our queue
* <field> is the chain field in (*<type>)
*/
#define queue_iterate(head, elt, type, field) \
for ((elt) = (type) queue_first(head); \
!queue_end((head), (queue_entry_t)(elt)); \
(elt) = (type) queue_next(&(elt)->field))
#endif /* _KERN_QUEUE_H_ */