tree.c 7.1 KB
Newer Older
Michael Niedermayer's avatar
Michael Niedermayer committed
1 2 3
/*
 * copyright (c) 2006 Michael Niedermayer <michaelni@gmx.at>
 *
4
 * This file is part of Libav.
Michael Niedermayer's avatar
Michael Niedermayer committed
5
 *
6
 * Libav is free software; you can redistribute it and/or
Michael Niedermayer's avatar
Michael Niedermayer committed
7 8 9 10
 * 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.
 *
11
 * Libav is distributed in the hope that it will be useful,
Michael Niedermayer's avatar
Michael Niedermayer committed
12 13 14 15 16
 * 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
17
 * License along with Libav; if not, write to the Free Software
Michael Niedermayer's avatar
Michael Niedermayer committed
18 19 20 21
 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
 */

#include "log.h"
22
#include "mem.h"
Michael Niedermayer's avatar
Michael Niedermayer committed
23 24
#include "tree.h"

25
typedef struct AVTreeNode {
Michael Niedermayer's avatar
Michael Niedermayer committed
26 27 28
    struct AVTreeNode *child[2];
    void *elem;
    int state;
29
} AVTreeNode;
Michael Niedermayer's avatar
Michael Niedermayer committed
30

31
#if FF_API_CONTEXT_SIZE
32
const int av_tree_node_size = sizeof(AVTreeNode);
33 34 35 36 37 38
#endif

struct AVTreeNode *av_tree_node_alloc(void)
{
    return av_mallocz(sizeof(struct AVTreeNode));
}
39

40 41 42 43 44 45 46 47 48 49
void *av_tree_find(const AVTreeNode *t, void *key,
                   int (*cmp)(void *key, const void *b), void *next[2])
{
    if (t) {
        unsigned int v = cmp(key, t->elem);
        if (v) {
            if (next) next[v >> 31] = t->elem;
            return av_tree_find(t->child[(v >> 31) ^ 1], key, cmp, next);
        } else {
            if (next) {
50 51 52
                av_tree_find(t->child[0], key, cmp, next);
                av_tree_find(t->child[1], key, cmp, next);
            }
Michael Niedermayer's avatar
Michael Niedermayer committed
53 54 55 56 57 58
            return t->elem;
        }
    }
    return NULL;
}

59 60 61 62 63 64
void *av_tree_insert(AVTreeNode **tp, void *key,
                     int (*cmp)(void *key, const void *b), AVTreeNode **next)
{
    AVTreeNode *t = *tp;
    if (t) {
        unsigned int v = cmp(t->elem, key);
65
        void *ret;
66 67
        if (!v) {
            if (*next)
68
                return t->elem;
69 70
            else if (t->child[0] || t->child[1]) {
                int i = !t->child[0];
71
                void *next_elem[2];
Michael Niedermayer's avatar
Michael Niedermayer committed
72
                av_tree_find(t->child[i], key, cmp, next_elem);
73 74 75 76 77
                key = t->elem = next_elem[i];
                v = -i;
            } else {
                *next = t;
                *tp = NULL;
78 79 80
                return NULL;
            }
        }
81 82 83 84 85 86 87 88
        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;

            if (!(t->state & 1)) {
                if (t->state) {
89 90 91 92 93 94
                    /* The following code is equivalent to
                    if((*child)->state*2 == -t->state)
                        rotate(child, i^1);
                    rotate(tp, i);

                    with rotate():
95
                    static void rotate(AVTreeNode **tp, int i) {
96 97 98 99 100 101 102 103 104 105 106
                        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
                    */
107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123
                    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;

                        (*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;
Michael Niedermayer's avatar
Michael Niedermayer committed
124 125 126
                    }
                }
            }
127
            if (!(*tp)->state ^ !!*next)
Michael Niedermayer's avatar
Michael Niedermayer committed
128 129 130
                return key;
        }
        return ret;
131 132 133 134 135
    } else {
        *tp   = *next;
        *next = NULL;
        if (*tp) {
            (*tp)->elem = key;
136
            return NULL;
137
        } else
138
            return key;
Michael Niedermayer's avatar
Michael Niedermayer committed
139 140 141
    }
}

142 143 144
void av_tree_destroy(AVTreeNode *t)
{
    if (t) {
Aurelien Jacobs's avatar
Aurelien Jacobs committed
145 146 147
        av_tree_destroy(t->child[0]);
        av_tree_destroy(t->child[1]);
        av_free(t);
148
    }
Michael Niedermayer's avatar
Michael Niedermayer committed
149 150
}

151 152 153 154 155 156 157 158 159 160 161 162
void av_tree_enumerate(AVTreeNode *t, void *opaque,
                       int (*cmp)(void *opaque, void *elem),
                       int (*enu)(void *opaque, void *elem))
{
    if (t) {
        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);
163
    }
Michael Niedermayer's avatar
Michael Niedermayer committed
164 165 166
}

#ifdef TEST
167

168
#include "common.h"
169 170
#include "lfg.h"

171 172 173 174 175
static int check(AVTreeNode *t)
{
    if (t) {
        int left  = check(t->child[0]);
        int right = check(t->child[1]);
Michael Niedermayer's avatar
Michael Niedermayer committed
176

177
        if (left>999 || right>999)
Michael Niedermayer's avatar
Michael Niedermayer committed
178
            return 1000;
179
        if (right - left != t->state)
Michael Niedermayer's avatar
Michael Niedermayer committed
180
            return 1000;
181
        if (t->state>1 || t->state<-1)
Michael Niedermayer's avatar
Michael Niedermayer committed
182
            return 1000;
183
        return FFMAX(left, right) + 1;
Michael Niedermayer's avatar
Michael Niedermayer committed
184 185 186 187
    }
    return 0;
}

188 189
static void print(AVTreeNode *t, int depth)
{
Michael Niedermayer's avatar
Michael Niedermayer committed
190
    int i;
191 192
    for (i = 0; i < depth * 4; i++) av_log(NULL, AV_LOG_ERROR, " ");
    if (t) {
193
        av_log(NULL, AV_LOG_ERROR, "Node %p %2d %p\n", t, t->state, t->elem);
194 195 196
        print(t->child[0], depth + 1);
        print(t->child[1], depth + 1);
    } else
Michael Niedermayer's avatar
Michael Niedermayer committed
197 198 199
        av_log(NULL, AV_LOG_ERROR, "NULL\n");
}

200 201 202
static int cmp(void *a, const void *b)
{
    return (uint8_t *) a - (const uint8_t *) b;
Michael Niedermayer's avatar
Michael Niedermayer committed
203 204
}

205 206
int main (void)
{
207 208
    int i;
    void *k;
209
    AVTreeNode *root = NULL, *node = NULL;
210
    AVLFG prng;
211

212
    av_lfg_init(&prng, 1);
Michael Niedermayer's avatar
Michael Niedermayer committed
213

214
    for (i = 0; i < 10000; i++) {
215
        int j = av_lfg_get(&prng) % 86294;
216
        if (check(root) > 999) {
Michael Niedermayer's avatar
Michael Niedermayer committed
217 218 219 220 221
            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);
222 223 224
        if (!node)
            node = av_mallocz(av_tree_node_size);
        av_tree_insert(&root, (void *) (j + 1), cmp, &node);
225

226
        j = av_lfg_get(&prng) % 86294;
227
        {
228
            AVTreeNode *node2 = NULL;
229
            av_log(NULL, AV_LOG_ERROR, "removing %4d\n", j);
230 231 232
            av_tree_insert(&root, (void *) (j + 1), cmp, &node2);
            k = av_tree_find(root, (void *) (j + 1), cmp, NULL);
            if (k)
233
                av_log(NULL, AV_LOG_ERROR, "removal failure %d\n", i);
234
        }
Michael Niedermayer's avatar
Michael Niedermayer committed
235 236 237 238
    }
    return 0;
}
#endif