Subversion Repositories HelenOS

Rev

Rev 1962 | Details | Compare with Previous | Last modification | View Log | RSS feed

Rev Author Line No. Line
1 jermar 1
/*
2
 * Copyright (C) 2001-2004 Jakub Jermar
3
 * All rights reserved.
4
 *
5
 * Redistribution and use in source and binary forms, with or without
6
 * modification, are permitted provided that the following conditions
7
 * are met:
8
 *
9
 * - Redistributions of source code must retain the above copyright
10
 *   notice, this list of conditions and the following disclaimer.
11
 * - Redistributions in binary form must reproduce the above copyright
12
 *   notice, this list of conditions and the following disclaimer in the
13
 *   documentation and/or other materials provided with the distribution.
14
 * - The name of the author may not be used to endorse or promote products
15
 *   derived from this software without specific prior written permission.
16
 *
17
 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
18
 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
19
 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
20
 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
21
 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
22
 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23
 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24
 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25
 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
26
 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27
 */
28
 
368 jermar 29
#include <typedefs.h>
1 jermar 30
#include <arch/types.h>
31
#include <mm/heap.h>
32
#include <mm/frame.h>
33
#include <mm/vm.h>
34
#include <panic.h>
367 jermar 35
#include <debug.h>
368 jermar 36
#include <list.h>
1 jermar 37
#include <synch/spinlock.h>
115 jermar 38
#include <arch/asm.h>
195 vana 39
#include <arch.h>
115 jermar 40
 
367 jermar 41
spinlock_t zone_head_lock;       /**< this lock protects zone_head list */
42
link_t zone_head;                /**< list of all zones in the system */
43
 
368 jermar 44
/** Initialize physical memory management
45
 *
46
 * Initialize physical memory managemnt.
47
 */
1 jermar 48
void frame_init(void)
49
{
125 jermar 50
    if (config.cpu_active == 1) {
367 jermar 51
        zone_init();
1 jermar 52
    }
53
 
54
    frame_arch_init();
368 jermar 55
 
1 jermar 56
    if (config.cpu_active == 1) {
368 jermar 57
                frame_region_not_free(config.base, config.base + config.kernel_size + CONFIG_STACK_SIZE);
58
        }  
1 jermar 59
}
60
 
368 jermar 61
/** Allocate a frame
62
 *
63
 * Allocate a frame of physical memory.
64
 *
65
 * @param flags Flags for host zone selection and address processing.
66
 *
67
 * @return Allocated frame.
1 jermar 68
 */
69
__address frame_alloc(int flags)
70
{
413 jermar 71
    ipl_t ipl;
368 jermar 72
    link_t *cur, *tmp;
73
    zone_t *z;
74
    zone_t *zone = NULL;
75
    frame_t *frame = NULL;
76
    __address v;
1 jermar 77
 
78
loop:
413 jermar 79
    ipl = interrupts_disable();
368 jermar 80
    spinlock_lock(&zone_head_lock);
81
 
82
    /*
83
     * First, find suitable frame zone.
84
     */
85
    for (cur = zone_head.next; cur != &zone_head; cur = cur->next) {
86
        z = list_get_instance(cur, zone_t, link);
1 jermar 87
 
368 jermar 88
        spinlock_lock(&z->lock);
89
        /*
90
         * Check if the zone has any free frames.
91
         */
92
        if (z->free_count) {
93
            zone = z;
94
            break;
1 jermar 95
        }
368 jermar 96
        spinlock_unlock(&z->lock);
1 jermar 97
    }
368 jermar 98
 
99
    if (!zone) {
100
        if (flags & FRAME_PANIC)
101
            panic("Can't allocate frame.\n");
102
 
103
        /*
104
         * TODO: Sleep until frames are available again.
105
         */
106
        spinlock_unlock(&zone_head_lock);
413 jermar 107
        interrupts_restore(ipl);
1 jermar 108
 
368 jermar 109
        panic("Sleep not implemented.\n");
110
        goto loop;
111
    }
1 jermar 112
 
368 jermar 113
    tmp = zone->free_head.next;
114
    frame = list_get_instance(tmp, frame_t, link);
115
 
116
    frame->refcount++;
117
    list_remove(tmp);           /* remove frame from free_head */
118
    zone->free_count--;
119
    zone->busy_count++;
1 jermar 120
 
368 jermar 121
    v = zone->base + (frame - zone->frames) * FRAME_SIZE;
122
 
123
    if (flags & FRAME_KA)
124
        v = PA2KA(v);
125
 
126
    spinlock_unlock(&zone->lock);
127
 
128
    spinlock_unlock(&zone_head_lock);
413 jermar 129
    interrupts_restore(ipl);
368 jermar 130
 
131
    return v;
1 jermar 132
}
133
 
368 jermar 134
/** Free a frame.
135
 *
136
 * Find respective frame structrue for supplied addr.
137
 * Decrement frame reference count.
138
 * If it drops to zero, move the frame structure to free list.
139
 *
140
 * @param addr Address of the frame to be freed. It must be a multiple of FRAME_SIZE.
1 jermar 141
 */
142
void frame_free(__address addr)
143
{
413 jermar 144
    ipl_t ipl;
368 jermar 145
    link_t *cur;
146
    zone_t *z;
147
    zone_t *zone = NULL;
148
    frame_t *frame;
1 jermar 149
 
368 jermar 150
    ASSERT(addr % FRAME_SIZE == 0);
1 jermar 151
 
413 jermar 152
    ipl = interrupts_disable();
368 jermar 153
    spinlock_lock(&zone_head_lock);
1 jermar 154
 
368 jermar 155
    /*
156
     * First, find host frame zone for addr.
157
     */
158
    for (cur = zone_head.next; cur != &zone_head; cur = cur->next) {
159
        z = list_get_instance(cur, zone_t, link);
160
 
161
        spinlock_lock(&z->lock);
162
 
163
        if (IS_KA(addr))
164
            addr = KA2PA(addr);
165
 
166
        /*
167
         * Check if addr belongs to z.
168
         */
169
        if ((addr >= z->base) && (addr <= z->base + (z->free_count + z->busy_count) * FRAME_SIZE)) {
170
            zone = z;
171
            break;
1 jermar 172
        }
368 jermar 173
        spinlock_unlock(&z->lock);
1 jermar 174
    }
175
 
368 jermar 176
    ASSERT(zone != NULL);
177
 
178
    frame = &zone->frames[(addr - zone->base)/FRAME_SIZE];
179
    ASSERT(frame->refcount);
180
 
181
    if (!--frame->refcount) {
182
        list_append(&frame->link, &zone->free_head);    /* append frame to free_head */
183
        zone->free_count++;
184
        zone->busy_count--;
185
    }
186
 
187
    spinlock_unlock(&zone->lock);  
188
 
189
    spinlock_unlock(&zone_head_lock);
413 jermar 190
    interrupts_restore(ipl);
1 jermar 191
}
192
 
368 jermar 193
/** Mark frame not free.
194
 *
195
 * Find respective frame structrue for supplied addr.
373 jermar 196
 * Increment frame reference count and remove the frame structure from free list.
368 jermar 197
 *
198
 * @param addr Address of the frame to be marked. It must be a multiple of FRAME_SIZE.
1 jermar 199
 */
200
void frame_not_free(__address addr)
201
{
413 jermar 202
    ipl_t ipl;
368 jermar 203
    link_t *cur;
204
    zone_t *z;
205
    zone_t *zone = NULL;
206
    frame_t *frame;
1 jermar 207
 
368 jermar 208
    ASSERT(addr % FRAME_SIZE == 0);
209
 
413 jermar 210
    ipl = interrupts_disable();
368 jermar 211
    spinlock_lock(&zone_head_lock);
1 jermar 212
 
368 jermar 213
    /*
214
     * First, find host frame zone for addr.
215
     */
216
    for (cur = zone_head.next; cur != &zone_head; cur = cur->next) {
217
        z = list_get_instance(cur, zone_t, link);
218
 
219
        spinlock_lock(&z->lock);
220
 
221
        if (IS_KA(addr))
222
            addr = KA2PA(addr);
223
 
224
        /*
225
         * Check if addr belongs to z.
226
         */
227
        if ((addr >= z->base) && (addr <= z->base + (z->free_count + z->busy_count) * FRAME_SIZE)) {
228
            zone = z;
229
            break;
1 jermar 230
        }
368 jermar 231
        spinlock_unlock(&z->lock);
1 jermar 232
    }
368 jermar 233
 
234
    ASSERT(zone != NULL);
235
 
236
    frame = &zone->frames[(addr - zone->base)/FRAME_SIZE];
237
 
238
    if (!frame->refcount) {
239
        frame->refcount++;
240
 
241
        list_remove(&frame->link);          /* remove frame from free_head */
242
        zone->free_count--;
243
        zone->busy_count++;
244
    }
245
 
246
    spinlock_unlock(&zone->lock);  
247
 
248
    spinlock_unlock(&zone_head_lock);
413 jermar 249
    interrupts_restore(ipl);
1 jermar 250
}
251
 
368 jermar 252
/** Mark frame region not free.
253
 *
254
 * Mark frame region not free.
255
 *
256
 * @param start First address.
257
 * @param stop Last address.
258
 */
1 jermar 259
void frame_region_not_free(__address start, __address stop)
260
{
368 jermar 261
        __address a;
1 jermar 262
 
368 jermar 263
        start /= FRAME_SIZE;
264
        stop /= FRAME_SIZE;
265
        for (a = start; a <= stop; a++)
266
                frame_not_free(a * FRAME_SIZE);
1 jermar 267
}
367 jermar 268
 
368 jermar 269
 
367 jermar 270
/** Initialize zonekeeping
271
 *
272
 * Initialize zonekeeping.
273
 */
274
void zone_init(void)
275
{
276
    spinlock_initialize(&zone_head_lock);
277
    list_initialize(&zone_head);
278
}
279
 
280
/** Create frame zone
281
 *
282
 * Create new frame zone.
283
 *
284
 * @param start Physical address of the first frame within the zone.
285
 * @param size Size of the zone. Must be a multiple of FRAME_SIZE.
286
 * @param flags Zone flags.
287
 *
288
 * @return Initialized zone.
289
 */
290
zone_t *zone_create(__address start, size_t size, int flags)
291
{
292
    zone_t *z;
293
    count_t cnt;
294
    int i;
295
 
296
    ASSERT(start % FRAME_SIZE == 0);
297
    ASSERT(size % FRAME_SIZE == 0);
298
 
299
    cnt = size / FRAME_SIZE;
300
 
374 jermar 301
    z = (zone_t *) early_malloc(sizeof(zone_t));
367 jermar 302
    if (z) {
303
        link_initialize(&z->link);
304
        spinlock_initialize(&z->lock);
305
 
306
        z->base = start;
307
        z->flags = flags;
308
 
309
        z->free_count = cnt;
310
        list_initialize(&z->free_head);
311
 
312
        z->busy_count = 0;
313
 
374 jermar 314
        z->frames = (frame_t *) early_malloc(cnt * sizeof(frame_t));
367 jermar 315
        if (!z->frames) {
375 jermar 316
            early_free(z);
367 jermar 317
            return NULL;
318
        }
319
 
320
        for (i = 0; i<cnt; i++) {
321
            frame_initialize(&z->frames[i], z);
322
            list_append(&z->frames[i].link, &z->free_head);
323
        }
324
 
325
    }
326
 
327
    return z;
328
}
329
 
330
/** Attach frame zone
331
 *
332
 * Attach frame zone to zone list.
333
 *
334
 * @param zone Zone to be attached.
335
 */
336
void zone_attach(zone_t *zone)
337
{
413 jermar 338
    ipl_t ipl;
367 jermar 339
 
413 jermar 340
    ipl = interrupts_disable();
367 jermar 341
    spinlock_lock(&zone_head_lock);
342
 
343
    list_append(&zone->link, &zone_head);
344
 
345
    spinlock_unlock(&zone_head_lock);
413 jermar 346
    interrupts_restore(ipl);
367 jermar 347
}
348
 
349
/** Initialize frame structure
350
 *
351
 * Initialize frame structure.
352
 *
353
 * @param frame Frame structure to be initialized.
354
 * @param zone Host frame zone.
355
 */
356
void frame_initialize(frame_t *frame, zone_t *zone)
357
{
358
    frame->refcount = 0;
359
    link_initialize(&frame->link);
360
}