Subversion Repositories HelenOS-historic

Rev

Rev 378 | Rev 381 | Go to most recent revision | Only display areas with differences | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 378 Rev 379
1
/*
1
/*
2
 * Copyright (C) 2005 Jakub Jermar
2
 * Copyright (C) 2005 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
#include <mm/buddy.h>
29
#include <mm/buddy.h>
30
#include <mm/frame.h>
30
#include <mm/frame.h>
31
#include <mm/heap.h>
31
#include <mm/heap.h>
32
#include <arch/types.h>
32
#include <arch/types.h>
33
#include <typedefs.h>
33
#include <typedefs.h>
34
#include <list.h>
34
#include <list.h>
35
#include <debug.h>
35
#include <debug.h>
36
 
36
 
37
/** Create buddy system
37
/** Create buddy system
38
 *
38
 *
39
 * Allocate memory for and initialize new buddy system.
39
 * Allocate memory for and initialize new buddy system.
40
 *
40
 *
41
 * @param max_order The biggest allocable size will be 2^max_order.
41
 * @param max_order The biggest allocable size will be 2^max_order.
42
 * @param op Operations for new buddy system.
42
 * @param op Operations for new buddy system.
43
 *
43
 *
44
 * @return New buddy system.
44
 * @return New buddy system.
45
 */
45
 */
46
buddy_system_t *buddy_system_create(__u8 max_order, buddy_operations_t *op)
46
buddy_system_t *buddy_system_create(__u8 max_order, buddy_operations_t *op)
47
{
47
{
48
    buddy_system_t *b;
48
    buddy_system_t *b;
49
    int i;
49
    int i;
50
 
50
 
51
    ASSERT(max_order < BUDDY_SYSTEM_INNER_BLOCK);
51
    ASSERT(max_order < BUDDY_SYSTEM_INNER_BLOCK);
52
 
52
 
53
    ASSERT(op->find_buddy);
53
    ASSERT(op->find_buddy);
54
    ASSERT(op->set_order);
54
    ASSERT(op->set_order);
55
    ASSERT(op->get_order);
55
    ASSERT(op->get_order);
56
    ASSERT(op->bisect);
56
    ASSERT(op->bisect);
57
    ASSERT(op->coalesce);
57
    ASSERT(op->coalesce);
58
 
58
 
59
    /*
59
    /*
60
     * Allocate memory for structure describing the whole buddy system.
60
     * Allocate memory for structure describing the whole buddy system.
61
     */
61
     */
62
    b = (buddy_system_t *) early_malloc(sizeof(buddy_system_t));
62
    b = (buddy_system_t *) early_malloc(sizeof(buddy_system_t));
63
   
63
   
64
    if (b) {
64
    if (b) {
65
        /*
65
        /*
66
         * Allocate memory for all orders this buddy system will work with.
66
         * Allocate memory for all orders this buddy system will work with.
67
         */
67
         */
68
        b->order = (link_t *) early_malloc(max_order * sizeof(link_t));
68
        b->order = (link_t *) early_malloc(max_order * sizeof(link_t));
69
        if (!b->order) {
69
        if (!b->order) {
70
            early_free(b);
70
            early_free(b);
71
            return NULL;
71
            return NULL;
72
        }
72
        }
73
   
73
   
74
        for (i = 0; i < max_order; i++)
74
        for (i = 0; i < max_order; i++)
75
            list_initialize(&b->order[i]);
75
            list_initialize(&b->order[i]);
76
   
76
   
77
        b->max_order = max_order;
77
        b->max_order = max_order;
78
        b->op = op;
78
        b->op = op;
79
    }
79
    }
80
   
80
   
81
    return b;
81
    return b;
82
}
82
}
83
 
83
 
84
/** Allocate block from buddy system.
84
/** Allocate block from buddy system.
85
 *
85
 *
86
 * Allocate block from buddy system.
86
 * Allocate block from buddy system.
87
 *
87
 *
88
 * @param b Buddy system pointer.
88
 * @param b Buddy system pointer.
89
 * @param i Returned block will be 2^i big.
89
 * @param i Returned block will be 2^i big.
90
 *
90
 *
91
 * @return Block of data represented by link_t.
91
 * @return Block of data represented by link_t.
92
 */
92
 */
93
link_t *buddy_system_alloc(buddy_system_t *b, __u8 i)
93
link_t *buddy_system_alloc(buddy_system_t *b, __u8 i)
94
{
94
{
95
    link_t *res, *hlp;
95
    link_t *res, *hlp;
96
 
96
 
97
    ASSERT(i < b->max_order);
97
    ASSERT(i < b->max_order);
98
 
98
 
99
    /*
99
    /*
100
     * If the list of order i is not empty,
100
     * If the list of order i is not empty,
101
     * the request can be immediatelly satisfied.
101
     * the request can be immediatelly satisfied.
102
     */
102
     */
103
    if (!list_empty(&b->order[i])) {
103
    if (!list_empty(&b->order[i])) {
104
        res = b->order[i].next;
104
        res = b->order[i].next;
105
        list_remove(res);
105
        list_remove(res);
106
        return res;
106
        return res;
107
    }
107
    }
108
   
108
   
109
    /*
109
    /*
110
     * If order i is already the maximal order,
110
     * If order i is already the maximal order,
111
     * the request cannot be satisfied.
111
     * the request cannot be satisfied.
112
     */
112
     */
113
    if (i == b->max_order - 1)
113
    if (i == b->max_order - 1)
114
        return NULL;
114
        return NULL;
115
 
115
 
116
    /*
116
    /*
117
     * Try to recursively satisfy the request from higher order lists.
117
     * Try to recursively satisfy the request from higher order lists.
118
     */
118
     */
119
    hlp = buddy_system_alloc(b, i + 1);
119
    hlp = buddy_system_alloc(b, i + 1);
120
   
120
   
121
    /*
121
    /*
122
     * The request could not be satisfied
122
     * The request could not be satisfied
123
     * from higher order lists.
123
     * from higher order lists.
124
     */
124
     */
125
    if (!hlp)
125
    if (!hlp)
126
        return NULL;
126
        return NULL;
127
       
127
       
128
    res = hlp;
128
    res = hlp;
129
   
129
   
130
    /*
130
    /*
131
     * Bisect the block and set order of both of its parts to i.
131
     * Bisect the block and set order of both of its parts to i.
132
     */
132
     */
133
    hlp = b->op->bisect(res);
133
    hlp = b->op->bisect(res);
134
    b->op->set_order(res, i);
134
    b->op->set_order(res, i);
135
    b->op->set_order(hlp, i);
135
    b->op->set_order(hlp, i);
136
   
136
   
137
    /*
137
    /*
138
     * Return the other half to buddy system.
138
     * Return the other half to buddy system.
139
     */
139
     */
140
    buddy_system_free(b, hlp);
140
    buddy_system_free(b, hlp);
141
   
141
   
142
    return res;
142
    return res;
143
   
143
   
144
}
144
}
145
 
145
 
146
/** Return block to buddy system.
146
/** Return block to buddy system.
147
 *
147
 *
148
 * Return block to buddy system.
148
 * Return block to buddy system.
149
 *
149
 *
150
 * @param b Buddy system pointer.
150
 * @param b Buddy system pointer.
151
 * @param block Block to return.
151
 * @param block Block to return.
152
 */
152
 */
153
void buddy_system_free(buddy_system_t *b, link_t *block)
153
void buddy_system_free(buddy_system_t *b, link_t *block)
154
{
154
{
155
    link_t *buddy, *hlp;
155
    link_t *buddy, *hlp;
156
    __u8 i;
156
    __u8 i;
157
   
157
   
158
    /*
158
    /*
159
     * Determine block's order.
159
     * Determine block's order.
160
     */
160
     */
161
    i = b->op->get_order(block);
161
    i = b->op->get_order(block);
162
 
162
 
163
    ASSERT(i < b->max_order);
163
    ASSERT(i < b->max_order);
164
 
164
 
165
    /*
-
 
166
     * See if there is any buddy in the list of order i.
-
 
167
     */
-
 
168
    buddy = b->op->find_buddy(block);
-
 
169
   
-
 
170
    if (buddy && i != b->max_order - 1) {
165
    if (i != b->max_order - 1) {
171
 
-
 
172
        ASSERT(b->op->get_order(buddy) == i);
-
 
173
       
-
 
174
        /*
166
        /*
175
         * Remove buddy from the list of order i.
167
         * See if there is any buddy in the list of order i.
176
         */
168
         */
-
 
169
        buddy = b->op->find_buddy(block);
177
        list_remove(buddy);
170
        if (buddy) {
-
 
171
 
-
 
172
            ASSERT(b->op->get_order(buddy) == i);
178
       
173
       
179
        /*
174
            /*
180
         * Invalidate order of both block and buddy.
175
             * Remove buddy from the list of order i.
181
         */
176
             */
182
        b->op->set_order(block, BUDDY_SYSTEM_INNER_BLOCK);
-
 
183
        b->op->set_order(buddy, BUDDY_SYSTEM_INNER_BLOCK);
177
            list_remove(buddy);
184
       
178
       
185
        /*
179
            /*
-
 
180
             * Invalidate order of both block and buddy.
-
 
181
             */
-
 
182
            b->op->set_order(block, BUDDY_SYSTEM_INNER_BLOCK);
-
 
183
            b->op->set_order(buddy, BUDDY_SYSTEM_INNER_BLOCK);
-
 
184
       
-
 
185
            /*
186
         * Coalesce block and buddy into one block.
186
             * Coalesce block and buddy into one block.
187
         */
187
             */
188
        hlp = b->op->coalesce(block, buddy);
188
            hlp = b->op->coalesce(block, buddy);
189
 
189
 
190
        /*
190
            /*
191
         * Set order of the coalesced block to i + 1.
191
             * Set order of the coalesced block to i + 1.
192
         */
192
             */
193
        b->op->set_order(hlp, i + 1);
193
            b->op->set_order(hlp, i + 1);
194
 
194
 
195
        /*
195
            /*
196
         * Recursively add the coalesced block to the list of order i + 1.
196
             * Recursively add the coalesced block to the list of order i + 1.
197
         */
197
             */
198
        buddy_system_free(b, hlp);
198
            buddy_system_free(b, hlp);
199
    }
-
 
200
    else {
199
            return;
201
        /*
200
        }
202
         * Insert block into the list of order i.
-
 
203
         */
-
 
204
        list_append(block, &b->order[i]);
-
 
205
    }
201
    }
206
 
202
 
-
 
203
    /*
-
 
204
     * Insert block into the list of order i.
-
 
205
     */
-
 
206
    list_append(block, &b->order[i]);
-
 
207
 
207
}
208
}
208
 
209