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