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

lfn serial ticket/834-toolchain-update topic/msim-upgrade topic/simplify-dev-export
Last change on this file since eef75f6 was eef75f6, checked in by Jakub Jermar <jakub@…>, 20 years ago

Buddy allocator cleanup and fixes.

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