Michael Niedermayer | 9eb88fd | 2006-11-14 01:02:30 | [diff] [blame] | 1 | /* |
| 2 | * copyright (c) 2006 Michael Niedermayer <[email protected]> |
| 3 | * |
| 4 | * This file is part of FFmpeg. |
| 5 | * |
| 6 | * FFmpeg is free software; you can redistribute it and/or |
| 7 | * modify it under the terms of the GNU Lesser General Public |
| 8 | * License as published by the Free Software Foundation; either |
| 9 | * version 2.1 of the License, or (at your option) any later version. |
| 10 | * |
| 11 | * FFmpeg is distributed in the hope that it will be useful, |
| 12 | * but WITHOUT ANY WARRANTY; without even the implied warranty of |
| 13 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
| 14 | * Lesser General Public License for more details. |
| 15 | * |
| 16 | * You should have received a copy of the GNU Lesser General Public |
| 17 | * License along with FFmpeg; if not, write to the Free Software |
| 18 | * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA |
| 19 | */ |
| 20 | |
| 21 | #include "common.h" |
| 22 | #include "log.h" |
| 23 | #include "tree.h" |
| 24 | |
| 25 | typedef struct AVTreeNode{ |
| 26 | struct AVTreeNode *child[2]; |
| 27 | void *elem; |
| 28 | int state; |
| 29 | }AVTreeNode; |
| 30 | |
Michael Niedermayer | 6e8b982 | 2008-01-04 17:52:16 | [diff] [blame] | 31 | const int av_tree_node_size = sizeof(AVTreeNode); |
| 32 | |
Michael Niedermayer | 9eb88fd | 2006-11-14 01:02:30 | [diff] [blame] | 33 | void *av_tree_find(const AVTreeNode *t, void *key, int (*cmp)(void *key, const void *b), void *next[2]){ |
| 34 | if(t){ |
Michael Niedermayer | 2e1d287 | 2008-01-04 18:58:36 | [diff] [blame] | 35 | unsigned int v= cmp(key, t->elem); |
Michael Niedermayer | 9eb88fd | 2006-11-14 01:02:30 | [diff] [blame] | 36 | if(v){ |
Michael Niedermayer | 2e1d287 | 2008-01-04 18:58:36 | [diff] [blame] | 37 | if(next) next[v>>31]= t->elem; |
| 38 | return av_tree_find(t->child[(v>>31)^1], key, cmp, next); |
Michael Niedermayer | 9eb88fd | 2006-11-14 01:02:30 | [diff] [blame] | 39 | }else{ |
Michael Niedermayer | 116d15cc | 2008-01-04 10:14:21 | [diff] [blame] | 40 | if(next){ |
| 41 | av_tree_find(t->child[0], key, cmp, next); |
| 42 | av_tree_find(t->child[1], key, cmp, next); |
| 43 | } |
Michael Niedermayer | 9eb88fd | 2006-11-14 01:02:30 | [diff] [blame] | 44 | return t->elem; |
| 45 | } |
| 46 | } |
| 47 | return NULL; |
| 48 | } |
| 49 | |
Michael Niedermayer | 6e8b982 | 2008-01-04 17:52:16 | [diff] [blame] | 50 | void *av_tree_insert(AVTreeNode **tp, void *key, int (*cmp)(void *key, const void *b), AVTreeNode **next){ |
Michael Niedermayer | 9eb88fd | 2006-11-14 01:02:30 | [diff] [blame] | 51 | AVTreeNode *t= *tp; |
| 52 | if(t){ |
| 53 | unsigned int v= cmp(t->elem, key); |
Michael Niedermayer | f05dda3 | 2008-01-04 18:20:03 | [diff] [blame] | 54 | void *ret; |
| 55 | if(!v){ |
| 56 | if(*next) |
| 57 | return t->elem; |
| 58 | else if(t->child[0]||t->child[1]){ |
| 59 | int i= !t->child[0]; |
Michael Niedermayer | f05dda3 | 2008-01-04 18:20:03 | [diff] [blame] | 60 | void *next_elem[2]; |
Michael Niedermayer | 3f161c7 | 2008-01-16 01:54:18 | [diff] [blame] | 61 | av_tree_find(t->child[i], key, cmp, next_elem); |
Michael Niedermayer | f05dda3 | 2008-01-04 18:20:03 | [diff] [blame] | 62 | key= t->elem= next_elem[i]; |
| 63 | v= -i; |
| 64 | }else{ |
| 65 | *next= t; |
| 66 | *tp=NULL; |
| 67 | return NULL; |
| 68 | } |
| 69 | } |
Michael Niedermayer | a35bf97 | 2008-01-04 19:16:38 | [diff] [blame] | 70 | ret= av_tree_insert(&t->child[v>>31], key, cmp, next); |
| 71 | if(!ret){ |
| 72 | int i= (v>>31) ^ !!*next; |
| 73 | AVTreeNode **child= &t->child[i]; |
| 74 | t->state += 2*i - 1; |
Michael Niedermayer | f05dda3 | 2008-01-04 18:20:03 | [diff] [blame] | 75 | |
Michael Niedermayer | a35bf97 | 2008-01-04 19:16:38 | [diff] [blame] | 76 | if(!(t->state&1)){ |
| 77 | if(t->state){ |
| 78 | if((*child)->state*2 == -t->state){ |
| 79 | *tp= (*child)->child[i^1]; |
| 80 | (*child)->child[i^1]= (*tp)->child[i]; |
| 81 | (*tp)->child[i]= *child; |
| 82 | *child= (*tp)->child[i^1]; |
| 83 | (*tp)->child[i^1]= t; |
Michael Niedermayer | 9eb88fd | 2006-11-14 01:02:30 | [diff] [blame] | 84 | |
Michael Niedermayer | a35bf97 | 2008-01-04 19:16:38 | [diff] [blame] | 85 | (*tp)->child[0]->state= -((*tp)->state>0); |
| 86 | (*tp)->child[1]->state= (*tp)->state<0 ; |
| 87 | (*tp)->state=0; |
| 88 | }else{ |
| 89 | *tp= *child; |
| 90 | *child= (*child)->child[i^1]; |
| 91 | (*tp)->child[i^1]= t; |
| 92 | if((*tp)->state) t->state = 0; |
| 93 | else t->state>>= 1; |
| 94 | (*tp)->state= -t->state; |
Michael Niedermayer | 9eb88fd | 2006-11-14 01:02:30 | [diff] [blame] | 95 | } |
Michael Niedermayer | 9eb88fd | 2006-11-14 01:02:30 | [diff] [blame] | 96 | } |
| 97 | } |
Michael Niedermayer | a35bf97 | 2008-01-04 19:16:38 | [diff] [blame] | 98 | if(!(*tp)->state ^ !!*next) |
| 99 | return key; |
| 100 | } |
| 101 | return ret; |
Michael Niedermayer | 9eb88fd | 2006-11-14 01:02:30 | [diff] [blame] | 102 | }else{ |
Michael Niedermayer | 6e8b982 | 2008-01-04 17:52:16 | [diff] [blame] | 103 | *tp= *next; *next= NULL; |
Michael Niedermayer | 9eb88fd | 2006-11-14 01:02:30 | [diff] [blame] | 104 | (*tp)->elem= key; |
| 105 | return NULL; |
| 106 | } |
| 107 | } |
| 108 | |
| 109 | void av_tree_destroy(AVTreeNode *t){ |
| 110 | av_tree_destroy(t->child[0]); |
| 111 | av_tree_destroy(t->child[1]); |
| 112 | av_free(t); |
| 113 | } |
| 114 | |
| 115 | #if 0 |
| 116 | void av_tree_enumerate(AVTreeNode *t, void *opaque, int (*f)(void *opaque, void *elem)){ |
Michael Niedermayer | 3320687 | 2006-11-14 01:06:15 | [diff] [blame] | 117 | int v= f(opaque, t->elem); |
| 118 | if(v>=0) av_tree_enumerate(t->child[0], opaque, f); |
| 119 | if(v<=0) av_tree_enumerate(t->child[1], opaque, f); |
Michael Niedermayer | 9eb88fd | 2006-11-14 01:02:30 | [diff] [blame] | 120 | } |
| 121 | #endif |
| 122 | |
| 123 | #ifdef TEST |
Michael Niedermayer | d5cb5fe | 2008-01-04 18:21:36 | [diff] [blame] | 124 | #undef random |
Michael Niedermayer | 9eb88fd | 2006-11-14 01:02:30 | [diff] [blame] | 125 | static int check(AVTreeNode *t){ |
| 126 | if(t){ |
| 127 | int left= check(t->child[0]); |
| 128 | int right= check(t->child[1]); |
| 129 | |
| 130 | if(left>999 || right>999) |
| 131 | return 1000; |
| 132 | if(right - left != t->state) |
| 133 | return 1000; |
| 134 | if(t->state>1 || t->state<-1) |
| 135 | return 1000; |
| 136 | return FFMAX(left, right)+1; |
| 137 | } |
| 138 | return 0; |
| 139 | } |
| 140 | |
| 141 | static void print(AVTreeNode *t, int depth){ |
| 142 | int i; |
| 143 | for(i=0; i<depth*4; i++) av_log(NULL, AV_LOG_ERROR, " "); |
| 144 | if(t){ |
| 145 | av_log(NULL, AV_LOG_ERROR, "Node %p %2d %4d\n", t, t->state, t->elem); |
| 146 | print(t->child[0], depth+1); |
| 147 | print(t->child[1], depth+1); |
| 148 | }else |
| 149 | av_log(NULL, AV_LOG_ERROR, "NULL\n"); |
| 150 | } |
| 151 | |
| 152 | int cmp(const void *a, const void *b){ |
| 153 | return a-b; |
| 154 | } |
| 155 | |
Diego Biurrun | f8a80fd | 2007-11-23 00:52:56 | [diff] [blame] | 156 | int main(void){ |
Diego Biurrun | a005768 | 2008-01-08 22:53:25 | [diff] [blame] | 157 | int i,k; |
Michael Niedermayer | f05dda3 | 2008-01-04 18:20:03 | [diff] [blame] | 158 | AVTreeNode *root= NULL, *node=NULL; |
Michael Niedermayer | 9eb88fd | 2006-11-14 01:02:30 | [diff] [blame] | 159 | |
| 160 | for(i=0; i<10000; i++){ |
Michael Niedermayer | f05dda3 | 2008-01-04 18:20:03 | [diff] [blame] | 161 | int j= (random()%86294); |
Michael Niedermayer | 9eb88fd | 2006-11-14 01:02:30 | [diff] [blame] | 162 | if(check(root) > 999){ |
| 163 | av_log(NULL, AV_LOG_ERROR, "FATAL error %d\n", i); |
| 164 | print(root, 0); |
| 165 | return -1; |
| 166 | } |
| 167 | av_log(NULL, AV_LOG_ERROR, "inserting %4d\n", j); |
Michael Niedermayer | f05dda3 | 2008-01-04 18:20:03 | [diff] [blame] | 168 | if(!node) |
| 169 | node= av_mallocz(av_tree_node_size); |
| 170 | av_tree_insert(&root, (void*)(j+1), cmp, &node); |
| 171 | |
| 172 | j= (random()%86294); |
| 173 | k= av_tree_find(root, (void*)(j+1), cmp, NULL); |
| 174 | if(k){ |
| 175 | AVTreeNode *node2=NULL; |
Michael Niedermayer | 5d1e3d2 | 2008-01-16 01:54:56 | [diff] [blame^] | 176 | av_log(NULL, AV_LOG_ERROR, "removing %4d\n", j); |
Michael Niedermayer | f05dda3 | 2008-01-04 18:20:03 | [diff] [blame] | 177 | av_tree_insert(&root, (void*)(j+1), cmp, &node2); |
| 178 | k= av_tree_find(root, (void*)(j+1), cmp, NULL); |
| 179 | if(k) |
| 180 | av_log(NULL, AV_LOG_ERROR, "removial failure %d\n", i); |
| 181 | } |
Michael Niedermayer | 9eb88fd | 2006-11-14 01:02:30 | [diff] [blame] | 182 | } |
| 183 | return 0; |
| 184 | } |
| 185 | #endif |