/*
 * Copyright (c) 2012-2013 Raphael Manfredi
 *
 *----------------------------------------------------------------------
 * This file is part of gtk-gnutella.
 *
 *  gtk-gnutella is free software; you can redistribute it and/or modify
 *  it under the terms of the GNU General Public License as published by
 *  the Free Software Foundation; either version 2 of the License, or
 *  (at your option) any later version.
 *
 *  gtk-gnutella is distributed in the hope that it will be useful,
 *  but WITHOUT ANY WARRANTY; without even the implied warranty of
 *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 *  GNU General Public License for more details.
 *
 *  You should have received a copy of the GNU General Public License
 *  along with gtk-gnutella; if not, write to the Free Software
 *  Foundation, Inc.:
 *      59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
 *----------------------------------------------------------------------
 */

/**
 * @ingroup lib
 * @file
 *
 * Embedded two-way list (within another data structure).
 *
 * Embedded lists are created when the linking pointers are directly
 * held within the data structure, as opposed to glib's lists which are
 * containers pointing at objects.
 *
 * Embedded lists are intrusive in the sense that the objects have an explicit
 * link_t field, but this saves one pointer per item being linked compared
 * to glib's lists.  On the other hand, if an object may belong to several lists
 * based on certain criteria, but not all of the lists (and without any mutual
 * exclusion), then the embedded list approach is not necessarily saving space
 * since some items will have link_t fields that do not get used.
 *
 * Due to the nature of the data structure, the definition of the internal
 * structures is visible in the header file but users must refrain from
 * peeking and poking into the structures.  Using embedded data structures
 * requires more discipline than opaque data structures.
 *
 * The API of embedded lists mirrors that of glib's lists to make a smooth
 * transition possible and maintain some consistency in the code.  That said,
 * the glib list API is quite good so mirroring it is not a problem.
 *
 * @author Raphael Manfredi
 * @date 2012-2013
 */

#include "common.h"

#include "elist.h"

#include "eslist.h"
#include "random.h"
#include "shuffle.h"
#include "unsigned.h"
#include "walloc.h"
#include "xmalloc.h"

#include "override.h"			/* Must be the last header included */

#if 0
#define ELIST_SAFETY_ASSERT		/**< Turn on costly integrity assertions */
#endif

#ifdef ELIST_SAFETY_ASSERT
#define safety_assert(x)	g_assert(x)
#else
#define safety_assert(x)
#endif

/*
 * Check whether link is part of a list.
 *
 * @attention
 * We are not verifying that the link is part of THIS list, simply that
 * it looks like a valid link belonging to SOME list.
 *
 * @param list	the list
 * @param lk	the link we wish to check
 *
 * @return whether link is part of a list.
 */
static inline bool
elist_link_in_list(const elist_t * const list, const link_t * const lk)
{
	g_assert(lk != NULL);

	/*
	 * Checking whether lk->next and lk->prev are not both NULL is
	 * not sufficient because the list could contain just that item.
	 *
	 * If link is part of some list, then either "prev" is not NULL or
	 * the item is the head of the list.  Symetric reasonning for "next".
	 */

	return
		(lk->prev != NULL || list->head == lk) &&
		(lk->next != NULL || list->tail == lk);
}

/**
 * Initialize embedded list.
 *
 * Assuming items in the list are defined as:
 *
 *     struct item {
 *         <data fields>
 *         link_t lk;
 *     };
 *
 * then the last argument can be given as:
 *
 *     offsetof(struct item, lk)
 *
 * to indicate the place of the node field within the item.
 *
 * @param list		the list structure to initialize
 * @param offset	the offset of the embedded link field within items
 */
void
elist_init(elist_t *list, size_t offset)
{
	g_assert(list != NULL);
	g_assert(size_is_non_negative(offset));

	list->magic = ELIST_MAGIC;
	list->head = NULL;
	list->tail = NULL;
	list->count = 0;
	list->offset = offset;
}

/**
 * Discard list, making the list object invalid.
 *
 * This does not free any of the items, it just discards the list descriptor.
 * The underlying items remain chained though, so retaining a pointer to one
 * of the link_t of one item still allows limited link-level traversal.
 */
void
elist_discard(elist_t *list)
{
	elist_check(list);

	list->magic = 0;
}

/**
 * Clear list, forgetting about all the items
 *
 * This does not free or unlink any of the items, it just empties the list
 * descriptor.
 */
void
elist_clear(elist_t *list)
{
	elist_check(list);

	list->head = list->tail = NULL;
	list->count = 0;
}

/**
 * Free all items in the list, using wfree() on each of them, clearing the list.
 *
 * Each item must be of the same size and have been allocated via walloc().
 * Each item must have been cleared first, so that any internal memory allocated
 * and referenced by the item has been properly released.
 *
 * This is more efficient that looping over all the items, clearing them and
 * then calling wfree() on them because we amortize the wfree() cost over a
 * large amount of objects and need to lock/unlock once only, if any lock is
 * to be taken.
 *
 * @param list		the list to free
 * @param size		the size of each item, passed to wfree()
 */
void
elist_wfree(elist_t *list, size_t size)
{
	eslist_t slist;

	elist_check(list);

	if G_UNLIKELY(0 == list->count)
		return;

	/*
	 * We're creating an eslist_t out of the elist_t.
	 *
	 * This works because we know wfree_eslist() will only follow the next
	 * pointer and the offset of the next pointer is identical in the
	 * link_t and slink_t structures, and the embedded list knows the offset
	 * where the link is stored within each item.
	 */

	STATIC_ASSERT(offsetof(slink_t, next) == offsetof(link_t, next));

	eslist_init(&slist, list->offset);
	slist.head = (slink_t *) list->head;
	slist.tail = (slink_t *) list->tail;	/* Not needed, but be correct */
	slist.count = list->count;				/* Needed for assertions */

	wfree_eslist(&slist, size);
	elist_clear(list);
}

/*
 * Mark link as being removed from the list by clearing its chaining pointers.
 *
 * This is required now that we have assertions for insertion and removal.
 * It is meant to be used in a "foreach_remove()" callback when the item
 * to-be-removed needs to be put in another list before returning TRUE.
 *
 * @note
 * In therory, the list argument is not required here, but we supply it
 * nonetheless for uniformity with the OWLIST_link_mark_removed() routine.
 *
 * @param list 	the list to which the item can be linked
 * @param lk 	the link we wish to clear the chaining pointer from
 */
void
elist_link_mark_removed(const elist_t *list, link_t *lk)
{
	elist_check(list);
	g_assert(lk != NULL);

	/*
	 * We cannot assert:
	 *
	 *	elist_link_in_list(list, lk);
	 *
	 * here because the calling routine may not really know the original
	 * list where the pointer was.
	 *
	 * All it needs to supply is the NEW list to which it would like to
	 * add the link, and of course the link pointer must be identical with
	 * that of the list from which the data used to belong to!
	 */

	lk->next = lk->prev = NULL;
}

/**
 * Mark data as being removed from the list by clearing its chaining pointers.
 *
 * This is required now that we have assertions for insertion and removal.
 * It is meant to be used in a "foreach_remove()" callback when the item
 * to-be-removed needs to be put in another list before returning TRUE.
 *
 * @param list 	the list to which the item can be linked
 * @param data 	the data we wish to clear the chaining pointer from
 */
void
elist_mark_removed(const elist_t *list, void *data)
{
	link_t *lk;

	elist_check(list);
	g_assert(data != NULL);

	lk = ptr_add_offset(data, list->offset);
	elist_link_mark_removed(list, lk);
}


static inline void
elist_link_append_internal(elist_t *list, link_t *lk)
{
	g_assert(!elist_link_in_list(list, lk));

	if G_UNLIKELY(NULL == list->tail) {
		g_assert(NULL == list->head);
		g_assert(0 == list->count);
		list->head = list->tail = lk;
		lk->next = lk->prev = NULL;
	} else {
		g_assert(NULL == list->tail->next);
		g_assert(NULL != list->head);	/* Since list not empty */
		g_assert(size_is_positive(list->count));
		list->tail->next = lk;
		lk->prev = list->tail;
		lk->next = NULL;
		list->tail = lk;
	}

	list->count++;

	safety_assert(elist_length(list->head) == list->count);
}

/**
 * Append new link to the list.
 *
 * This is efficient and does not require a full traversal of the list.
 */
void
elist_link_append(elist_t *list, link_t *lk)
{
	elist_check(list);

	elist_link_append_internal(list, lk);
}

/**
 * Append new item with embedded link to the list.
 *
 * This is efficient and does not require a full traversal of the list.
 */
void
elist_append(elist_t *list, void *data)
{
	link_t *lk;

	elist_check(list);
	g_assert(data != NULL);

	lk = ptr_add_offset(data, list->offset);
	elist_link_append_internal(list, lk);
}

static inline void
elist_link_prepend_internal(elist_t *list, link_t *lk)
{
	g_assert(!elist_link_in_list(list, lk));

	if G_UNLIKELY(NULL == list->head) {
		g_assert(NULL == list->tail);
		g_assert(0 == list->count);
		list->head = list->tail = lk;
		lk->next = lk->prev = NULL;
	} else {
		g_assert(NULL == list->head->prev);
		g_assert(NULL != list->tail);	/* Since list not empty */
		g_assert(size_is_positive(list->count));
		list->head->prev = lk;
		lk->next = list->head;
		lk->prev = NULL;
		list->head = lk;
	}

	list->count++;

	safety_assert(elist_length(list->head) == list->count);
}

/**
 * Prepend link to the list.
 */
void
elist_link_prepend(elist_t *list, link_t *lk)
{
	elist_check(list);

	elist_link_prepend_internal(list, lk);
}

/**
 * Prepend new item with embedded link to the list.
 */
void
elist_prepend(elist_t *list, void *data)
{
	link_t *lk;

	elist_check(list);
	g_assert(data != NULL);

	lk = ptr_add_offset(data, list->offset);
	elist_link_prepend_internal(list, lk);
}

/**
 * Prepend other list to the list.
 *
 * The other list descriptor is cleared, since its items are transferred
 * to the first list.
 *
 * The two lists must be compatible, that is the offset to the link pointer
 * must be identical.
 *
 * @param list		the destination list
 * @param other		the other list to prepend (descriptor will be cleared)
 */
void
elist_prepend_list(elist_t *list, elist_t *other)
{
	elist_check(list);
	elist_check(other);
	g_assert(list->offset == other->offset);

	if G_UNLIKELY(0 == other->count)
		return;

	if G_UNLIKELY(NULL == list->head) {
		g_assert(NULL == list->tail);
		g_assert(0 == list->count);
		list->tail = other->tail;
		list->count = other->count;
	} else {
		g_assert(NULL != other->tail);	/* Since list not empty */
		g_assert(NULL == other->tail->next);
		g_assert(NULL == list->head->prev);
		g_assert(size_is_positive(list->count));
		other->tail->next = list->head;
		list->head->prev = other->tail;
		list->count += other->count;
	}

	list->head = other->head;
	elist_clear(other);

	safety_assert(elist_length(list->head) == list->count);
}

/**
 * Append other list to the list.
 *
 * The other list descriptor is cleared, since its items are transferred
 * to the first list.
 *
 * The two lists must be compatible, that is the offset to the link pointer
 * must be identical.
 *
 * @param list		the destination list
 * @param other		the other list to append (descriptor will be cleared)
 */
void
elist_append_list(elist_t *list, elist_t *other)
{
	elist_check(list);
	elist_check(other);
	g_assert(list->offset == other->offset);

	if G_UNLIKELY(0 == other->count)
		return;

	if G_UNLIKELY(NULL == list->tail) {
		g_assert(NULL == list->head);
		g_assert(0 == list->count);
		list->head = other->head;
		list->count = other->count;
	} else {
		g_assert(NULL == list->tail->next);
		g_assert(NULL != other->head);	/* Since list not empty */
		g_assert(NULL == other->head->prev);
		g_assert(size_is_positive(list->count));
		list->tail->next = other->head;
		other->head->prev = list->tail;
		list->count += other->count;
	}

	list->tail = other->tail;
	elist_clear(other);

	safety_assert(elist_length(list->head) == list->count);
}

static inline void
elist_link_remove_internal(elist_t *list, link_t *lk, bool safe)
{
	g_assert(size_is_positive(list->count));
	g_assert(elist_link_in_list(list, lk));
	elist_invariant(list);

	if G_UNLIKELY(list->head == lk)
		list->head = lk->next;

	if G_UNLIKELY(list->tail == lk)
		list->tail = lk->prev;

	if (lk->prev != NULL) {
		g_assert(!safe || lk->prev->next == lk);
		lk->prev->next = lk->next;
	}
	if (lk->next != NULL) {
		g_assert(!safe || lk->next->prev == lk);
		lk->next->prev = lk->prev;
	}

	lk->next = lk->prev = NULL;
	list->count--;

	safety_assert(elist_invariant(list));
	safety_assert(elist_length(list->head) == list->count);
}

/**
 * Remove link from list.
 *
 * The link must be part of that list.
 */
void
elist_link_remove(elist_t *list, link_t *lk)
{
	elist_check(list);
	g_assert(elist_link_in_list(list, lk));

	elist_link_remove_internal(list, lk, TRUE);
}

/**
 * Remove item with embedded link from list.
 *
 * The item must be part of that list.
 */
void
elist_remove(elist_t *list, void *data)
{
	link_t *lk;

	elist_check(list);
	g_assert(data != NULL);
	safety_assert(elist_contains(list, data));

	lk = ptr_add_offset(data, list->offset);

	elist_link_remove_internal(list, lk, TRUE);
}

static void
elist_link_insert_before_internal(elist_t *list, link_t *siblk, link_t *lk)
{
	g_assert(size_is_positive(list->count));
	g_assert(elist_link_in_list(list, siblk));
	g_assert(!elist_link_in_list(list, lk));
	elist_invariant(list);

	if G_UNLIKELY(list->head == siblk)
		list->head = lk;

	if (siblk->prev != NULL)
		siblk->prev->next = lk;

	lk->prev = siblk->prev;
	lk->next = siblk;
	siblk->prev = lk;

	list->count++;
	safety_assert(elist_invariant(list));
	safety_assert(elist_length(list->head) == list->count);
}

/**
 * Insert link before another one in list.
 *
 * The sibling must already be part of the list, the new link must not.
 * If the sibling is NULL, insertion is made at the tail of the list.
 */
void
elist_link_insert_before(elist_t *list, link_t *sibling_lk, link_t *lk)
{
	elist_check(list);
	g_assert(lk != NULL);

	if (NULL == sibling_lk)
		elist_link_append_internal(list, lk);
	else
		elist_link_insert_before_internal(list, sibling_lk, lk);
}

/**
 * Insert item before another one in list.
 *
 * The sibling item must already be part of the list, the data item must not.
 * If the sibling is NULL, insertion is made at the tail of the list.
 */
void
elist_insert_before(elist_t *list, void *sibling, void *data)
{
	link_t *lk;

	elist_check(list);
	g_assert(data != NULL);

	lk = ptr_add_offset(data, list->offset);
	if (NULL == sibling) {
		elist_link_append_internal(list, lk);
	} else {
		link_t *siblk = ptr_add_offset(sibling, list->offset);
		elist_link_insert_before_internal(list, siblk, lk);
	}
}

static void
elist_link_insert_after_internal(elist_t *list, link_t *siblk, link_t *lk)
{
	g_assert(size_is_positive(list->count));
	g_assert(elist_link_in_list(list, siblk));
	g_assert(!elist_link_in_list(list, lk));
	elist_invariant(list);

	if G_UNLIKELY(list->tail == siblk)
		list->tail = lk;

	if (siblk->next != NULL)
		siblk->next->prev = lk;

	lk->next = siblk->next;
	lk->prev = siblk;
	siblk->next = lk;

	list->count++;
	safety_assert(elist_invariant(list));
	safety_assert(elist_length(list->head) == list->count);
}

/**
 * Insert link after another one in list.
 *
 * The sibling must already be part of the list, the new link must not.
 * If the sibling is NULL, insertion happens at the head of the list.
 */
void
elist_link_insert_after(elist_t *list, link_t *sibling_lk, link_t *lk)
{
	elist_check(list);
	g_assert(lk != NULL);

	if (NULL == sibling_lk)
		elist_link_prepend_internal(list, lk);
	else
		elist_link_insert_after_internal(list, sibling_lk, lk);
}

/**
 * Insert item after another one in list.
 *
 * The sibling item must already be part of the list, the data item must not.
 * If the sibling is NULL, insertion happens at the head of the list.
 */
void
elist_insert_after(elist_t *list, void *sibling, void *data)
{
	link_t *lk;

	elist_check(list);
	g_assert(data != NULL);

	lk = ptr_add_offset(data, list->offset);
	if (NULL == sibling) {
		elist_link_prepend_internal(list, lk);
	} else {
		link_t *siblk = ptr_add_offset(sibling, list->offset);
		elist_link_insert_after_internal(list, siblk, lk);
	}
}

static inline void
elist_link_replace_internal(elist_t *list, link_t *old, link_t *new, bool valid)
{
	elist_invariant(list);
	g_assert(implies(valid,  elist_link_in_list(list, old)));
	g_assert(implies(valid, !elist_link_in_list(list, new)));

	if G_UNLIKELY(list->head == old)
		list->head = new;

	if G_UNLIKELY(list->tail == old)
		list->tail = new;

	if (valid) {
		if (old->prev != NULL)
			old->prev->next = new;
		if (old->next != NULL)
			old->next->prev = new;
	}

	safety_assert(elist_invariant(list));
	safety_assert(elist_length(list->head) == list->count);
}

/**
 * Replace a link in the list with another link not already in the list.
 */
void
elist_link_replace(elist_t *list, link_t *old, link_t *new)
{
	elist_check(list);
	g_assert(old != NULL);
	g_assert(new != NULL);
	g_assert(old != new);

	elist_link_replace_internal(list, old, new, TRUE);

	*new = *old;
	old->next = old->prev = NULL;
}

/**
 * Replace an item in the list with another item not already in the list.
 *
 * The old item is no longer part of the list after the switching and
 * can be safely freed.
 */
void
elist_replace(elist_t *list, void *old, void *new)
{
	link_t *ol, *nl;

	elist_check(list);
	g_assert(old != NULL);
	g_assert(new != NULL);
	g_assert(old != new);

	ol = ptr_add_offset(old, list->offset);
	nl = ptr_add_offset(new, list->offset);

	elist_link_replace_internal(list, ol, nl, TRUE);

	*nl = *ol;
	ol->next = ol->prev = NULL;
}

/**
 * Reverse list.
 */
void
elist_reverse(elist_t *list)
{
	link_t *lk, *next;;

	elist_check(list);

	for (lk = list->head; lk != NULL; lk = next) {
		/* Swap next and prev */
		next = lk->next;
		lk->next = lk->prev;
		lk->prev = next;
	}

	/* Swap head and tail */
	lk = list->head;
	list->head = list->tail;
	list->tail = lk;

	safety_assert(elist_length(list->head) == list->count);
}

/**
 * Find item in list, using supplied comparison callback to compare list
 * items with the key we're looking for.
 *
 * The key is usually a "dummy" structure with enough fields set to allow
 * comparisons to be made.
 *
 * @param list		the list
 * @param key		key item to locate
 * @param cmp		comparison function to use
 *
 * @return the found item, or NULL if not found.
 */
void *
elist_find(const elist_t *list, const void *key, cmp_fn_t cmp)
{
	link_t *lk;

	elist_check(list);
	g_assert(key != NULL);
	g_assert(cmp != NULL);

	for (lk = list->head; lk != NULL; lk = lk->next) {
		void *data = ptr_add_offset(lk, -list->offset);
		if (0 == (*cmp)(data, key))
			return data;
	}

	return NULL;
}

/**
 * Iterate over the list, invoking the callback for every data item.
 *
 * It is safe for the callback to destroy the item, however this corrupts
 * the list which must therefore be discarded upon return.
 *
 * @param list		the list
 * @param cb		function to invoke on all items
 * @param data		opaque user-data to pass to callback
 */
void
elist_foreach(const elist_t *list, data_fn_t cb, void *data)
{
	link_t *lk, *next;

	elist_check(list);
	elist_invariant(list);
	g_return_unless(cb != NULL);
	safety_assert(elist_length(list->head) == list->count);

	for (lk = list->head; lk != NULL; lk = next) {
		void *item = ptr_add_offset(lk, -list->offset);
		next = lk->next;		/* Allow callback to destroy item */
		(*cb)(item, data);
	}

	safety_assert(elist_invariant(list));
	safety_assert(elist_length(list->head) == list->count);
}

/**
 * Iterate over the list, invoking the callback for every data item
 * and removing the current item if it returns TRUE.
 *
 * @param list		the list
 * @param cbr		function to invoke to determine whether to remove item
 * @param data		opaque user-data to pass to callback
 *
 * @return amount of removed items from the list.
 */
size_t
elist_foreach_remove(elist_t *list, data_rm_fn_t cbr, void *data)
{
	link_t *lk, *next;
	size_t removed = 0;

	elist_check(list);
	elist_invariant(list);
	g_return_val_unless(cbr != NULL, 0);
	safety_assert(elist_length(list->head) == list->count);

	for (lk = list->head; lk != NULL; lk = next) {
		void *item = ptr_add_offset(lk, -list->offset);
		link_t itemlk;

		/*
		 * The callback can free the item, so we must copy the link first.
		 * The remove operation can then use that copied link.
		 */

		next = lk->next;
		itemlk = *lk;		/* Struct copy */

		if ((*cbr)(item, data)) {
			/* Tweak the list to replace possibly gone ``lk'' */
			elist_link_replace_internal(list, lk, &itemlk, FALSE);
			elist_link_remove_internal(list, &itemlk, FALSE);
			removed++;
		}
	}

	safety_assert(elist_invariant(list));
	safety_assert(elist_length(list->head) == list->count);

	return removed;
}

/**
 * Run the merge sort algorithm of the sublist, merging back into list.
 *
 * @return the head of the list
 */
static link_t * G_HOT
elist_merge_sort(elist_t *list, link_t *sublist, size_t count,
	cmp_data_fn_t cmp, void *data)
{
	link_t *l1, *l2, *l, *prev;
	size_t n1, i;
	link_t head;

	if (count <= 1) {
		g_assert(0 != count || NULL == sublist);
		g_assert(0 == count || NULL == sublist->next);

		return sublist;		/* Trivially sorted */
	}

	/*
	 * Divide and conquer: split the list into two, sort each part then
	 * merge the two sorted sublists.
	 */

	n1 = count / 2;

	for (i = 1, l1 = sublist; i < n1; l1 = l1->next, i++)
		/* empty */;

	l2 = l1->next;			/* Start of second list */
	l1->next = NULL;		/* End of first list with ``n1'' items */

	l1 = elist_merge_sort(list, sublist, n1, cmp, data);
	l2 = elist_merge_sort(list, l2, count - n1, cmp, data);

	/*
	 * We now have two sorted (one-way) lists: ``l1'' and ``l2''.
	 * Merge them into `list', taking care of updating its tail, since
	 * we return the head.
	 */

	l = &head;
	prev = NULL;

	while (l1 != NULL && l2 != NULL) {
		void *d1 = ptr_add_offset(l1, -list->offset);
		void *d2 = ptr_add_offset(l2, -list->offset);
		int c = (*cmp)(d1, d2, data);

		if (c <= 0) {
			l = l->next = l1;
			l1 = l1->next;
		} else {
			l = l->next = l2;
			l2 = l2->next;
		}
		l->prev = prev;
		prev = l;
	}

	l->next = (NULL == l1) ? l2 : l1;
	l->next->prev = l;

	return head.next;
}

/**
 * Sort list in place using a merge sort.
 */
static void
elist_sort_internal(elist_t *list, cmp_data_fn_t cmp, void *data)
{
	elist_check(list);
	elist_invariant(list);
	g_return_unless(cmp != NULL);

	/*
	 * During merging, we use the list as a one-way list chained through
	 * its next pointers and identified by its head and by its amount of
	 * items (to make sub-splitting faster).
	 *
	 * When we come back from the recursion we merge the two sorted lists
	 * and restore its two-way nature, updating the head/tail pointers.
	 */

	list->head = elist_merge_sort(list, list->head, list->count, cmp, data);
	list->tail = elist_last_link(list->head);

	safety_assert(elist_invariant(list));
	safety_assert(elist_length(list->head) == list->count);
}

/**
 * Sort list according to the comparison function, which takes two items
 * plus an additional opaque argument, meant to be used as context to sort
 * the two items.
 *
 * @param list	the list to sort
 * @param cmp	comparison routine to use (for two items)
 * @param data	additional argument to supply to comparison routine
 */
void
elist_sort_with_data(elist_t *list, cmp_data_fn_t cmp, void *data)
{
	elist_sort_internal(list, cmp, data);
}

/**
 * Sort list according to the comparison function, which compares items.
 *
 * @param list	the list to sort
 * @param cmp	comparison routine to use (for two items)
 */
void
elist_sort(elist_t *list, cmp_fn_t cmp)
{
	elist_sort_internal(list, (cmp_data_fn_t) cmp, NULL);
}

/**
 * Insert item in sorted list at the proper position.
 *
 * @param list	the list into which we insert
 * @param item	the item to insert
 * @param cmp	comparison routine to use (for two items) with extra data
 * @param data	user-supplied data for the comparison routine
 */
static void
elist_insert_sorted_internal(elist_t *list, void *item,
	cmp_data_fn_t cmp, void *data)
{
	link_t *lk, *ln;

	elist_check(list);
	elist_invariant(list);
	g_assert(item != NULL);
	g_assert(cmp != NULL);

	ln = ptr_add_offset(item, list->offset);

	for (lk = list->head; lk != NULL; lk = lk->next) {
		void *p = ptr_add_offset(lk, -list->offset);
		if ((*cmp)(item, p, data) <= 0)
			break;
	}

	if (NULL == lk) {
		elist_link_append_internal(list, ln);
	} else {
		elist_link_insert_before_internal(list, lk, ln);
	}

	safety_assert(elist_length(list->head) == list->count);
}

/**
 * Insert item in sorted list at the proper position, as determined by
 * the item comparison routine, in order to keep the whole list sorted
 * after insertion, using the same comparison criteria.
 *
 * The comparison routine takes an extra user-defined context, to assist
 * in the item comparison.
 *
 * @param list	the list into which we insert
 * @param item	the item to insert
 * @param cmp	comparison routine to use (for two items) with extra data
 * @param data	user-supplied data for the comparison routine
 */
void
elist_insert_sorted_with_data(elist_t *list, void *item,
	cmp_data_fn_t cmp, void *data)
{
	elist_insert_sorted_internal(list, item, cmp, data);
}

/**
 * Insert item in sorted list at the proper position, as determined by
 * the item comparison routine, in order to keep the whole list sorted
 * after insertion, using the same comparison criteria.
 *
 * @param list	the list into which we insert
 * @param item	the item to insert
 * @param cmp	comparison routine to use (for two items)
 */
void
elist_insert_sorted(elist_t *list, void *item, cmp_fn_t cmp)
{
	elist_insert_sorted_internal(list, item, (cmp_data_fn_t) cmp, NULL);
}

/**
 * Get the n-th item in the list (0-based index).
 *
 * A negative index gets items from the tail of the list, i.e. -1 gets the
 * last item, -2 the penultimate one, -3 the antepenultimate one, etc...
 *
 * @param list	the list
 * @param n		the n-th item index to retrieve (0 = first item)
 *
 * @return the n-th item, NULL if the position is off the end of the list.
 */
void *
elist_nth(const elist_t *list, long n)
{
	size_t i = n;
	link_t *lk;

	elist_check(list);

	if (n < 0)
		i = list->count + n;

	if (i >= list->count)
		return NULL;

	/*
	 * Select from the head if index is before the middle of the list,
	 * otherwise start from the tail.
	 */

	if (i < list->count / 2) {
		for (lk = list->head; lk != NULL; lk = lk->next) {
			if (0 == i--)
				return ptr_add_offset(lk, -list->offset);
		}
	} else {
		i = list->count - i - 1;	/* 0-based index from tail */

		for (lk = list->tail; lk != NULL; lk = lk->prev) {
			if (0 == i--)
				return ptr_add_offset(lk, -list->offset);
		}
	}

	g_assert_not_reached();		/* Item must have been selected above */
}

/**
 * Given a link, return the item associated with the nth link that follows it,
 * or NULL if there is nothing.  The 0th item is the data associated with
 * the given link.
 *
 * @param list	the list
 * @param lk	the starting link, which must be part of the list
 * @param n		how mnay items to move forward starting from the link
 *
 * @return item at the nth position following the link, NULL if none.
 */
void *
elist_nth_next_data(const elist_t *list, const link_t *lk, size_t n)
{
	link_t *l;

	elist_check(list);
	g_assert(lk != NULL);
	g_assert(size_is_non_negative(n));

	l = elist_nth_next(lk, n);
	return NULL == l ? NULL : ptr_add_offset(l, -list->offset);
}

/**
 * Given a link, return the item associated with the nth link that precedes it,
 * or NULL if there is nothing.  The 0th item is the data associated with
 * the given link.
 *
 * @param list	the list
 * @param lk	the starting link, which must be part of the list
 * @param n		how mnay items to move backwards starting from the link
 *
 * @return item at the nth position preceding the link, NULL if none.
 */
void *
elist_nth_prev_data(const elist_t *list, const link_t *lk, size_t n)
{
	link_t *l;

	elist_check(list);
	g_assert(lk != NULL);
	g_assert(size_is_non_negative(n));

	l = elist_nth_prev(lk, n);
	return NULL == l ? NULL : ptr_add_offset(l, -list->offset);
}

/**
 * Pick random item in list.
 *
 * @return pointer to the selected item, NULL if list is empty.
 */
void *
elist_random(const elist_t *list)
{
	elist_check(list);
	g_assert(list->count <= MAX_INT_VAL(long));

	if G_UNLIKELY(0 == list->count)
		return NULL;

	return elist_nth(list, random_ulong_value(list->count - 1));
}

/**
 * Randomly shuffle the items in the list using supplied random function.
 *
 * @param rf	the random function to use (NULL means: use defaults)
 * @param list	the list to shuffle
 */
void
elist_shuffle_with(random_fn_t rf, elist_t *list)
{
	link_t *lk;
	link_t **array;
	size_t i;

	elist_check(list);
	elist_invariant(list);

	if G_UNLIKELY(list->count <= 1U)
		return;

	/*
	 * To ensure O(n) shuffling, build an array containing all the items,
	 * shuffle that array then recreate the list according to the shuffled
	 * array.
	 */

	XMALLOC_ARRAY(array, list->count);

	for (i = 0, lk = list->head; lk != NULL; i++, lk = lk->next) {
		array[i] = lk;
	}

	shuffle_with(rf, array, list->count, sizeof array[0]);

	/*
	 * Rebuild the list.
	 */

	list->head = array[0];
	list->tail = array[list->count - 1];

	lk = list->head;
	lk->prev = NULL;

	for (i = 1; i < list->count; i++) {
		link_t *ln = array[i];

		lk->next = ln;
		ln->prev = lk;
		lk = ln;
	}

	lk->next = NULL;
	xfree(array);

	safety_assert(elist_invariant(list));
	safety_assert(elist_length(list->head) == list->count);
}

/**
 * Randomly shuffle the items in the list.
 */
void
elist_shuffle(elist_t *list)
{
	elist_shuffle_with(NULL, list);
}

/**
 * Rotate list by one item to the left.
 *
 * The head is inserted back at the tail.
 */
void
elist_rotate_left(elist_t *list)
{
	link_t *lk;

	elist_check(list);

	if G_UNLIKELY(list->count <= 1U)
		return;

	lk = list->head;
	elist_link_remove_internal(list, lk, TRUE);
	elist_link_append_internal(list, lk);

	safety_assert(elist_invariant(list));
	safety_assert(elist_length(list->head) == list->count);
}

/**
 * Rotate list by one item to the right.
 *
 * The tail is inserted back at the head.
 */
void
elist_rotate_right(elist_t *list)
{
	link_t *lk;

	elist_check(list);

	if G_UNLIKELY(list->count <= 1U)
		return;

	lk = list->tail;
	elist_link_remove_internal(list, lk, TRUE);
	elist_link_prepend_internal(list, lk);

	safety_assert(elist_invariant(list));
	safety_assert(elist_length(list->head) == list->count);
}

/**
 * Move entry to the head of the list.
 */
void
elist_moveto_head(elist_t *list, void *data)
{
	link_t *lk;

	elist_check(list);
	g_assert(data != NULL);
	g_assert(size_is_positive(list->count));

	lk = ptr_add_offset(data, list->offset);

	if (list->head != lk) {
		elist_link_remove_internal(list, lk, TRUE);
		elist_link_prepend_internal(list, lk);
	}

	safety_assert(elist_invariant(list));
}

/**
 * Move entry to the tail of the list.
 */
void
elist_moveto_tail(elist_t *list, void *data)
{
	link_t *lk;

	elist_check(list);
	g_assert(data != NULL);
	g_assert(size_is_positive(list->count));

	lk = ptr_add_offset(data, list->offset);

	if (list->tail != lk) {
		elist_link_remove_internal(list, lk, TRUE);
		elist_link_append_internal(list, lk);
	}

	safety_assert(elist_invariant(list));
}

/**
 * Remove head of list, return pointer to item, NULL if list was empty.
 */
void *
elist_shift(elist_t *list)
{
	void *item;

	elist_check(list);

	if (NULL == list->head) {
		item = NULL;
	} else {
		item = ptr_add_offset(list->head, -list->offset);
		elist_link_remove_internal(list, list->head, TRUE);
	}

	return item;
}

/**
 * Remove tail of list, return pointer to item, NULL if list was empty.
 */
void *
elist_pop(elist_t *list)
{
	void *item;

	elist_check(list);

	if (NULL == list->tail) {
		item = NULL;
	} else {
		item = ptr_add_offset(list->tail, -list->offset);
		elist_link_remove_internal(list, list->tail, TRUE);
	}

	return item;
 }

/* vi: set ts=4 sw=4 cindent: */
