Subversion Repositories HelenOS-historic

Rev

Rev 618 | Rev 704 | Go to most recent revision | Details | Compare with Previous | Last modification | View Log | RSS feed

Rev Author Line No. Line
1 jermar 1
/*
319 jermar 2
 * Copyright (C) 2003-2004 Jakub Jermar
1 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
 
29
#include <arch/mm/tlb.h>
130 decky 30
#include <arch/mm/asid.h>
1 jermar 31
#include <mm/tlb.h>
391 jermar 32
#include <mm/page.h>
33
#include <mm/vm.h>
1 jermar 34
#include <arch/cp0.h>
35
#include <panic.h>
36
#include <arch.h>
268 palkovsky 37
#include <symtab.h>
391 jermar 38
#include <synch/spinlock.h>
39
#include <print.h>
396 jermar 40
#include <debug.h>
268 palkovsky 41
 
391 jermar 42
static void tlb_refill_fail(struct exception_regdump *pstate);
43
static void tlb_invalid_fail(struct exception_regdump *pstate);
44
static void tlb_modified_fail(struct exception_regdump *pstate);
45
 
394 jermar 46
static pte_t *find_mapping_and_check(__address badvaddr);
399 jermar 47
 
396 jermar 48
static void prepare_entry_lo(entry_lo_t *lo, bool g, bool v, bool d, int c, __address pfn);
399 jermar 49
static void prepare_entry_hi(entry_hi_t *hi, asid_t asid, __address addr);
394 jermar 50
 
391 jermar 51
/** Initialize TLB
52
 *
53
 * Initialize TLB.
54
 * Invalidate all entries and mark wired entries.
55
 */
569 jermar 56
void tlb_arch_init(void)
389 jermar 57
{
599 jermar 58
    int i;
59
 
389 jermar 60
    cp0_pagemask_write(TLB_PAGE_MASK_16K);
599 jermar 61
    cp0_entry_hi_write(0);
62
    cp0_entry_lo0_write(0);
63
    cp0_entry_lo1_write(0);
389 jermar 64
 
599 jermar 65
    /* Clear and initialize TLB. */
66
 
67
    for (i = 0; i < TLB_ENTRY_COUNT; i++) {
68
        cp0_index_write(i);
69
        tlbwi();
70
    }
612 jermar 71
 
598 jermar 72
 
389 jermar 73
    /*
74
     * The kernel is going to make use of some wired
391 jermar 75
     * entries (e.g. mapping kernel stacks in kseg3).
389 jermar 76
     */
77
    cp0_wired_write(TLB_WIRED);
78
}
79
 
391 jermar 80
/** Process TLB Refill Exception
81
 *
82
 * Process TLB Refill Exception.
83
 *
84
 * @param pstate Interrupted register context.
85
 */
317 palkovsky 86
void tlb_refill(struct exception_regdump *pstate)
1 jermar 87
{
396 jermar 88
    entry_lo_t lo;
399 jermar 89
    entry_hi_t hi; 
391 jermar 90
    __address badvaddr;
91
    pte_t *pte;
397 jermar 92
 
391 jermar 93
    badvaddr = cp0_badvaddr_read();
397 jermar 94
 
394 jermar 95
    spinlock_lock(&VM->lock);      
399 jermar 96
 
394 jermar 97
    pte = find_mapping_and_check(badvaddr);
98
    if (!pte)
391 jermar 99
        goto fail;
100
 
101
    /*
394 jermar 102
     * Record access to PTE.
391 jermar 103
     */
394 jermar 104
    pte->a = 1;
391 jermar 105
 
399 jermar 106
    prepare_entry_hi(&hi, VM->asid, badvaddr);
403 jermar 107
    prepare_entry_lo(&lo, pte->lo.g, pte->lo.v, pte->lo.d, pte->lo.c, pte->lo.pfn);
394 jermar 108
 
391 jermar 109
    /*
110
     * New entry is to be inserted into TLB
111
     */
399 jermar 112
    cp0_entry_hi_write(hi.value);
391 jermar 113
    if ((badvaddr/PAGE_SIZE) % 2 == 0) {
396 jermar 114
        cp0_entry_lo0_write(lo.value);
391 jermar 115
        cp0_entry_lo1_write(0);
116
    }
117
    else {
118
        cp0_entry_lo0_write(0);
396 jermar 119
        cp0_entry_lo1_write(lo.value);
391 jermar 120
    }
612 jermar 121
    cp0_pagemask_write(TLB_PAGE_MASK_16K);
391 jermar 122
    tlbwr();
123
 
124
    spinlock_unlock(&VM->lock);
125
    return;
126
 
127
fail:
128
    spinlock_unlock(&VM->lock);
129
    tlb_refill_fail(pstate);
130
}
131
 
394 jermar 132
/** Process TLB Invalid Exception
133
 *
134
 * Process TLB Invalid Exception.
135
 *
136
 * @param pstate Interrupted register context.
137
 */
391 jermar 138
void tlb_invalid(struct exception_regdump *pstate)
139
{
396 jermar 140
    tlb_index_t index;
394 jermar 141
    __address badvaddr;
396 jermar 142
    entry_lo_t lo;
399 jermar 143
    entry_hi_t hi;
394 jermar 144
    pte_t *pte;
145
 
146
    badvaddr = cp0_badvaddr_read();
147
 
148
    /*
149
     * Locate the faulting entry in TLB.
150
     */
399 jermar 151
    hi.value = cp0_entry_hi_read();
152
    prepare_entry_hi(&hi, hi.asid, badvaddr);
153
    cp0_entry_hi_write(hi.value);
394 jermar 154
    tlbp();
396 jermar 155
    index.value = cp0_index_read();
394 jermar 156
 
157
    spinlock_lock(&VM->lock);  
158
 
159
    /*
160
     * Fail if the entry is not in TLB.
161
     */
396 jermar 162
    if (index.p) {
163
        printf("TLB entry not found.\n");
394 jermar 164
        goto fail;
396 jermar 165
    }
394 jermar 166
 
167
    pte = find_mapping_and_check(badvaddr);
168
    if (!pte)
169
        goto fail;
170
 
171
    /*
172
     * Read the faulting TLB entry.
173
     */
174
    tlbr();
175
 
176
    /*
177
     * Record access to PTE.
178
     */
179
    pte->a = 1;
180
 
403 jermar 181
    prepare_entry_lo(&lo, pte->lo.g, pte->lo.v, pte->lo.d, pte->lo.c, pte->lo.pfn);
394 jermar 182
 
183
    /*
184
     * The entry is to be updated in TLB.
185
     */
186
    if ((badvaddr/PAGE_SIZE) % 2 == 0)
396 jermar 187
        cp0_entry_lo0_write(lo.value);
394 jermar 188
    else
396 jermar 189
        cp0_entry_lo1_write(lo.value);
612 jermar 190
    cp0_pagemask_write(TLB_PAGE_MASK_16K);
394 jermar 191
    tlbwi();
192
 
193
    spinlock_unlock(&VM->lock);
194
    return;
195
 
196
fail:
197
    spinlock_unlock(&VM->lock);
391 jermar 198
    tlb_invalid_fail(pstate);
199
}
200
 
394 jermar 201
/** Process TLB Modified Exception
202
 *
203
 * Process TLB Modified Exception.
204
 *
205
 * @param pstate Interrupted register context.
206
 */
391 jermar 207
void tlb_modified(struct exception_regdump *pstate)
208
{
396 jermar 209
    tlb_index_t index;
394 jermar 210
    __address badvaddr;
396 jermar 211
    entry_lo_t lo;
399 jermar 212
    entry_hi_t hi;
394 jermar 213
    pte_t *pte;
214
 
215
    badvaddr = cp0_badvaddr_read();
216
 
217
    /*
218
     * Locate the faulting entry in TLB.
219
     */
399 jermar 220
    hi.value = cp0_entry_hi_read();
221
    prepare_entry_hi(&hi, hi.asid, badvaddr);
222
    cp0_entry_hi_write(hi.value);
394 jermar 223
    tlbp();
396 jermar 224
    index.value = cp0_index_read();
394 jermar 225
 
226
    spinlock_lock(&VM->lock);  
227
 
228
    /*
229
     * Fail if the entry is not in TLB.
230
     */
396 jermar 231
    if (index.p) {
232
        printf("TLB entry not found.\n");
394 jermar 233
        goto fail;
396 jermar 234
    }
394 jermar 235
 
236
    pte = find_mapping_and_check(badvaddr);
237
    if (!pte)
238
        goto fail;
239
 
240
    /*
241
     * Fail if the page is not writable.
242
     */
243
    if (!pte->w)
244
        goto fail;
245
 
246
    /*
247
     * Read the faulting TLB entry.
248
     */
249
    tlbr();
250
 
251
    /*
252
     * Record access and write to PTE.
253
     */
254
    pte->a = 1;
403 jermar 255
    pte->lo.d = 1;
394 jermar 256
 
403 jermar 257
    prepare_entry_lo(&lo, pte->lo.g, pte->lo.v, pte->w, pte->lo.c, pte->lo.pfn);
394 jermar 258
 
259
    /*
260
     * The entry is to be updated in TLB.
261
     */
262
    if ((badvaddr/PAGE_SIZE) % 2 == 0)
396 jermar 263
        cp0_entry_lo0_write(lo.value);
394 jermar 264
    else
396 jermar 265
        cp0_entry_lo1_write(lo.value);
612 jermar 266
    cp0_pagemask_write(TLB_PAGE_MASK_16K);
394 jermar 267
    tlbwi();
268
 
269
    spinlock_unlock(&VM->lock);
270
    return;
271
 
272
fail:
273
    spinlock_unlock(&VM->lock);
391 jermar 274
    tlb_modified_fail(pstate);
275
}
276
 
277
void tlb_refill_fail(struct exception_regdump *pstate)
278
{
324 palkovsky 279
    char *symbol = "";
280
    char *sym2 = "";
281
 
332 palkovsky 282
    char *s = get_symtab_entry(pstate->epc);
283
    if (s)
284
        symbol = s;
285
    s = get_symtab_entry(pstate->ra);
286
    if (s)
287
        sym2 = s;
391 jermar 288
    panic("%X: TLB Refill Exception at %X(%s<-%s)\n", cp0_badvaddr_read(), pstate->epc, symbol, sym2);
1 jermar 289
}
290
 
391 jermar 291
 
292
void tlb_invalid_fail(struct exception_regdump *pstate)
1 jermar 293
{
268 palkovsky 294
    char *symbol = "";
295
 
332 palkovsky 296
    char *s = get_symtab_entry(pstate->epc);
297
    if (s)
298
        symbol = s;
394 jermar 299
    panic("%X: TLB Invalid Exception at %X(%s)\n", cp0_badvaddr_read(), pstate->epc, symbol);
1 jermar 300
}
301
 
391 jermar 302
void tlb_modified_fail(struct exception_regdump *pstate)
389 jermar 303
{
304
    char *symbol = "";
305
 
306
    char *s = get_symtab_entry(pstate->epc);
307
    if (s)
308
        symbol = s;
394 jermar 309
    panic("%X: TLB Modified Exception at %X(%s)\n", cp0_badvaddr_read(), pstate->epc, symbol);
389 jermar 310
}
311
 
394 jermar 312
/** Try to find PTE for faulting address
313
 *
314
 * Try to find PTE for faulting address.
315
 * The VM->lock must be held on entry to this function.
316
 *
317
 * @param badvaddr Faulting virtual address.
318
 *
319
 * @return PTE on success, NULL otherwise.
320
 */
321
pte_t *find_mapping_and_check(__address badvaddr)
322
{
396 jermar 323
    entry_hi_t hi;
394 jermar 324
    pte_t *pte;
325
 
396 jermar 326
    hi.value = cp0_entry_hi_read();
394 jermar 327
 
328
    /*
329
     * Handler cannot succeed if the ASIDs don't match.
330
     */
396 jermar 331
    if (hi.asid != VM->asid) {
332
        printf("EntryHi.asid=%d, VM->asid=%d\n", hi.asid, VM->asid);
394 jermar 333
        return NULL;
396 jermar 334
    }
394 jermar 335
 
336
    /*
337
     * Handler cannot succeed if badvaddr has no mapping.
338
     */
687 jermar 339
    pte = page_mapping_find(badvaddr, VM->asid, 0);
396 jermar 340
    if (!pte) {
341
        printf("No such mapping.\n");
394 jermar 342
        return NULL;
396 jermar 343
    }
394 jermar 344
 
345
    /*
346
     * Handler cannot succeed if the mapping is marked as invalid.
347
     */
403 jermar 348
    if (!pte->lo.v) {
396 jermar 349
        printf("Invalid mapping.\n");
394 jermar 350
        return NULL;
396 jermar 351
    }
394 jermar 352
 
353
    return pte;
354
}
355
 
396 jermar 356
void prepare_entry_lo(entry_lo_t *lo, bool g, bool v, bool d, int c, __address pfn)
394 jermar 357
{
399 jermar 358
    lo->value = 0;
394 jermar 359
    lo->g = g;
360
    lo->v = v;
361
    lo->d = d;
362
    lo->c = c;
363
    lo->pfn = pfn;
364
}
399 jermar 365
 
366
void prepare_entry_hi(entry_hi_t *hi, asid_t asid, __address addr)
367
{
368
    hi->value = (((addr/PAGE_SIZE)/2)*PAGE_SIZE*2);
369
    hi->asid = asid;
370
}
569 jermar 371
 
594 jermar 372
/** Print contents of TLB. */
569 jermar 373
void tlb_print(void)
374
{
612 jermar 375
    page_mask_t mask;
594 jermar 376
    entry_lo_t lo0, lo1;
377
    entry_hi_t hi;
378
    int i;
379
 
380
    printf("TLB:\n");
381
    for (i = 0; i < TLB_ENTRY_COUNT; i++) {
382
        cp0_index_write(i);
383
        tlbr();
384
 
612 jermar 385
        mask.value = cp0_pagemask_read();
594 jermar 386
        hi.value = cp0_entry_hi_read();
387
        lo0.value = cp0_entry_lo0_read();
388
        lo1.value = cp0_entry_lo1_read();
389
 
612 jermar 390
        printf("%d: asid=%d, vpn2=%d, mask=%d\tg[0]=%d, v[0]=%d, d[0]=%d, c[0]=%B, pfn[0]=%d\n"
391
               "\t\t\t\tg[1]=%d, v[1]=%d, d[1]=%d, c[1]=%B, pfn[1]=%d\n",
392
               i, hi.asid, hi.vpn2, mask.mask, lo0.g, lo0.v, lo0.d, lo0.c, lo0.pfn,
594 jermar 393
               lo1.g, lo1.v, lo1.d, lo1.c, lo1.pfn);
394
    }
569 jermar 395
}
598 jermar 396
 
618 jermar 397
/** Invalidate all not wired TLB entries. */
598 jermar 398
void tlb_invalidate_all(void)
399
{
599 jermar 400
    ipl_t ipl;
401
    entry_lo_t lo0, lo1;
598 jermar 402
    int i;
403
 
599 jermar 404
    ipl = interrupts_disable();
598 jermar 405
 
618 jermar 406
    for (i = TLB_WIRED; i < TLB_ENTRY_COUNT; i++) {
598 jermar 407
        cp0_index_write(i);
599 jermar 408
        tlbr();
409
 
410
        lo0.value = cp0_entry_lo0_read();
411
        lo1.value = cp0_entry_lo1_read();
412
 
413
        lo0.v = 0;
414
        lo1.v = 0;
415
 
416
        cp0_entry_lo0_write(lo0.value);
417
        cp0_entry_lo1_write(lo1.value);
418
 
598 jermar 419
        tlbwi();
420
    }
599 jermar 421
 
422
    interrupts_restore(ipl);
598 jermar 423
}
424
 
425
/** Invalidate all TLB entries belonging to specified address space.
426
 *
427
 * @param asid Address space identifier.
428
 */
429
void tlb_invalidate_asid(asid_t asid)
430
{
599 jermar 431
    ipl_t ipl;
432
    entry_lo_t lo0, lo1;
598 jermar 433
    entry_hi_t hi;
434
    int i;
435
 
599 jermar 436
    ASSERT(asid != ASID_INVALID);
437
 
438
    ipl = interrupts_disable();
439
 
598 jermar 440
    for (i = 0; i < TLB_ENTRY_COUNT; i++) {
441
        cp0_index_write(i);
442
        tlbr();
443
 
599 jermar 444
        hi.value = cp0_entry_hi_read();
445
 
598 jermar 446
        if (hi.asid == asid) {
599 jermar 447
            lo0.value = cp0_entry_lo0_read();
448
            lo1.value = cp0_entry_lo1_read();
449
 
450
            lo0.v = 0;
451
            lo1.v = 0;
452
 
453
            cp0_entry_lo0_write(lo0.value);
454
            cp0_entry_lo1_write(lo1.value);
455
 
598 jermar 456
            tlbwi();
457
        }
458
    }
599 jermar 459
 
460
    interrupts_restore(ipl);
598 jermar 461
}
462
 
463
/** Invalidate TLB entry for specified page belonging to specified address space.
464
 *
465
 * @param asid Address space identifier.
466
 * @param page Page whose TLB entry is to be invalidated.
467
 */
468
void tlb_invalidate_page(asid_t asid, __address page)
469
{
599 jermar 470
    ipl_t ipl;
471
    entry_lo_t lo0, lo1;
598 jermar 472
    entry_hi_t hi;
473
    tlb_index_t index;
474
 
599 jermar 475
    ASSERT(asid != ASID_INVALID);
476
 
477
    ipl = interrupts_disable();
478
 
598 jermar 479
    hi.value = 0;
480
    prepare_entry_hi(&hi, asid, page);
599 jermar 481
    cp0_entry_hi_write(hi.value);
482
 
598 jermar 483
    tlbp();
484
    index.value = cp0_index_read();
485
 
486
    if (!index.p) {
487
        /* Entry was found, index register contains valid index. */
599 jermar 488
        tlbr();
489
 
490
        lo0.value = cp0_entry_lo0_read();
491
        lo1.value = cp0_entry_lo1_read();
492
 
493
        lo0.v = 0;
494
        lo1.v = 0;
495
 
496
        cp0_entry_lo0_write(lo0.value);
497
        cp0_entry_lo1_write(lo1.value);
498
 
598 jermar 499
        tlbwi();
500
    }
599 jermar 501
 
502
    interrupts_restore(ipl);
598 jermar 503
}