source: mainline/generic/src/mm/frame.c@ cf585c9

lfn serial ticket/834-toolchain-update topic/msim-upgrade topic/simplify-dev-export
Last change on this file since cf585c9 was 328f2934, checked in by Sergey Bondari <bondari@…>, 20 years ago

Buddy allocator for physical memory complete implementation.
Tested on IA32, AMD64, MIPS32. RWLock Test #5 is not passed.
NOTE: Other architectures could be broken (but should not be)

  • Property mode set to 100644
File size: 11.4 KB
RevLine 
[f761f1eb]1/*
2 * Copyright (C) 2001-2004 Jakub Jermar
3 * All rights reserved.
4 *
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions
7 * are met:
8 *
9 * - Redistributions of source code must retain the above copyright
10 * notice, this list of conditions and the following disclaimer.
11 * - Redistributions in binary form must reproduce the above copyright
12 * notice, this list of conditions and the following disclaimer in the
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
15 * derived from this software without specific prior written permission.
16 *
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
19 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
20 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
21 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
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
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
26 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27 */
28
[84dd253]29#include <typedefs.h>
[f761f1eb]30#include <arch/types.h>
31#include <mm/heap.h>
32#include <mm/frame.h>
33#include <mm/vm.h>
34#include <panic.h>
[fcacfb7]35#include <debug.h>
[84dd253]36#include <list.h>
[f761f1eb]37#include <synch/spinlock.h>
[18e0a6c]38#include <arch/asm.h>
[9c0a9b3]39#include <arch.h>
[328f2934]40#include <print.h>
[18e0a6c]41
[fcacfb7]42spinlock_t zone_head_lock; /**< this lock protects zone_head list */
43link_t zone_head; /**< list of all zones in the system */
44
[328f2934]45region_t zone_blacklist[ZONE_BLACKLIST_SIZE];
46count_t zone_blacklist_count = 0;
47
[6e8b3c8]48static struct buddy_system_operations zone_buddy_system_operations = {
49 .find_buddy = zone_buddy_find_buddy,
50 .bisect = zone_buddy_bisect,
51 .coalesce = zone_buddy_coalesce,
52 .set_order = zone_buddy_set_order,
53 .get_order = zone_buddy_get_order,
[328f2934]54 .mark_busy = zone_buddy_mark_busy,
[6e8b3c8]55};
56
[84dd253]57/** Initialize physical memory management
58 *
59 * Initialize physical memory managemnt.
60 */
[f761f1eb]61void frame_init(void)
62{
[76cec1e]63 if (config.cpu_active == 1) {
[fcacfb7]64 zone_init();
[328f2934]65 frame_region_not_free(config.base, config.base + config.kernel_size + CONFIG_STACK_SIZE);
[f761f1eb]66 }
67
68 frame_arch_init();
69}
70
[84dd253]71/** Allocate a frame
72 *
73 * Allocate a frame of physical memory.
74 *
75 * @param flags Flags for host zone selection and address processing.
76 *
77 * @return Allocated frame.
[f761f1eb]78 */
[328f2934]79__address frame_alloc(int flags, __u8 order)
[f761f1eb]80{
[22f7769]81 ipl_t ipl;
[84dd253]82 link_t *cur, *tmp;
83 zone_t *z;
84 zone_t *zone = NULL;
85 frame_t *frame = NULL;
86 __address v;
[f761f1eb]87
88loop:
[22f7769]89 ipl = interrupts_disable();
[84dd253]90 spinlock_lock(&zone_head_lock);
[328f2934]91
[84dd253]92 /*
93 * First, find suitable frame zone.
94 */
95 for (cur = zone_head.next; cur != &zone_head; cur = cur->next) {
96 z = list_get_instance(cur, zone_t, link);
[f761f1eb]97
[84dd253]98 spinlock_lock(&z->lock);
[328f2934]99
100 /* Check if the zone has 2^order frames area available */
101 if (buddy_system_can_alloc(z->buddy_system, order)) {
[84dd253]102 zone = z;
103 break;
[f761f1eb]104 }
[328f2934]105
[84dd253]106 spinlock_unlock(&z->lock);
[f761f1eb]107 }
[84dd253]108
109 if (!zone) {
110 if (flags & FRAME_PANIC)
111 panic("Can't allocate frame.\n");
112
113 /*
114 * TODO: Sleep until frames are available again.
115 */
116 spinlock_unlock(&zone_head_lock);
[22f7769]117 interrupts_restore(ipl);
[f761f1eb]118
[84dd253]119 panic("Sleep not implemented.\n");
120 goto loop;
121 }
[f761f1eb]122
[84dd253]123
[328f2934]124 /* Allocate frames from zone buddy system */
125 cur = buddy_system_alloc(zone->buddy_system, order);
[84dd253]126
[328f2934]127 /* frame will be actually a first frame of the block */
128 frame = list_get_instance(cur, frame_t, buddy_link);
[84dd253]129
[328f2934]130 /* get frame address */
131 v = FRAME2ADDR(zone, frame);
132
[84dd253]133 if (flags & FRAME_KA)
134 v = PA2KA(v);
135
136 spinlock_unlock(&zone->lock);
137 spinlock_unlock(&zone_head_lock);
[22f7769]138 interrupts_restore(ipl);
[84dd253]139 return v;
[328f2934]140
[f761f1eb]141}
142
[84dd253]143/** Free a frame.
144 *
145 * Find respective frame structrue for supplied addr.
146 * Decrement frame reference count.
147 * If it drops to zero, move the frame structure to free list.
148 *
149 * @param addr Address of the frame to be freed. It must be a multiple of FRAME_SIZE.
[f761f1eb]150 */
151void frame_free(__address addr)
152{
[22f7769]153 ipl_t ipl;
[84dd253]154 link_t *cur;
155 zone_t *z;
156 zone_t *zone = NULL;
157 frame_t *frame;
158 ASSERT(addr % FRAME_SIZE == 0);
[f761f1eb]159
[22f7769]160 ipl = interrupts_disable();
[84dd253]161 spinlock_lock(&zone_head_lock);
[f761f1eb]162
[84dd253]163 /*
164 * First, find host frame zone for addr.
165 */
166 for (cur = zone_head.next; cur != &zone_head; cur = cur->next) {
167 z = list_get_instance(cur, zone_t, link);
168
169 spinlock_lock(&z->lock);
170
171 if (IS_KA(addr))
172 addr = KA2PA(addr);
173
174 /*
175 * Check if addr belongs to z.
176 */
177 if ((addr >= z->base) && (addr <= z->base + (z->free_count + z->busy_count) * FRAME_SIZE)) {
178 zone = z;
179 break;
[f761f1eb]180 }
[84dd253]181 spinlock_unlock(&z->lock);
182 }
183
184 ASSERT(zone != NULL);
185
[6e8b3c8]186 frame = ADDR2FRAME(zone, addr);
[328f2934]187
[84dd253]188 ASSERT(frame->refcount);
189
190 if (!--frame->refcount) {
[328f2934]191 buddy_system_free(zone->buddy_system, &frame->buddy_link);
[f761f1eb]192 }
[84dd253]193
194 spinlock_unlock(&zone->lock);
195
196 spinlock_unlock(&zone_head_lock);
[22f7769]197 interrupts_restore(ipl);
[f761f1eb]198}
199
[84dd253]200/** Mark frame region not free.
201 *
202 * Mark frame region not free.
203 *
204 * @param start First address.
205 * @param stop Last address.
206 */
[328f2934]207void frame_region_not_free(__address base, size_t size)
[f761f1eb]208{
[328f2934]209 count_t index;
210 index = zone_blacklist_count++;
211 ASSERT(base % FRAME_SIZE == 0);
212
213 if (size % FRAME_SIZE != 0) {
214 size = size + (FRAME_SIZE - size % FRAME_SIZE);
215 }
216 ASSERT(size % FRAME_SIZE == 0);
217 ASSERT(zone_blacklist_count <= ZONE_BLACKLIST_SIZE);
218 zone_blacklist[index].base = base;
219 zone_blacklist[index].size = size;
[f761f1eb]220}
[fcacfb7]221
[84dd253]222
[fcacfb7]223/** Initialize zonekeeping
224 *
225 * Initialize zonekeeping.
226 */
227void zone_init(void)
228{
229 spinlock_initialize(&zone_head_lock);
230 list_initialize(&zone_head);
231}
232
[328f2934]233
234void zone_create_in_region(__address base, size_t size) {
235 int i;
236 zone_t * z;
237 __address s; size_t sz;
238
239 ASSERT(base % FRAME_SIZE == 0);
240 ASSERT(size % FRAME_SIZE == 0);
241
242 if (!size) return;
243
244 for (i = 0; i < zone_blacklist_count; i++) {
245 if (zone_blacklist[i].base >= base && zone_blacklist[i].base < base + size) {
246 s = base; sz = zone_blacklist[i].base - base;
247 ASSERT(base != s || sz != size);
248 zone_create_in_region(s, sz);
249
250 s = zone_blacklist[i].base + zone_blacklist[i].size;
251 sz = (base + size) - (zone_blacklist[i].base + zone_blacklist[i].size);
252 ASSERT(base != s || sz != size);
253 zone_create_in_region(s, sz);
254 return;
255
256 }
257 }
258
259 z = zone_create(base, size, 0);
260
261 if (!z) {
262 panic("Cannot allocate zone (%dB).\n", size);
263 }
264
265 zone_attach(z);
266}
267
268
269
[fcacfb7]270/** Create frame zone
271 *
272 * Create new frame zone.
273 *
274 * @param start Physical address of the first frame within the zone.
275 * @param size Size of the zone. Must be a multiple of FRAME_SIZE.
276 * @param flags Zone flags.
277 *
278 * @return Initialized zone.
279 */
[328f2934]280zone_t * zone_create(__address start, size_t size, int flags)
[fcacfb7]281{
282 zone_t *z;
283 count_t cnt;
284 int i;
[6e8b3c8]285 __u8 max_order;
[328f2934]286
287 /* hack for bug #10 */
288 // if (start == 0x100000) size -= (FRAME_SIZE * 256);
289
290 // printf("ZONE_CREATE() %X - %X (%d kbytes) \n", start, start+size, size/1024);
[fcacfb7]291 ASSERT(start % FRAME_SIZE == 0);
292 ASSERT(size % FRAME_SIZE == 0);
293
294 cnt = size / FRAME_SIZE;
295
[adecf496]296 z = (zone_t *) early_malloc(sizeof(zone_t));
[fcacfb7]297 if (z) {
298 link_initialize(&z->link);
299 spinlock_initialize(&z->lock);
300
301 z->base = start;
302 z->flags = flags;
303
304 z->free_count = cnt;
305 list_initialize(&z->free_head);
306
307 z->busy_count = 0;
308
[adecf496]309 z->frames = (frame_t *) early_malloc(cnt * sizeof(frame_t));
[fcacfb7]310 if (!z->frames) {
[48a02ef]311 early_free(z);
[fcacfb7]312 return NULL;
313 }
314
315 for (i = 0; i<cnt; i++) {
316 frame_initialize(&z->frames[i], z);
317 list_append(&z->frames[i].link, &z->free_head);
318 }
319
[6e8b3c8]320 /*
321 * Create buddy system for the zone
322 */
323 for (max_order = 0; cnt >> max_order; max_order++);
[594a468]324 z->buddy_system = buddy_system_create(max_order, &zone_buddy_system_operations, (void *) z);
[328f2934]325
326 /* Stuffing frames */
327 for (i = 0; i<cnt; i++) {
328 z->frames[i].refcount = 0;
329 buddy_system_free(z->buddy_system, &z->frames[i].buddy_link);
330 }
[fcacfb7]331 }
332 return z;
333}
334
335/** Attach frame zone
336 *
337 * Attach frame zone to zone list.
338 *
339 * @param zone Zone to be attached.
340 */
341void zone_attach(zone_t *zone)
342{
[22f7769]343 ipl_t ipl;
[fcacfb7]344
[22f7769]345 ipl = interrupts_disable();
[fcacfb7]346 spinlock_lock(&zone_head_lock);
347
348 list_append(&zone->link, &zone_head);
349
350 spinlock_unlock(&zone_head_lock);
[22f7769]351 interrupts_restore(ipl);
[fcacfb7]352}
353
354/** Initialize frame structure
355 *
356 * Initialize frame structure.
357 *
358 * @param frame Frame structure to be initialized.
359 * @param zone Host frame zone.
360 */
361void frame_initialize(frame_t *frame, zone_t *zone)
362{
[328f2934]363 frame->refcount = 1;
364 frame->buddy_order = 0;
[fcacfb7]365 link_initialize(&frame->link);
366}
[6e8b3c8]367
368
369/** Buddy system find_buddy implementation
[594a468]370 *
371 * @param b Buddy system.
[30187eb]372 * @param block Block for which buddy should be found
[6e8b3c8]373 *
[30187eb]374 * @return Buddy for given block if found
[6e8b3c8]375 */
[594a468]376link_t * zone_buddy_find_buddy(buddy_system_t *b, link_t * block) {
[30187eb]377 frame_t * frame, * f;
378 zone_t * zone;
379 link_t * cur;
[328f2934]380 count_t index;
[30187eb]381 bool is_left, is_right;
[6e8b3c8]382
[30187eb]383 frame = list_get_instance(block, frame_t, buddy_link);
[328f2934]384 zone = (zone_t *) b->data;
[30187eb]385
386 /*
387 * (FRAME_INDEX % 2^(ORDER+1)) == 0 ===> LEFT BUDDY
388 * (FRAME_INDEX % 2^(ORDER+1)) == 2^(ORDER) ===> RIGHT BUDDY
389 */
[328f2934]390
[30187eb]391 is_left = IS_BUDDY_LEFT_BLOCK(zone, frame);
392 is_right = IS_BUDDY_RIGHT_BLOCK(zone, frame);
393
394 ASSERT((is_left || is_right) && (!is_left || !is_right));
395
[328f2934]396 /*
397 * test left buddy
398 */
399 if (is_left) {
400 index = (FRAME_INDEX(zone, frame)) + (1 << frame->buddy_order);
401 } else if (is_right) {
402 index = (FRAME_INDEX(zone, frame)) - (1 << frame->buddy_order);
403 }
404
405 if (FRAME_INDEX_VALID(zone, index)) {
406 if ( zone->frames[index].buddy_order == frame->buddy_order &&
407 zone->frames[index].refcount == 0) {
408 return &zone->frames[index].buddy_link;
[30187eb]409 }
410 }
411
412 return NULL;
413
[6e8b3c8]414}
415
416/** Buddy system bisect implementation
417 *
[594a468]418 * @param b Buddy system.
[30187eb]419 * @param block Block to bisect
420 *
421 * @return right block
[6e8b3c8]422 */
[594a468]423link_t * zone_buddy_bisect(buddy_system_t *b, link_t * block) {
[30187eb]424 frame_t * frame_l, * frame_r;
425 frame_l = list_get_instance(block, frame_t, buddy_link);
[328f2934]426 frame_r = (frame_l + (1 << (frame_l->buddy_order - 1)));
[30187eb]427 return &frame_r->buddy_link;
[6e8b3c8]428}
429
430/** Buddy system coalesce implementation
431 *
[594a468]432 * @param b Buddy system.
[30187eb]433 * @param block_1 First block
434 * @param block_2 First block's buddy
435 *
436 * @return Coalesced block (actually block that represents lower address)
[6e8b3c8]437 */
[594a468]438link_t * zone_buddy_coalesce(buddy_system_t *b, link_t * block_1, link_t * block_2) {
[30187eb]439 frame_t * frame1, * frame2;
440 frame1 = list_get_instance(block_1, frame_t, buddy_link);
441 frame2 = list_get_instance(block_2, frame_t, buddy_link);
[328f2934]442 return frame1 < frame2 ? block_1 : block_2;
[6e8b3c8]443}
444
445/** Buddy system set_order implementation
[594a468]446 *
447 * @param b Buddy system.
[30187eb]448 * @param block Buddy system block
449 * @param order Order to set
[6e8b3c8]450 */
[594a468]451void zone_buddy_set_order(buddy_system_t *b, link_t * block, __u8 order) {
[30187eb]452 frame_t * frame;
453 frame = list_get_instance(block, frame_t, buddy_link);
454 frame->buddy_order = order;
[6e8b3c8]455}
456
457/** Buddy system get_order implementation
[594a468]458 *
459 * @param b Buddy system.
[30187eb]460 * @param block Buddy system block
[6e8b3c8]461 *
[30187eb]462 * @return Order of block
[6e8b3c8]463 */
[594a468]464__u8 zone_buddy_get_order(buddy_system_t *b, link_t * block) {
[30187eb]465 frame_t * frame;
466 frame = list_get_instance(block, frame_t, buddy_link);
467 return frame->buddy_order;
[6e8b3c8]468}
[328f2934]469
470/** Buddy system mark_busy implementation
471 *
472 * @param b Buddy system
473 * @param block Buddy system block
474 *
475 */
476void zone_buddy_mark_busy(buddy_system_t *b, link_t * block) {
477 frame_t * frame;
478 frame = list_get_instance(block, frame_t, buddy_link);
479 frame->refcount = 1;
480}
Note: See TracBrowser for help on using the repository browser.