Files
glibc/stdlib/qsort.c
T

252 lines
8.4 KiB
C
Raw Normal View History

1999-10-28 21:38:59 +00:00
/* Copyright (C) 1991, 1992, 1996, 1997, 1999 Free Software Foundation, Inc.
1996-12-20 01:39:50 +00:00
This file is part of the GNU C Library.
Written by Douglas C. Schmidt (schmidt@ics.uci.edu).
1995-02-18 01:27:10 +00:00
1996-12-20 01:39:50 +00:00
The GNU C Library is free software; you can redistribute it and/or
modify it under the terms of the GNU Library General Public License as
published by the Free Software Foundation; either version 2 of the
License, or (at your option) any later version.
1995-02-18 01:27:10 +00:00
1996-12-20 01:39:50 +00:00
The GNU C Library 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
Library General Public License for more details.
1995-02-18 01:27:10 +00:00
1996-12-20 01:39:50 +00:00
You should have received a copy of the GNU Library General Public
License along with the GNU C Library; see the file COPYING.LIB. If not,
write to the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
Boston, MA 02111-1307, USA. */
1995-02-18 01:27:10 +00:00
1999-10-28 21:38:59 +00:00
/* If you consider tuning this algorithm, you should consult first:
Engineering a sort function; Jon Bentley and M. Douglas McIlroy;
Software - Practice and Experience; Vol. 23 (11), 1249-1265, 1993. */
#include <alloca.h>
#include <limits.h>
1995-02-18 01:27:10 +00:00
#include <stdlib.h>
#include <string.h>
/* Byte-wise swap two items of size SIZE. */
#define SWAP(a, b, size) \
do \
{ \
register size_t __size = (size); \
register char *__a = (a), *__b = (b); \
do \
{ \
char __tmp = *__a; \
*__a++ = *__b; \
*__b++ = __tmp; \
} while (--__size > 0); \
} while (0)
/* Discontinue quicksort algorithm when partition gets below this size.
This particular magic number was chosen to work best on a Sun 4/260. */
#define MAX_THRESH 4
/* Stack node declarations used to store unfulfilled partition obligations. */
1996-12-20 01:39:50 +00:00
typedef struct
1995-02-18 01:27:10 +00:00
{
char *lo;
char *hi;
} stack_node;
/* The next 4 #defines implement a very fast in-line stack abstraction. */
1999-10-28 21:38:59 +00:00
/* The stack needs log (total_elements) entries (we could even subtract
log(MAX_THRESH)). Since total_elements has type size_t, we get as
upper bound for log (total_elements):
bits per byte (CHAR_BIT) * sizeof(size_t). */
#define STACK_SIZE (CHAR_BIT * sizeof(size_t))
1995-02-18 01:27:10 +00:00
#define PUSH(low, high) ((void) ((top->lo = (low)), (top->hi = (high)), ++top))
#define POP(low, high) ((void) (--top, (low = top->lo), (high = top->hi)))
1996-12-20 01:39:50 +00:00
#define STACK_NOT_EMPTY (stack < top)
1995-02-18 01:27:10 +00:00
/* Order size using quicksort. This implementation incorporates
four optimizations discussed in Sedgewick:
1996-12-20 01:39:50 +00:00
1. Non-recursive, using an explicit stack of pointer that store the
next array partition to sort. To save time, this maximum amount
1999-10-28 21:38:59 +00:00
of space required to store an array of SIZE_MAX is allocated on the
stack. Assuming a 32-bit (64 bit) integer for size_t, this needs
only 32 * sizeof(stack_node) == 256 bytes (for 64 bit: 1024 bytes).
Pretty cheap, actually.
1995-02-18 01:27:10 +00:00
2. Chose the pivot element using a median-of-three decision tree.
1996-12-20 01:39:50 +00:00
This reduces the probability of selecting a bad pivot value and
1995-02-18 01:27:10 +00:00
eliminates certain extraneous comparisons.
3. Only quicksorts TOTAL_ELEMS / MAX_THRESH partitions, leaving
1996-12-20 01:39:50 +00:00
insertion sort to order the MAX_THRESH items within each partition.
1995-02-18 01:27:10 +00:00
This is a big win, since insertion sort is faster for small, mostly
1996-12-20 01:39:50 +00:00
sorted array segments.
1995-02-18 01:27:10 +00:00
4. The larger of the two sub-partitions is always pushed onto the
stack first, with the algorithm then concentrating on the
1999-10-28 21:38:59 +00:00
smaller partition. This *guarantees* no more than log (total_elems)
1995-02-18 01:27:10 +00:00
stack size is needed (actually O(1) in this case)! */
void
1999-10-28 21:38:59 +00:00
_quicksort (void *const pbase, size_t total_elems, size_t size,
__compar_fn_t cmp)
1995-02-18 01:27:10 +00:00
{
register char *base_ptr = (char *) pbase;
/* Allocating SIZE bytes for a pivot buffer facilitates a better
algorithm below since we can do comparisons directly on the pivot. */
char *pivot_buffer = (char *) __alloca (size);
1997-02-10 03:19:57 +00:00
const size_t max_thresh = MAX_THRESH * size;
1995-02-18 01:27:10 +00:00
if (total_elems == 0)
/* Avoid lossage with unsigned arithmetic below. */
return;
if (total_elems > MAX_THRESH)
{
char *lo = base_ptr;
char *hi = &lo[size * (total_elems - 1)];
stack_node stack[STACK_SIZE];
stack_node *top = stack + 1;
while (STACK_NOT_EMPTY)
{
char *left_ptr;
char *right_ptr;
char *pivot = pivot_buffer;
/* Select median value from among LO, MID, and HI. Rearrange
1996-12-20 01:39:50 +00:00
LO and HI so the three values are sorted. This lowers the
probability of picking a pathological pivot value and
1999-10-28 21:38:59 +00:00
skips a comparison for both the LEFT_PTR and RIGHT_PTR in
the while loops. */
1995-02-18 01:27:10 +00:00
char *mid = lo + size * ((hi - lo) / size >> 1);
1997-02-10 03:19:57 +00:00
if ((*cmp) ((void *) mid, (void *) lo) < 0)
SWAP (mid, lo, size);
if ((*cmp) ((void *) hi, (void *) mid) < 0)
SWAP (mid, hi, size);
1996-12-20 01:39:50 +00:00
else
1995-02-18 01:27:10 +00:00
goto jump_over;
1997-02-10 03:19:57 +00:00
if ((*cmp) ((void *) mid, (void *) lo) < 0)
SWAP (mid, lo, size);
1995-02-18 01:27:10 +00:00
jump_over:;
1997-02-10 03:19:57 +00:00
memcpy (pivot, mid, size);
1995-02-18 01:27:10 +00:00
pivot = pivot_buffer;
left_ptr = lo + size;
1996-12-20 01:39:50 +00:00
right_ptr = hi - size;
1995-02-18 01:27:10 +00:00
1996-12-20 01:39:50 +00:00
/* Here's the famous ``collapse the walls'' section of quicksort.
Gotta like those tight inner loops! They are the main reason
1995-02-18 01:27:10 +00:00
that this algorithm runs much faster than others. */
1996-12-20 01:39:50 +00:00
do
1995-02-18 01:27:10 +00:00
{
1997-02-10 03:19:57 +00:00
while ((*cmp) ((void *) left_ptr, (void *) pivot) < 0)
1995-02-18 01:27:10 +00:00
left_ptr += size;
1997-02-10 03:19:57 +00:00
while ((*cmp) ((void *) pivot, (void *) right_ptr) < 0)
1995-02-18 01:27:10 +00:00
right_ptr -= size;
1996-12-20 01:39:50 +00:00
if (left_ptr < right_ptr)
1995-02-18 01:27:10 +00:00
{
1997-02-10 03:19:57 +00:00
SWAP (left_ptr, right_ptr, size);
1995-02-18 01:27:10 +00:00
left_ptr += size;
right_ptr -= size;
}
1996-12-20 01:39:50 +00:00
else if (left_ptr == right_ptr)
1995-02-18 01:27:10 +00:00
{
left_ptr += size;
right_ptr -= size;
break;
}
1996-12-20 01:39:50 +00:00
}
1995-02-18 01:27:10 +00:00
while (left_ptr <= right_ptr);
/* Set up pointers for next iteration. First determine whether
1996-12-20 01:39:50 +00:00
left and right partitions are below the threshold size. If so,
1995-02-18 01:27:10 +00:00
ignore one or both. Otherwise, push the larger partition's
bounds on the stack and continue sorting the smaller one. */
if ((size_t) (right_ptr - lo) <= max_thresh)
{
if ((size_t) (hi - left_ptr) <= max_thresh)
/* Ignore both small partitions. */
1997-02-10 03:19:57 +00:00
POP (lo, hi);
1995-02-18 01:27:10 +00:00
else
1996-12-20 01:39:50 +00:00
/* Ignore small left partition. */
1995-02-18 01:27:10 +00:00
lo = left_ptr;
}
else if ((size_t) (hi - left_ptr) <= max_thresh)
/* Ignore small right partition. */
hi = right_ptr;
else if ((right_ptr - lo) > (hi - left_ptr))
1996-12-20 01:39:50 +00:00
{
1995-02-18 01:27:10 +00:00
/* Push larger left partition indices. */
1997-02-10 03:19:57 +00:00
PUSH (lo, right_ptr);
1995-02-18 01:27:10 +00:00
lo = left_ptr;
}
else
1996-12-20 01:39:50 +00:00
{
1995-02-18 01:27:10 +00:00
/* Push larger right partition indices. */
1997-02-10 03:19:57 +00:00
PUSH (left_ptr, hi);
1995-02-18 01:27:10 +00:00
hi = right_ptr;
}
}
}
/* Once the BASE_PTR array is partially sorted by quicksort the rest
1996-12-20 01:39:50 +00:00
is completely sorted using insertion sort, since this is efficient
for partitions below MAX_THRESH size. BASE_PTR points to the beginning
1995-02-18 01:27:10 +00:00
of the array to sort, and END_PTR points at the very last element in
the array (*not* one beyond it!). */
#define min(x, y) ((x) < (y) ? (x) : (y))
{
1997-02-10 03:19:57 +00:00
char *const end_ptr = &base_ptr[size * (total_elems - 1)];
1995-02-18 01:27:10 +00:00
char *tmp_ptr = base_ptr;
char *thresh = min(end_ptr, base_ptr + max_thresh);
register char *run_ptr;
/* Find smallest element in first threshold and place it at the
array's beginning. This is the smallest array element,
and the operation speeds up insertion sort's inner loop. */
for (run_ptr = tmp_ptr + size; run_ptr <= thresh; run_ptr += size)
1997-02-10 03:19:57 +00:00
if ((*cmp) ((void *) run_ptr, (void *) tmp_ptr) < 0)
1995-02-18 01:27:10 +00:00
tmp_ptr = run_ptr;
if (tmp_ptr != base_ptr)
1997-02-10 03:19:57 +00:00
SWAP (tmp_ptr, base_ptr, size);
1995-02-18 01:27:10 +00:00
/* Insertion sort, running from left-hand-side up to right-hand-side. */
run_ptr = base_ptr + size;
while ((run_ptr += size) <= end_ptr)
{
tmp_ptr = run_ptr - size;
1997-02-10 03:19:57 +00:00
while ((*cmp) ((void *) run_ptr, (void *) tmp_ptr) < 0)
1995-02-18 01:27:10 +00:00
tmp_ptr -= size;
tmp_ptr += size;
if (tmp_ptr != run_ptr)
{
char *trav;
trav = run_ptr + size;
while (--trav >= run_ptr)
{
char c = *trav;
char *hi, *lo;
for (hi = lo = trav; (lo -= size) >= tmp_ptr; hi = lo)
*hi = *lo;
*hi = c;
}
}
}
}
}