2006-11-14 01:02:30 +00:00
|
|
|
/*
|
|
|
|
* copyright (c) 2006 Michael Niedermayer <michaelni@gmx.at>
|
|
|
|
*
|
|
|
|
* This file is part of FFmpeg.
|
|
|
|
*
|
|
|
|
* FFmpeg is free software; you can redistribute it and/or
|
|
|
|
* modify it under the terms of the GNU Lesser General Public
|
|
|
|
* License as published by the Free Software Foundation; either
|
|
|
|
* version 2.1 of the License, or (at your option) any later version.
|
|
|
|
*
|
|
|
|
* FFmpeg is distributed in the hope that it will be useful,
|
|
|
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
|
|
* Lesser General Public License for more details.
|
|
|
|
*
|
|
|
|
* You should have received a copy of the GNU Lesser General Public
|
|
|
|
* License along with FFmpeg; if not, write to the Free Software
|
|
|
|
* Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
|
|
|
|
*/
|
|
|
|
|
|
|
|
#include "common.h"
|
|
|
|
#include "log.h"
|
|
|
|
#include "tree.h"
|
|
|
|
|
|
|
|
typedef struct AVTreeNode{
|
|
|
|
struct AVTreeNode *child[2];
|
|
|
|
void *elem;
|
|
|
|
int state;
|
|
|
|
}AVTreeNode;
|
|
|
|
|
2008-01-04 17:52:16 +00:00
|
|
|
const int av_tree_node_size = sizeof(AVTreeNode);
|
|
|
|
|
2006-11-14 01:02:30 +00:00
|
|
|
void *av_tree_find(const AVTreeNode *t, void *key, int (*cmp)(void *key, const void *b), void *next[2]){
|
|
|
|
if(t){
|
2008-01-04 18:58:36 +00:00
|
|
|
unsigned int v= cmp(key, t->elem);
|
2006-11-14 01:02:30 +00:00
|
|
|
if(v){
|
2008-01-04 18:58:36 +00:00
|
|
|
if(next) next[v>>31]= t->elem;
|
|
|
|
return av_tree_find(t->child[(v>>31)^1], key, cmp, next);
|
2006-11-14 01:02:30 +00:00
|
|
|
}else{
|
2008-01-04 10:14:21 +00:00
|
|
|
if(next){
|
|
|
|
av_tree_find(t->child[0], key, cmp, next);
|
|
|
|
av_tree_find(t->child[1], key, cmp, next);
|
|
|
|
}
|
2006-11-14 01:02:30 +00:00
|
|
|
return t->elem;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return NULL;
|
|
|
|
}
|
|
|
|
|
2008-01-04 17:52:16 +00:00
|
|
|
void *av_tree_insert(AVTreeNode **tp, void *key, int (*cmp)(void *key, const void *b), AVTreeNode **next){
|
2006-11-14 01:02:30 +00:00
|
|
|
AVTreeNode *t= *tp;
|
|
|
|
if(t){
|
|
|
|
unsigned int v= cmp(t->elem, key);
|
2008-01-04 18:20:03 +00:00
|
|
|
void *ret;
|
|
|
|
if(!v){
|
|
|
|
if(*next)
|
|
|
|
return t->elem;
|
|
|
|
else if(t->child[0]||t->child[1]){
|
|
|
|
int i= !t->child[0];
|
|
|
|
void *next_elem[2];
|
2008-01-16 01:54:18 +00:00
|
|
|
av_tree_find(t->child[i], key, cmp, next_elem);
|
2008-01-04 18:20:03 +00:00
|
|
|
key= t->elem= next_elem[i];
|
|
|
|
v= -i;
|
|
|
|
}else{
|
|
|
|
*next= t;
|
|
|
|
*tp=NULL;
|
|
|
|
return NULL;
|
|
|
|
}
|
|
|
|
}
|
2008-01-04 19:16:38 +00:00
|
|
|
ret= av_tree_insert(&t->child[v>>31], key, cmp, next);
|
|
|
|
if(!ret){
|
|
|
|
int i= (v>>31) ^ !!*next;
|
|
|
|
AVTreeNode **child= &t->child[i];
|
|
|
|
t->state += 2*i - 1;
|
2008-01-04 18:20:03 +00:00
|
|
|
|
2008-01-04 19:16:38 +00:00
|
|
|
if(!(t->state&1)){
|
|
|
|
if(t->state){
|
2008-01-23 21:03:21 +00:00
|
|
|
/* The following code is equivalent to
|
|
|
|
if((*child)->state*2 == -t->state)
|
|
|
|
rotate(child, i^1);
|
|
|
|
rotate(tp, i);
|
|
|
|
|
|
|
|
with rotate():
|
|
|
|
static void rotate(AVTreeNode **tp, int i){
|
|
|
|
AVTreeNode *t= *tp;
|
|
|
|
|
|
|
|
*tp= t->child[i];
|
|
|
|
t->child[i]= t->child[i]->child[i^1];
|
|
|
|
(*tp)->child[i^1]= t;
|
|
|
|
i= 4*t->state + 2*(*tp)->state + 12;
|
|
|
|
t ->state= ((0x614586 >> i) & 3)-1;
|
|
|
|
(*tp)->state= ((*tp)->state>>1) + ((0x400EEA >> i) & 3)-1;
|
|
|
|
}
|
|
|
|
but such a rotate function is both bigger and slower
|
|
|
|
*/
|
2008-01-04 19:16:38 +00:00
|
|
|
if((*child)->state*2 == -t->state){
|
|
|
|
*tp= (*child)->child[i^1];
|
|
|
|
(*child)->child[i^1]= (*tp)->child[i];
|
|
|
|
(*tp)->child[i]= *child;
|
|
|
|
*child= (*tp)->child[i^1];
|
|
|
|
(*tp)->child[i^1]= t;
|
2006-11-14 01:02:30 +00:00
|
|
|
|
2008-01-04 19:16:38 +00:00
|
|
|
(*tp)->child[0]->state= -((*tp)->state>0);
|
|
|
|
(*tp)->child[1]->state= (*tp)->state<0 ;
|
|
|
|
(*tp)->state=0;
|
|
|
|
}else{
|
|
|
|
*tp= *child;
|
|
|
|
*child= (*child)->child[i^1];
|
|
|
|
(*tp)->child[i^1]= t;
|
|
|
|
if((*tp)->state) t->state = 0;
|
|
|
|
else t->state>>= 1;
|
|
|
|
(*tp)->state= -t->state;
|
2006-11-14 01:02:30 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2008-01-04 19:16:38 +00:00
|
|
|
if(!(*tp)->state ^ !!*next)
|
|
|
|
return key;
|
|
|
|
}
|
|
|
|
return ret;
|
2006-11-14 01:02:30 +00:00
|
|
|
}else{
|
2008-01-04 17:52:16 +00:00
|
|
|
*tp= *next; *next= NULL;
|
2008-09-19 12:41:12 +00:00
|
|
|
if(*tp){
|
|
|
|
(*tp)->elem= key;
|
|
|
|
return NULL;
|
|
|
|
}else
|
|
|
|
return key;
|
2006-11-14 01:02:30 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
void av_tree_destroy(AVTreeNode *t){
|
2009-01-04 17:48:19 +00:00
|
|
|
if(t){
|
2009-01-04 17:48:54 +00:00
|
|
|
av_tree_destroy(t->child[0]);
|
|
|
|
av_tree_destroy(t->child[1]);
|
|
|
|
av_free(t);
|
2009-01-04 17:48:19 +00:00
|
|
|
}
|
2006-11-14 01:02:30 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
#if 0
|
2009-11-14 11:19:08 +00:00
|
|
|
void av_tree_enumerate(AVTreeNode *t, void *opaque, int (*cmp)(void *opaque, void *elem), int (*enu)(void *opaque, void *elem)){
|
2009-11-14 19:14:14 +00:00
|
|
|
if(t){
|
2009-11-14 19:15:09 +00:00
|
|
|
int v= cmp ? cmp(opaque, t->elem) : 0;
|
|
|
|
if(v>=0) av_tree_enumerate(t->child[0], opaque, cmp, enu);
|
|
|
|
if(v==0) enu(opaque, t->elem);
|
|
|
|
if(v<=0) av_tree_enumerate(t->child[1], opaque, cmp, enu);
|
2009-11-14 19:14:14 +00:00
|
|
|
}
|
2006-11-14 01:02:30 +00:00
|
|
|
}
|
|
|
|
#endif
|
|
|
|
|
|
|
|
#ifdef TEST
|
2009-03-20 11:48:27 +00:00
|
|
|
|
|
|
|
#include "lfg.h"
|
|
|
|
|
2006-11-14 01:02:30 +00:00
|
|
|
static int check(AVTreeNode *t){
|
|
|
|
if(t){
|
|
|
|
int left= check(t->child[0]);
|
|
|
|
int right= check(t->child[1]);
|
|
|
|
|
|
|
|
if(left>999 || right>999)
|
|
|
|
return 1000;
|
|
|
|
if(right - left != t->state)
|
|
|
|
return 1000;
|
|
|
|
if(t->state>1 || t->state<-1)
|
|
|
|
return 1000;
|
|
|
|
return FFMAX(left, right)+1;
|
|
|
|
}
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
static void print(AVTreeNode *t, int depth){
|
|
|
|
int i;
|
|
|
|
for(i=0; i<depth*4; i++) av_log(NULL, AV_LOG_ERROR, " ");
|
|
|
|
if(t){
|
2009-03-31 14:00:46 +00:00
|
|
|
av_log(NULL, AV_LOG_ERROR, "Node %p %2d %p\n", t, t->state, t->elem);
|
2006-11-14 01:02:30 +00:00
|
|
|
print(t->child[0], depth+1);
|
|
|
|
print(t->child[1], depth+1);
|
|
|
|
}else
|
|
|
|
av_log(NULL, AV_LOG_ERROR, "NULL\n");
|
|
|
|
}
|
|
|
|
|
2009-03-31 14:00:46 +00:00
|
|
|
static int cmp(void *a, const void *b){
|
|
|
|
return (uint8_t*)a-(const uint8_t*)b;
|
2006-11-14 01:02:30 +00:00
|
|
|
}
|
|
|
|
|
2007-11-23 00:52:56 +00:00
|
|
|
int main(void){
|
2009-03-31 14:00:46 +00:00
|
|
|
int i;
|
|
|
|
void *k;
|
2008-01-04 18:20:03 +00:00
|
|
|
AVTreeNode *root= NULL, *node=NULL;
|
2009-04-10 17:23:38 +00:00
|
|
|
AVLFG prng;
|
2009-03-20 11:48:27 +00:00
|
|
|
|
2009-04-10 17:23:38 +00:00
|
|
|
av_lfg_init(&prng, 1);
|
2006-11-14 01:02:30 +00:00
|
|
|
|
|
|
|
for(i=0; i<10000; i++){
|
2009-04-10 17:23:38 +00:00
|
|
|
int j = av_lfg_get(&prng) % 86294;
|
2006-11-14 01:02:30 +00:00
|
|
|
if(check(root) > 999){
|
|
|
|
av_log(NULL, AV_LOG_ERROR, "FATAL error %d\n", i);
|
|
|
|
print(root, 0);
|
|
|
|
return -1;
|
|
|
|
}
|
|
|
|
av_log(NULL, AV_LOG_ERROR, "inserting %4d\n", j);
|
2008-01-04 18:20:03 +00:00
|
|
|
if(!node)
|
|
|
|
node= av_mallocz(av_tree_node_size);
|
|
|
|
av_tree_insert(&root, (void*)(j+1), cmp, &node);
|
|
|
|
|
2009-04-10 17:23:38 +00:00
|
|
|
j = av_lfg_get(&prng) % 86294;
|
2008-09-19 12:41:12 +00:00
|
|
|
{
|
2008-01-04 18:20:03 +00:00
|
|
|
AVTreeNode *node2=NULL;
|
2008-01-16 01:54:56 +00:00
|
|
|
av_log(NULL, AV_LOG_ERROR, "removing %4d\n", j);
|
2008-01-04 18:20:03 +00:00
|
|
|
av_tree_insert(&root, (void*)(j+1), cmp, &node2);
|
|
|
|
k= av_tree_find(root, (void*)(j+1), cmp, NULL);
|
|
|
|
if(k)
|
2009-01-28 00:16:05 +00:00
|
|
|
av_log(NULL, AV_LOG_ERROR, "removal failure %d\n", i);
|
2008-01-04 18:20:03 +00:00
|
|
|
}
|
2006-11-14 01:02:30 +00:00
|
|
|
}
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
#endif
|