annotate tree.c @ 429:3be382cb92ba libavutil

simplify
author michael
date Wed, 16 Jan 2008 01:54:18 +0000
parents 344948d71978
children 42011b593830
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
136
4ae092965c27 AVL tree
michael
parents:
diff changeset
1 /*
4ae092965c27 AVL tree
michael
parents:
diff changeset
2 * copyright (c) 2006 Michael Niedermayer <michaelni@gmx.at>
4ae092965c27 AVL tree
michael
parents:
diff changeset
3 *
4ae092965c27 AVL tree
michael
parents:
diff changeset
4 * This file is part of FFmpeg.
4ae092965c27 AVL tree
michael
parents:
diff changeset
5 *
4ae092965c27 AVL tree
michael
parents:
diff changeset
6 * FFmpeg is free software; you can redistribute it and/or
4ae092965c27 AVL tree
michael
parents:
diff changeset
7 * modify it under the terms of the GNU Lesser General Public
4ae092965c27 AVL tree
michael
parents:
diff changeset
8 * License as published by the Free Software Foundation; either
4ae092965c27 AVL tree
michael
parents:
diff changeset
9 * version 2.1 of the License, or (at your option) any later version.
4ae092965c27 AVL tree
michael
parents:
diff changeset
10 *
4ae092965c27 AVL tree
michael
parents:
diff changeset
11 * FFmpeg is distributed in the hope that it will be useful,
4ae092965c27 AVL tree
michael
parents:
diff changeset
12 * but WITHOUT ANY WARRANTY; without even the implied warranty of
4ae092965c27 AVL tree
michael
parents:
diff changeset
13 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
4ae092965c27 AVL tree
michael
parents:
diff changeset
14 * Lesser General Public License for more details.
4ae092965c27 AVL tree
michael
parents:
diff changeset
15 *
4ae092965c27 AVL tree
michael
parents:
diff changeset
16 * You should have received a copy of the GNU Lesser General Public
4ae092965c27 AVL tree
michael
parents:
diff changeset
17 * License along with FFmpeg; if not, write to the Free Software
4ae092965c27 AVL tree
michael
parents:
diff changeset
18 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
4ae092965c27 AVL tree
michael
parents:
diff changeset
19 */
4ae092965c27 AVL tree
michael
parents:
diff changeset
20
4ae092965c27 AVL tree
michael
parents:
diff changeset
21 #include "common.h"
4ae092965c27 AVL tree
michael
parents:
diff changeset
22 #include "log.h"
4ae092965c27 AVL tree
michael
parents:
diff changeset
23 #include "tree.h"
4ae092965c27 AVL tree
michael
parents:
diff changeset
24
4ae092965c27 AVL tree
michael
parents:
diff changeset
25 typedef struct AVTreeNode{
4ae092965c27 AVL tree
michael
parents:
diff changeset
26 struct AVTreeNode *child[2];
4ae092965c27 AVL tree
michael
parents:
diff changeset
27 void *elem;
4ae092965c27 AVL tree
michael
parents:
diff changeset
28 int state;
4ae092965c27 AVL tree
michael
parents:
diff changeset
29 }AVTreeNode;
4ae092965c27 AVL tree
michael
parents:
diff changeset
30
413
a54e20281de9 Move *malloc() out of tree.c, that way the code can be used with
michael
parents: 412
diff changeset
31 const int av_tree_node_size = sizeof(AVTreeNode);
a54e20281de9 Move *malloc() out of tree.c, that way the code can be used with
michael
parents: 412
diff changeset
32
136
4ae092965c27 AVL tree
michael
parents:
diff changeset
33 void *av_tree_find(const AVTreeNode *t, void *key, int (*cmp)(void *key, const void *b), void *next[2]){
4ae092965c27 AVL tree
michael
parents:
diff changeset
34 if(t){
418
9f2461caf179 Flip key and element so types match, not that it matters for any code
michael
parents: 415
diff changeset
35 unsigned int v= cmp(key, t->elem);
136
4ae092965c27 AVL tree
michael
parents:
diff changeset
36 if(v){
418
9f2461caf179 Flip key and element so types match, not that it matters for any code
michael
parents: 415
diff changeset
37 if(next) next[v>>31]= t->elem;
9f2461caf179 Flip key and element so types match, not that it matters for any code
michael
parents: 415
diff changeset
38 return av_tree_find(t->child[(v>>31)^1], key, cmp, next);
136
4ae092965c27 AVL tree
michael
parents:
diff changeset
39 }else{
412
357ac44f4720 Always set next correctly, even if a matching element is found (that is
michael
parents: 404
diff changeset
40 if(next){
357ac44f4720 Always set next correctly, even if a matching element is found (that is
michael
parents: 404
diff changeset
41 av_tree_find(t->child[0], key, cmp, next);
357ac44f4720 Always set next correctly, even if a matching element is found (that is
michael
parents: 404
diff changeset
42 av_tree_find(t->child[1], key, cmp, next);
357ac44f4720 Always set next correctly, even if a matching element is found (that is
michael
parents: 404
diff changeset
43 }
136
4ae092965c27 AVL tree
michael
parents:
diff changeset
44 return t->elem;
4ae092965c27 AVL tree
michael
parents:
diff changeset
45 }
4ae092965c27 AVL tree
michael
parents:
diff changeset
46 }
4ae092965c27 AVL tree
michael
parents:
diff changeset
47 return NULL;
4ae092965c27 AVL tree
michael
parents:
diff changeset
48 }
4ae092965c27 AVL tree
michael
parents:
diff changeset
49
413
a54e20281de9 Move *malloc() out of tree.c, that way the code can be used with
michael
parents: 412
diff changeset
50 void *av_tree_insert(AVTreeNode **tp, void *key, int (*cmp)(void *key, const void *b), AVTreeNode **next){
136
4ae092965c27 AVL tree
michael
parents:
diff changeset
51 AVTreeNode *t= *tp;
4ae092965c27 AVL tree
michael
parents:
diff changeset
52 if(t){
4ae092965c27 AVL tree
michael
parents:
diff changeset
53 unsigned int v= cmp(t->elem, key);
414
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
54 void *ret;
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
55 if(!v){
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
56 if(*next)
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
57 return t->elem;
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
58 else if(t->child[0]||t->child[1]){
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
59 int i= !t->child[0];
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
60 void *next_elem[2];
429
3be382cb92ba simplify
michael
parents: 425
diff changeset
61 av_tree_find(t->child[i], key, cmp, next_elem);
414
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
62 key= t->elem= next_elem[i];
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
63 v= -i;
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
64 }else{
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
65 *next= t;
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
66 *tp=NULL;
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
67 return NULL;
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
68 }
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
69 }
419
michael
parents: 418
diff changeset
70 ret= av_tree_insert(&t->child[v>>31], key, cmp, next);
michael
parents: 418
diff changeset
71 if(!ret){
michael
parents: 418
diff changeset
72 int i= (v>>31) ^ !!*next;
michael
parents: 418
diff changeset
73 AVTreeNode **child= &t->child[i];
michael
parents: 418
diff changeset
74 t->state += 2*i - 1;
414
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
75
419
michael
parents: 418
diff changeset
76 if(!(t->state&1)){
michael
parents: 418
diff changeset
77 if(t->state){
michael
parents: 418
diff changeset
78 if((*child)->state*2 == -t->state){
michael
parents: 418
diff changeset
79 *tp= (*child)->child[i^1];
michael
parents: 418
diff changeset
80 (*child)->child[i^1]= (*tp)->child[i];
michael
parents: 418
diff changeset
81 (*tp)->child[i]= *child;
michael
parents: 418
diff changeset
82 *child= (*tp)->child[i^1];
michael
parents: 418
diff changeset
83 (*tp)->child[i^1]= t;
136
4ae092965c27 AVL tree
michael
parents:
diff changeset
84
419
michael
parents: 418
diff changeset
85 (*tp)->child[0]->state= -((*tp)->state>0);
michael
parents: 418
diff changeset
86 (*tp)->child[1]->state= (*tp)->state<0 ;
michael
parents: 418
diff changeset
87 (*tp)->state=0;
michael
parents: 418
diff changeset
88 }else{
michael
parents: 418
diff changeset
89 *tp= *child;
michael
parents: 418
diff changeset
90 *child= (*child)->child[i^1];
michael
parents: 418
diff changeset
91 (*tp)->child[i^1]= t;
michael
parents: 418
diff changeset
92 if((*tp)->state) t->state = 0;
michael
parents: 418
diff changeset
93 else t->state>>= 1;
michael
parents: 418
diff changeset
94 (*tp)->state= -t->state;
136
4ae092965c27 AVL tree
michael
parents:
diff changeset
95 }
414
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
96 }
136
4ae092965c27 AVL tree
michael
parents:
diff changeset
97 }
419
michael
parents: 418
diff changeset
98 if(!(*tp)->state ^ !!*next)
michael
parents: 418
diff changeset
99 return key;
michael
parents: 418
diff changeset
100 }
michael
parents: 418
diff changeset
101 return ret;
136
4ae092965c27 AVL tree
michael
parents:
diff changeset
102 }else{
413
a54e20281de9 Move *malloc() out of tree.c, that way the code can be used with
michael
parents: 412
diff changeset
103 *tp= *next; *next= NULL;
136
4ae092965c27 AVL tree
michael
parents:
diff changeset
104 (*tp)->elem= key;
4ae092965c27 AVL tree
michael
parents:
diff changeset
105 return NULL;
4ae092965c27 AVL tree
michael
parents:
diff changeset
106 }
4ae092965c27 AVL tree
michael
parents:
diff changeset
107 }
4ae092965c27 AVL tree
michael
parents:
diff changeset
108
4ae092965c27 AVL tree
michael
parents:
diff changeset
109 void av_tree_destroy(AVTreeNode *t){
4ae092965c27 AVL tree
michael
parents:
diff changeset
110 av_tree_destroy(t->child[0]);
4ae092965c27 AVL tree
michael
parents:
diff changeset
111 av_tree_destroy(t->child[1]);
4ae092965c27 AVL tree
michael
parents:
diff changeset
112 av_free(t);
4ae092965c27 AVL tree
michael
parents:
diff changeset
113 }
4ae092965c27 AVL tree
michael
parents:
diff changeset
114
4ae092965c27 AVL tree
michael
parents:
diff changeset
115 #if 0
4ae092965c27 AVL tree
michael
parents:
diff changeset
116 void av_tree_enumerate(AVTreeNode *t, void *opaque, int (*f)(void *opaque, void *elem)){
137
dbcf66639764 improve enumerate so arbitrary ranges can be enumerated quickly
michael
parents: 136
diff changeset
117 int v= f(opaque, t->elem);
dbcf66639764 improve enumerate so arbitrary ranges can be enumerated quickly
michael
parents: 136
diff changeset
118 if(v>=0) av_tree_enumerate(t->child[0], opaque, f);
dbcf66639764 improve enumerate so arbitrary ranges can be enumerated quickly
michael
parents: 136
diff changeset
119 if(v<=0) av_tree_enumerate(t->child[1], opaque, f);
136
4ae092965c27 AVL tree
michael
parents:
diff changeset
120 }
4ae092965c27 AVL tree
michael
parents:
diff changeset
121 #endif
4ae092965c27 AVL tree
michael
parents:
diff changeset
122
4ae092965c27 AVL tree
michael
parents:
diff changeset
123 #ifdef TEST
415
1f1ebfcfa9cd Fix selftest.
michael
parents: 414
diff changeset
124 #undef random
136
4ae092965c27 AVL tree
michael
parents:
diff changeset
125 static int check(AVTreeNode *t){
4ae092965c27 AVL tree
michael
parents:
diff changeset
126 if(t){
4ae092965c27 AVL tree
michael
parents:
diff changeset
127 int left= check(t->child[0]);
4ae092965c27 AVL tree
michael
parents:
diff changeset
128 int right= check(t->child[1]);
4ae092965c27 AVL tree
michael
parents:
diff changeset
129
4ae092965c27 AVL tree
michael
parents:
diff changeset
130 if(left>999 || right>999)
4ae092965c27 AVL tree
michael
parents:
diff changeset
131 return 1000;
4ae092965c27 AVL tree
michael
parents:
diff changeset
132 if(right - left != t->state)
4ae092965c27 AVL tree
michael
parents:
diff changeset
133 return 1000;
4ae092965c27 AVL tree
michael
parents:
diff changeset
134 if(t->state>1 || t->state<-1)
4ae092965c27 AVL tree
michael
parents:
diff changeset
135 return 1000;
4ae092965c27 AVL tree
michael
parents:
diff changeset
136 return FFMAX(left, right)+1;
4ae092965c27 AVL tree
michael
parents:
diff changeset
137 }
4ae092965c27 AVL tree
michael
parents:
diff changeset
138 return 0;
4ae092965c27 AVL tree
michael
parents:
diff changeset
139 }
4ae092965c27 AVL tree
michael
parents:
diff changeset
140
4ae092965c27 AVL tree
michael
parents:
diff changeset
141 static void print(AVTreeNode *t, int depth){
4ae092965c27 AVL tree
michael
parents:
diff changeset
142 int i;
4ae092965c27 AVL tree
michael
parents:
diff changeset
143 for(i=0; i<depth*4; i++) av_log(NULL, AV_LOG_ERROR, " ");
4ae092965c27 AVL tree
michael
parents:
diff changeset
144 if(t){
4ae092965c27 AVL tree
michael
parents:
diff changeset
145 av_log(NULL, AV_LOG_ERROR, "Node %p %2d %4d\n", t, t->state, t->elem);
4ae092965c27 AVL tree
michael
parents:
diff changeset
146 print(t->child[0], depth+1);
4ae092965c27 AVL tree
michael
parents:
diff changeset
147 print(t->child[1], depth+1);
4ae092965c27 AVL tree
michael
parents:
diff changeset
148 }else
4ae092965c27 AVL tree
michael
parents:
diff changeset
149 av_log(NULL, AV_LOG_ERROR, "NULL\n");
4ae092965c27 AVL tree
michael
parents:
diff changeset
150 }
4ae092965c27 AVL tree
michael
parents:
diff changeset
151
4ae092965c27 AVL tree
michael
parents:
diff changeset
152 int cmp(const void *a, const void *b){
4ae092965c27 AVL tree
michael
parents:
diff changeset
153 return a-b;
4ae092965c27 AVL tree
michael
parents:
diff changeset
154 }
4ae092965c27 AVL tree
michael
parents:
diff changeset
155
404
f9a4c04ebb0e main() --> main(void)
diego
parents: 141
diff changeset
156 int main(void){
425
344948d71978 Remove unused variable j.
diego
parents: 419
diff changeset
157 int i,k;
414
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
158 AVTreeNode *root= NULL, *node=NULL;
136
4ae092965c27 AVL tree
michael
parents:
diff changeset
159
4ae092965c27 AVL tree
michael
parents:
diff changeset
160 for(i=0; i<10000; i++){
414
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
161 int j= (random()%86294);
136
4ae092965c27 AVL tree
michael
parents:
diff changeset
162 if(check(root) > 999){
4ae092965c27 AVL tree
michael
parents:
diff changeset
163 av_log(NULL, AV_LOG_ERROR, "FATAL error %d\n", i);
4ae092965c27 AVL tree
michael
parents:
diff changeset
164 print(root, 0);
4ae092965c27 AVL tree
michael
parents:
diff changeset
165 return -1;
4ae092965c27 AVL tree
michael
parents:
diff changeset
166 }
4ae092965c27 AVL tree
michael
parents:
diff changeset
167 av_log(NULL, AV_LOG_ERROR, "inserting %4d\n", j);
414
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
168 if(!node)
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
169 node= av_mallocz(av_tree_node_size);
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
170 av_tree_insert(&root, (void*)(j+1), cmp, &node);
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
171
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
172 j= (random()%86294);
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
173 k= av_tree_find(root, (void*)(j+1), cmp, NULL);
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
174 if(k){
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
175 AVTreeNode *node2=NULL;
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
176 av_tree_insert(&root, (void*)(j+1), cmp, &node2);
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
177 k= av_tree_find(root, (void*)(j+1), cmp, NULL);
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
178 if(k)
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
179 av_log(NULL, AV_LOG_ERROR, "removial failure %d\n", i);
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
180 }
136
4ae092965c27 AVL tree
michael
parents:
diff changeset
181 }
4ae092965c27 AVL tree
michael
parents:
diff changeset
182 return 0;
4ae092965c27 AVL tree
michael
parents:
diff changeset
183 }
4ae092965c27 AVL tree
michael
parents:
diff changeset
184 #endif