tree.c 7.62 KB
Newer Older
Michael Niedermayer's avatar
Michael Niedermayer committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
/*
 * 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
 */

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

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

32
const int av_tree_node_size = sizeof(AVTreeNode);
33 34 35 36 37

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

39 40 41 42 43 44
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) {
45 46
            if (next)
                next[v >> 31] = t->elem;
47 48 49
            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
                key = t->elem = next_elem[i];
74
                v   = -i;
75 76
            } else {
                *next = t;
77
                *tp   = NULL;
78 79 80
                return NULL;
            }
        }
81 82
        ret = av_tree_insert(&t->child[v >> 31], key, cmp, next);
        if (!ret) {
83
            int i              = (v >> 31) ^ !!*next;
84 85 86 87 88
            AVTreeNode **child = &t->child[i];
            t->state += 2 * i - 1;

            if (!(t->state & 1)) {
                if (t->state) {
89
                    /* The following code is equivalent to
90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109
                     * 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 = ((0x400EEA >> i) & 3) - 1 +
                     *                    ((*tp)->state >> 1);
                     * }
                     * but such a rotate function is both bigger and slower
                     */
                    if ((*child)->state * 2 == -t->state) {
110 111 112
                        *tp                    = (*child)->child[i ^ 1];
                        (*child)->child[i ^ 1] = (*tp)->child[i];
                        (*tp)->child[i]        = *child;
113
                        *child                 = (*tp)->child[i ^ 1];
114 115 116
                        (*tp)->child[i ^ 1]    = t;

                        (*tp)->child[0]->state = -((*tp)->state > 0);
117
                        (*tp)->child[1]->state = (*tp)->state < 0;
118 119
                        (*tp)->state           = 0;
                    } else {
120 121 122 123 124 125 126 127
                        *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
128 129 130
                    }
                }
            }
131
            if (!(*tp)->state ^ !!*next)
Michael Niedermayer's avatar
Michael Niedermayer committed
132 133 134
                return key;
        }
        return ret;
135 136 137 138 139
    } else {
        *tp   = *next;
        *next = NULL;
        if (*tp) {
            (*tp)->elem = key;
140
            return NULL;
141
        } else
142
            return key;
Michael Niedermayer's avatar
Michael Niedermayer committed
143 144 145
    }
}

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

155 156 157 158 159 160 161 162 163 164 165 166
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);
167
    }
Michael Niedermayer's avatar
Michael Niedermayer committed
168 169 170
}

#ifdef TEST
171

172
#include "common.h"
173 174
#include "lfg.h"

175 176 177 178 179
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
180

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

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

205 206 207
static int cmp(void *a, const void *b)
{
    return (uint8_t *) a - (const uint8_t *) b;
Michael Niedermayer's avatar
Michael Niedermayer committed
208 209
}

210
int main(int argc, char **argv)
211
{
212 213
    int i;
    void *k;
214
    AVTreeNode *root = NULL, *node = NULL;
215
    AVLFG prng;
216 217 218
    int log_level = argc <= 1 ? AV_LOG_INFO : atoi(argv[1]);

    av_log_set_level(log_level);
219

220
    av_lfg_init(&prng, 1);
Michael Niedermayer's avatar
Michael Niedermayer committed
221

222
    for (i = 0; i < 10000; i++) {
223
        intptr_t j = av_lfg_get(&prng) % 86294;
224

225
        if (check(root) > 999) {
Michael Niedermayer's avatar
Michael Niedermayer committed
226
            av_log(NULL, AV_LOG_ERROR, "FATAL error %d\n", i);
227
            print(root, 0);
228
            return 1;
Michael Niedermayer's avatar
Michael Niedermayer committed
229
        }
230
        av_log(NULL, AV_LOG_DEBUG, "inserting %4d\n", (int)j);
231

232
        if (!node)
233
            node = av_tree_node_alloc();
234 235
        if (!node) {
            av_log(NULL, AV_LOG_ERROR, "Memory allocation failure.\n");
236
            return 1;
237
        }
238
        av_tree_insert(&root, (void *)(j + 1), cmp, &node);
239

240
        j = av_lfg_get(&prng) % 86294;
241
        {
242
            AVTreeNode *node2 = NULL;
243
            av_log(NULL, AV_LOG_DEBUG, "removing %4d\n", (int)j);
244 245
            av_tree_insert(&root, (void *)(j + 1), cmp, &node2);
            k = av_tree_find(root, (void *)(j + 1), cmp, NULL);
246
            if (k)
247
                av_log(NULL, AV_LOG_ERROR, "removal failure %d\n", i);
248
            av_free(node2);
249
        }
Michael Niedermayer's avatar
Michael Niedermayer committed
250
    }
251
    av_free(node);
252 253 254

    av_tree_destroy(root);

Michael Niedermayer's avatar
Michael Niedermayer committed
255 256 257
    return 0;
}
#endif