]>
Commit | Line | Data |
---|---|---|
c068d44a HS |
1 | #ifndef __UBOOT__ |
2 | #include <linux/kernel.h> | |
3 | #include <linux/module.h> | |
4 | #include <linux/slab.h> | |
5 | #else | |
6 | #include <linux/compat.h> | |
7 | #include <common.h> | |
8 | #include <malloc.h> | |
9 | #endif | |
10 | #include <linux/list.h> | |
11 | #include <linux/list_sort.h> | |
12 | ||
13 | #define MAX_LIST_LENGTH_BITS 20 | |
14 | ||
15 | /* | |
16 | * Returns a list organized in an intermediate format suited | |
17 | * to chaining of merge() calls: null-terminated, no reserved or | |
18 | * sentinel head node, "prev" links not maintained. | |
19 | */ | |
20 | static struct list_head *merge(void *priv, | |
21 | int (*cmp)(void *priv, struct list_head *a, | |
22 | struct list_head *b), | |
23 | struct list_head *a, struct list_head *b) | |
24 | { | |
25 | struct list_head head, *tail = &head; | |
26 | ||
27 | while (a && b) { | |
28 | /* if equal, take 'a' -- important for sort stability */ | |
29 | if ((*cmp)(priv, a, b) <= 0) { | |
30 | tail->next = a; | |
31 | a = a->next; | |
32 | } else { | |
33 | tail->next = b; | |
34 | b = b->next; | |
35 | } | |
36 | tail = tail->next; | |
37 | } | |
38 | tail->next = a?:b; | |
39 | return head.next; | |
40 | } | |
41 | ||
42 | /* | |
43 | * Combine final list merge with restoration of standard doubly-linked | |
44 | * list structure. This approach duplicates code from merge(), but | |
45 | * runs faster than the tidier alternatives of either a separate final | |
46 | * prev-link restoration pass, or maintaining the prev links | |
47 | * throughout. | |
48 | */ | |
49 | static void merge_and_restore_back_links(void *priv, | |
50 | int (*cmp)(void *priv, struct list_head *a, | |
51 | struct list_head *b), | |
52 | struct list_head *head, | |
53 | struct list_head *a, struct list_head *b) | |
54 | { | |
55 | struct list_head *tail = head; | |
56 | ||
57 | while (a && b) { | |
58 | /* if equal, take 'a' -- important for sort stability */ | |
59 | if ((*cmp)(priv, a, b) <= 0) { | |
60 | tail->next = a; | |
61 | a->prev = tail; | |
62 | a = a->next; | |
63 | } else { | |
64 | tail->next = b; | |
65 | b->prev = tail; | |
66 | b = b->next; | |
67 | } | |
68 | tail = tail->next; | |
69 | } | |
70 | tail->next = a ? : b; | |
71 | ||
72 | do { | |
73 | /* | |
74 | * In worst cases this loop may run many iterations. | |
75 | * Continue callbacks to the client even though no | |
76 | * element comparison is needed, so the client's cmp() | |
77 | * routine can invoke cond_resched() periodically. | |
78 | */ | |
79 | (*cmp)(priv, tail->next, tail->next); | |
80 | ||
81 | tail->next->prev = tail; | |
82 | tail = tail->next; | |
83 | } while (tail->next); | |
84 | ||
85 | tail->next = head; | |
86 | head->prev = tail; | |
87 | } | |
88 | ||
89 | /** | |
90 | * list_sort - sort a list | |
91 | * @priv: private data, opaque to list_sort(), passed to @cmp | |
92 | * @head: the list to sort | |
93 | * @cmp: the elements comparison function | |
94 | * | |
95 | * This function implements "merge sort", which has O(nlog(n)) | |
96 | * complexity. | |
97 | * | |
98 | * The comparison function @cmp must return a negative value if @a | |
99 | * should sort before @b, and a positive value if @a should sort after | |
100 | * @b. If @a and @b are equivalent, and their original relative | |
101 | * ordering is to be preserved, @cmp must return 0. | |
102 | */ | |
103 | void list_sort(void *priv, struct list_head *head, | |
104 | int (*cmp)(void *priv, struct list_head *a, | |
105 | struct list_head *b)) | |
106 | { | |
107 | struct list_head *part[MAX_LIST_LENGTH_BITS+1]; /* sorted partial lists | |
108 | -- last slot is a sentinel */ | |
109 | int lev; /* index into part[] */ | |
110 | int max_lev = 0; | |
111 | struct list_head *list; | |
112 | ||
113 | if (list_empty(head)) | |
114 | return; | |
115 | ||
116 | memset(part, 0, sizeof(part)); | |
117 | ||
118 | head->prev->next = NULL; | |
119 | list = head->next; | |
120 | ||
121 | while (list) { | |
122 | struct list_head *cur = list; | |
123 | list = list->next; | |
124 | cur->next = NULL; | |
125 | ||
126 | for (lev = 0; part[lev]; lev++) { | |
127 | cur = merge(priv, cmp, part[lev], cur); | |
128 | part[lev] = NULL; | |
129 | } | |
130 | if (lev > max_lev) { | |
131 | if (unlikely(lev >= ARRAY_SIZE(part)-1)) { | |
132 | printk_once(KERN_DEBUG "list passed to" | |
133 | " list_sort() too long for" | |
134 | " efficiency\n"); | |
135 | lev--; | |
136 | } | |
137 | max_lev = lev; | |
138 | } | |
139 | part[lev] = cur; | |
140 | } | |
141 | ||
142 | for (lev = 0; lev < max_lev; lev++) | |
143 | if (part[lev]) | |
144 | list = merge(priv, cmp, part[lev], list); | |
145 | ||
146 | merge_and_restore_back_links(priv, cmp, head, part[max_lev], list); | |
147 | } | |
148 | EXPORT_SYMBOL(list_sort); | |
149 | ||
150 | #ifdef CONFIG_TEST_LIST_SORT | |
151 | ||
152 | #include <linux/random.h> | |
153 | ||
154 | /* | |
155 | * The pattern of set bits in the list length determines which cases | |
156 | * are hit in list_sort(). | |
157 | */ | |
158 | #define TEST_LIST_LEN (512+128+2) /* not including head */ | |
159 | ||
160 | #define TEST_POISON1 0xDEADBEEF | |
161 | #define TEST_POISON2 0xA324354C | |
162 | ||
163 | struct debug_el { | |
164 | unsigned int poison1; | |
165 | struct list_head list; | |
166 | unsigned int poison2; | |
167 | int value; | |
168 | unsigned serial; | |
169 | }; | |
170 | ||
171 | /* Array, containing pointers to all elements in the test list */ | |
172 | static struct debug_el **elts __initdata; | |
173 | ||
174 | static int __init check(struct debug_el *ela, struct debug_el *elb) | |
175 | { | |
176 | if (ela->serial >= TEST_LIST_LEN) { | |
177 | printk(KERN_ERR "list_sort_test: error: incorrect serial %d\n", | |
178 | ela->serial); | |
179 | return -EINVAL; | |
180 | } | |
181 | if (elb->serial >= TEST_LIST_LEN) { | |
182 | printk(KERN_ERR "list_sort_test: error: incorrect serial %d\n", | |
183 | elb->serial); | |
184 | return -EINVAL; | |
185 | } | |
186 | if (elts[ela->serial] != ela || elts[elb->serial] != elb) { | |
187 | printk(KERN_ERR "list_sort_test: error: phantom element\n"); | |
188 | return -EINVAL; | |
189 | } | |
190 | if (ela->poison1 != TEST_POISON1 || ela->poison2 != TEST_POISON2) { | |
191 | printk(KERN_ERR "list_sort_test: error: bad poison: %#x/%#x\n", | |
192 | ela->poison1, ela->poison2); | |
193 | return -EINVAL; | |
194 | } | |
195 | if (elb->poison1 != TEST_POISON1 || elb->poison2 != TEST_POISON2) { | |
196 | printk(KERN_ERR "list_sort_test: error: bad poison: %#x/%#x\n", | |
197 | elb->poison1, elb->poison2); | |
198 | return -EINVAL; | |
199 | } | |
200 | return 0; | |
201 | } | |
202 | ||
203 | static int __init cmp(void *priv, struct list_head *a, struct list_head *b) | |
204 | { | |
205 | struct debug_el *ela, *elb; | |
206 | ||
207 | ela = container_of(a, struct debug_el, list); | |
208 | elb = container_of(b, struct debug_el, list); | |
209 | ||
210 | check(ela, elb); | |
211 | return ela->value - elb->value; | |
212 | } | |
213 | ||
214 | static int __init list_sort_test(void) | |
215 | { | |
216 | int i, count = 1, err = -EINVAL; | |
217 | struct debug_el *el; | |
218 | struct list_head *cur, *tmp; | |
219 | LIST_HEAD(head); | |
220 | ||
221 | printk(KERN_DEBUG "list_sort_test: start testing list_sort()\n"); | |
222 | ||
223 | elts = kmalloc(sizeof(void *) * TEST_LIST_LEN, GFP_KERNEL); | |
224 | if (!elts) { | |
225 | printk(KERN_ERR "list_sort_test: error: cannot allocate " | |
226 | "memory\n"); | |
227 | goto exit; | |
228 | } | |
229 | ||
230 | for (i = 0; i < TEST_LIST_LEN; i++) { | |
231 | el = kmalloc(sizeof(*el), GFP_KERNEL); | |
232 | if (!el) { | |
233 | printk(KERN_ERR "list_sort_test: error: cannot " | |
234 | "allocate memory\n"); | |
235 | goto exit; | |
236 | } | |
237 | /* force some equivalencies */ | |
238 | el->value = prandom_u32() % (TEST_LIST_LEN / 3); | |
239 | el->serial = i; | |
240 | el->poison1 = TEST_POISON1; | |
241 | el->poison2 = TEST_POISON2; | |
242 | elts[i] = el; | |
243 | list_add_tail(&el->list, &head); | |
244 | } | |
245 | ||
246 | list_sort(NULL, &head, cmp); | |
247 | ||
248 | for (cur = head.next; cur->next != &head; cur = cur->next) { | |
249 | struct debug_el *el1; | |
250 | int cmp_result; | |
251 | ||
252 | if (cur->next->prev != cur) { | |
253 | printk(KERN_ERR "list_sort_test: error: list is " | |
254 | "corrupted\n"); | |
255 | goto exit; | |
256 | } | |
257 | ||
258 | cmp_result = cmp(NULL, cur, cur->next); | |
259 | if (cmp_result > 0) { | |
260 | printk(KERN_ERR "list_sort_test: error: list is not " | |
261 | "sorted\n"); | |
262 | goto exit; | |
263 | } | |
264 | ||
265 | el = container_of(cur, struct debug_el, list); | |
266 | el1 = container_of(cur->next, struct debug_el, list); | |
267 | if (cmp_result == 0 && el->serial >= el1->serial) { | |
268 | printk(KERN_ERR "list_sort_test: error: order of " | |
269 | "equivalent elements not preserved\n"); | |
270 | goto exit; | |
271 | } | |
272 | ||
273 | if (check(el, el1)) { | |
274 | printk(KERN_ERR "list_sort_test: error: element check " | |
275 | "failed\n"); | |
276 | goto exit; | |
277 | } | |
278 | count++; | |
279 | } | |
280 | ||
281 | if (count != TEST_LIST_LEN) { | |
282 | printk(KERN_ERR "list_sort_test: error: bad list length %d", | |
283 | count); | |
284 | goto exit; | |
285 | } | |
286 | ||
287 | err = 0; | |
288 | exit: | |
289 | kfree(elts); | |
290 | list_for_each_safe(cur, tmp, &head) { | |
291 | list_del(cur); | |
292 | kfree(container_of(cur, struct debug_el, list)); | |
293 | } | |
294 | return err; | |
295 | } | |
296 | module_init(list_sort_test); | |
297 | #endif /* CONFIG_TEST_LIST_SORT */ |