WebSVN – HelenOS-historic – Diff – /kernel/trunk/generic/src/adt/btree.c


/*
 * Copyright (C) 2006 Jakub Jermar
 * All rights reserved.
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions
 * are met:
 *
 * - Redistributions of source code must retain the above copyright
 *   notice, this list of conditions and the following disclaimer.
 * - Redistributions in binary form must reproduce the above copyright
 *   notice, this list of conditions and the following disclaimer in the
 *   documentation and/or other materials provided with the distribution.
 * - The name of the author may not be used to endorse or promote products
 *   derived from this software without specific prior written permission.
 *
 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 */
 
/*
 * This B-tree has the following properties:
 * - it is a ballanced 2-3-4 tree (i.e. BTREE_M = 4)
 * - values (i.e. pointers to values) are stored only in leaves
 * - leaves are linked in a list
 * - technically, it is a B+-tree (because of the previous properties)
 *
 * Some of the functions below take pointer to the right-hand
 * side subtree pointer as parameter. Note that this is sufficient
 * because:
 *  - New root node is passed the left-hand side subtree pointer
 *    directly.
 *  - node_split() always creates the right sibling and preserves
 *    the original node (which becomes the left sibling).
 *    There is always pointer to the left-hand side subtree
 *    (i.e. left sibling) in the parent node.
 */
 
#include <adt/btree.h>
#include <adt/list.h>
#include <mm/slab.h>
#include <debug.h>
#include <panic.h>
#include <typedefs.h>
#include <print.h>
 
static void _btree_insert(btree_t *t, __native key, void *value, btree_node_t *rsubtree, btree_node_t *node);
static void node_initialize(btree_node_t *node);
static void node_insert_key(btree_node_t *node, __native key, void *value, btree_node_t *rsubtree);
static btree_node_t *node_split(btree_node_t *node, __native key, void *value, btree_node_t *rsubtree, __native *median);
 
#define ROOT_NODE(n)        (!(n)->parent)
#define INDEX_NODE(n)       ((n)->subtree[0] != NULL)
#define LEAF_NODE(n)        ((n)->subtree[0] == NULL)
 
#define MEDIAN_LOW_INDEX(n) (((n)->keys-1)/2)
#define MEDIAN_HIGH_INDEX(n)    ((n)->keys/2)
#define MEDIAN_LOW(n)       ((n)->key[MEDIAN_LOW_INDEX((n))]);
#define MEDIAN_HIGH(n)      ((n)->key[MEDIAN_HIGH_INDEX((n))]);
 
/** Create empty B-tree.
 *
 * @param t B-tree.
 */
void btree_create(btree_t *t)
{
    list_initialize(&t->leaf_head);
    t->root = (btree_node_t *) malloc(sizeof(btree_node_t), 0);
    node_initialize(t->root);
    list_append(&t->root->leaf_link, &t->leaf_head);
}
 
/** Destroy empty B-tree. */
void btree_destroy(btree_t *t)
{
    ASSERT(!t->root->keys);
    free(t->root);
}
 
/** Insert key-value pair into B-tree.
 *
 * @param t B-tree.
 * @param key Key to be inserted.
 * @param value Value to be inserted.
 * @param leaf_node Leaf node where the insertion should begin.
 */
void btree_insert(btree_t *t, __native key, void *value, btree_node_t *leaf_node)
{
    btree_node_t *lnode;
   
    ASSERT(value);
   
    lnode = leaf_node;
    if (!lnode) {
        if (btree_search(t, key, &lnode)) {
            panic("B-tree %P already contains key %d\n", t, key);
        }
    }
   
    _btree_insert(t, key, value, NULL, lnode);
}
 
/** Recursively insert into B-tree.
 *
 * @param t B-tree.
 * @param key Key to be inserted.
 * @param value Value to be inserted.
 * @param rsubtree Right subtree of the inserted key.
 * @param node Start inserting into this node.
 */
void _btree_insert(btree_t *t, __native key, void *value, btree_node_t *rsubtree, btree_node_t *node)
{
    if (node->keys < BTREE_MAX_KEYS) {
        /*
         * Node conatins enough space, the key can be stored immediately.
         */
        node_insert_key(node, key, value, rsubtree);
    } else {
        btree_node_t *rnode;
        __native median;
       
        /*
         * Node is full.
         * Split it and insert the smallest key from the node containing
         * bigger keys (i.e. the original node) into its parent.
         */
 
        rnode = node_split(node, key, value, rsubtree, &median);
 
        if (LEAF_NODE(node)) {
            list_append(&rnode->leaf_link, &node->leaf_link);
        }
       
        if (ROOT_NODE(node)) {
            /*
             * We split the root node. Create new root.
             */
       
            t->root = (btree_node_t *) malloc(sizeof(btree_node_t), 0);
            node->parent = t->root;
            rnode->parent = t->root;
            node_initialize(t->root);
           
            /*
             * Left-hand side subtree will be the old root (i.e. node).
             * Right-hand side subtree will be rnode.
             */        
            t->root->subtree[0] = node;
 
            t->root->depth = node->depth + 1;
        }
        _btree_insert(t, median, NULL, rnode, node->parent);
    }  
       
}
 
/* TODO */
void btree_remove(btree_t *t, __native key)
{
}
 
/** Search key in a B-tree.
 *
 * @param t B-tree.
 * @param key Key to be searched.
 * @param leaf_node Address where to put pointer to visited leaf node.
 *
 * @return Pointer to value or NULL if there is no such key.
 */
void *btree_search(btree_t *t, __native key, btree_node_t **leaf_node)
{
    btree_node_t *cur, *next;
    void *val = NULL;
   
    /*
     * Iteratively descend to the leaf that can contain searched key.
     */
    for (cur = t->root; cur; cur = next) {
        int i;
   
        /* Last iteration will set this with proper leaf node address. */
        *leaf_node = cur;
        for (i = 0; i < cur->keys; i++) {
            if (key <= cur->key[i]) {
                val = cur->value[i];
                next = cur->subtree[i];
               
                /*
                 * Check if there is anywhere to descend.
                 */
                if (!next) {
                    /*
                     * Leaf-level.
                     */
                    return (key == cur->key[i]) ? val : NULL;
                }
                goto descend;
            }
        }
        next = cur->subtree[i];
    descend:
        ;
    }
 
    /*
     * The key was not found in the *leaf_node and is greater than any of its keys.
     */
    return NULL;
}
 
/** Get pointer to value with the smallest key within the node.
 *
 * Can be only used on leaf-level nodes.
 *
 * @param node B-tree node.
 *
 * @return Pointer to value assiciated with the smallest key.
 */
void *btree_node_min(btree_node_t *node)
{
    ASSERT(LEAF_NODE(node));
    ASSERT(node->keys);
    return node->value[0];
}
 
/** Get pointer to value with the biggest key within the node.
 *
 * Can be only used on leaf-level nodes.
 *
 * @param node B-tree node.
 *
 * @return Pointer to value assiciated with the biggest key.
 */
void *btree_node_max(btree_node_t *node)
{
    ASSERT(LEAF_NODE(node));
    ASSERT(node->keys);
    return node->value[node->keys - 1];
}
 
/** Initialize B-tree node.
 *
 * @param node B-tree node.
 */
void node_initialize(btree_node_t *node)
{
    int i;
 
    node->keys = 0;
   
    /* Clean also space for the extra key. */
    for (i = 0; i < BTREE_MAX_KEYS + 1; i++) {
        node->key[i] = 0;
        node->value[i] = NULL;
        node->subtree[i] = NULL;
    }
    node->subtree[i] = NULL;
   
    node->parent = NULL;
   
    link_initialize(&node->leaf_link);
 
    link_initialize(&node->bfs_link);
    node->depth = 0;
}
 
/** Insert key-value-left-subtree triplet into B-tree non-full node.
 *
 * It is actually possible to have more keys than BTREE_MAX_KEYS.
 * This feature is used during splitting the node when the
 * number of keys is BTREE_MAX_KEYS + 1.
 *
 * @param node B-tree node into wich the new key is to be inserted.
 * @param key The key to be inserted.
 * @param value Pointer to value to be inserted.
 * @param rsubtree Pointer to the right subtree.
 */
void node_insert_key(btree_node_t *node, __native key, void *value, btree_node_t *rsubtree)
{
    int i;
 
    for (i = 0; i < node->keys; i++) {
        if (key < node->key[i]) {
            int j;
       
            for (j = node->keys; j > i; j--) {
                node->key[j] = node->key[j - 1];
                node->value[j] = node->value[j - 1];
                node->subtree[j + 1] = node->subtree[j];
            }
            break; 
        }
    }
 
    node->key[i] = key;
    node->value[i] = value;
    node->subtree[i + 1] = rsubtree;
           
    node->keys++;
}
 
/** Split full B-tree node and insert new key-value-left-subtree triplet.
 *
 * This function will split a node and return pointer to a newly created
 * node containing keys greater than the lesser of medians (or median)
 * of the old keys and the newly added key. It will also write the
 * median key to a memory address supplied by the caller.
 *
 * If the node being split is an index node, the median will be
 * removed from the original node. If the node is a leaf node,
 * the median will be preserved.
 *
 * @param node B-tree node wich is going to be split.
 * @param key The key to be inserted.
 * @param value Pointer to the value to be inserted.
 * @param rsubtree Pointer to the right subtree of the key being added.
 * @param median Address in memory, where the median key will be stored.
 *
 * @return Newly created right sibling of node.
 */
btree_node_t *node_split(btree_node_t *node, __native key, void *value, btree_node_t *rsubtree, __native *median)
{
    btree_node_t *rnode;
    int i, j;
 
    ASSERT(median);
    ASSERT(node->keys == BTREE_MAX_KEYS);
   
    /*
     * Use the extra space to store the extra node.
     */
    node_insert_key(node, key, value, rsubtree);
 
    /*
     * Compute median of keys.
     */
    *median = MEDIAN_LOW(node);
       
    rnode = (btree_node_t *) malloc(sizeof(btree_node_t), 0);
    node_initialize(rnode);
    rnode->parent = node->parent;
    rnode->depth = node->depth;
   
    /*
     * Copy big keys, values and subtree pointers to the new right sibling.
     */
    for (i = MEDIAN_LOW_INDEX(node) + 1, j = 0; i < node->keys; i++, j++) {
        rnode->key[j] = node->key[i];
        rnode->value[j] = node->value[i];
        rnode->subtree[j] = node->subtree[i];
       
        /*
         * Fix parent links in subtrees.
         */
        if (rnode->subtree[j])
            rnode->subtree[j]->parent = rnode;
           
    }
    rnode->subtree[j] = node->subtree[i];
    if (rnode->subtree[j])
        rnode->subtree[j]->parent = rnode;
    rnode->keys = j;
   
    /*
     * Shrink the old node.
     * If this is an index node, remove the median.
     */
    node->keys = MEDIAN_LOW_INDEX(node) + 1;
    if (INDEX_NODE(node))
        node->keys--;
       
    return rnode;
}
 
/** Print B-tree.
 *
 * @param t Print out B-tree.
 */
void btree_print(btree_t *t)
{
    int i, depth = t->root->depth;
    link_t head;
   
    list_initialize(&head);
    list_append(&t->root->bfs_link, &head);
 
    /*
     * Use BFS search to print out the tree.
     * Levels are distinguished from one another by node->depth.
     */
    while (!list_empty(&head)) {
        link_t *hlp;
        btree_node_t *node;
       
        hlp = head.next;
        ASSERT(hlp != &head);
        node = list_get_instance(hlp, btree_node_t, bfs_link);
        list_remove(hlp);
       
        ASSERT(node);
       
        if (node->depth != depth) {
            printf("\n");
            depth = node->depth;
        }
 
        printf("(");
        for (i = 0; i < node->keys; i++) {
            printf("%d,", node->key[i]);
            if (node->depth && node->subtree[i]) {
                list_append(&node->subtree[i]->bfs_link, &head);
            }
        }
        if (node->depth && node->subtree[i]) {
            list_append(&node->subtree[i]->bfs_link, &head);
        }
        printf(")");
    }
    printf("\n");
}
 

Rev 1101	Rev 1121
1	/*	1	/*
2	* Copyright (C) 2006 Jakub Jermar	2	* Copyright (C) 2006 Jakub Jermar
3	* All rights reserved.	3	* All rights reserved.
4	*	4	*
5	* Redistribution and use in source and binary forms, with or without	5	* Redistribution and use in source and binary forms, with or without
6	* modification, are permitted provided that the following conditions	6	* modification, are permitted provided that the following conditions
7	* are met:	7	* are met:
8	*	8	*
9	* - Redistributions of source code must retain the above copyright	9	* - Redistributions of source code must retain the above copyright
10	* notice, this list of conditions and the following disclaimer.	10	* notice, this list of conditions and the following disclaimer.
11	* - Redistributions in binary form must reproduce the above copyright	11	* - Redistributions in binary form must reproduce the above copyright
12	* notice, this list of conditions and the following disclaimer in the	12	* notice, this list of conditions and the following disclaimer in the
13	* documentation and/or other materials provided with the distribution.	13	* documentation and/or other materials provided with the distribution.
14	* - The name of the author may not be used to endorse or promote products	14	* - The name of the author may not be used to endorse or promote products
15	* derived from this software without specific prior written permission.	15	* derived from this software without specific prior written permission.
16	*	16	*
17	* THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR	17	* THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
18	* IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES	18	* IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
19	* OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.	19	* OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
20	* IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,	20	* IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
21	* INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT	21	* INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
22	* NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,	22	* NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23	* DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY	23	* DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24	* THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT	24	* THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25	* (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF	25	* (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
26	* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.	26	* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27	*/	27	*/
28		28
29	/*	29	/*
30	* This B-tree has the following properties:	30	* This B-tree has the following properties:
31	* - it is a ballanced 2-3-4 tree (i.e. M = 4)	31	* - it is a ballanced 2-3-4 tree (i.e. BTREE_M = 4)
32	* - values (i.e. pointers to values) are stored only in leaves	32	* - values (i.e. pointers to values) are stored only in leaves
33	* - leaves are linked in a list	33	* - leaves are linked in a list
34	* - technically, it is a B+-tree (because of the previous properties)	34	* - technically, it is a B+-tree (because of the previous properties)
35	*	35	*
36	* Some of the functions below take pointer to the right-hand	36	* Some of the functions below take pointer to the right-hand
37	* side subtree pointer as parameter. Note that this is sufficient	37	* side subtree pointer as parameter. Note that this is sufficient
38	* because:	38	* because:
39	* - New root node is passed the left-hand side subtree pointer	39	* - New root node is passed the left-hand side subtree pointer
40	* directly.	40	* directly.
41	* - node_split() always creates the right sibling and preserves	41	* - node_split() always creates the right sibling and preserves
42	* the original node (which becomes the left sibling).	42	* the original node (which becomes the left sibling).
43	* There is always pointer to the left-hand side subtree	43	* There is always pointer to the left-hand side subtree
44	* (i.e. left sibling) in the parent node.	44	* (i.e. left sibling) in the parent node.
45	*/	45	*/
46		46
47	#include <adt/btree.h>	47	#include <adt/btree.h>
48	#include <adt/list.h>	48	#include <adt/list.h>
49	#include <mm/slab.h>	49	#include <mm/slab.h>
50	#include <debug.h>	50	#include <debug.h>
51	#include <panic.h>	51	#include <panic.h>
52	#include <typedefs.h>	52	#include <typedefs.h>
53	#include <print.h>	53	#include <print.h>
54		54
55	static void _btree_insert(btree_t t, __native key, void value, btree_node_t rsubtree, btree_node_t node);	55	static void _btree_insert(btree_t t, __native key, void value, btree_node_t rsubtree, btree_node_t node);
56	static void node_initialize(btree_node_t *node);	56	static void node_initialize(btree_node_t *node);
57	static void node_insert_key(btree_node_t node, __native key, void value, btree_node_t *rsubtree);	57	static void node_insert_key(btree_node_t node, __native key, void value, btree_node_t *rsubtree);
58	static btree_node_t node_split(btree_node_t node, __native key, void value, btree_node_t rsubtree, __native *median);	58	static btree_node_t node_split(btree_node_t node, __native key, void value, btree_node_t rsubtree, __native *median);
59		59
60	#define ROOT_NODE(n) (!(n)->parent)	60	#define ROOT_NODE(n) (!(n)->parent)
61	#define INDEX_NODE(n) ((n)->subtree[0] != NULL)	61	#define INDEX_NODE(n) ((n)->subtree[0] != NULL)
62	#define LEAF_NODE(n) ((n)->subtree[0] == NULL)	62	#define LEAF_NODE(n) ((n)->subtree[0] == NULL)
63		63
64	#define MEDIAN_LOW_INDEX(n) (((n)->keys-1)/2)	64	#define MEDIAN_LOW_INDEX(n) (((n)->keys-1)/2)
65	#define MEDIAN_HIGH_INDEX(n) ((n)->keys/2)	65	#define MEDIAN_HIGH_INDEX(n) ((n)->keys/2)
66	#define MEDIAN_LOW(n) ((n)->key[MEDIAN_LOW_INDEX((n))]);	66	#define MEDIAN_LOW(n) ((n)->key[MEDIAN_LOW_INDEX((n))]);
67	#define MEDIAN_HIGH(n) ((n)->key[MEDIAN_HIGH_INDEX((n))]);	67	#define MEDIAN_HIGH(n) ((n)->key[MEDIAN_HIGH_INDEX((n))]);
68		68
69	/** Create empty B-tree.	69	/** Create empty B-tree.
70	*	70	*
71	* @param t B-tree.	71	* @param t B-tree.
72	*/	72	*/
73	void btree_create(btree_t *t)	73	void btree_create(btree_t *t)
74	{	74	{
75	list_initialize(&t->leaf_head);	75	list_initialize(&t->leaf_head);
76	t->root = (btree_node_t *) malloc(sizeof(btree_node_t), 0);	76	t->root = (btree_node_t *) malloc(sizeof(btree_node_t), 0);
77	node_initialize(t->root);	77	node_initialize(t->root);
78	list_append(&t->root->leaf_link, &t->leaf_head);	78	list_append(&t->root->leaf_link, &t->leaf_head);
79	}	79	}
80		80
81	/** Destroy empty B-tree. */	81	/** Destroy empty B-tree. */
82	void btree_destroy(btree_t *t)	82	void btree_destroy(btree_t *t)
83	{	83	{
84	ASSERT(!t->root->keys);	84	ASSERT(!t->root->keys);
85	free(t->root);	85	free(t->root);
86	}	86	}
87		87
88	/** Insert key-value pair into B-tree.	88	/** Insert key-value pair into B-tree.
89	*	89	*
90	* @param t B-tree.	90	* @param t B-tree.
91	* @param key Key to be inserted.	91	* @param key Key to be inserted.
92	* @param value Value to be inserted.	92	* @param value Value to be inserted.
93	* @param leaf_node Leaf node where the insertion should begin.	93	* @param leaf_node Leaf node where the insertion should begin.
94	*/	94	*/
95	void btree_insert(btree_t t, __native key, void value, btree_node_t *leaf_node)	95	void btree_insert(btree_t t, __native key, void value, btree_node_t *leaf_node)
96	{	96	{
97	btree_node_t *lnode;	97	btree_node_t *lnode;
98		98
99	ASSERT(value);	99	ASSERT(value);
100		100
101	lnode = leaf_node;	101	lnode = leaf_node;
102	if (!lnode) {	102	if (!lnode) {
103	if (btree_search(t, key, &lnode)) {	103	if (btree_search(t, key, &lnode)) {
104	panic("B-tree %P already contains key %d\n", t, key);	104	panic("B-tree %P already contains key %d\n", t, key);
105	}	105	}
106	}	106	}
107		107
108	_btree_insert(t, key, value, NULL, lnode);	108	_btree_insert(t, key, value, NULL, lnode);
109	}	109	}
110		110
111	/** Recursively insert into B-tree.	111	/** Recursively insert into B-tree.
112	*	112	*
113	* @param t B-tree.	113	* @param t B-tree.
114	* @param key Key to be inserted.	114	* @param key Key to be inserted.
115	* @param value Value to be inserted.	115	* @param value Value to be inserted.
116	* @param rsubtree Right subtree of the inserted key.	116	* @param rsubtree Right subtree of the inserted key.
117	* @param node Start inserting into this node.	117	* @param node Start inserting into this node.
118	*/	118	*/
119	void _btree_insert(btree_t t, __native key, void value, btree_node_t rsubtree, btree_node_t node)	119	void _btree_insert(btree_t t, __native key, void value, btree_node_t rsubtree, btree_node_t node)
120	{	120	{
121	if (node->keys < BTREE_MAX_KEYS) {	121	if (node->keys < BTREE_MAX_KEYS) {
122	/*	122	/*
123	* Node conatins enough space, the key can be stored immediately.	123	* Node conatins enough space, the key can be stored immediately.
124	*/	124	*/
125	node_insert_key(node, key, value, rsubtree);	125	node_insert_key(node, key, value, rsubtree);
126	} else {	126	} else {
127	btree_node_t *rnode;	127	btree_node_t *rnode;
128	__native median;	128	__native median;
129		129
130	/*	130	/*
131	* Node is full.	131	* Node is full.
132	* Split it and insert the smallest key from the node containing	132	* Split it and insert the smallest key from the node containing
133	* bigger keys (i.e. the original node) into its parent.	133	* bigger keys (i.e. the original node) into its parent.
134	*/	134	*/
135		135
136	rnode = node_split(node, key, value, rsubtree, &median);	136	rnode = node_split(node, key, value, rsubtree, &median);
137		137
138	if (LEAF_NODE(node)) {	138	if (LEAF_NODE(node)) {
139	list_append(&rnode->leaf_link, &node->leaf_link);	139	list_append(&rnode->leaf_link, &node->leaf_link);
140	}	140	}
141		141
142	if (ROOT_NODE(node)) {	142	if (ROOT_NODE(node)) {
143	/*	143	/*
144	* We split the root node. Create new root.	144	* We split the root node. Create new root.
145	*/	145	*/
146		146
147	t->root = (btree_node_t *) malloc(sizeof(btree_node_t), 0);	147	t->root = (btree_node_t *) malloc(sizeof(btree_node_t), 0);
148	node->parent = t->root;	148	node->parent = t->root;
149	rnode->parent = t->root;	149	rnode->parent = t->root;
150	node_initialize(t->root);	150	node_initialize(t->root);
151		151
152	/*	152	/*
153	* Left-hand side subtree will be the old root (i.e. node).	153	* Left-hand side subtree will be the old root (i.e. node).
154	* Right-hand side subtree will be rnode.	154	* Right-hand side subtree will be rnode.
155	*/	155	*/
156	t->root->subtree[0] = node;	156	t->root->subtree[0] = node;
157		157
158	t->root->depth = node->depth + 1;	158	t->root->depth = node->depth + 1;
159	}	159	}
160	_btree_insert(t, median, NULL, rnode, node->parent);	160	_btree_insert(t, median, NULL, rnode, node->parent);
161	}	161	}
162		162
163	}	163	}
164		164
165	/* TODO */	165	/* TODO */
166	void btree_remove(btree_t *t, __native key)	166	void btree_remove(btree_t *t, __native key)
167	{	167	{
168	}	168	}
169		169
170	/** Search key in a B-tree.	170	/** Search key in a B-tree.
171	*	171	*
172	* @param t B-tree.	172	* @param t B-tree.
173	* @param key Key to be searched.	173	* @param key Key to be searched.
174	* @param leaf_node Address where to put pointer to visited leaf node.	174	* @param leaf_node Address where to put pointer to visited leaf node.
175	*	175	*
176	* @return Pointer to value or NULL if there is no such key.	176	* @return Pointer to value or NULL if there is no such key.
177	*/	177	*/
178	void btree_search(btree_t t, __native key, btree_node_t **leaf_node)	178	void btree_search(btree_t t, __native key, btree_node_t **leaf_node)
179	{	179	{
180	btree_node_t cur, next;	180	btree_node_t cur, next;
181	void *val = NULL;	181	void *val = NULL;
182		182
183	/*	183	/*
184	* Iteratively descend to the leaf that can contain searched key.	184	* Iteratively descend to the leaf that can contain searched key.
185	*/	185	*/
186	for (cur = t->root; cur; cur = next) {	186	for (cur = t->root; cur; cur = next) {
187	int i;	187	int i;
188		188
189	/* Last iteration will set this with proper leaf node address. */	189	/* Last iteration will set this with proper leaf node address. */
190	*leaf_node = cur;	190	*leaf_node = cur;
191	for (i = 0; i < cur->keys; i++) {	191	for (i = 0; i < cur->keys; i++) {
192	if (key <= cur->key[i]) {	192	if (key <= cur->key[i]) {
193	val = cur->value[i];	193	val = cur->value[i];
194	next = cur->subtree[i];	194	next = cur->subtree[i];
195		195
196	/*	196	/*
197	* Check if there is anywhere to descend.	197	* Check if there is anywhere to descend.
198	*/	198	*/
199	if (!next) {	199	if (!next) {
200	/*	200	/*
201	* Leaf-level.	201	* Leaf-level.
202	*/	202	*/
203	return (key == cur->key[i]) ? val : NULL;	203	return (key == cur->key[i]) ? val : NULL;
204	}	204	}
205	goto descend;	205	goto descend;
206	}	206	}
207	}	207	}
208	next = cur->subtree[i];	208	next = cur->subtree[i];
209	descend:	209	descend:
210	;	210	;
211	}	211	}
212		212
213	/*	213	/*
214	* The key was not found in the *leaf_node and is greater than any of its keys.	214	* The key was not found in the *leaf_node and is greater than any of its keys.
215	*/	215	*/
216	return NULL;	216	return NULL;
217	}	217	}
218		218
219	/** Get pointer to value with the smallest key within the node.	219	/** Get pointer to value with the smallest key within the node.
220	*	220	*
221	* Can be only used on leaf-level nodes.	221	* Can be only used on leaf-level nodes.
222	*	222	*
223	* @param node B-tree node.	223	* @param node B-tree node.
224	*	224	*
225	* @return Pointer to value assiciated with the smallest key.	225	* @return Pointer to value assiciated with the smallest key.
226	*/	226	*/
227	void btree_node_min(btree_node_t node)	227	void btree_node_min(btree_node_t node)
228	{	228	{
229	ASSERT(LEAF_NODE(node));	229	ASSERT(LEAF_NODE(node));
230	ASSERT(node->keys);	230	ASSERT(node->keys);
231	return node->value[0];	231	return node->value[0];
232	}	232	}
233		233
234	/** Get pointer to value with the biggest key within the node.	234	/** Get pointer to value with the biggest key within the node.
235	*	235	*
236	* Can be only used on leaf-level nodes.	236	* Can be only used on leaf-level nodes.
237	*	237	*
238	* @param node B-tree node.	238	* @param node B-tree node.
239	*	239	*
240	* @return Pointer to value assiciated with the biggest key.	240	* @return Pointer to value assiciated with the biggest key.
241	*/	241	*/
242	void btree_node_max(btree_node_t node)	242	void btree_node_max(btree_node_t node)
243	{	243	{
244	ASSERT(LEAF_NODE(node));	244	ASSERT(LEAF_NODE(node));
245	ASSERT(node->keys);	245	ASSERT(node->keys);
246	return node->value[node->keys - 1];	246	return node->value[node->keys - 1];
247	}	247	}
248		248
249	/** Initialize B-tree node.	249	/** Initialize B-tree node.
250	*	250	*
251	* @param node B-tree node.	251	* @param node B-tree node.
252	*/	252	*/
253	void node_initialize(btree_node_t *node)	253	void node_initialize(btree_node_t *node)
254	{	254	{
255	int i;	255	int i;
256		256
257	node->keys = 0;	257	node->keys = 0;
258		258
259	/* Clean also space for the extra key. */	259	/* Clean also space for the extra key. */
260	for (i = 0; i < BTREE_MAX_KEYS + 1; i++) {	260	for (i = 0; i < BTREE_MAX_KEYS + 1; i++) {
261	node->key[i] = 0;	261	node->key[i] = 0;
262	node->value[i] = NULL;	262	node->value[i] = NULL;
263	node->subtree[i] = NULL;	263	node->subtree[i] = NULL;
264	}	264	}
265	node->subtree[i] = NULL;	265	node->subtree[i] = NULL;
266		266
267	node->parent = NULL;	267	node->parent = NULL;
268		268
269	link_initialize(&node->leaf_link);	269	link_initialize(&node->leaf_link);
270		270
271	link_initialize(&node->bfs_link);	271	link_initialize(&node->bfs_link);
272	node->depth = 0;	272	node->depth = 0;
273	}	273	}
274		274
275	/** Insert key-value-left-subtree triplet into B-tree non-full node.	275	/** Insert key-value-left-subtree triplet into B-tree non-full node.
276	*	276	*
277	* It is actually possible to have more keys than BTREE_MAX_KEYS.	277	* It is actually possible to have more keys than BTREE_MAX_KEYS.
278	* This feature is used during splitting the node when the	278	* This feature is used during splitting the node when the
279	* number of keys is BTREE_MAX_KEYS + 1.	279	* number of keys is BTREE_MAX_KEYS + 1.
280	*	280	*
281	* @param node B-tree node into wich the new key is to be inserted.	281	* @param node B-tree node into wich the new key is to be inserted.
282	* @param key The key to be inserted.	282	* @param key The key to be inserted.
283	* @param value Pointer to value to be inserted.	283	* @param value Pointer to value to be inserted.
284	* @param rsubtree Pointer to the right subtree.	284	* @param rsubtree Pointer to the right subtree.
285	*/	285	*/
286	void node_insert_key(btree_node_t node, __native key, void value, btree_node_t *rsubtree)	286	void node_insert_key(btree_node_t node, __native key, void value, btree_node_t *rsubtree)
287	{	287	{
288	int i;	288	int i;
289		289
290	for (i = 0; i < node->keys; i++) {	290	for (i = 0; i < node->keys; i++) {
291	if (key < node->key[i]) {	291	if (key < node->key[i]) {
292	int j;	292	int j;
293		293
294	for (j = node->keys; j > i; j--) {	294	for (j = node->keys; j > i; j--) {
295	node->key[j] = node->key[j - 1];	295	node->key[j] = node->key[j - 1];
296	node->value[j] = node->value[j - 1];	296	node->value[j] = node->value[j - 1];
297	node->subtree[j + 1] = node->subtree[j];	297	node->subtree[j + 1] = node->subtree[j];
298	}	298	}
299	break;	299	break;
300	}	300	}
301	}	301	}
302		302
303	node->key[i] = key;	303	node->key[i] = key;
304	node->value[i] = value;	304	node->value[i] = value;
305	node->subtree[i + 1] = rsubtree;	305	node->subtree[i + 1] = rsubtree;
306		306
307	node->keys++;	307	node->keys++;
308	}	308	}
309		309
310	/** Split full B-tree node and insert new key-value-left-subtree triplet.	310	/** Split full B-tree node and insert new key-value-left-subtree triplet.
311	*	311	*
312	* This function will split a node and return pointer to a newly created	312	* This function will split a node and return pointer to a newly created
313	* node containing keys greater than the lesser of medians (or median)	313	* node containing keys greater than the lesser of medians (or median)
314	* of the old keys and the newly added key. It will also write the	314	* of the old keys and the newly added key. It will also write the
315	* median key to a memory address supplied by the caller.	315	* median key to a memory address supplied by the caller.
316	*	316	*
317	* If the node being split is an index node, the median will be	317	* If the node being split is an index node, the median will be
318	* removed from the original node. If the node is a leaf node,	318	* removed from the original node. If the node is a leaf node,
319	* the median will be preserved.	319	* the median will be preserved.
320	*	320	*
321	* @param node B-tree node wich is going to be split.	321	* @param node B-tree node wich is going to be split.
322	* @param key The key to be inserted.	322	* @param key The key to be inserted.
323	* @param value Pointer to the value to be inserted.	323	* @param value Pointer to the value to be inserted.
324	* @param rsubtree Pointer to the right subtree of the key being added.	324	* @param rsubtree Pointer to the right subtree of the key being added.
325	* @param median Address in memory, where the median key will be stored.	325	* @param median Address in memory, where the median key will be stored.
326	*	326	*
327	* @return Newly created right sibling of node.	327	* @return Newly created right sibling of node.
328	*/	328	*/
329	btree_node_t node_split(btree_node_t node, __native key, void value, btree_node_t rsubtree, __native *median)	329	btree_node_t node_split(btree_node_t node, __native key, void value, btree_node_t rsubtree, __native *median)
330	{	330	{
331	btree_node_t *rnode;	331	btree_node_t *rnode;
332	int i, j;	332	int i, j;
333		333
334	ASSERT(median);	334	ASSERT(median);
335	ASSERT(node->keys == BTREE_MAX_KEYS);	335	ASSERT(node->keys == BTREE_MAX_KEYS);
336		336
337	/*	337	/*
338	* Use the extra space to store the extra node.	338	* Use the extra space to store the extra node.
339	*/	339	*/
340	node_insert_key(node, key, value, rsubtree);	340	node_insert_key(node, key, value, rsubtree);
341		341
342	/*	342	/*
343	* Compute median of keys.	343	* Compute median of keys.
344	*/	344	*/
345	*median = MEDIAN_LOW(node);	345	*median = MEDIAN_LOW(node);
346		346
347	rnode = (btree_node_t *) malloc(sizeof(btree_node_t), 0);	347	rnode = (btree_node_t *) malloc(sizeof(btree_node_t), 0);
348	node_initialize(rnode);	348	node_initialize(rnode);
349	rnode->parent = node->parent;	349	rnode->parent = node->parent;
350	rnode->depth = node->depth;	350	rnode->depth = node->depth;
351		351
352	/*	352	/*
353	* Copy big keys, values and subtree pointers to the new right sibling.	353	* Copy big keys, values and subtree pointers to the new right sibling.
354	*/	354	*/
355	for (i = MEDIAN_LOW_INDEX(node) + 1, j = 0; i < node->keys; i++, j++) {	355	for (i = MEDIAN_LOW_INDEX(node) + 1, j = 0; i < node->keys; i++, j++) {
356	rnode->key[j] = node->key[i];	356	rnode->key[j] = node->key[i];
357	rnode->value[j] = node->value[i];	357	rnode->value[j] = node->value[i];
358	rnode->subtree[j] = node->subtree[i];	358	rnode->subtree[j] = node->subtree[i];
359		359
360	/*	360	/*
361	* Fix parent links in subtrees.	361	* Fix parent links in subtrees.
362	*/	362	*/
363	if (rnode->subtree[j])	363	if (rnode->subtree[j])
364	rnode->subtree[j]->parent = rnode;	364	rnode->subtree[j]->parent = rnode;
365		365
366	}	366	}
367	rnode->subtree[j] = node->subtree[i];	367	rnode->subtree[j] = node->subtree[i];
368	if (rnode->subtree[j])	368	if (rnode->subtree[j])
369	rnode->subtree[j]->parent = rnode;	369	rnode->subtree[j]->parent = rnode;
370	rnode->keys = j;	370	rnode->keys = j;
371		371
372	/*	372	/*
373	* Shrink the old node.	373	* Shrink the old node.
374	* If this is an index node, remove the median.	374	* If this is an index node, remove the median.
375	*/	375	*/
376	node->keys = MEDIAN_LOW_INDEX(node) + 1;	376	node->keys = MEDIAN_LOW_INDEX(node) + 1;
377	if (INDEX_NODE(node))	377	if (INDEX_NODE(node))
378	node->keys--;	378	node->keys--;
379		379
380	return rnode;	380	return rnode;
381	}	381	}
382		382
383	/** Print B-tree.	383	/** Print B-tree.
384	*	384	*
385	* @param t Print out B-tree.	385	* @param t Print out B-tree.
386	*/	386	*/
387	void btree_print(btree_t *t)	387	void btree_print(btree_t *t)
388	{	388	{
389	int i, depth = t->root->depth;	389	int i, depth = t->root->depth;
390	link_t head;	390	link_t head;
391		391
392	list_initialize(&head);	392	list_initialize(&head);
393	list_append(&t->root->bfs_link, &head);	393	list_append(&t->root->bfs_link, &head);
394		394
395	/*	395	/*
396	* Use BFS search to print out the tree.	396	* Use BFS search to print out the tree.
397	* Levels are distinguished from one another by node->depth.	397	* Levels are distinguished from one another by node->depth.
398	*/	398	*/
399	while (!list_empty(&head)) {	399	while (!list_empty(&head)) {
400	link_t *hlp;	400	link_t *hlp;
401	btree_node_t *node;	401	btree_node_t *node;
402		402
403	hlp = head.next;	403	hlp = head.next;
404	ASSERT(hlp != &head);	404	ASSERT(hlp != &head);
405	node = list_get_instance(hlp, btree_node_t, bfs_link);	405	node = list_get_instance(hlp, btree_node_t, bfs_link);
406	list_remove(hlp);	406	list_remove(hlp);
407		407
408	ASSERT(node);	408	ASSERT(node);
409		409
410	if (node->depth != depth) {	410	if (node->depth != depth) {
411	printf("\n");	411	printf("\n");
412	depth = node->depth;	412	depth = node->depth;
413	}	413	}
414		414
415	printf("(");	415	printf("(");
416	for (i = 0; i < node->keys; i++) {	416	for (i = 0; i < node->keys; i++) {
417	printf("%d,", node->key[i]);	417	printf("%d,", node->key[i]);
418	if (node->depth && node->subtree[i]) {	418	if (node->depth && node->subtree[i]) {
419	list_append(&node->subtree[i]->bfs_link, &head);	419	list_append(&node->subtree[i]->bfs_link, &head);
420	}	420	}
421	}	421	}
422	if (node->depth && node->subtree[i]) {	422	if (node->depth && node->subtree[i]) {
423	list_append(&node->subtree[i]->bfs_link, &head);	423	list_append(&node->subtree[i]->bfs_link, &head);
424	}	424	}
425	printf(")");	425	printf(")");
426	}	426	}
427	printf("\n");	427	printf("\n");
428	}	428	}
429		429

Subversion Repositories HelenOS-historic

(root)/kernel/trunk/generic/src/adt/btree.c – Rev 1101 → 1121