annotate tree.c @ 418:9f2461caf179 libavutil

Flip key and element so types match, not that it matters for any code using it in libav*.
author michael
date Fri, 04 Jan 2008 18:58:36 +0000
parents 1f1ebfcfa9cd
children 290f5853797a
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 AVTreeNode **child= &t->child[i];
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
61 void *next_elem[2];
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
62 av_tree_find(*child, key, cmp, next_elem);
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
63 key= t->elem= next_elem[i];
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
64 v= -i;
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
65 }else{
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
66 *next= t;
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
67 *tp=NULL;
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
68 return NULL;
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
69 }
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
70 }
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
71 ret= av_tree_insert(&t->child[v>>31], key, cmp, next);
136
4ae092965c27 AVL tree
michael
parents:
diff changeset
72 if(!ret){
414
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
73 int i= (v>>31) ^ !!*next;
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
74 AVTreeNode **child= &t->child[i];
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
75 t->state += 2*i - 1;
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
76
136
4ae092965c27 AVL tree
michael
parents:
diff changeset
77 if(!(t->state&1)){
4ae092965c27 AVL tree
michael
parents:
diff changeset
78 if(t->state){
414
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
79 if((*child)->state*2 == -t->state){
136
4ae092965c27 AVL tree
michael
parents:
diff changeset
80 *tp= (*child)->child[i^1];
4ae092965c27 AVL tree
michael
parents:
diff changeset
81 (*child)->child[i^1]= (*tp)->child[i];
4ae092965c27 AVL tree
michael
parents:
diff changeset
82 (*tp)->child[i]= *child;
4ae092965c27 AVL tree
michael
parents:
diff changeset
83 *child= (*tp)->child[i^1];
4ae092965c27 AVL tree
michael
parents:
diff changeset
84 (*tp)->child[i^1]= t;
4ae092965c27 AVL tree
michael
parents:
diff changeset
85
414
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
86 (*tp)->child[0]->state= -((*tp)->state>0);
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
87 (*tp)->child[1]->state= (*tp)->state<0 ;
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
88 (*tp)->state=0;
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
89 }else{
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
90 *tp= *child;
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
91 *child= (*child)->child[i^1];
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
92 (*tp)->child[i^1]= t;
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
93 if((*tp)->state) t->state = 0;
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
94 else t->state>>= 1;
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
95 (*tp)->state= -t->state;
136
4ae092965c27 AVL tree
michael
parents:
diff changeset
96 }
4ae092965c27 AVL tree
michael
parents:
diff changeset
97 }
414
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
98 }
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
99 if(!(*tp)->state ^ !!*next)
136
4ae092965c27 AVL tree
michael
parents:
diff changeset
100 return key;
4ae092965c27 AVL tree
michael
parents:
diff changeset
101 }
4ae092965c27 AVL tree
michael
parents:
diff changeset
102 return ret;
4ae092965c27 AVL tree
michael
parents:
diff changeset
103 }else{
413
a54e20281de9 Move *malloc() out of tree.c, that way the code can be used with
michael
parents: 412
diff changeset
104 *tp= *next; *next= NULL;
136
4ae092965c27 AVL tree
michael
parents:
diff changeset
105 (*tp)->elem= key;
4ae092965c27 AVL tree
michael
parents:
diff changeset
106 return NULL;
4ae092965c27 AVL tree
michael
parents:
diff changeset
107 }
4ae092965c27 AVL tree
michael
parents:
diff changeset
108 }
4ae092965c27 AVL tree
michael
parents:
diff changeset
109
4ae092965c27 AVL tree
michael
parents:
diff changeset
110 void av_tree_destroy(AVTreeNode *t){
4ae092965c27 AVL tree
michael
parents:
diff changeset
111 av_tree_destroy(t->child[0]);
4ae092965c27 AVL tree
michael
parents:
diff changeset
112 av_tree_destroy(t->child[1]);
4ae092965c27 AVL tree
michael
parents:
diff changeset
113 av_free(t);
4ae092965c27 AVL tree
michael
parents:
diff changeset
114 }
4ae092965c27 AVL tree
michael
parents:
diff changeset
115
4ae092965c27 AVL tree
michael
parents:
diff changeset
116 #if 0
4ae092965c27 AVL tree
michael
parents:
diff changeset
117 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
118 int v= f(opaque, t->elem);
dbcf66639764 improve enumerate so arbitrary ranges can be enumerated quickly
michael
parents: 136
diff changeset
119 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
120 if(v<=0) av_tree_enumerate(t->child[1], opaque, f);
136
4ae092965c27 AVL tree
michael
parents:
diff changeset
121 }
4ae092965c27 AVL tree
michael
parents:
diff changeset
122 #endif
4ae092965c27 AVL tree
michael
parents:
diff changeset
123
4ae092965c27 AVL tree
michael
parents:
diff changeset
124 #ifdef TEST
415
1f1ebfcfa9cd Fix selftest.
michael
parents: 414
diff changeset
125 #undef random
136
4ae092965c27 AVL tree
michael
parents:
diff changeset
126 static int check(AVTreeNode *t){
4ae092965c27 AVL tree
michael
parents:
diff changeset
127 if(t){
4ae092965c27 AVL tree
michael
parents:
diff changeset
128 int left= check(t->child[0]);
4ae092965c27 AVL tree
michael
parents:
diff changeset
129 int right= check(t->child[1]);
4ae092965c27 AVL tree
michael
parents:
diff changeset
130
4ae092965c27 AVL tree
michael
parents:
diff changeset
131 if(left>999 || right>999)
4ae092965c27 AVL tree
michael
parents:
diff changeset
132 return 1000;
4ae092965c27 AVL tree
michael
parents:
diff changeset
133 if(right - left != t->state)
4ae092965c27 AVL tree
michael
parents:
diff changeset
134 return 1000;
4ae092965c27 AVL tree
michael
parents:
diff changeset
135 if(t->state>1 || t->state<-1)
4ae092965c27 AVL tree
michael
parents:
diff changeset
136 return 1000;
4ae092965c27 AVL tree
michael
parents:
diff changeset
137 return FFMAX(left, right)+1;
4ae092965c27 AVL tree
michael
parents:
diff changeset
138 }
4ae092965c27 AVL tree
michael
parents:
diff changeset
139 return 0;
4ae092965c27 AVL tree
michael
parents:
diff changeset
140 }
4ae092965c27 AVL tree
michael
parents:
diff changeset
141
4ae092965c27 AVL tree
michael
parents:
diff changeset
142 static void print(AVTreeNode *t, int depth){
4ae092965c27 AVL tree
michael
parents:
diff changeset
143 int i;
4ae092965c27 AVL tree
michael
parents:
diff changeset
144 for(i=0; i<depth*4; i++) av_log(NULL, AV_LOG_ERROR, " ");
4ae092965c27 AVL tree
michael
parents:
diff changeset
145 if(t){
4ae092965c27 AVL tree
michael
parents:
diff changeset
146 av_log(NULL, AV_LOG_ERROR, "Node %p %2d %4d\n", t, t->state, t->elem);
4ae092965c27 AVL tree
michael
parents:
diff changeset
147 print(t->child[0], depth+1);
4ae092965c27 AVL tree
michael
parents:
diff changeset
148 print(t->child[1], depth+1);
4ae092965c27 AVL tree
michael
parents:
diff changeset
149 }else
4ae092965c27 AVL tree
michael
parents:
diff changeset
150 av_log(NULL, AV_LOG_ERROR, "NULL\n");
4ae092965c27 AVL tree
michael
parents:
diff changeset
151 }
4ae092965c27 AVL tree
michael
parents:
diff changeset
152
4ae092965c27 AVL tree
michael
parents:
diff changeset
153 int cmp(const void *a, const void *b){
4ae092965c27 AVL tree
michael
parents:
diff changeset
154 return a-b;
4ae092965c27 AVL tree
michael
parents:
diff changeset
155 }
4ae092965c27 AVL tree
michael
parents:
diff changeset
156
404
f9a4c04ebb0e main() --> main(void)
diego
parents: 141
diff changeset
157 int main(void){
136
4ae092965c27 AVL tree
michael
parents:
diff changeset
158 int i,j,k;
414
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
159 AVTreeNode *root= NULL, *node=NULL;
136
4ae092965c27 AVL tree
michael
parents:
diff changeset
160
4ae092965c27 AVL tree
michael
parents:
diff changeset
161 for(i=0; i<10000; i++){
414
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
162 int j= (random()%86294);
136
4ae092965c27 AVL tree
michael
parents:
diff changeset
163 if(check(root) > 999){
4ae092965c27 AVL tree
michael
parents:
diff changeset
164 av_log(NULL, AV_LOG_ERROR, "FATAL error %d\n", i);
4ae092965c27 AVL tree
michael
parents:
diff changeset
165 print(root, 0);
4ae092965c27 AVL tree
michael
parents:
diff changeset
166 return -1;
4ae092965c27 AVL tree
michael
parents:
diff changeset
167 }
4ae092965c27 AVL tree
michael
parents:
diff changeset
168 av_log(NULL, AV_LOG_ERROR, "inserting %4d\n", j);
414
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
169 if(!node)
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
170 node= av_mallocz(av_tree_node_size);
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
171 av_tree_insert(&root, (void*)(j+1), cmp, &node);
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
172
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
173 j= (random()%86294);
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
174 k= av_tree_find(root, (void*)(j+1), cmp, NULL);
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
175 if(k){
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
176 AVTreeNode *node2=NULL;
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
177 av_tree_insert(&root, (void*)(j+1), cmp, &node2);
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
178 k= av_tree_find(root, (void*)(j+1), cmp, NULL);
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
179 if(k)
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
180 av_log(NULL, AV_LOG_ERROR, "removial failure %d\n", i);
a30cad55db8b Support removing elements.
michael
parents: 413
diff changeset
181 }
136
4ae092965c27 AVL tree
michael
parents:
diff changeset
182 }
4ae092965c27 AVL tree
michael
parents:
diff changeset
183 return 0;
4ae092965c27 AVL tree
michael
parents:
diff changeset
184 }
4ae092965c27 AVL tree
michael
parents:
diff changeset
185 #endif