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

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

cstyle for frame.c

  • Property mode set to 100644
File size: 30.0 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
[deaf8d5]132/** Initialize frame structure.
[84dd253]133 *
[deaf8d5]134 * @param framei Frame structure to be initialized.
[f761f1eb]135 */
[085d973]136static void frame_initialize(frame_t *frame)
[f761f1eb]137{
[085d973]138 frame->refcount = 1;
139 frame->buddy_order = 0;
[f761f1eb]140}
141
[71eef11]142/**********************/
[085d973]143/* Zoneinfo functions */
[71eef11]144/**********************/
[085d973]145
[deaf8d5]146/** Insert-sort zone into zones list.
[bb68433]147 *
[deaf8d5]148 * @param newzone New zone to be inserted into zone list.
149 * @return Zone number on success, -1 on error.
[84dd253]150 */
[bb68433]151static int zones_add_zone(zone_t *newzone)
[f761f1eb]152{
[2936eef]153 unsigned int i, j;
[bb68433]154 ipl_t ipl;
155 zone_t *z;
[4457455]156
[bb68433]157 ipl = interrupts_disable();
[085d973]158 spinlock_lock(&zones.lock);
[71eef11]159
[085d973]160 /* Try to merge */
[71eef11]161 if (zones.count + 1 == ZONES_MAX) {
162 printf("Maximum zone count %u exceeded!\n", ZONES_MAX);
163 spinlock_unlock(&zones.lock);
164 interrupts_restore(ipl);
165 return -1;
166 }
167
[b6b576c]168 for (i = 0; i < zones.count; i++) {
[bb68433]169 /* Check for overflow */
[052da81]170 z = zones.info[i];
[deaf8d5]171 if (overlaps(newzone->base, newzone->count, z->base,
172 z->count)) {
[bb68433]173 printf("Zones overlap!\n");
174 return -1;
[085d973]175 }
[052da81]176 if (newzone->base < z->base)
[bb68433]177 break;
[085d973]178 }
[71eef11]179
[bb68433]180 /* Move other zones up */
[4638401]181 for (j = i; j < zones.count; j++)
[b6b576c]182 zones.info[j + 1] = zones.info[j];
[71eef11]183
[bb68433]184 zones.info[i] = newzone;
185 zones.count++;
[71eef11]186
[085d973]187 spinlock_unlock(&zones.lock);
[bb68433]188 interrupts_restore(ipl);
189
190 return i;
[f761f1eb]191}
[fcacfb7]192
[085d973]193/**
[deaf8d5]194 * Try to find a zone where can we find the frame.
[71eef11]195 *
[b43eaba0]196 * Assume interrupts are disabled.
[71eef11]197 *
[deaf8d5]198 * @param frame Frame number contained in zone.
199 * @param pzone If not null, it is used as zone hint. Zone index is
200 * filled into the variable on success.
201 * @return Pointer to locked zone containing frame.
[eef75f6]202 */
[deaf8d5]203static zone_t *find_zone_and_lock(pfn_t frame, unsigned int *pzone)
[085d973]204{
[2936eef]205 unsigned int i;
206 unsigned int hint = pzone ? *pzone : 0;
[085d973]207 zone_t *z;
[328f2934]208
[085d973]209 spinlock_lock(&zones.lock);
[4457455]210
[6c441cf8]211 if (hint >= zones.count)
[085d973]212 hint = 0;
[328f2934]213
[085d973]214 i = hint;
215 do {
216 z = zones.info[i];
217 spinlock_lock(&z->lock);
218 if (z->base <= frame && z->base + z->count > frame) {
[4638401]219 /* Unlock the global lock */
220 spinlock_unlock(&zones.lock);
[085d973]221 if (pzone)
222 *pzone = i;
223 return z;
224 }
225 spinlock_unlock(&z->lock);
[328f2934]226
[085d973]227 i++;
228 if (i >= zones.count)
229 i = 0;
230 } while(i != hint);
[328f2934]231
[085d973]232 spinlock_unlock(&zones.lock);
233 return NULL;
234}
[328f2934]235
[bb68433]236/** @return True if zone can allocate specified order */
[7f1c620]237static int zone_can_alloc(zone_t *z, uint8_t order)
[bb68433]238{
239 return buddy_system_can_alloc(z->buddy_system, order);
240}
241
[b43eaba0]242/** Find and lock zone that can allocate order frames.
[fcacfb7]243 *
[b43eaba0]244 * Assume interrupts are disabled.
[fcacfb7]245 *
[deaf8d5]246 * @param order Size (2^order) of free space we are trying to find.
247 * @param pzone Pointer to preferred zone or NULL, on return contains
248 * zone number.
[fcacfb7]249 */
[deaf8d5]250static zone_t *find_free_zone_and_lock(uint8_t order, unsigned int *pzone)
[fcacfb7]251{
[2936eef]252 unsigned int i;
[085d973]253 zone_t *z;
[2936eef]254 unsigned int hint = pzone ? *pzone : 0;
[085d973]255
256 spinlock_lock(&zones.lock);
257 if (hint >= zones.count)
258 hint = 0;
259 i = hint;
260 do {
261 z = zones.info[i];
[5d2ab23]262
[085d973]263 spinlock_lock(&z->lock);
[fcacfb7]264
[085d973]265 /* Check if the zone has 2^order frames area available */
[bb68433]266 if (zone_can_alloc(z, order)) {
[085d973]267 spinlock_unlock(&zones.lock);
268 if (pzone)
269 *pzone = i;
270 return z;
[328f2934]271 }
[085d973]272 spinlock_unlock(&z->lock);
273 if (++i >= zones.count)
274 i = 0;
275 } while(i != hint);
276 spinlock_unlock(&zones.lock);
277 return NULL;
[fcacfb7]278}
279
[b43eaba0]280/**************************/
[085d973]281/* Buddy system functions */
[b43eaba0]282/**************************/
[085d973]283
[deaf8d5]284/** Buddy system find_block implementation.
[fcacfb7]285 *
[085d973]286 * Find block that is parent of current list.
287 * That means go to lower addresses, until such block is found
[fcacfb7]288 *
[deaf8d5]289 * @param order Order of parent must be different then this
290 * parameter!!
[fcacfb7]291 */
[085d973]292static link_t *zone_buddy_find_block(buddy_system_t *b, link_t *child,
[4638401]293 uint8_t order)
[fcacfb7]294{
[4638401]295 frame_t *frame;
296 zone_t *zone;
[085d973]297 index_t index;
[fcacfb7]298
[085d973]299 frame = list_get_instance(child, frame_t, buddy_link);
300 zone = (zone_t *) b->data;
[fcacfb7]301
[085d973]302 index = frame_index(zone, frame);
303 do {
304 if (zone->frames[index].buddy_order != order) {
305 return &zone->frames[index].buddy_link;
306 }
307 } while(index-- > 0);
308 return NULL;
[fcacfb7]309}
[6e8b3c8]310
[bb68433]311static void zone_buddy_print_id(buddy_system_t *b, link_t *block)
312{
[4638401]313 frame_t *frame;
314 zone_t *zone;
[bb68433]315 index_t index;
316
317 frame = list_get_instance(block, frame_t, buddy_link);
318 zone = (zone_t *) b->data;
319 index = frame_index(zone, frame);
[2b8b0ca]320 printf("%" PRIi, index);
[bb68433]321}
[6e8b3c8]322
[deaf8d5]323/** Buddy system find_buddy implementation.
[594a468]324 *
[deaf8d5]325 * @param b Buddy system.
326 * @param block Block for which buddy should be found.
[6e8b3c8]327 *
[deaf8d5]328 * @return Buddy for given block if found.
[6e8b3c8]329 */
[4638401]330static link_t *zone_buddy_find_buddy(buddy_system_t *b, link_t *block)
[085d973]331{
[4638401]332 frame_t *frame;
333 zone_t *zone;
[b87f418]334 index_t index;
[30187eb]335 bool is_left, is_right;
[6e8b3c8]336
[30187eb]337 frame = list_get_instance(block, frame_t, buddy_link);
[328f2934]338 zone = (zone_t *) b->data;
[4638401]339 ASSERT(IS_BUDDY_ORDER_OK(frame_index_abs(zone, frame),
340 frame->buddy_order));
[b87f418]341
[5d2ab23]342 is_left = IS_BUDDY_LEFT_BLOCK_ABS(zone, frame);
343 is_right = IS_BUDDY_RIGHT_BLOCK_ABS(zone, frame);
[085d973]344
[b87f418]345 ASSERT(is_left ^ is_right);
[328f2934]346 if (is_left) {
[deaf8d5]347 index = (frame_index(zone, frame)) +
348 (1 << frame->buddy_order);
[e5a2ee8]349 } else { /* if (is_right) */
[deaf8d5]350 index = (frame_index(zone, frame)) -
351 (1 << frame->buddy_order);
[328f2934]352 }
353
[085d973]354 if (frame_index_valid(zone, index)) {
355 if (zone->frames[index].buddy_order == frame->buddy_order &&
356 zone->frames[index].refcount == 0) {
[328f2934]357 return &zone->frames[index].buddy_link;
[30187eb]358 }
359 }
[085d973]360
[eef75f6]361 return NULL;
[6e8b3c8]362}
363
[deaf8d5]364/** Buddy system bisect implementation.
[6e8b3c8]365 *
[deaf8d5]366 * @param b Buddy system.
367 * @param block Block to bisect.
[30187eb]368 *
[deaf8d5]369 * @return Right block.
[6e8b3c8]370 */
[deaf8d5]371static link_t *zone_buddy_bisect(buddy_system_t *b, link_t *block)
372{
[4638401]373 frame_t *frame_l, *frame_r;
[b87f418]374
[30187eb]375 frame_l = list_get_instance(block, frame_t, buddy_link);
[328f2934]376 frame_r = (frame_l + (1 << (frame_l->buddy_order - 1)));
[b87f418]377
[30187eb]378 return &frame_r->buddy_link;
[6e8b3c8]379}
380
[deaf8d5]381/** Buddy system coalesce implementation.
[6e8b3c8]382 *
[deaf8d5]383 * @param b Buddy system.
384 * @param block_1 First block.
385 * @param block_2 First block's buddy.
[30187eb]386 *
[deaf8d5]387 * @return Coalesced block (actually block that represents lower
388 * address).
[6e8b3c8]389 */
[4638401]390static link_t *zone_buddy_coalesce(buddy_system_t *b, link_t *block_1,
391 link_t *block_2)
[bb68433]392{
[085d973]393 frame_t *frame1, *frame2;
[b87f418]394
[30187eb]395 frame1 = list_get_instance(block_1, frame_t, buddy_link);
396 frame2 = list_get_instance(block_2, frame_t, buddy_link);
[b87f418]397
[328f2934]398 return frame1 < frame2 ? block_1 : block_2;
[6e8b3c8]399}
400
[deaf8d5]401/** Buddy system set_order implementation.
[594a468]402 *
[deaf8d5]403 * @param b Buddy system.
404 * @param block Buddy system block.
405 * @param order Order to set.
[6e8b3c8]406 */
[4638401]407static void zone_buddy_set_order(buddy_system_t *b, link_t *block,
[deaf8d5]408 uint8_t order)
409{
[4638401]410 frame_t *frame;
[30187eb]411 frame = list_get_instance(block, frame_t, buddy_link);
412 frame->buddy_order = order;
[6e8b3c8]413}
414
[deaf8d5]415/** Buddy system get_order implementation.
[594a468]416 *
[deaf8d5]417 * @param b Buddy system.
418 * @param block Buddy system block.
[6e8b3c8]419 *
[deaf8d5]420 * @return Order of block.
[6e8b3c8]421 */
[deaf8d5]422static uint8_t zone_buddy_get_order(buddy_system_t *b, link_t *block)
423{
[4638401]424 frame_t *frame;
[30187eb]425 frame = list_get_instance(block, frame_t, buddy_link);
426 return frame->buddy_order;
[6e8b3c8]427}
[328f2934]428
[deaf8d5]429/** Buddy system mark_busy implementation.
[328f2934]430 *
[deaf8d5]431 * @param b Buddy system.
432 * @param block Buddy system block.
[328f2934]433 */
[deaf8d5]434static void zone_buddy_mark_busy(buddy_system_t *b, link_t * block)
435{
[328f2934]436 frame_t * frame;
[bb68433]437
[328f2934]438 frame = list_get_instance(block, frame_t, buddy_link);
439 frame->refcount = 1;
440}
[dfd9186]441
[deaf8d5]442/** Buddy system mark_available implementation.
[085d973]443 *
[deaf8d5]444 * @param b Buddy system.
445 * @param block Buddy system block.
[085d973]446 */
[deaf8d5]447static void zone_buddy_mark_available(buddy_system_t *b, link_t *block)
448{
[4638401]449 frame_t *frame;
[085d973]450 frame = list_get_instance(block, frame_t, buddy_link);
451 frame->refcount = 0;
452}
453
[0f3fc9b]454static buddy_system_operations_t zone_buddy_system_operations = {
[085d973]455 .find_buddy = zone_buddy_find_buddy,
456 .bisect = zone_buddy_bisect,
457 .coalesce = zone_buddy_coalesce,
458 .set_order = zone_buddy_set_order,
459 .get_order = zone_buddy_get_order,
460 .mark_busy = zone_buddy_mark_busy,
461 .mark_available = zone_buddy_mark_available,
[bb68433]462 .find_block = zone_buddy_find_block,
463 .print_id = zone_buddy_print_id
[085d973]464};
465
[b43eaba0]466/******************/
[085d973]467/* Zone functions */
[b43eaba0]468/******************/
[085d973]469
[deaf8d5]470/** Allocate frame in particular zone.
[085d973]471 *
[deaf8d5]472 * Assume zone is locked.
[9a68b34d]473 * Panics if allocation is impossible.
474 *
[deaf8d5]475 * @param zone Zone to allocate from.
476 * @param order Allocate exactly 2^order frames.
[085d973]477 *
[deaf8d5]478 * @return Frame index in zone.
[9a68b34d]479 *
[085d973]480 */
[7f1c620]481static pfn_t zone_frame_alloc(zone_t *zone, uint8_t order)
[085d973]482{
483 pfn_t v;
484 link_t *tmp;
485 frame_t *frame;
486
487 /* Allocate frames from zone buddy system */
488 tmp = buddy_system_alloc(zone->buddy_system, order);
489
490 ASSERT(tmp);
491
492 /* Update zone information. */
493 zone->free_count -= (1 << order);
494 zone->busy_count += (1 << order);
495
496 /* Frame will be actually a first frame of the block. */
497 frame = list_get_instance(tmp, frame_t, buddy_link);
498
499 /* get frame address */
500 v = make_frame_index(zone, frame);
501 return v;
502}
503
[deaf8d5]504/** Free frame from zone.
[085d973]505 *
[deaf8d5]506 * Assume zone is locked.
[eb3d379]507 *
[deaf8d5]508 * @param zone Pointer to zone from which the frame is to be freed.
509 * @param frame_idx Frame index relative to zone.
[085d973]510 */
[42744880]511static void zone_frame_free(zone_t *zone, index_t frame_idx)
[085d973]512{
513 frame_t *frame;
[7f1c620]514 uint8_t order;
[085d973]515
516 frame = &zone->frames[frame_idx];
517
518 /* remember frame order */
519 order = frame->buddy_order;
520
521 ASSERT(frame->refcount);
522
523 if (!--frame->refcount) {
524 buddy_system_free(zone->buddy_system, &frame->buddy_link);
[d3dfa42]525
526 /* Update zone information. */
527 zone->free_count += (1 << order);
528 zone->busy_count -= (1 << order);
[085d973]529 }
530}
531
[deaf8d5]532/** Return frame from zone. */
[42744880]533static frame_t * zone_get_frame(zone_t *zone, index_t frame_idx)
[085d973]534{
535 ASSERT(frame_idx < zone->count);
536 return &zone->frames[frame_idx];
537}
538
[deaf8d5]539/** Mark frame in zone unavailable to allocation. */
[42744880]540static void zone_mark_unavailable(zone_t *zone, index_t frame_idx)
[085d973]541{
542 frame_t *frame;
543 link_t *link;
544
545 frame = zone_get_frame(zone, frame_idx);
[bb68433]546 if (frame->refcount)
547 return;
[4638401]548 link = buddy_system_alloc_block(zone->buddy_system,
549 &frame->buddy_link);
[085d973]550 ASSERT(link);
551 zone->free_count--;
552}
553
[deaf8d5]554/** Join two zones.
[bb68433]555 *
[deaf8d5]556 * Expect zone_t *z to point to space at least zone_conf_size large.
[bb68433]557 *
[deaf8d5]558 * Assume z1 & z2 are locked.
[eb3d379]559 *
[deaf8d5]560 * @param z Target zone structure pointer.
561 * @param z1 Zone to merge.
562 * @param z2 Zone to merge.
[bb68433]563 */
564static void _zone_merge(zone_t *z, zone_t *z1, zone_t *z2)
565{
[7f1c620]566 uint8_t max_order;
[2936eef]567 unsigned int i;
568 int z2idx;
[bb68433]569 pfn_t frame_idx;
570 frame_t *frame;
571
[4638401]572 ASSERT(!overlaps(z1->base, z1->count, z2->base, z2->count));
[bb68433]573 ASSERT(z1->base < z2->base);
574
575 spinlock_initialize(&z->lock, "zone_lock");
576 z->base = z1->base;
[4638401]577 z->count = z2->base + z2->count - z1->base;
[bb68433]578 z->flags = z1->flags & z2->flags;
579
580 z->free_count = z1->free_count + z2->free_count;
581 z->busy_count = z1->busy_count + z2->busy_count;
582
583 max_order = fnzb(z->count);
584
[4638401]585 z->buddy_system = (buddy_system_t *) &z[1];
586 buddy_system_create(z->buddy_system, max_order,
587 &zone_buddy_system_operations, (void *) z);
[bb68433]588
[4638401]589 z->frames = (frame_t *)((uint8_t *) z->buddy_system +
590 buddy_conf_size(max_order));
[bb68433]591 for (i = 0; i < z->count; i++) {
592 /* This marks all frames busy */
593 frame_initialize(&z->frames[i]);
594 }
595 /* Copy frames from both zones to preserve full frame orders,
[ad64a2d]596 * parents etc. Set all free frames with refcount=0 to 1, because
[bb68433]597 * we add all free frames to buddy allocator later again, clear
[ad64a2d]598 * order to 0. Don't set busy frames with refcount=0, as they
599 * will not be reallocated during merge and it would make later
600 * problems with allocation/free.
[bb68433]601 */
[2936eef]602 for (i = 0; i < z1->count; i++)
[bb68433]603 z->frames[i] = z1->frames[i];
[2936eef]604 for (i = 0; i < z2->count; i++) {
[bb68433]605 z2idx = i + (z2->base - z1->base);
606 z->frames[z2idx] = z2->frames[i];
607 }
[ad64a2d]608 i = 0;
609 while (i < z->count) {
610 if (z->frames[i].refcount) {
611 /* skip busy frames */
612 i += 1 << z->frames[i].buddy_order;
613 } else { /* Free frames, set refcount=1 */
614 /* All free frames have refcount=0, we need not
615 * to check the order */
[bb68433]616 z->frames[i].refcount = 1;
617 z->frames[i].buddy_order = 0;
[ad64a2d]618 i++;
[bb68433]619 }
620 }
621 /* Add free blocks from the 2 original zones */
622 while (zone_can_alloc(z1, 0)) {
623 frame_idx = zone_frame_alloc(z1, 0);
624 frame = &z->frames[frame_idx];
625 frame->refcount = 0;
626 buddy_system_free(z->buddy_system, &frame->buddy_link);
627 }
628 while (zone_can_alloc(z2, 0)) {
629 frame_idx = zone_frame_alloc(z2, 0);
[4638401]630 frame = &z->frames[frame_idx + (z2->base - z1->base)];
[bb68433]631 frame->refcount = 0;
632 buddy_system_free(z->buddy_system, &frame->buddy_link);
633 }
634}
635
[deaf8d5]636/** Return old configuration frames into the zone.
[bb68433]637 *
638 * We have several cases
639 * - the conf. data is outside of zone -> exit, shall we call frame_free??
[874878a]640 * - the conf. data was created by zone_create or
641 * updated with reduce_region -> free every frame
642 *
[deaf8d5]643 * @param newzone The actual zone where freeing should occur.
644 * @param oldzone Pointer to old zone configuration data that should
645 * be freed from new zone.
[bb68433]646 */
647static void return_config_frames(zone_t *newzone, zone_t *oldzone)
648{
649 pfn_t pfn;
650 frame_t *frame;
651 count_t cframes;
[2936eef]652 unsigned int i;
[bb68433]653
[7f1c620]654 pfn = ADDR2PFN((uintptr_t)KA2PA(oldzone));
[bb68433]655 cframes = SIZE2FRAMES(zone_conf_size(oldzone->count));
656
657 if (pfn < newzone->base || pfn >= newzone->base + newzone->count)
658 return;
659
660 frame = &newzone->frames[pfn - newzone->base];
[874878a]661 ASSERT(!frame->buddy_order);
[bb68433]662
[2936eef]663 for (i = 0; i < cframes; i++) {
[bb68433]664 newzone->busy_count++;
665 zone_frame_free(newzone, pfn+i-newzone->base);
666 }
667}
668
[deaf8d5]669/** Reduce allocated block to count of order 0 frames.
[874878a]670 *
671 * The allocated block need 2^order frames of space. Reduce all frames
[eb3d379]672 * in block to order 0 and free the unneeded frames. This means, that
673 * when freeing the previously allocated block starting with frame_idx,
674 * you have to free every frame.
[874878a]675 *
676 * @param zone
[deaf8d5]677 * @param frame_idx Index to block.
678 * @param count Allocated space in block.
[874878a]679 */
680static void zone_reduce_region(zone_t *zone, pfn_t frame_idx, count_t count)
681{
682 count_t i;
[7f1c620]683 uint8_t order;
[874878a]684 frame_t *frame;
685
[2936eef]686 ASSERT(frame_idx + count < zone->count);
[874878a]687
688 order = zone->frames[frame_idx].buddy_order;
[2936eef]689 ASSERT((count_t) (1 << order) >= count);
[874878a]690
691 /* Reduce all blocks to order 0 */
[2936eef]692 for (i = 0; i < (count_t) (1 << order); i++) {
[874878a]693 frame = &zone->frames[i + frame_idx];
694 frame->buddy_order = 0;
[4638401]695 if (!frame->refcount)
[874878a]696 frame->refcount = 1;
697 ASSERT(frame->refcount == 1);
698 }
699 /* Free unneeded frames */
[2936eef]700 for (i = count; i < (count_t) (1 << order); i++) {
[874878a]701 zone_frame_free(zone, i + frame_idx);
702 }
703}
704
[deaf8d5]705/** Merge zones z1 and z2.
[bb68433]706 *
707 * - the zones must be 2 zones with no zone existing in between,
708 * which means that z2 = z1+1
709 *
710 * - When you create a new zone, the frame allocator configuration does
711 * not to be 2^order size. Once the allocator is running it is no longer
712 * possible, merged configuration data occupies more space :-/
713 */
[2936eef]714void zone_merge(unsigned int z1, unsigned int z2)
[bb68433]715{
716 ipl_t ipl;
717 zone_t *zone1, *zone2, *newzone;
[2936eef]718 unsigned int cframes;
[7f1c620]719 uint8_t order;
[2936eef]720 unsigned int i;
[bb68433]721 pfn_t pfn;
722
723 ipl = interrupts_disable();
724 spinlock_lock(&zones.lock);
725
[6c441cf8]726 if ((z1 >= zones.count) || (z2 >= zones.count))
[bb68433]727 goto errout;
728 /* We can join only 2 zones with none existing inbetween */
729 if (z2-z1 != 1)
730 goto errout;
731
732 zone1 = zones.info[z1];
733 zone2 = zones.info[z2];
734 spinlock_lock(&zone1->lock);
735 spinlock_lock(&zone2->lock);
736
[4638401]737 cframes = SIZE2FRAMES(zone_conf_size(zone2->base + zone2->count -
738 zone1->base));
[279952c]739 if (cframes == 1)
740 order = 0;
741 else
742 order = fnzb(cframes - 1) + 1;
[bb68433]743
744 /* Allocate zonedata inside one of the zones */
745 if (zone_can_alloc(zone1, order))
746 pfn = zone1->base + zone_frame_alloc(zone1, order);
747 else if (zone_can_alloc(zone2, order))
748 pfn = zone2->base + zone_frame_alloc(zone2, order);
749 else
750 goto errout2;
751
[2936eef]752 newzone = (zone_t *) PA2KA(PFN2ADDR(pfn));
[bb68433]753
754 _zone_merge(newzone, zone1, zone2);
755
[874878a]756 /* Free unneeded config frames */
757 zone_reduce_region(newzone, pfn - newzone->base, cframes);
[bb68433]758 /* Subtract zone information from busy frames */
[874878a]759 newzone->busy_count -= cframes;
[bb68433]760
[874878a]761 /* Replace existing zones in zoneinfo list */
[bb68433]762 zones.info[z1] = newzone;
[b6b576c]763 for (i = z2 + 1; i < zones.count; i++)
764 zones.info[i - 1] = zones.info[i];
[bb68433]765 zones.count--;
766
767 /* Free old zone information */
768 return_config_frames(newzone, zone1);
769 return_config_frames(newzone, zone2);
770errout2:
771 /* Nobody is allowed to enter to zone, so we are safe
772 * to touch the spinlocks last time */
773 spinlock_unlock(&zone1->lock);
774 spinlock_unlock(&zone2->lock);
775errout:
776 spinlock_unlock(&zones.lock);
777 interrupts_restore(ipl);
778}
779
[deaf8d5]780/** Merge all zones into one big zone.
[bb68433]781 *
782 * It is reasonable to do this on systems whose bios reports parts in chunks,
783 * so that we could have 1 zone (it's faster).
784 */
785void zone_merge_all(void)
786{
787 int count = zones.count;
788
789 while (zones.count > 1 && --count) {
790 zone_merge(0,1);
791 break;
792 }
793}
794
[deaf8d5]795/** Create new frame zone.
[085d973]796 *
[deaf8d5]797 * @param start Physical address of the first frame within the zone.
798 * @param count Count of frames in zone.
799 * @param z Address of configuration information of zone.
800 * @param flags Zone flags.
[085d973]801 *
[deaf8d5]802 * @return Initialized zone.
[085d973]803 */
[bb68433]804static void zone_construct(pfn_t start, count_t count, zone_t *z, int flags)
[085d973]805{
[2936eef]806 unsigned int i;
[7f1c620]807 uint8_t max_order;
[085d973]808
809 spinlock_initialize(&z->lock, "zone_lock");
810 z->base = start;
811 z->count = count;
812 z->flags = flags;
813 z->free_count = count;
814 z->busy_count = 0;
815
816 /*
817 * Compute order for buddy system, initialize
818 */
[bb68433]819 max_order = fnzb(count);
[085d973]820 z->buddy_system = (buddy_system_t *)&z[1];
821
822 buddy_system_create(z->buddy_system, max_order,
[deaf8d5]823 &zone_buddy_system_operations, (void *) z);
[085d973]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
[deaf8d5]840/** Compute configuration data size for zone.
[eb3d379]841 *
[deaf8d5]842 * @param count Size of zone in frames.
843 * @return Size of zone configuration info (in bytes).
[eb3d379]844 */
[7f1c620]845uintptr_t zone_conf_size(count_t count)
[085d973]846{
[2b8b0ca]847 int size = sizeof(zone_t) + count * sizeof(frame_t);
[085d973]848 int max_order;
849
[bb68433]850 max_order = fnzb(count);
[085d973]851 size += buddy_conf_size(max_order);
852 return size;
853}
854
[deaf8d5]855/** Create and add zone to system.
[085d973]856 *
[deaf8d5]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. If confframe is given
862 * _outside_ this zone, it is expected, that the area is
863 * already marked BUSY and big enough to contain
864 * zone_conf_size() amount of data. If the confframe is
865 * inside the area, the zone free frame information is
866 * modified not to include it.
[bb68433]867 *
[deaf8d5]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
[deaf8d5]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 *
[deaf8d5]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 *
[deaf8d5]962 * @return Physical address of the allocated frame.
[9a68b34d]963 *
[085d973]964 */
[deaf8d5]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 *
[deaf8d5]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 *
[deaf8d5]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 */
[deaf8d5]1062 zone = find_zone_and_lock(pfn, NULL);
[f3ac636]1063 ASSERT(zone);
1064
[deaf8d5]1065 frame = &zone->frames[pfn - zone->base];
[f3ac636]1066 frame->refcount++;
1067
1068 spinlock_unlock(&zone->lock);
1069 interrupts_restore(ipl);
1070}
[085d973]1071
[deaf8d5]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
[deaf8d5]1089/** Initialize physical memory management. */
[085d973]1090void frame_init(void)
1091{
1092 if (config.cpu_active == 1) {
1093 zones.count = 0;
[e5a2ee8]1094 spinlock_initialize(&zones.lock, "zones.lock");
[085d973]1095 }
1096 /* Tell the architecture to create some memory */
1097 frame_arch_init();
1098 if (config.cpu_active == 1) {
[4638401]1099 frame_mark_unavailable(ADDR2PFN(KA2PA(config.base)),
1100 SIZE2FRAMES(config.kernel_size));
1101 frame_mark_unavailable(ADDR2PFN(KA2PA(config.stack_base)),
1102 SIZE2FRAMES(config.stack_size));
[b6b576c]1103
1104 count_t i;
[4638401]1105 for (i = 0; i < init.cnt; i++) {
1106 pfn_t pfn = ADDR2PFN(KA2PA(init.tasks[i].addr));
1107 frame_mark_unavailable(pfn,
1108 SIZE2FRAMES(init.tasks[i].size));
1109 }
[bffa0b06]1110
[61e90dd]1111 if (ballocs.size)
[4638401]1112 frame_mark_unavailable(ADDR2PFN(KA2PA(ballocs.base)),
1113 SIZE2FRAMES(ballocs.size));
[61e90dd]1114
[bffa0b06]1115 /* Black list first frame, as allocating NULL would
[94d614e]1116 * fail in some places */
[bffa0b06]1117 frame_mark_unavailable(0, 1);
[085d973]1118 }
1119}
1120
1121
[deaf8d5]1122/** Return total size of all zones. */
1123uint64_t zone_total_size(void)
1124{
[71eef11]1125 zone_t *zone = NULL;
1126 unsigned int i;
1127 ipl_t ipl;
1128 uint64_t total = 0;
1129
1130 ipl = interrupts_disable();
1131 spinlock_lock(&zones.lock);
1132
1133 for (i = 0; i < zones.count; i++) {
1134 zone = zones.info[i];
1135 spinlock_lock(&zone->lock);
1136 total += (uint64_t) FRAMES2SIZE(zone->count);
1137 spinlock_unlock(&zone->lock);
1138 }
1139
1140 spinlock_unlock(&zones.lock);
1141 interrupts_restore(ipl);
1142
1143 return total;
1144}
1145
[deaf8d5]1146/** Prints list of zones. */
1147void zone_print_list(void)
1148{
[dfd9186]1149 zone_t *zone = NULL;
[2936eef]1150 unsigned int i;
[263104b]1151 ipl_t ipl;
1152
1153 ipl = interrupts_disable();
[085d973]1154 spinlock_lock(&zones.lock);
[2b8b0ca]1155
1156#ifdef __32_BITS__
1157 printf("# base address free frames busy frames\n");
1158 printf("-- ------------ ------------ ------------\n");
1159#endif
1160
1161#ifdef __64_BITS__
1162 printf("# base address free frames busy frames\n");
1163 printf("-- -------------------- ------------ ------------\n");
1164#endif
[43b1e86]1165
[b6b576c]1166 for (i = 0; i < zones.count; i++) {
[085d973]1167 zone = zones.info[i];
[566ba81]1168 spinlock_lock(&zone->lock);
[2b8b0ca]1169
1170#ifdef __32_BITS__
[deaf8d5]1171 printf("%-2u %10p %12" PRIc " %12" PRIc "\n",
1172 i, PFN2ADDR(zone->base), zone->free_count,
1173 zone->busy_count);
[2b8b0ca]1174#endif
1175
1176#ifdef __64_BITS__
[deaf8d5]1177 printf("%-2u %18p %12" PRIc " %12" PRIc "\n", i,
1178 PFN2ADDR(zone->base), zone->free_count, zone->busy_count);
[2b8b0ca]1179#endif
[43b1e86]1180
[263104b]1181 spinlock_unlock(&zone->lock);
[dfd9186]1182 }
[43b1e86]1183
[085d973]1184 spinlock_unlock(&zones.lock);
[263104b]1185 interrupts_restore(ipl);
[dfd9186]1186}
1187
[abbc16e]1188/** Prints zone details.
[96cacc1]1189 *
[deaf8d5]1190 * @param num Zone base address or zone number.
[96cacc1]1191 */
[deaf8d5]1192void zone_print_one(unsigned int num)
1193{
[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");
[2b8b0ca]1214 printf("Zone base address: %p\n", PFN2ADDR(zone->base));
1215 printf("Zone size: %" PRIc " frames (%" PRIs " KB)\n", zone->count,
[deaf8d5]1216 SIZE2KB(FRAMES2SIZE(zone->count)));
1217 printf("Allocated space: %" PRIc " frames (%" PRIs " KB)\n",
1218 zone->busy_count, SIZE2KB(FRAMES2SIZE(zone->busy_count)));
1219 printf("Available space: %" PRIc " frames (%" PRIs " KB)\n",
1220 zone->free_count, SIZE2KB(FRAMES2SIZE(zone->free_count)));
[59adc2b]1221 buddy_system_structure_print(zone->buddy_system, FRAME_SIZE);
[566ba81]1222 spinlock_unlock(&zone->lock);
[71eef11]1223
[bb68433]1224out:
[085d973]1225 spinlock_unlock(&zones.lock);
[263104b]1226 interrupts_restore(ipl);
[dfd9186]1227}
1228
[cc73a8a1]1229/** @}
[b45c443]1230 */
[4638401]1231
Note: See TracBrowser for help on using the repository browser.