xref: /minix3/common/lib/libc/stdlib/heapsort.c (revision b6cbf7203b080219de306404f8022a65b7884f33)
1*b6cbf720SGianluca Guida /*	$NetBSD: heapsort.c,v 1.3 2008/11/17 10:21:30 jnemeth Exp $	*/
2*b6cbf720SGianluca Guida 
3*b6cbf720SGianluca Guida /*-
4*b6cbf720SGianluca Guida  * Copyright (c) 1991, 1993
5*b6cbf720SGianluca Guida  *	The Regents of the University of California.  All rights reserved.
6*b6cbf720SGianluca Guida  *
7*b6cbf720SGianluca Guida  * This code is derived from software contributed to Berkeley by
8*b6cbf720SGianluca Guida  * Ronnie Kon at Mindcraft Inc., Kevin Lew and Elmer Yglesias.
9*b6cbf720SGianluca Guida  *
10*b6cbf720SGianluca Guida  * Redistribution and use in source and binary forms, with or without
11*b6cbf720SGianluca Guida  * modification, are permitted provided that the following conditions
12*b6cbf720SGianluca Guida  * are met:
13*b6cbf720SGianluca Guida  * 1. Redistributions of source code must retain the above copyright
14*b6cbf720SGianluca Guida  *    notice, this list of conditions and the following disclaimer.
15*b6cbf720SGianluca Guida  * 2. Redistributions in binary form must reproduce the above copyright
16*b6cbf720SGianluca Guida  *    notice, this list of conditions and the following disclaimer in the
17*b6cbf720SGianluca Guida  *    documentation and/or other materials provided with the distribution.
18*b6cbf720SGianluca Guida  * 3. Neither the name of the University nor the names of its contributors
19*b6cbf720SGianluca Guida  *    may be used to endorse or promote products derived from this software
20*b6cbf720SGianluca Guida  *    without specific prior written permission.
21*b6cbf720SGianluca Guida  *
22*b6cbf720SGianluca Guida  * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
23*b6cbf720SGianluca Guida  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
24*b6cbf720SGianluca Guida  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
25*b6cbf720SGianluca Guida  * ARE DISCLAIMED.  IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
26*b6cbf720SGianluca Guida  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
27*b6cbf720SGianluca Guida  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
28*b6cbf720SGianluca Guida  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
29*b6cbf720SGianluca Guida  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
30*b6cbf720SGianluca Guida  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
31*b6cbf720SGianluca Guida  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
32*b6cbf720SGianluca Guida  * SUCH DAMAGE.
33*b6cbf720SGianluca Guida  */
34*b6cbf720SGianluca Guida 
35*b6cbf720SGianluca Guida #if HAVE_NBTOOL_CONFIG_H
36*b6cbf720SGianluca Guida #include "nbtool_config.h"
37*b6cbf720SGianluca Guida /*
38*b6cbf720SGianluca Guida  * XXX Undefine the renames of these functions so that we don't
39*b6cbf720SGianluca Guida  * XXX rename the versions found in the host's headers by mistake!
40*b6cbf720SGianluca Guida  */
41*b6cbf720SGianluca Guida #undef heapsort
42*b6cbf720SGianluca Guida #endif
43*b6cbf720SGianluca Guida 
44*b6cbf720SGianluca Guida #include <sys/cdefs.h>
45*b6cbf720SGianluca Guida #if defined(LIBC_SCCS) && !defined(lint)
46*b6cbf720SGianluca Guida #if 0
47*b6cbf720SGianluca Guida static char sccsid[] = "from: @(#)heapsort.c	8.1 (Berkeley) 6/4/93";
48*b6cbf720SGianluca Guida #else
49*b6cbf720SGianluca Guida __RCSID("$NetBSD: heapsort.c,v 1.3 2008/11/17 10:21:30 jnemeth Exp $");
50*b6cbf720SGianluca Guida #endif
51*b6cbf720SGianluca Guida #endif /* LIBC_SCCS and not lint */
52*b6cbf720SGianluca Guida 
53*b6cbf720SGianluca Guida #if defined(_KERNEL) || defined(_STANDALONE)
54*b6cbf720SGianluca Guida #include <sys/types.h>
55*b6cbf720SGianluca Guida 
56*b6cbf720SGianluca Guida #include <lib/libkern/libkern.h>
57*b6cbf720SGianluca Guida #else	/* _KERNEL || _STANDALONE */
58*b6cbf720SGianluca Guida #include "namespace.h"
59*b6cbf720SGianluca Guida #include <sys/types.h>
60*b6cbf720SGianluca Guida 
61*b6cbf720SGianluca Guida #include <assert.h>
62*b6cbf720SGianluca Guida #include <errno.h>
63*b6cbf720SGianluca Guida #include <stdlib.h>
64*b6cbf720SGianluca Guida 
65*b6cbf720SGianluca Guida #if HAVE_NBTOOL_CONFIG_H
66*b6cbf720SGianluca Guida /* XXX Now, re-apply the renaming that we undid above. */
67*b6cbf720SGianluca Guida #define heapsort	__nbcompat_heapsort
68*b6cbf720SGianluca Guida #endif
69*b6cbf720SGianluca Guida 
70*b6cbf720SGianluca Guida #ifdef __weak_alias
__weak_alias(heapsort,_heapsort)71*b6cbf720SGianluca Guida __weak_alias(heapsort,_heapsort)
72*b6cbf720SGianluca Guida #endif
73*b6cbf720SGianluca Guida #endif	/* _KERNEL || _STANDALONE */
74*b6cbf720SGianluca Guida 
75*b6cbf720SGianluca Guida /*
76*b6cbf720SGianluca Guida  * Swap two areas of size number of bytes.  Although qsort(3) permits random
77*b6cbf720SGianluca Guida  * blocks of memory to be sorted, sorting pointers is almost certainly the
78*b6cbf720SGianluca Guida  * common case (and, were it not, could easily be made so).  Regardless, it
79*b6cbf720SGianluca Guida  * isn't worth optimizing; the SWAP's get sped up by the cache, and pointer
80*b6cbf720SGianluca Guida  * arithmetic gets lost in the time required for comparison function calls.
81*b6cbf720SGianluca Guida  */
82*b6cbf720SGianluca Guida #define	SWAP(a, b, count, size, tmp) { \
83*b6cbf720SGianluca Guida 	count = size; \
84*b6cbf720SGianluca Guida 	do { \
85*b6cbf720SGianluca Guida 		tmp = *a; \
86*b6cbf720SGianluca Guida 		*a++ = *b; \
87*b6cbf720SGianluca Guida 		*b++ = tmp; \
88*b6cbf720SGianluca Guida 	} while (--count); \
89*b6cbf720SGianluca Guida }
90*b6cbf720SGianluca Guida 
91*b6cbf720SGianluca Guida /* Copy one block of size size to another. */
92*b6cbf720SGianluca Guida #define COPY(a, b, count, size, tmp1, tmp2) { \
93*b6cbf720SGianluca Guida 	count = size; \
94*b6cbf720SGianluca Guida 	tmp1 = a; \
95*b6cbf720SGianluca Guida 	tmp2 = b; \
96*b6cbf720SGianluca Guida 	do { \
97*b6cbf720SGianluca Guida 		*tmp1++ = *tmp2++; \
98*b6cbf720SGianluca Guida 	} while (--count); \
99*b6cbf720SGianluca Guida }
100*b6cbf720SGianluca Guida 
101*b6cbf720SGianluca Guida /*
102*b6cbf720SGianluca Guida  * Build the list into a heap, where a heap is defined such that for
103*b6cbf720SGianluca Guida  * the records K1 ... KN, Kj/2 >= Kj for 1 <= j/2 <= j <= N.
104*b6cbf720SGianluca Guida  *
105*b6cbf720SGianluca Guida  * There are two cases.  If j == nmemb, select largest of Ki and Kj.  If
106*b6cbf720SGianluca Guida  * j < nmemb, select largest of Ki, Kj and Kj+1.
107*b6cbf720SGianluca Guida  */
108*b6cbf720SGianluca Guida #define CREATE(initval, nmemb, par_i, child_i, par, child, size, count, tmp) { \
109*b6cbf720SGianluca Guida 	for (par_i = initval; (child_i = par_i * 2) <= nmemb; \
110*b6cbf720SGianluca Guida 	    par_i = child_i) { \
111*b6cbf720SGianluca Guida 		child = base + child_i * size; \
112*b6cbf720SGianluca Guida 		if (child_i < nmemb && compar(child, child + size) < 0) { \
113*b6cbf720SGianluca Guida 			child += size; \
114*b6cbf720SGianluca Guida 			++child_i; \
115*b6cbf720SGianluca Guida 		} \
116*b6cbf720SGianluca Guida 		par = base + par_i * size; \
117*b6cbf720SGianluca Guida 		if (compar(child, par) <= 0) \
118*b6cbf720SGianluca Guida 			break; \
119*b6cbf720SGianluca Guida 		SWAP(par, child, count, size, tmp); \
120*b6cbf720SGianluca Guida 	} \
121*b6cbf720SGianluca Guida }
122*b6cbf720SGianluca Guida 
123*b6cbf720SGianluca Guida /*
124*b6cbf720SGianluca Guida  * Select the top of the heap and 'heapify'.  Since by far the most expensive
125*b6cbf720SGianluca Guida  * action is the call to the compar function, a considerable optimization
126*b6cbf720SGianluca Guida  * in the average case can be achieved due to the fact that k, the displaced
127*b6cbf720SGianluca Guida  * element, is usually quite small, so it would be preferable to first
128*b6cbf720SGianluca Guida  * heapify, always maintaining the invariant that the larger child is copied
129*b6cbf720SGianluca Guida  * over its parent's record.
130*b6cbf720SGianluca Guida  *
131*b6cbf720SGianluca Guida  * Then, starting from the *bottom* of the heap, finding k's correct place,
132*b6cbf720SGianluca Guida  * again maintaining the invariant.  As a result of the invariant no element
133*b6cbf720SGianluca Guida  * is 'lost' when k is assigned its correct place in the heap.
134*b6cbf720SGianluca Guida  *
135*b6cbf720SGianluca Guida  * The time savings from this optimization are on the order of 15-20% for the
136*b6cbf720SGianluca Guida  * average case. See Knuth, Vol. 3, page 158, problem 18.
137*b6cbf720SGianluca Guida  *
138*b6cbf720SGianluca Guida  * XXX Don't break the #define SELECT line, below.  Reiser cpp gets upset.
139*b6cbf720SGianluca Guida  */
140*b6cbf720SGianluca Guida #define SELECT(par_i, child_i, nmemb, par, child, size, k, count, tmp1, tmp2) { \
141*b6cbf720SGianluca Guida 	for (par_i = 1; (child_i = par_i * 2) <= nmemb; par_i = child_i) { \
142*b6cbf720SGianluca Guida 		child = base + child_i * size; \
143*b6cbf720SGianluca Guida 		if (child_i < nmemb && compar(child, child + size) < 0) { \
144*b6cbf720SGianluca Guida 			child += size; \
145*b6cbf720SGianluca Guida 			++child_i; \
146*b6cbf720SGianluca Guida 		} \
147*b6cbf720SGianluca Guida 		par = base + par_i * size; \
148*b6cbf720SGianluca Guida 		COPY(par, child, count, size, tmp1, tmp2); \
149*b6cbf720SGianluca Guida 	} \
150*b6cbf720SGianluca Guida 	for (;;) { \
151*b6cbf720SGianluca Guida 		child_i = par_i; \
152*b6cbf720SGianluca Guida 		par_i = child_i / 2; \
153*b6cbf720SGianluca Guida 		child = base + child_i * size; \
154*b6cbf720SGianluca Guida 		par = base + par_i * size; \
155*b6cbf720SGianluca Guida 		if (child_i == 1 || compar(k, par) < 0) { \
156*b6cbf720SGianluca Guida 			COPY(child, k, count, size, tmp1, tmp2); \
157*b6cbf720SGianluca Guida 			break; \
158*b6cbf720SGianluca Guida 		} \
159*b6cbf720SGianluca Guida 		COPY(child, par, count, size, tmp1, tmp2); \
160*b6cbf720SGianluca Guida 	} \
161*b6cbf720SGianluca Guida }
162*b6cbf720SGianluca Guida 
163*b6cbf720SGianluca Guida /*
164*b6cbf720SGianluca Guida  * Heapsort -- Knuth, Vol. 3, page 145.  Runs in O (N lg N), both average
165*b6cbf720SGianluca Guida  * and worst.  While heapsort is faster than the worst case of quicksort,
166*b6cbf720SGianluca Guida  * the BSD quicksort does median selection so that the chance of finding
167*b6cbf720SGianluca Guida  * a data set that will trigger the worst case is nonexistent.  Heapsort's
168*b6cbf720SGianluca Guida  * only advantage over quicksort is that it requires little additional memory.
169*b6cbf720SGianluca Guida  */
170*b6cbf720SGianluca Guida #if defined(_KERNEL) || defined(_STANDALONE)
171*b6cbf720SGianluca Guida int
172*b6cbf720SGianluca Guida kheapsort(void *vbase, size_t nmemb, size_t size,
173*b6cbf720SGianluca Guida     int (*compar)(const void *, const void *), void *k)
174*b6cbf720SGianluca Guida #else
175*b6cbf720SGianluca Guida int
176*b6cbf720SGianluca Guida heapsort(void *vbase, size_t nmemb, size_t size,
177*b6cbf720SGianluca Guida     int (*compar)(const void *, const void *))
178*b6cbf720SGianluca Guida #endif
179*b6cbf720SGianluca Guida {
180*b6cbf720SGianluca Guida 	size_t cnt, i, j, l;
181*b6cbf720SGianluca Guida 	char tmp, *tmp1, *tmp2;
182*b6cbf720SGianluca Guida 	char *base, *p, *t;
183*b6cbf720SGianluca Guida #if !defined(_KERNEL) && !defined(_STANDALONE)
184*b6cbf720SGianluca Guida 	char *k;
185*b6cbf720SGianluca Guida #endif
186*b6cbf720SGianluca Guida 
187*b6cbf720SGianluca Guida 	_DIAGASSERT(vbase != NULL);
188*b6cbf720SGianluca Guida 	_DIAGASSERT(compar != NULL);
189*b6cbf720SGianluca Guida 
190*b6cbf720SGianluca Guida 	if (nmemb <= 1)
191*b6cbf720SGianluca Guida 		return (0);
192*b6cbf720SGianluca Guida 
193*b6cbf720SGianluca Guida 	if (!size) {
194*b6cbf720SGianluca Guida #if !defined(_KERNEL) && !defined(_STANDALONE)
195*b6cbf720SGianluca Guida 		errno = EINVAL;
196*b6cbf720SGianluca Guida #endif
197*b6cbf720SGianluca Guida 		return (-1);
198*b6cbf720SGianluca Guida 	}
199*b6cbf720SGianluca Guida 
200*b6cbf720SGianluca Guida #if !defined(_KERNEL) && !defined(_STANDALONE)
201*b6cbf720SGianluca Guida 	if ((k = malloc(size)) == NULL)
202*b6cbf720SGianluca Guida 		return (-1);
203*b6cbf720SGianluca Guida #endif
204*b6cbf720SGianluca Guida 
205*b6cbf720SGianluca Guida 	/*
206*b6cbf720SGianluca Guida 	 * Items are numbered from 1 to nmemb, so offset from size bytes
207*b6cbf720SGianluca Guida 	 * below the starting address.
208*b6cbf720SGianluca Guida 	 */
209*b6cbf720SGianluca Guida 	base = (char *)vbase - size;
210*b6cbf720SGianluca Guida 
211*b6cbf720SGianluca Guida 	for (l = nmemb / 2 + 1; --l;)
212*b6cbf720SGianluca Guida 		CREATE(l, nmemb, i, j, t, p, size, cnt, tmp);
213*b6cbf720SGianluca Guida 
214*b6cbf720SGianluca Guida 	/*
215*b6cbf720SGianluca Guida 	 * For each element of the heap, save the largest element into its
216*b6cbf720SGianluca Guida 	 * final slot, save the displaced element (k), then recreate the
217*b6cbf720SGianluca Guida 	 * heap.
218*b6cbf720SGianluca Guida 	 */
219*b6cbf720SGianluca Guida 	while (nmemb > 1) {
220*b6cbf720SGianluca Guida 		COPY(k, base + nmemb * size, cnt, size, tmp1, tmp2);
221*b6cbf720SGianluca Guida 		COPY(base + nmemb * size, base + size, cnt, size, tmp1, tmp2);
222*b6cbf720SGianluca Guida 		--nmemb;
223*b6cbf720SGianluca Guida 		SELECT(i, j, nmemb, t, p, size, k, cnt, tmp1, tmp2);
224*b6cbf720SGianluca Guida 	}
225*b6cbf720SGianluca Guida #if !defined(_KERNEL) && !defined(_STANDALONE)
226*b6cbf720SGianluca Guida 	free(k);
227*b6cbf720SGianluca Guida #endif
228*b6cbf720SGianluca Guida 	return (0);
229*b6cbf720SGianluca Guida }
230