Home | History | Annotate | Line # | Download | only in stdlib
radixsort.c revision 1.16.30.1
      1  1.16.30.1       jym /*	$NetBSD: radixsort.c,v 1.16.30.1 2009/05/13 19:18:27 jym Exp $	*/
      2        1.6   thorpej 
      3        1.1       cgd /*-
      4        1.4   mycroft  * Copyright (c) 1990, 1993
      5        1.4   mycroft  *	The Regents of the University of California.  All rights reserved.
      6        1.4   mycroft  *
      7        1.4   mycroft  * This code is derived from software contributed to Berkeley by
      8        1.4   mycroft  * Peter McIlroy and by Dan Bernstein at New York University,
      9        1.1       cgd  *
     10        1.1       cgd  * Redistribution and use in source and binary forms, with or without
     11        1.1       cgd  * modification, are permitted provided that the following conditions
     12        1.1       cgd  * are met:
     13        1.1       cgd  * 1. Redistributions of source code must retain the above copyright
     14        1.1       cgd  *    notice, this list of conditions and the following disclaimer.
     15        1.1       cgd  * 2. Redistributions in binary form must reproduce the above copyright
     16        1.1       cgd  *    notice, this list of conditions and the following disclaimer in the
     17        1.1       cgd  *    documentation and/or other materials provided with the distribution.
     18       1.15       agc  * 3. Neither the name of the University nor the names of its contributors
     19        1.1       cgd  *    may be used to endorse or promote products derived from this software
     20        1.1       cgd  *    without specific prior written permission.
     21        1.1       cgd  *
     22        1.1       cgd  * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
     23        1.1       cgd  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
     24        1.1       cgd  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
     25        1.1       cgd  * ARE DISCLAIMED.  IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
     26        1.1       cgd  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
     27        1.1       cgd  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
     28        1.1       cgd  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
     29        1.1       cgd  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
     30        1.1       cgd  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
     31        1.1       cgd  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
     32        1.1       cgd  * SUCH DAMAGE.
     33        1.1       cgd  */
     34        1.1       cgd 
     35        1.8  christos #include <sys/cdefs.h>
     36        1.1       cgd #if defined(LIBC_SCCS) && !defined(lint)
     37        1.6   thorpej #if 0
     38       1.10     perry static char sccsid[] = "@(#)radixsort.c	8.2 (Berkeley) 4/28/95";
     39        1.6   thorpej #else
     40  1.16.30.1       jym __RCSID("$NetBSD: radixsort.c,v 1.16.30.1 2009/05/13 19:18:27 jym Exp $");
     41        1.6   thorpej #endif
     42        1.1       cgd #endif /* LIBC_SCCS and not lint */
     43        1.1       cgd 
     44        1.4   mycroft /*
     45        1.4   mycroft  * Radixsort routines.
     46        1.4   mycroft  *
     47        1.4   mycroft  * Program r_sort_a() is unstable but uses O(logN) extra memory for a stack.
     48        1.4   mycroft  * Use radixsort(a, n, trace, endchar) for this case.
     49        1.4   mycroft  *
     50        1.4   mycroft  * For stable sorting (using N extra pointers) use sradixsort(), which calls
     51        1.4   mycroft  * r_sort_b().
     52        1.4   mycroft  *
     53        1.4   mycroft  * For a description of this code, see D. McIlroy, P. McIlroy, K. Bostic,
     54        1.4   mycroft  * "Engineering Radix Sort".
     55        1.4   mycroft  */
     56        1.4   mycroft 
     57        1.9       jtc #include "namespace.h"
     58        1.1       cgd #include <sys/types.h>
     59       1.12     lukem 
     60       1.12     lukem #include <assert.h>
     61       1.12     lukem #include <errno.h>
     62        1.1       cgd #include <stdlib.h>
     63        1.9       jtc 
     64        1.9       jtc #ifdef __weak_alias
     65       1.14   mycroft __weak_alias(radixsort,_radixsort)
     66       1.14   mycroft __weak_alias(sradixsort,_sradixsort)
     67        1.9       jtc #endif
     68        1.1       cgd 
     69        1.4   mycroft typedef struct {
     70        1.4   mycroft 	const u_char **sa;
     71        1.4   mycroft 	int sn, si;
     72        1.4   mycroft } stack;
     73        1.4   mycroft 
     74       1.16     perry static inline void simplesort
     75        1.4   mycroft 	    __P((const u_char **, int, int, const u_char *, u_int));
     76        1.4   mycroft static void r_sort_a __P((const u_char **, int, int, const u_char *, u_int));
     77        1.4   mycroft static void r_sort_b __P((const u_char **,
     78        1.4   mycroft 	    const u_char **, int, int, const u_char *, u_int));
     79        1.4   mycroft 
     80        1.4   mycroft #define	THRESHOLD	20		/* Divert to simplesort(). */
     81        1.4   mycroft #define	SIZE		512		/* Default stack size. */
     82        1.4   mycroft 
     83        1.4   mycroft #define SETUP {								\
     84        1.4   mycroft 	if (tab == NULL) {						\
     85        1.4   mycroft 		tr = tr0;						\
     86        1.4   mycroft 		for (c = 0; c < endch; c++)				\
     87        1.4   mycroft 			tr0[c] = c + 1;					\
     88        1.4   mycroft 		tr0[c] = 0;						\
     89        1.4   mycroft 		for (c++; c < 256; c++)					\
     90        1.4   mycroft 			tr0[c] = c;					\
     91        1.4   mycroft 		endch = 0;						\
     92        1.4   mycroft 	} else {							\
     93        1.4   mycroft 		endch = tab[endch];					\
     94        1.4   mycroft 		tr = tab;						\
     95        1.4   mycroft 		if (endch != 0 && endch != 255) {			\
     96        1.4   mycroft 			errno = EINVAL;					\
     97        1.4   mycroft 			return (-1);					\
     98        1.4   mycroft 		}							\
     99        1.4   mycroft 	}								\
    100        1.4   mycroft }
    101        1.1       cgd 
    102        1.4   mycroft int
    103        1.4   mycroft radixsort(a, n, tab, endch)
    104        1.4   mycroft 	const u_char **a, *tab;
    105        1.4   mycroft 	int n;
    106        1.4   mycroft 	u_int endch;
    107        1.4   mycroft {
    108        1.4   mycroft 	const u_char *tr;
    109  1.16.30.1       jym 	u_int c;
    110        1.4   mycroft 	u_char tr0[256];
    111        1.4   mycroft 
    112       1.12     lukem 	_DIAGASSERT(a != NULL);
    113       1.12     lukem 	_DIAGASSERT(tab != NULL);
    114       1.12     lukem 
    115        1.4   mycroft 	SETUP;
    116        1.4   mycroft 	r_sort_a(a, n, 0, tr, endch);
    117        1.4   mycroft 	return (0);
    118        1.1       cgd }
    119        1.1       cgd 
    120        1.1       cgd int
    121        1.4   mycroft sradixsort(a, n, tab, endch)
    122        1.4   mycroft 	const u_char **a, *tab;
    123        1.4   mycroft 	int n;
    124        1.4   mycroft 	u_int endch;
    125        1.1       cgd {
    126        1.4   mycroft 	const u_char *tr, **ta;
    127  1.16.30.1       jym 	u_int c;
    128        1.4   mycroft 	u_char tr0[256];
    129        1.4   mycroft 
    130       1.12     lukem 	_DIAGASSERT(a != NULL);
    131       1.12     lukem 	_DIAGASSERT(tab != NULL);
    132       1.12     lukem 	if (a == NULL || tab == NULL) {
    133       1.12     lukem 		errno = EFAULT;
    134       1.12     lukem 		return (-1);
    135       1.12     lukem 	}
    136       1.12     lukem 
    137        1.4   mycroft 	SETUP;
    138        1.4   mycroft 	if (n < THRESHOLD)
    139        1.4   mycroft 		simplesort(a, n, 0, tr, endch);
    140        1.1       cgd 	else {
    141        1.4   mycroft 		if ((ta = malloc(n * sizeof(a))) == NULL)
    142        1.4   mycroft 			return (-1);
    143        1.4   mycroft 		r_sort_b(a, ta, n, 0, tr, endch);
    144        1.4   mycroft 		free(ta);
    145        1.1       cgd 	}
    146        1.4   mycroft 	return (0);
    147        1.4   mycroft }
    148        1.1       cgd 
    149        1.4   mycroft #define empty(s)	(s >= sp)
    150        1.4   mycroft #define pop(a, n, i)	a = (--sp)->sa, n = sp->sn, i = sp->si
    151        1.4   mycroft #define push(a, n, i)	sp->sa = a, sp->sn = n, (sp++)->si = i
    152        1.4   mycroft #define swap(a, b, t)	t = a, a = b, b = t
    153        1.4   mycroft 
    154        1.4   mycroft /* Unstable, in-place sort. */
    155       1.10     perry static void
    156        1.4   mycroft r_sort_a(a, n, i, tr, endch)
    157        1.4   mycroft 	const u_char **a;
    158        1.4   mycroft 	int n, i;
    159        1.4   mycroft 	const u_char *tr;
    160        1.4   mycroft 	u_int endch;
    161        1.4   mycroft {
    162  1.16.30.1       jym 	static u_int count[256], nc, bmin;
    163  1.16.30.1       jym 	u_int c;
    164       1.11     perry 	const u_char **ak, *r;
    165        1.4   mycroft 	stack s[SIZE], *sp, *sp0, *sp1, temp;
    166  1.16.30.1       jym 	u_int *cp, bigc;
    167        1.4   mycroft 	const u_char **an, *t, **aj, **top[256];
    168        1.4   mycroft 
    169       1.12     lukem 	_DIAGASSERT(a != NULL);
    170       1.12     lukem 	_DIAGASSERT(tr != NULL);
    171       1.12     lukem 
    172        1.4   mycroft 	/* Set up stack. */
    173        1.4   mycroft 	sp = s;
    174        1.4   mycroft 	push(a, n, i);
    175        1.4   mycroft 	while (!empty(s)) {
    176        1.4   mycroft 		pop(a, n, i);
    177        1.4   mycroft 		if (n < THRESHOLD) {
    178        1.4   mycroft 			simplesort(a, n, i, tr, endch);
    179        1.4   mycroft 			continue;
    180        1.4   mycroft 		}
    181        1.4   mycroft 		an = a + n;
    182        1.1       cgd 
    183        1.4   mycroft 		/* Make character histogram. */
    184        1.4   mycroft 		if (nc == 0) {
    185        1.4   mycroft 			bmin = 255;	/* First occupied bin, excluding eos. */
    186        1.4   mycroft 			for (ak = a; ak < an;) {
    187        1.4   mycroft 				c = tr[(*ak++)[i]];
    188        1.4   mycroft 				if (++count[c] == 1 && c != endch) {
    189        1.4   mycroft 					if (c < bmin)
    190        1.4   mycroft 						bmin = c;
    191        1.4   mycroft 					nc++;
    192        1.4   mycroft 				}
    193        1.4   mycroft 			}
    194        1.4   mycroft 			if (sp + nc > s + SIZE) {	/* Get more stack. */
    195        1.4   mycroft 				r_sort_a(a, n, i, tr, endch);
    196        1.4   mycroft 				continue;
    197        1.4   mycroft 			}
    198        1.4   mycroft 		}
    199        1.1       cgd 
    200        1.1       cgd 		/*
    201        1.4   mycroft 		 * Set top[]; push incompletely sorted bins onto stack.
    202        1.4   mycroft 		 * top[] = pointers to last out-of-place element in bins.
    203        1.4   mycroft 		 * count[] = counts of elements in bins.
    204        1.4   mycroft 		 * Before permuting: top[c-1] + count[c] = top[c];
    205        1.4   mycroft 		 * during deal: top[c] counts down to top[c-1].
    206        1.1       cgd 		 */
    207        1.4   mycroft 		sp0 = sp1 = sp;		/* Stack position of biggest bin. */
    208        1.4   mycroft 		bigc = 2;		/* Size of biggest bin. */
    209        1.4   mycroft 		if (endch == 0)		/* Special case: set top[eos]. */
    210        1.4   mycroft 			top[0] = ak = a + count[0];
    211        1.4   mycroft 		else {
    212        1.4   mycroft 			ak = a;
    213        1.4   mycroft 			top[255] = an;
    214        1.4   mycroft 		}
    215        1.4   mycroft 		for (cp = count + bmin; nc > 0; cp++) {
    216        1.4   mycroft 			while (*cp == 0)	/* Find next non-empty pile. */
    217        1.4   mycroft 				cp++;
    218        1.4   mycroft 			if (*cp > 1) {
    219        1.4   mycroft 				if (*cp > bigc) {
    220        1.4   mycroft 					bigc = *cp;
    221        1.4   mycroft 					sp1 = sp;
    222        1.4   mycroft 				}
    223        1.4   mycroft 				push(ak, *cp, i+1);
    224        1.1       cgd 			}
    225        1.4   mycroft 			top[cp-count] = ak += *cp;
    226        1.4   mycroft 			nc--;
    227        1.1       cgd 		}
    228        1.4   mycroft 		swap(*sp0, *sp1, temp);	/* Play it safe -- biggest bin last. */
    229        1.1       cgd 
    230        1.1       cgd 		/*
    231        1.4   mycroft 		 * Permute misplacements home.  Already home: everything
    232        1.4   mycroft 		 * before aj, and in bin[c], items from top[c] on.
    233        1.4   mycroft 		 * Inner loop:
    234        1.4   mycroft 		 *	r = next element to put in place;
    235        1.4   mycroft 		 *	ak = top[r[i]] = location to put the next element.
    236        1.4   mycroft 		 *	aj = bottom of 1st disordered bin.
    237        1.4   mycroft 		 * Outer loop:
    238        1.4   mycroft 		 *	Once the 1st disordered bin is done, ie. aj >= ak,
    239        1.4   mycroft 		 *	aj<-aj + count[c] connects the bins in a linked list;
    240        1.4   mycroft 		 *	reset count[c].
    241        1.1       cgd 		 */
    242        1.4   mycroft 		for (aj = a; aj < an;  *aj = r, aj += count[c], count[c] = 0)
    243        1.4   mycroft 			for (r = *aj;  aj < (ak = --top[c = tr[r[i]]]);)
    244        1.4   mycroft 				swap(*ak, r, t);
    245        1.4   mycroft 	}
    246        1.4   mycroft }
    247        1.4   mycroft 
    248        1.4   mycroft /* Stable sort, requiring additional memory. */
    249       1.10     perry static void
    250        1.4   mycroft r_sort_b(a, ta, n, i, tr, endch)
    251        1.4   mycroft 	const u_char **a, **ta;
    252        1.4   mycroft 	int n, i;
    253        1.4   mycroft 	const u_char *tr;
    254        1.4   mycroft 	u_int endch;
    255        1.4   mycroft {
    256  1.16.30.1       jym 	static u_int count[256], nc, bmin;
    257  1.16.30.1       jym 	u_int c;
    258       1.11     perry 	const u_char **ak, **ai;
    259        1.4   mycroft 	stack s[512], *sp, *sp0, *sp1, temp;
    260        1.4   mycroft 	const u_char **top[256];
    261  1.16.30.1       jym 	u_int *cp, bigc;
    262        1.4   mycroft 
    263       1.12     lukem 	_DIAGASSERT(a != NULL);
    264       1.12     lukem 	_DIAGASSERT(ta != NULL);
    265       1.12     lukem 	_DIAGASSERT(tr != NULL);
    266       1.12     lukem 
    267        1.4   mycroft 	sp = s;
    268        1.4   mycroft 	push(a, n, i);
    269        1.4   mycroft 	while (!empty(s)) {
    270        1.4   mycroft 		pop(a, n, i);
    271        1.4   mycroft 		if (n < THRESHOLD) {
    272        1.4   mycroft 			simplesort(a, n, i, tr, endch);
    273        1.4   mycroft 			continue;
    274        1.1       cgd 		}
    275        1.1       cgd 
    276        1.4   mycroft 		if (nc == 0) {
    277        1.4   mycroft 			bmin = 255;
    278        1.4   mycroft 			for (ak = a + n; --ak >= a;) {
    279        1.4   mycroft 				c = tr[(*ak)[i]];
    280        1.4   mycroft 				if (++count[c] == 1 && c != endch) {
    281        1.4   mycroft 					if (c < bmin)
    282        1.4   mycroft 						bmin = c;
    283        1.4   mycroft 					nc++;
    284        1.4   mycroft 				}
    285        1.4   mycroft 			}
    286        1.4   mycroft 			if (sp + nc > s + SIZE) {
    287        1.4   mycroft 				r_sort_b(a, ta, n, i, tr, endch);
    288        1.4   mycroft 				continue;
    289        1.4   mycroft 			}
    290        1.4   mycroft 		}
    291        1.1       cgd 
    292        1.4   mycroft 		sp0 = sp1 = sp;
    293        1.4   mycroft 		bigc = 2;
    294        1.4   mycroft 		if (endch == 0) {
    295        1.4   mycroft 			top[0] = ak = a + count[0];
    296        1.4   mycroft 			count[0] = 0;
    297        1.4   mycroft 		} else {
    298        1.4   mycroft 			ak = a;
    299        1.4   mycroft 			top[255] = a + n;
    300        1.4   mycroft 			count[255] = 0;
    301        1.1       cgd 		}
    302        1.4   mycroft 		for (cp = count + bmin; nc > 0; cp++) {
    303        1.4   mycroft 			while (*cp == 0)
    304        1.4   mycroft 				cp++;
    305        1.4   mycroft 			if ((c = *cp) > 1) {
    306        1.4   mycroft 				if (c > bigc) {
    307        1.4   mycroft 					bigc = c;
    308        1.4   mycroft 					sp1 = sp;
    309        1.4   mycroft 				}
    310        1.4   mycroft 				push(ak, c, i+1);
    311        1.4   mycroft 			}
    312        1.4   mycroft 			top[cp-count] = ak += c;
    313        1.4   mycroft 			*cp = 0;			/* Reset count[]. */
    314        1.4   mycroft 			nc--;
    315        1.1       cgd 		}
    316        1.4   mycroft 		swap(*sp0, *sp1, temp);
    317        1.4   mycroft 
    318        1.4   mycroft 		for (ak = ta + n, ai = a+n; ak > ta;)	/* Copy to temp. */
    319        1.4   mycroft 			*--ak = *--ai;
    320        1.4   mycroft 		for (ak = ta+n; --ak >= ta;)		/* Deal to piles. */
    321        1.4   mycroft 			*--top[tr[(*ak)[i]]] = *ak;
    322        1.1       cgd 	}
    323        1.1       cgd }
    324        1.4   mycroft 
    325       1.16     perry static inline void
    326        1.4   mycroft simplesort(a, n, b, tr, endch)	/* insertion sort */
    327       1.11     perry 	const u_char **a;
    328        1.4   mycroft 	int n, b;
    329       1.11     perry 	const u_char *tr;
    330        1.4   mycroft 	u_int endch;
    331        1.1       cgd {
    332       1.11     perry 	u_char ch;
    333        1.4   mycroft 	const u_char  **ak, **ai, *s, *t;
    334       1.12     lukem 
    335       1.12     lukem 	_DIAGASSERT(a != NULL);
    336       1.12     lukem 	_DIAGASSERT(tr != NULL);
    337        1.1       cgd 
    338        1.4   mycroft 	for (ak = a+1; --n >= 1; ak++)
    339        1.4   mycroft 		for (ai = ak; ai > a; ai--) {
    340        1.4   mycroft 			for (s = ai[0] + b, t = ai[-1] + b;
    341        1.4   mycroft 			    (ch = tr[*s]) != endch; s++, t++)
    342        1.4   mycroft 				if (ch != tr[*t])
    343        1.1       cgd 					break;
    344        1.4   mycroft 			if (ch >= tr[*t])
    345        1.4   mycroft 				break;
    346        1.4   mycroft 			swap(ai[0], ai[-1], s);
    347        1.4   mycroft 		}
    348        1.1       cgd }
    349