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

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

Define architecture-specific thread sub-constructors and sub-destructors on all architectures.
Define the THREAD_FLAG_USPACE which means that the thread runs in user space.
The forementioned changes allow for allocating of user window buffer on sparc64
threads that execute in userspace.

A lot of formatting and indentation fixes.

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