source: mainline/generic/src/mm/frame.c@ 3fc03fd

lfn serial ticket/834-toolchain-update topic/msim-upgrade topic/simplify-dev-export
Last change on this file since 3fc03fd was 5a95b25, checked in by Ondrej Palkovsky <ondrap@…>, 20 years ago

Cleanups to make it compile with -Wall. Did not catch everything yet.

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