source: mainline/kernel/generic/src/mm/frame.c@ 6c441cf8

lfn serial ticket/834-toolchain-update topic/msim-upgrade topic/simplify-dev-export
Last change on this file since 6c441cf8 was 6c441cf8, checked in by Martin Decky <martin@…>, 17 years ago

code cleanup (mostly signed/unsigned)
allow extra compiler warnings

  • Property mode set to 100644
File size: 30.1 KB
RevLine 
[f761f1eb]1/*
[df4ed85]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
[cc73a8a1]30/** @addtogroup genericmm
[b45c443]31 * @{
32 */
33
[9179d0a]34/**
[b45c443]35 * @file
[9179d0a]36 * @brief Physical frame allocator.
37 *
38 * This file contains the physical frame allocator and memory zone management.
39 * The frame allocator is built on top of the buddy allocator.
40 *
41 * @see buddy.c
42 */
43
[085d973]44/*
45 * Locking order
46 *
47 * In order to access particular zone, the process must first lock
48 * the zones.lock, then lock the zone and then unlock the zones.lock.
49 * This insures, that we can fiddle with the zones in runtime without
50 * affecting the processes.
51 *
52 */
53
[f761f1eb]54#include <arch/types.h>
55#include <mm/frame.h>
[20d50a1]56#include <mm/as.h>
[f761f1eb]57#include <panic.h>
[fcacfb7]58#include <debug.h>
[5c9a08b]59#include <adt/list.h>
[f761f1eb]60#include <synch/spinlock.h>
[18e0a6c]61#include <arch/asm.h>
[9c0a9b3]62#include <arch.h>
[328f2934]63#include <print.h>
[9ebc238]64#include <align.h>
[085d973]65#include <mm/slab.h>
[bb68433]66#include <bitops.h>
[93165be]67#include <macros.h>
[d630139]68#include <config.h>
[18e0a6c]69
[085d973]70typedef struct {
71 count_t refcount; /**< tracking of shared frames */
[7f1c620]72 uint8_t buddy_order; /**< buddy system block order */
[4638401]73 link_t buddy_link; /**< link to the next free block inside one
74 order */
[085d973]75 void *parent; /**< If allocated by slab, this points there */
[f3ac636]76} frame_t;
[fcacfb7]77
[085d973]78typedef struct {
79 SPINLOCK_DECLARE(lock); /**< this lock protects everything below */
[4638401]80 pfn_t base; /**< frame_no of the first frame in the frames
81 array */
[42744880]82 count_t count; /**< Size of zone */
[328f2934]83
[4638401]84 frame_t *frames; /**< array of frame_t structures in this
85 zone */
[085d973]86 count_t free_count; /**< number of free frame_t structures */
87 count_t busy_count; /**< number of busy frame_t structures */
88
[b43eaba0]89 buddy_system_t *buddy_system; /**< buddy system for the zone */
[085d973]90 int flags;
[f3ac636]91} zone_t;
[6e8b3c8]92
[085d973]93/*
94 * The zoneinfo.lock must be locked when accessing zoneinfo structure.
95 * Some of the attributes in zone_t structures are 'read-only'
[84dd253]96 */
[f761f1eb]97
[55b4437]98typedef struct {
[085d973]99 SPINLOCK_DECLARE(lock);
[2936eef]100 unsigned int count;
[085d973]101 zone_t *info[ZONES_MAX];
[55b4437]102} zones_t;
103
104static zones_t zones;
[f761f1eb]105
[a294ad0]106
[71eef11]107/********************/
[085d973]108/* Helper functions */
[71eef11]109/********************/
110
[085d973]111static inline index_t frame_index(zone_t *zone, frame_t *frame)
112{
[71eef11]113 return (index_t) (frame - zone->frames);
[a294ad0]114}
[71eef11]115
[085d973]116static inline index_t frame_index_abs(zone_t *zone, frame_t *frame)
[f761f1eb]117{
[71eef11]118 return (index_t) (frame - zone->frames) + zone->base;
[f761f1eb]119}
[71eef11]120
[085d973]121static inline int frame_index_valid(zone_t *zone, index_t index)
[a294ad0]122{
[6c441cf8]123 return (index < zone->count);
[a294ad0]124}
125
[085d973]126/** Compute pfn_t from frame_t pointer & zone pointer */
[42744880]127static index_t make_frame_index(zone_t *zone, frame_t *frame)
[a294ad0]128{
[71eef11]129 return (frame - zone->frames);
[a294ad0]130}
131
[085d973]132/** Initialize frame structure
[84dd253]133 *
[085d973]134 * Initialize frame structure.
[84dd253]135 *
[085d973]136 * @param frame Frame structure to be initialized.
[f761f1eb]137 */
[085d973]138static void frame_initialize(frame_t *frame)
[f761f1eb]139{
[085d973]140 frame->refcount = 1;
141 frame->buddy_order = 0;
[f761f1eb]142}
143
[71eef11]144/**********************/
[085d973]145/* Zoneinfo functions */
[71eef11]146/**********************/
[085d973]147
148/**
149 * Insert-sort zone into zones list
[bb68433]150 *
[eb3d379]151 * @param newzone New zone to be inserted into zone list
[bb68433]152 * @return zone number on success, -1 on error
[84dd253]153 */
[bb68433]154static int zones_add_zone(zone_t *newzone)
[f761f1eb]155{
[2936eef]156 unsigned int i, j;
[bb68433]157 ipl_t ipl;
158 zone_t *z;
[4457455]159
[bb68433]160 ipl = interrupts_disable();
[085d973]161 spinlock_lock(&zones.lock);
[71eef11]162
[085d973]163 /* Try to merge */
[71eef11]164 if (zones.count + 1 == ZONES_MAX) {
165 printf("Maximum zone count %u exceeded!\n", ZONES_MAX);
166 spinlock_unlock(&zones.lock);
167 interrupts_restore(ipl);
168 return -1;
169 }
170
[b6b576c]171 for (i = 0; i < zones.count; i++) {
[bb68433]172 /* Check for overflow */
[052da81]173 z = zones.info[i];
[71eef11]174 if (overlaps(newzone->base, newzone->count, z->base, z->count)) {
[bb68433]175 printf("Zones overlap!\n");
176 return -1;
[085d973]177 }
[052da81]178 if (newzone->base < z->base)
[bb68433]179 break;
[085d973]180 }
[71eef11]181
[bb68433]182 /* Move other zones up */
[4638401]183 for (j = i; j < zones.count; j++)
[b6b576c]184 zones.info[j + 1] = zones.info[j];
[71eef11]185
[bb68433]186 zones.info[i] = newzone;
187 zones.count++;
[71eef11]188
[085d973]189 spinlock_unlock(&zones.lock);
[bb68433]190 interrupts_restore(ipl);
191
192 return i;
[f761f1eb]193}
[fcacfb7]194
[085d973]195/**
196 * Try to find a zone where can we find the frame
[71eef11]197 *
[b43eaba0]198 * Assume interrupts are disabled.
[71eef11]199 *
[eb3d379]200 * @param frame Frame number contained in zone
201 * @param pzone If not null, it is used as zone hint. Zone index
202 * is filled into the variable on success.
[b43eaba0]203 * @return Pointer to locked zone containing frame
[eef75f6]204 */
[2936eef]205static zone_t * find_zone_and_lock(pfn_t frame, unsigned int *pzone)
[085d973]206{
[2936eef]207 unsigned int i;
208 unsigned int hint = pzone ? *pzone : 0;
[085d973]209 zone_t *z;
[328f2934]210
[085d973]211 spinlock_lock(&zones.lock);
[4457455]212
[6c441cf8]213 if (hint >= zones.count)
[085d973]214 hint = 0;
[328f2934]215
[085d973]216 i = hint;
217 do {
218 z = zones.info[i];
219 spinlock_lock(&z->lock);
220 if (z->base <= frame && z->base + z->count > frame) {
[4638401]221 /* Unlock the global lock */
222 spinlock_unlock(&zones.lock);
[085d973]223 if (pzone)
224 *pzone = i;
225 return z;
226 }
227 spinlock_unlock(&z->lock);
[328f2934]228
[085d973]229 i++;
230 if (i >= zones.count)
231 i = 0;
232 } while(i != hint);
[328f2934]233
[085d973]234 spinlock_unlock(&zones.lock);
235 return NULL;
236}
[328f2934]237
[bb68433]238/** @return True if zone can allocate specified order */
[7f1c620]239static int zone_can_alloc(zone_t *z, uint8_t order)
[bb68433]240{
241 return buddy_system_can_alloc(z->buddy_system, order);
242}
243
[b43eaba0]244/** Find and lock zone that can allocate order frames.
[fcacfb7]245 *
[b43eaba0]246 * Assume interrupts are disabled.
[fcacfb7]247 *
[eb3d379]248 * @param order Size (2^order) of free space we are trying to find
[4638401]249 * @param pzone Pointer to preferred zone or NULL, on return contains zone
250 * number
[fcacfb7]251 */
[3c771149]252static zone_t * find_free_zone_and_lock(uint8_t order, unsigned int *pzone)
[fcacfb7]253{
[2936eef]254 unsigned int i;
[085d973]255 zone_t *z;
[2936eef]256 unsigned int hint = pzone ? *pzone : 0;
[085d973]257
258 spinlock_lock(&zones.lock);
259 if (hint >= zones.count)
260 hint = 0;
261 i = hint;
262 do {
263 z = zones.info[i];
[5d2ab23]264
[085d973]265 spinlock_lock(&z->lock);
[fcacfb7]266
[085d973]267 /* Check if the zone has 2^order frames area available */
[bb68433]268 if (zone_can_alloc(z, order)) {
[085d973]269 spinlock_unlock(&zones.lock);
270 if (pzone)
271 *pzone = i;
272 return z;
[328f2934]273 }
[085d973]274 spinlock_unlock(&z->lock);
275 if (++i >= zones.count)
276 i = 0;
277 } while(i != hint);
278 spinlock_unlock(&zones.lock);
279 return NULL;
[fcacfb7]280}
281
[b43eaba0]282/**************************/
[085d973]283/* Buddy system functions */
[b43eaba0]284/**************************/
[085d973]285
286/** Buddy system find_block implementation
[fcacfb7]287 *
[085d973]288 * Find block that is parent of current list.
289 * That means go to lower addresses, until such block is found
[fcacfb7]290 *
[085d973]291 * @param order - Order of parent must be different then this parameter!!
[fcacfb7]292 */
[085d973]293static link_t *zone_buddy_find_block(buddy_system_t *b, link_t *child,
[4638401]294 uint8_t order)
[fcacfb7]295{
[4638401]296 frame_t *frame;
297 zone_t *zone;
[085d973]298 index_t index;
[fcacfb7]299
[085d973]300 frame = list_get_instance(child, frame_t, buddy_link);
301 zone = (zone_t *) b->data;
[fcacfb7]302
[085d973]303 index = frame_index(zone, frame);
304 do {
305 if (zone->frames[index].buddy_order != order) {
306 return &zone->frames[index].buddy_link;
307 }
308 } while(index-- > 0);
309 return NULL;
[fcacfb7]310}
[6e8b3c8]311
[bb68433]312static void zone_buddy_print_id(buddy_system_t *b, link_t *block)
313{
[4638401]314 frame_t *frame;
315 zone_t *zone;
[bb68433]316 index_t index;
317
318 frame = list_get_instance(block, frame_t, buddy_link);
319 zone = (zone_t *) b->data;
320 index = frame_index(zone, frame);
[280a27e]321 printf("%zd", index);
[bb68433]322}
[6e8b3c8]323
324/** Buddy system find_buddy implementation
[594a468]325 *
326 * @param b Buddy system.
[30187eb]327 * @param block Block for which buddy should be found
[6e8b3c8]328 *
[30187eb]329 * @return Buddy for given block if found
[6e8b3c8]330 */
[4638401]331static link_t *zone_buddy_find_buddy(buddy_system_t *b, link_t *block)
[085d973]332{
[4638401]333 frame_t *frame;
334 zone_t *zone;
[b87f418]335 index_t index;
[30187eb]336 bool is_left, is_right;
[6e8b3c8]337
[30187eb]338 frame = list_get_instance(block, frame_t, buddy_link);
[328f2934]339 zone = (zone_t *) b->data;
[4638401]340 ASSERT(IS_BUDDY_ORDER_OK(frame_index_abs(zone, frame),
341 frame->buddy_order));
[b87f418]342
[5d2ab23]343 is_left = IS_BUDDY_LEFT_BLOCK_ABS(zone, frame);
344 is_right = IS_BUDDY_RIGHT_BLOCK_ABS(zone, frame);
[085d973]345
[b87f418]346 ASSERT(is_left ^ is_right);
[328f2934]347 if (is_left) {
[085d973]348 index = (frame_index(zone, frame)) + (1 << frame->buddy_order);
[e5a2ee8]349 } else { /* if (is_right) */
[085d973]350 index = (frame_index(zone, frame)) - (1 << frame->buddy_order);
[328f2934]351 }
352
[085d973]353 if (frame_index_valid(zone, index)) {
354 if (zone->frames[index].buddy_order == frame->buddy_order &&
355 zone->frames[index].refcount == 0) {
[328f2934]356 return &zone->frames[index].buddy_link;
[30187eb]357 }
358 }
[085d973]359
[eef75f6]360 return NULL;
[6e8b3c8]361}
362
363/** Buddy system bisect implementation
364 *
[594a468]365 * @param b Buddy system.
[30187eb]366 * @param block Block to bisect
367 *
368 * @return right block
[6e8b3c8]369 */
[4638401]370static link_t * zone_buddy_bisect(buddy_system_t *b, link_t *block) {
371 frame_t *frame_l, *frame_r;
[b87f418]372
[30187eb]373 frame_l = list_get_instance(block, frame_t, buddy_link);
[328f2934]374 frame_r = (frame_l + (1 << (frame_l->buddy_order - 1)));
[b87f418]375
[30187eb]376 return &frame_r->buddy_link;
[6e8b3c8]377}
378
379/** Buddy system coalesce implementation
380 *
[594a468]381 * @param b Buddy system.
[30187eb]382 * @param block_1 First block
383 * @param block_2 First block's buddy
384 *
385 * @return Coalesced block (actually block that represents lower address)
[6e8b3c8]386 */
[4638401]387static link_t *zone_buddy_coalesce(buddy_system_t *b, link_t *block_1,
388 link_t *block_2)
[bb68433]389{
[085d973]390 frame_t *frame1, *frame2;
[b87f418]391
[30187eb]392 frame1 = list_get_instance(block_1, frame_t, buddy_link);
393 frame2 = list_get_instance(block_2, frame_t, buddy_link);
[b87f418]394
[328f2934]395 return frame1 < frame2 ? block_1 : block_2;
[6e8b3c8]396}
397
398/** Buddy system set_order implementation
[594a468]399 *
400 * @param b Buddy system.
[30187eb]401 * @param block Buddy system block
402 * @param order Order to set
[6e8b3c8]403 */
[4638401]404static void zone_buddy_set_order(buddy_system_t *b, link_t *block,
405 uint8_t order) {
406 frame_t *frame;
[30187eb]407 frame = list_get_instance(block, frame_t, buddy_link);
408 frame->buddy_order = order;
[6e8b3c8]409}
410
411/** Buddy system get_order implementation
[594a468]412 *
413 * @param b Buddy system.
[30187eb]414 * @param block Buddy system block
[6e8b3c8]415 *
[30187eb]416 * @return Order of block
[6e8b3c8]417 */
[4638401]418static uint8_t zone_buddy_get_order(buddy_system_t *b, link_t *block) {
419 frame_t *frame;
[30187eb]420 frame = list_get_instance(block, frame_t, buddy_link);
421 return frame->buddy_order;
[6e8b3c8]422}
[328f2934]423
424/** Buddy system mark_busy implementation
425 *
426 * @param b Buddy system
427 * @param block Buddy system block
428 *
429 */
[085d973]430static void zone_buddy_mark_busy(buddy_system_t *b, link_t * block) {
[328f2934]431 frame_t * frame;
[bb68433]432
[328f2934]433 frame = list_get_instance(block, frame_t, buddy_link);
434 frame->refcount = 1;
435}
[dfd9186]436
[085d973]437/** Buddy system mark_available implementation
438 *
439 * @param b Buddy system
440 * @param block Buddy system block
441 *
442 */
[4638401]443static void zone_buddy_mark_available(buddy_system_t *b, link_t *block) {
444 frame_t *frame;
[085d973]445 frame = list_get_instance(block, frame_t, buddy_link);
446 frame->refcount = 0;
447}
448
[0f3fc9b]449static buddy_system_operations_t zone_buddy_system_operations = {
[085d973]450 .find_buddy = zone_buddy_find_buddy,
451 .bisect = zone_buddy_bisect,
452 .coalesce = zone_buddy_coalesce,
453 .set_order = zone_buddy_set_order,
454 .get_order = zone_buddy_get_order,
455 .mark_busy = zone_buddy_mark_busy,
456 .mark_available = zone_buddy_mark_available,
[bb68433]457 .find_block = zone_buddy_find_block,
458 .print_id = zone_buddy_print_id
[085d973]459};
460
[b43eaba0]461/******************/
[085d973]462/* Zone functions */
[b43eaba0]463/******************/
[085d973]464
465/** Allocate frame in particular zone
466 *
467 * Assume zone is locked
[9a68b34d]468 * Panics if allocation is impossible.
469 *
470 * @param zone Zone to allocate from.
471 * @param order Allocate exactly 2^order frames.
[085d973]472 *
473 * @return Frame index in zone
[9a68b34d]474 *
[085d973]475 */
[7f1c620]476static pfn_t zone_frame_alloc(zone_t *zone, uint8_t order)
[085d973]477{
478 pfn_t v;
479 link_t *tmp;
480 frame_t *frame;
481
482 /* Allocate frames from zone buddy system */
483 tmp = buddy_system_alloc(zone->buddy_system, order);
484
485 ASSERT(tmp);
486
487 /* Update zone information. */
488 zone->free_count -= (1 << order);
489 zone->busy_count += (1 << order);
490
491 /* Frame will be actually a first frame of the block. */
492 frame = list_get_instance(tmp, frame_t, buddy_link);
493
494 /* get frame address */
495 v = make_frame_index(zone, frame);
496 return v;
497}
498
499/** Free frame from zone
500 *
501 * Assume zone is locked
[eb3d379]502 *
503 * @param zone Pointer to zone from which the frame is to be freed
504 * @param frame_idx Frame index relative to zone
[085d973]505 */
[42744880]506static void zone_frame_free(zone_t *zone, index_t frame_idx)
[085d973]507{
508 frame_t *frame;
[7f1c620]509 uint8_t order;
[085d973]510
511 frame = &zone->frames[frame_idx];
512
513 /* remember frame order */
514 order = frame->buddy_order;
515
516 ASSERT(frame->refcount);
517
518 if (!--frame->refcount) {
519 buddy_system_free(zone->buddy_system, &frame->buddy_link);
[d3dfa42]520
521 /* Update zone information. */
522 zone->free_count += (1 << order);
523 zone->busy_count -= (1 << order);
[085d973]524 }
525}
526
527/** Return frame from zone */
[42744880]528static frame_t * zone_get_frame(zone_t *zone, index_t frame_idx)
[085d973]529{
530 ASSERT(frame_idx < zone->count);
531 return &zone->frames[frame_idx];
532}
533
534/** Mark frame in zone unavailable to allocation */
[42744880]535static void zone_mark_unavailable(zone_t *zone, index_t frame_idx)
[085d973]536{
537 frame_t *frame;
538 link_t *link;
539
540 frame = zone_get_frame(zone, frame_idx);
[bb68433]541 if (frame->refcount)
542 return;
[4638401]543 link = buddy_system_alloc_block(zone->buddy_system,
544 &frame->buddy_link);
[085d973]545 ASSERT(link);
546 zone->free_count--;
547}
548
[bb68433]549/**
550 * Join 2 zones
551 *
552 * Expect zone_t *z to point to space at least zone_conf_size large
553 *
554 * Assume z1 & z2 are locked
[eb3d379]555 *
556 * @param z Target zone structure pointer
557 * @param z1 Zone to merge
558 * @param z2 Zone to merge
[bb68433]559 */
560static void _zone_merge(zone_t *z, zone_t *z1, zone_t *z2)
561{
[7f1c620]562 uint8_t max_order;
[2936eef]563 unsigned int i;
564 int z2idx;
[bb68433]565 pfn_t frame_idx;
566 frame_t *frame;
567
[4638401]568 ASSERT(!overlaps(z1->base, z1->count, z2->base, z2->count));
[bb68433]569 ASSERT(z1->base < z2->base);
570
571 spinlock_initialize(&z->lock, "zone_lock");
572 z->base = z1->base;
[4638401]573 z->count = z2->base + z2->count - z1->base;
[bb68433]574 z->flags = z1->flags & z2->flags;
575
576 z->free_count = z1->free_count + z2->free_count;
577 z->busy_count = z1->busy_count + z2->busy_count;
578
579 max_order = fnzb(z->count);
580
[4638401]581 z->buddy_system = (buddy_system_t *) &z[1];
582 buddy_system_create(z->buddy_system, max_order,
583 &zone_buddy_system_operations, (void *) z);
[bb68433]584
[4638401]585 z->frames = (frame_t *)((uint8_t *) z->buddy_system +
586 buddy_conf_size(max_order));
[bb68433]587 for (i = 0; i < z->count; i++) {
588 /* This marks all frames busy */
589 frame_initialize(&z->frames[i]);
590 }
591 /* Copy frames from both zones to preserve full frame orders,
[ad64a2d]592 * parents etc. Set all free frames with refcount=0 to 1, because
[bb68433]593 * we add all free frames to buddy allocator later again, clear
[ad64a2d]594 * order to 0. Don't set busy frames with refcount=0, as they
595 * will not be reallocated during merge and it would make later
596 * problems with allocation/free.
[bb68433]597 */
[2936eef]598 for (i = 0; i < z1->count; i++)
[bb68433]599 z->frames[i] = z1->frames[i];
[2936eef]600 for (i = 0; i < z2->count; i++) {
[bb68433]601 z2idx = i + (z2->base - z1->base);
602 z->frames[z2idx] = z2->frames[i];
603 }
[ad64a2d]604 i = 0;
605 while (i < z->count) {
606 if (z->frames[i].refcount) {
607 /* skip busy frames */
608 i += 1 << z->frames[i].buddy_order;
609 } else { /* Free frames, set refcount=1 */
610 /* All free frames have refcount=0, we need not
611 * to check the order */
[bb68433]612 z->frames[i].refcount = 1;
613 z->frames[i].buddy_order = 0;
[ad64a2d]614 i++;
[bb68433]615 }
616 }
617 /* Add free blocks from the 2 original zones */
618 while (zone_can_alloc(z1, 0)) {
619 frame_idx = zone_frame_alloc(z1, 0);
620 frame = &z->frames[frame_idx];
621 frame->refcount = 0;
622 buddy_system_free(z->buddy_system, &frame->buddy_link);
623 }
624 while (zone_can_alloc(z2, 0)) {
625 frame_idx = zone_frame_alloc(z2, 0);
[4638401]626 frame = &z->frames[frame_idx + (z2->base - z1->base)];
[bb68433]627 frame->refcount = 0;
628 buddy_system_free(z->buddy_system, &frame->buddy_link);
629 }
630}
631
632/** Return old configuration frames into the zone
633 *
634 * We have several cases
635 * - the conf. data is outside of zone -> exit, shall we call frame_free??
[874878a]636 * - the conf. data was created by zone_create or
637 * updated with reduce_region -> free every frame
638 *
639 * @param newzone The actual zone where freeing should occur
640 * @param oldzone Pointer to old zone configuration data that should
641 * be freed from new zone
[bb68433]642 */
643static void return_config_frames(zone_t *newzone, zone_t *oldzone)
644{
645 pfn_t pfn;
646 frame_t *frame;
647 count_t cframes;
[2936eef]648 unsigned int i;
[bb68433]649
[7f1c620]650 pfn = ADDR2PFN((uintptr_t)KA2PA(oldzone));
[bb68433]651 cframes = SIZE2FRAMES(zone_conf_size(oldzone->count));
652
653 if (pfn < newzone->base || pfn >= newzone->base + newzone->count)
654 return;
655
656 frame = &newzone->frames[pfn - newzone->base];
[874878a]657 ASSERT(!frame->buddy_order);
[bb68433]658
[2936eef]659 for (i = 0; i < cframes; i++) {
[bb68433]660 newzone->busy_count++;
661 zone_frame_free(newzone, pfn+i-newzone->base);
662 }
663}
664
[874878a]665/** Reduce allocated block to count of order 0 frames
666 *
667 * The allocated block need 2^order frames of space. Reduce all frames
[eb3d379]668 * in block to order 0 and free the unneeded frames. This means, that
669 * when freeing the previously allocated block starting with frame_idx,
670 * you have to free every frame.
[874878a]671 *
672 * @param zone
673 * @param frame_idx Index to block
674 * @param count Allocated space in block
675 */
676static void zone_reduce_region(zone_t *zone, pfn_t frame_idx, count_t count)
677{
678 count_t i;
[7f1c620]679 uint8_t order;
[874878a]680 frame_t *frame;
681
[2936eef]682 ASSERT(frame_idx + count < zone->count);
[874878a]683
684 order = zone->frames[frame_idx].buddy_order;
[2936eef]685 ASSERT((count_t) (1 << order) >= count);
[874878a]686
687 /* Reduce all blocks to order 0 */
[2936eef]688 for (i = 0; i < (count_t) (1 << order); i++) {
[874878a]689 frame = &zone->frames[i + frame_idx];
690 frame->buddy_order = 0;
[4638401]691 if (!frame->refcount)
[874878a]692 frame->refcount = 1;
693 ASSERT(frame->refcount == 1);
694 }
695 /* Free unneeded frames */
[2936eef]696 for (i = count; i < (count_t) (1 << order); i++) {
[874878a]697 zone_frame_free(zone, i + frame_idx);
698 }
699}
700
[bb68433]701/** Merge zones z1 and z2
702 *
703 * - the zones must be 2 zones with no zone existing in between,
704 * which means that z2 = z1+1
705 *
706 * - When you create a new zone, the frame allocator configuration does
707 * not to be 2^order size. Once the allocator is running it is no longer
708 * possible, merged configuration data occupies more space :-/
709 */
[2936eef]710void zone_merge(unsigned int z1, unsigned int z2)
[bb68433]711{
712 ipl_t ipl;
713 zone_t *zone1, *zone2, *newzone;
[2936eef]714 unsigned int cframes;
[7f1c620]715 uint8_t order;
[2936eef]716 unsigned int i;
[bb68433]717 pfn_t pfn;
718
719 ipl = interrupts_disable();
720 spinlock_lock(&zones.lock);
721
[6c441cf8]722 if ((z1 >= zones.count) || (z2 >= zones.count))
[bb68433]723 goto errout;
724 /* We can join only 2 zones with none existing inbetween */
725 if (z2-z1 != 1)
726 goto errout;
727
728 zone1 = zones.info[z1];
729 zone2 = zones.info[z2];
730 spinlock_lock(&zone1->lock);
731 spinlock_lock(&zone2->lock);
732
[4638401]733 cframes = SIZE2FRAMES(zone_conf_size(zone2->base + zone2->count -
734 zone1->base));
[279952c]735 if (cframes == 1)
736 order = 0;
737 else
738 order = fnzb(cframes - 1) + 1;
[bb68433]739
740 /* Allocate zonedata inside one of the zones */
741 if (zone_can_alloc(zone1, order))
742 pfn = zone1->base + zone_frame_alloc(zone1, order);
743 else if (zone_can_alloc(zone2, order))
744 pfn = zone2->base + zone_frame_alloc(zone2, order);
745 else
746 goto errout2;
747
[2936eef]748 newzone = (zone_t *) PA2KA(PFN2ADDR(pfn));
[bb68433]749
750 _zone_merge(newzone, zone1, zone2);
751
[874878a]752 /* Free unneeded config frames */
753 zone_reduce_region(newzone, pfn - newzone->base, cframes);
[bb68433]754 /* Subtract zone information from busy frames */
[874878a]755 newzone->busy_count -= cframes;
[bb68433]756
[874878a]757 /* Replace existing zones in zoneinfo list */
[bb68433]758 zones.info[z1] = newzone;
[b6b576c]759 for (i = z2 + 1; i < zones.count; i++)
760 zones.info[i - 1] = zones.info[i];
[bb68433]761 zones.count--;
762
763 /* Free old zone information */
764 return_config_frames(newzone, zone1);
765 return_config_frames(newzone, zone2);
766errout2:
767 /* Nobody is allowed to enter to zone, so we are safe
768 * to touch the spinlocks last time */
769 spinlock_unlock(&zone1->lock);
770 spinlock_unlock(&zone2->lock);
771errout:
772 spinlock_unlock(&zones.lock);
773 interrupts_restore(ipl);
774}
775
776/**
777 * Merge all zones into one big zone
778 *
779 * It is reasonable to do this on systems whose bios reports parts in chunks,
780 * so that we could have 1 zone (it's faster).
781 */
782void zone_merge_all(void)
783{
784 int count = zones.count;
785
786 while (zones.count > 1 && --count) {
787 zone_merge(0,1);
788 break;
789 }
790}
791
[085d973]792/** Create frame zone
793 *
794 * Create new frame zone.
795 *
796 * @param start Physical address of the first frame within the zone.
[eb3d379]797 * @param count Count of frames in zone
798 * @param z Address of configuration information of zone
[085d973]799 * @param flags Zone flags.
800 *
801 * @return Initialized zone.
802 */
[bb68433]803static void zone_construct(pfn_t start, count_t count, zone_t *z, int flags)
[085d973]804{
[2936eef]805 unsigned int i;
[7f1c620]806 uint8_t max_order;
[085d973]807
808 spinlock_initialize(&z->lock, "zone_lock");
809 z->base = start;
810 z->count = count;
811 z->flags = flags;
812 z->free_count = count;
813 z->busy_count = 0;
814
815 /*
816 * Compute order for buddy system, initialize
817 */
[bb68433]818 max_order = fnzb(count);
[085d973]819 z->buddy_system = (buddy_system_t *)&z[1];
820
821 buddy_system_create(z->buddy_system, max_order,
822 &zone_buddy_system_operations,
823 (void *) z);
824
825 /* Allocate frames _after_ the conframe */
826 /* Check sizes */
[4638401]827 z->frames = (frame_t *)((uint8_t *) z->buddy_system +
828 buddy_conf_size(max_order));
[2936eef]829 for (i = 0; i < count; i++) {
[085d973]830 frame_initialize(&z->frames[i]);
831 }
[052da81]832
[085d973]833 /* Stuffing frames */
834 for (i = 0; i < count; i++) {
835 z->frames[i].refcount = 0;
836 buddy_system_free(z->buddy_system, &z->frames[i].buddy_link);
837 }
838}
839
[eb3d379]840/** Compute configuration data size for zone
841 *
842 * @param count Size of zone in frames
843 * @return Size of zone configuration info (in bytes)
844 */
[7f1c620]845uintptr_t zone_conf_size(count_t count)
[085d973]846{
847 int size = sizeof(zone_t) + count*sizeof(frame_t);
848 int max_order;
849
[bb68433]850 max_order = fnzb(count);
[085d973]851 size += buddy_conf_size(max_order);
852 return size;
853}
854
855/** Create and add zone to system
856 *
[eb3d379]857 * @param start First frame number (absolute)
858 * @param count Size of zone in frames
859 * @param confframe Where configuration frames are supposed to be.
860 * Automatically checks, that we will not disturb the
861 * kernel and possibly init.
[085d973]862 * If confframe is given _outside_ this zone, it is expected,
863 * that the area is already marked BUSY and big enough
[eb3d379]864 * to contain zone_conf_size() amount of data.
865 * If the confframe is inside the area, the zone free frame
866 * information is modified not to include it.
[bb68433]867 *
868 * @return Zone number or -1 on error
[085d973]869 */
[bb68433]870int zone_create(pfn_t start, count_t count, pfn_t confframe, int flags)
[085d973]871{
872 zone_t *z;
[7f1c620]873 uintptr_t addr;
[42744880]874 count_t confcount;
[2936eef]875 unsigned int i;
[bb68433]876 int znum;
[085d973]877
878 /* Theoretically we could have here 0, practically make sure
879 * nobody tries to do that. If some platform requires, remove
880 * the assert
881 */
882 ASSERT(confframe);
883 /* If conframe is supposed to be inside our zone, then make sure
884 * it does not span kernel & init
885 */
[bb68433]886 confcount = SIZE2FRAMES(zone_conf_size(count));
[085d973]887 if (confframe >= start && confframe < start+count) {
[b6b576c]888 for (;confframe < start + count; confframe++) {
[085d973]889 addr = PFN2ADDR(confframe);
[4638401]890 if (overlaps(addr, PFN2ADDR(confcount),
891 KA2PA(config.base), config.kernel_size))
[085d973]892 continue;
[b6b576c]893
[4638401]894 if (overlaps(addr, PFN2ADDR(confcount),
895 KA2PA(config.stack_base), config.stack_size))
[deaa22f]896 continue;
897
[b6b576c]898 bool overlap = false;
899 count_t i;
900 for (i = 0; i < init.cnt; i++)
[4638401]901 if (overlaps(addr, PFN2ADDR(confcount),
902 KA2PA(init.tasks[i].addr),
903 init.tasks[i].size)) {
[b6b576c]904 overlap = true;
905 break;
906 }
907 if (overlap)
908 continue;
909
[085d973]910 break;
911 }
[b6b576c]912 if (confframe >= start + count)
[085d973]913 panic("Cannot find configuration data for zone.");
914 }
915
[71eef11]916 z = (zone_t *) PA2KA(PFN2ADDR(confframe));
[bb68433]917 zone_construct(start, count, z, flags);
918 znum = zones_add_zone(z);
919 if (znum == -1)
920 return -1;
921
[085d973]922 /* If confdata in zone, mark as unavailable */
[2936eef]923 if (confframe >= start && confframe < start + count)
924 for (i = confframe; i < confframe + confcount; i++) {
[085d973]925 zone_mark_unavailable(z, i - z->base);
926 }
[bb68433]927 return znum;
[085d973]928}
929
930/***************************************/
931/* Frame functions */
932
933/** Set parent of frame */
[2936eef]934void frame_set_parent(pfn_t pfn, void *data, unsigned int hint)
[085d973]935{
936 zone_t *zone = find_zone_and_lock(pfn, &hint);
937
938 ASSERT(zone);
939
940 zone_get_frame(zone, pfn-zone->base)->parent = data;
941 spinlock_unlock(&zone->lock);
942}
943
[4638401]944void *frame_get_parent(pfn_t pfn, unsigned int hint)
[085d973]945{
946 zone_t *zone = find_zone_and_lock(pfn, &hint);
947 void *res;
948
949 ASSERT(zone);
950 res = zone_get_frame(zone, pfn - zone->base)->parent;
951
952 spinlock_unlock(&zone->lock);
953 return res;
954}
955
956/** Allocate power-of-two frames of physical memory.
957 *
[9a68b34d]958 * @param order Allocate exactly 2^order frames.
959 * @param flags Flags for host zone selection and address processing.
960 * @param pzone Preferred zone
[085d973]961 *
[2e9eae2]962 * @return Physical address of the allocated frame.
[9a68b34d]963 *
[085d973]964 */
[3c771149]965void * frame_alloc_generic(uint8_t order, int flags, unsigned int *pzone)
[085d973]966{
967 ipl_t ipl;
968 int freed;
969 pfn_t v;
970 zone_t *zone;
971
972loop:
973 ipl = interrupts_disable();
[9a68b34d]974
[085d973]975 /*
976 * First, find suitable frame zone.
977 */
[e5a2ee8]978 zone = find_free_zone_and_lock(order, pzone);
[9a68b34d]979
[085d973]980 /* If no memory, reclaim some slab memory,
981 if it does not help, reclaim all */
982 if (!zone && !(flags & FRAME_NO_RECLAIM)) {
983 freed = slab_reclaim(0);
984 if (freed)
[e5a2ee8]985 zone = find_free_zone_and_lock(order, pzone);
[085d973]986 if (!zone) {
987 freed = slab_reclaim(SLAB_RECLAIM_ALL);
988 if (freed)
[e5a2ee8]989 zone = find_free_zone_and_lock(order, pzone);
[085d973]990 }
991 }
992 if (!zone) {
993 /*
994 * TODO: Sleep until frames are available again.
995 */
996 interrupts_restore(ipl);
997
[e45f81a]998 if (flags & FRAME_ATOMIC)
[2e9eae2]999 return 0;
[085d973]1000
1001 panic("Sleep not implemented.\n");
1002 goto loop;
1003 }
[9a68b34d]1004
1005 v = zone_frame_alloc(zone, order);
[085d973]1006 v += zone->base;
1007
1008 spinlock_unlock(&zone->lock);
1009 interrupts_restore(ipl);
1010
[2e9eae2]1011 if (flags & FRAME_KA)
1012 return (void *)PA2KA(PFN2ADDR(v));
1013 return (void *)PFN2ADDR(v);
[085d973]1014}
1015
1016/** Free a frame.
1017 *
[32fffef0]1018 * Find respective frame structure for supplied physical frame address.
[085d973]1019 * Decrement frame reference count.
1020 * If it drops to zero, move the frame structure to free list.
1021 *
[2e9eae2]1022 * @param Frame Physical Address of of the frame to be freed.
[085d973]1023 */
[7f1c620]1024void frame_free(uintptr_t frame)
[085d973]1025{
1026 ipl_t ipl;
1027 zone_t *zone;
[2e9eae2]1028 pfn_t pfn = ADDR2PFN(frame);
[085d973]1029
1030 ipl = interrupts_disable();
1031
1032 /*
1033 * First, find host frame zone for addr.
1034 */
1035 zone = find_zone_and_lock(pfn,NULL);
1036 ASSERT(zone);
1037
1038 zone_frame_free(zone, pfn-zone->base);
1039
1040 spinlock_unlock(&zone->lock);
1041 interrupts_restore(ipl);
1042}
1043
[f3ac636]1044/** Add reference to frame.
1045 *
1046 * Find respective frame structure for supplied PFN and
1047 * increment frame reference count.
1048 *
[abbc16e]1049 * @param pfn Frame number of the frame to be freed.
[f3ac636]1050 */
1051void frame_reference_add(pfn_t pfn)
1052{
1053 ipl_t ipl;
1054 zone_t *zone;
1055 frame_t *frame;
[085d973]1056
[f3ac636]1057 ipl = interrupts_disable();
1058
1059 /*
1060 * First, find host frame zone for addr.
1061 */
1062 zone = find_zone_and_lock(pfn,NULL);
1063 ASSERT(zone);
1064
1065 frame = &zone->frames[pfn-zone->base];
1066 frame->refcount++;
1067
1068 spinlock_unlock(&zone->lock);
1069 interrupts_restore(ipl);
1070}
[085d973]1071
1072/** Mark given range unavailable in frame zones */
[42744880]1073void frame_mark_unavailable(pfn_t start, count_t count)
[085d973]1074{
[2936eef]1075 unsigned int i;
[085d973]1076 zone_t *zone;
[2936eef]1077 unsigned int prefzone = 0;
[052da81]1078
[2936eef]1079 for (i = 0; i < count; i++) {
[e5a2ee8]1080 zone = find_zone_and_lock(start + i, &prefzone);
[085d973]1081 if (!zone) /* PFN not found */
1082 continue;
[e5a2ee8]1083 zone_mark_unavailable(zone, start + i - zone->base);
[085d973]1084
1085 spinlock_unlock(&zone->lock);
1086 }
1087}
1088
1089/** Initialize physical memory management
1090 *
1091 * Initialize physical memory managemnt.
1092 */
1093void frame_init(void)
1094{
1095 if (config.cpu_active == 1) {
1096 zones.count = 0;
[e5a2ee8]1097 spinlock_initialize(&zones.lock, "zones.lock");
[085d973]1098 }
1099 /* Tell the architecture to create some memory */
1100 frame_arch_init();
1101 if (config.cpu_active == 1) {
[4638401]1102 frame_mark_unavailable(ADDR2PFN(KA2PA(config.base)),
1103 SIZE2FRAMES(config.kernel_size));
1104 frame_mark_unavailable(ADDR2PFN(KA2PA(config.stack_base)),
1105 SIZE2FRAMES(config.stack_size));
[b6b576c]1106
1107 count_t i;
[4638401]1108 for (i = 0; i < init.cnt; i++) {
1109 pfn_t pfn = ADDR2PFN(KA2PA(init.tasks[i].addr));
1110 frame_mark_unavailable(pfn,
1111 SIZE2FRAMES(init.tasks[i].size));
1112 }
[bffa0b06]1113
[61e90dd]1114 if (ballocs.size)
[4638401]1115 frame_mark_unavailable(ADDR2PFN(KA2PA(ballocs.base)),
1116 SIZE2FRAMES(ballocs.size));
[61e90dd]1117
[bffa0b06]1118 /* Black list first frame, as allocating NULL would
[94d614e]1119 * fail in some places */
[bffa0b06]1120 frame_mark_unavailable(0, 1);
[085d973]1121 }
1122}
1123
1124
[71eef11]1125/** Return total size of all zones
1126 *
1127 */
1128uint64_t zone_total_size(void) {
1129 zone_t *zone = NULL;
1130 unsigned int i;
1131 ipl_t ipl;
1132 uint64_t total = 0;
1133
1134 ipl = interrupts_disable();
1135 spinlock_lock(&zones.lock);
1136
1137 for (i = 0; i < zones.count; i++) {
1138 zone = zones.info[i];
1139 spinlock_lock(&zone->lock);
1140 total += (uint64_t) FRAMES2SIZE(zone->count);
1141 spinlock_unlock(&zone->lock);
1142 }
1143
1144 spinlock_unlock(&zones.lock);
1145 interrupts_restore(ipl);
1146
1147 return total;
1148}
1149
1150
[085d973]1151
[96cacc1]1152/** Prints list of zones
1153 *
1154 */
[dfd9186]1155void zone_print_list(void) {
1156 zone_t *zone = NULL;
[2936eef]1157 unsigned int i;
[263104b]1158 ipl_t ipl;
1159
1160 ipl = interrupts_disable();
[085d973]1161 spinlock_lock(&zones.lock);
[43b1e86]1162
1163 if (sizeof(void *) == 4) {
1164 printf("# base address free frames busy frames\n");
1165 printf("-- ------------ ------------ ------------\n");
1166 } else {
1167 printf("# base address free frames busy frames\n");
1168 printf("-- -------------------- ------------ ------------\n");
1169 }
1170
[b6b576c]1171 for (i = 0; i < zones.count; i++) {
[085d973]1172 zone = zones.info[i];
[566ba81]1173 spinlock_lock(&zone->lock);
[43b1e86]1174
1175 if (sizeof(void *) == 4)
1176 printf("%-2d %#10zx %12zd %12zd\n", i, PFN2ADDR(zone->base),
1177 zone->free_count, zone->busy_count);
1178 else
1179 printf("%-2d %#18zx %12zd %12zd\n", i, PFN2ADDR(zone->base),
1180 zone->free_count, zone->busy_count);
1181
[263104b]1182 spinlock_unlock(&zone->lock);
[dfd9186]1183 }
[43b1e86]1184
[085d973]1185 spinlock_unlock(&zones.lock);
[263104b]1186 interrupts_restore(ipl);
[dfd9186]1187}
1188
[abbc16e]1189/** Prints zone details.
[96cacc1]1190 *
[abbc16e]1191 * @param num Zone base address or zone number.
[96cacc1]1192 */
[2936eef]1193void zone_print_one(unsigned int num) {
[085d973]1194 zone_t *zone = NULL;
[263104b]1195 ipl_t ipl;
[2936eef]1196 unsigned int i;
[263104b]1197
1198 ipl = interrupts_disable();
[085d973]1199 spinlock_lock(&zones.lock);
[bb68433]1200
[b6b576c]1201 for (i = 0; i < zones.count; i++) {
[71eef11]1202 if ((i == num) || (PFN2ADDR(zones.info[i]->base) == num)) {
[bb68433]1203 zone = zones.info[i];
1204 break;
1205 }
1206 }
1207 if (!zone) {
1208 printf("Zone not found.\n");
1209 goto out;
[dfd9186]1210 }
[085d973]1211
[566ba81]1212 spinlock_lock(&zone->lock);
[bb68433]1213 printf("Memory zone information\n");
[4638401]1214 printf("Zone base address: %#.*p\n", sizeof(uintptr_t) * 2,
1215 PFN2ADDR(zone->base));
[71eef11]1216 printf("Zone size: %zd frames (%zd KB)\n", zone->count,
1217 SIZE2KB(FRAMES2SIZE(zone->count)));
1218 printf("Allocated space: %zd frames (%zd KB)\n", zone->busy_count,
1219 SIZE2KB(FRAMES2SIZE(zone->busy_count)));
1220 printf("Available space: %zd frames (%zd KB)\n", zone->free_count,
1221 SIZE2KB(FRAMES2SIZE(zone->free_count)));
[59adc2b]1222 buddy_system_structure_print(zone->buddy_system, FRAME_SIZE);
[566ba81]1223 spinlock_unlock(&zone->lock);
[71eef11]1224
[bb68433]1225out:
[085d973]1226 spinlock_unlock(&zones.lock);
[263104b]1227 interrupts_restore(ipl);
[dfd9186]1228}
1229
[cc73a8a1]1230/** @}
[b45c443]1231 */
[4638401]1232
Note: See TracBrowser for help on using the repository browser.