Subversion Repositories HelenOS

Rev

Rev 2134 | Rev 2231 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 2134 Rev 2141
Line 52... Line 52...
52
 
52
 
53
#ifdef CONFIG_TSB
53
#ifdef CONFIG_TSB
54
#include <arch/mm/tsb.h>
54
#include <arch/mm/tsb.h>
55
#endif
55
#endif
56
 
56
 
57
static void dtlb_pte_copy(pte_t *t, bool ro);
57
static void dtlb_pte_copy(pte_t *t, index_t index, bool ro);
58
static void itlb_pte_copy(pte_t *t);
58
static void itlb_pte_copy(pte_t *t, index_t index);
59
static void do_fast_instruction_access_mmu_miss_fault(istate_t *istate, const
59
static void do_fast_instruction_access_mmu_miss_fault(istate_t *istate,
60
    char *str);
60
    const char *str);
61
static void do_fast_data_access_mmu_miss_fault(istate_t *istate,
61
static void do_fast_data_access_mmu_miss_fault(istate_t *istate,
62
     tlb_tag_access_reg_t tag, const char *str);
62
    tlb_tag_access_reg_t tag, const char *str);
63
static void do_fast_data_access_protection_fault(istate_t *istate,
63
static void do_fast_data_access_protection_fault(istate_t *istate,
64
    tlb_tag_access_reg_t tag, const char *str);
64
    tlb_tag_access_reg_t tag, const char *str);
65
 
65
 
66
char *context_encoding[] = {
66
char *context_encoding[] = {
67
    "Primary",
67
    "Primary",
68
    "Secondary",
68
    "Secondary",
69
    "Nucleus",
69
    "Nucleus",
Line 90... Line 90...
90
 * @param frame Physical frame address.
90
 * @param frame Physical frame address.
91
 * @param pagesize Page size.
91
 * @param pagesize Page size.
92
 * @param locked True for permanent mappings, false otherwise.
92
 * @param locked True for permanent mappings, false otherwise.
93
 * @param cacheable True if the mapping is cacheable, false otherwise.
93
 * @param cacheable True if the mapping is cacheable, false otherwise.
94
 */
94
 */
95
void dtlb_insert_mapping(uintptr_t page, uintptr_t frame, int pagesize, bool
95
void dtlb_insert_mapping(uintptr_t page, uintptr_t frame, int pagesize,
96
    locked, bool cacheable)
96
    bool locked, bool cacheable)
97
{
97
{
98
    tlb_tag_access_reg_t tag;
98
    tlb_tag_access_reg_t tag;
99
    tlb_data_t data;
99
    tlb_data_t data;
100
    page_address_t pg;
100
    page_address_t pg;
101
    frame_address_t fr;
101
    frame_address_t fr;
Line 124... Line 124...
124
    dtlb_data_in_write(data.value);
124
    dtlb_data_in_write(data.value);
125
}
125
}
126
 
126
 
127
/** Copy PTE to TLB.
127
/** Copy PTE to TLB.
128
 *
128
 *
129
 * @param t Page Table Entry to be copied.
129
 * @param t     Page Table Entry to be copied.
-
 
130
 * @param index Zero if lower 8K-subpage, one if higher 8K-subpage.
130
 * @param ro If true, the entry will be created read-only, regardless of its w
131
 * @param ro    If true, the entry will be created read-only, regardless of its
131
 *  field.
132
 *      w field.
132
 */
133
 */
133
void dtlb_pte_copy(pte_t *t, bool ro)
134
void dtlb_pte_copy(pte_t *t, index_t index, bool ro)
134
{
135
{
135
    tlb_tag_access_reg_t tag;
136
    tlb_tag_access_reg_t tag;
136
    tlb_data_t data;
137
    tlb_data_t data;
137
    page_address_t pg;
138
    page_address_t pg;
138
    frame_address_t fr;
139
    frame_address_t fr;
139
 
140
 
140
    pg.address = t->page;
141
    pg.address = t->page + (index << MMU_PAGE_WIDTH);
141
    fr.address = t->frame;
142
    fr.address = t->frame + (index << MMU_PAGE_WIDTH);
142
 
143
 
143
    tag.value = 0;
144
    tag.value = 0;
144
    tag.context = t->as->asid;
145
    tag.context = t->as->asid;
145
    tag.vpn = pg.vpn;
146
    tag.vpn = pg.vpn;
146
   
147
 
147
    dtlb_tag_access_write(tag.value);
148
    dtlb_tag_access_write(tag.value);
148
   
149
 
149
    data.value = 0;
150
    data.value = 0;
150
    data.v = true;
151
    data.v = true;
151
    data.size = PAGESIZE_8K;
152
    data.size = PAGESIZE_8K;
152
    data.pfn = fr.pfn;
153
    data.pfn = fr.pfn;
153
    data.l = false;
154
    data.l = false;
Line 156... Line 157...
156
    data.cv = t->c;
157
    data.cv = t->c;
157
#endif /* CONFIG_VIRT_IDX_DCACHE */
158
#endif /* CONFIG_VIRT_IDX_DCACHE */
158
    data.p = t->k;      /* p like privileged */
159
    data.p = t->k;      /* p like privileged */
159
    data.w = ro ? false : t->w;
160
    data.w = ro ? false : t->w;
160
    data.g = t->g;
161
    data.g = t->g;
161
   
162
 
162
    dtlb_data_in_write(data.value);
163
    dtlb_data_in_write(data.value);
163
}
164
}
164
 
165
 
165
/** Copy PTE to ITLB.
166
/** Copy PTE to ITLB.
166
 *
167
 *
167
 * @param t Page Table Entry to be copied.
168
 * @param t     Page Table Entry to be copied.
-
 
169
 * @param index Zero if lower 8K-subpage, one if higher 8K-subpage.
168
 */
170
 */
169
void itlb_pte_copy(pte_t *t)
171
void itlb_pte_copy(pte_t *t, index_t index)
170
{
172
{
171
    tlb_tag_access_reg_t tag;
173
    tlb_tag_access_reg_t tag;
172
    tlb_data_t data;
174
    tlb_data_t data;
173
    page_address_t pg;
175
    page_address_t pg;
174
    frame_address_t fr;
176
    frame_address_t fr;
175
 
177
 
176
    pg.address = t->page;
178
    pg.address = t->page + (index << MMU_PAGE_WIDTH);
177
    fr.address = t->frame;
179
    fr.address = t->frame + (index << MMU_PAGE_WIDTH);
178
 
180
 
179
    tag.value = 0;
181
    tag.value = 0;
180
    tag.context = t->as->asid;
182
    tag.context = t->as->asid;
181
    tag.vpn = pg.vpn;
183
    tag.vpn = pg.vpn;
182
   
184
   
Line 197... Line 199...
197
 
199
 
198
/** ITLB miss handler. */
200
/** ITLB miss handler. */
199
void fast_instruction_access_mmu_miss(int n, istate_t *istate)
201
void fast_instruction_access_mmu_miss(int n, istate_t *istate)
200
{
202
{
201
    uintptr_t va = ALIGN_DOWN(istate->tpc, PAGE_SIZE);
203
    uintptr_t va = ALIGN_DOWN(istate->tpc, PAGE_SIZE);
-
 
204
    index_t index = (istate->tpc >> MMU_PAGE_WIDTH) % MMU_PAGES_PER_PAGE;
202
    pte_t *t;
205
    pte_t *t;
203
 
206
 
204
    page_table_lock(AS, true);
207
    page_table_lock(AS, true);
205
    t = page_mapping_find(AS, va);
208
    t = page_mapping_find(AS, va);
206
    if (t && PTE_EXECUTABLE(t)) {
209
    if (t && PTE_EXECUTABLE(t)) {
207
        /*
210
        /*
208
         * The mapping was found in the software page hash table.
211
         * The mapping was found in the software page hash table.
209
         * Insert it into ITLB.
212
         * Insert it into ITLB.
210
         */
213
         */
211
        t->a = true;
214
        t->a = true;
212
        itlb_pte_copy(t);
215
        itlb_pte_copy(t, index);
213
#ifdef CONFIG_TSB
216
#ifdef CONFIG_TSB
214
        itsb_pte_copy(t);
217
        itsb_pte_copy(t, index);
215
#endif
218
#endif
216
        page_table_unlock(AS, true);
219
        page_table_unlock(AS, true);
217
    } else {
220
    } else {
218
        /*
221
        /*
219
         * Forward the page fault to the address space page fault
222
         * Forward the page fault to the address space page fault
220
         * handler.
223
         * handler.
221
         */    
224
         */    
222
        page_table_unlock(AS, true);
225
        page_table_unlock(AS, true);
223
        if (as_page_fault(va, PF_ACCESS_EXEC, istate) == AS_PF_FAULT) {
226
        if (as_page_fault(va, PF_ACCESS_EXEC, istate) == AS_PF_FAULT) {
224
            do_fast_instruction_access_mmu_miss_fault(istate,
227
            do_fast_instruction_access_mmu_miss_fault(istate,
225
                __FUNCTION__);
228
                __FUNCTION__);
226
        }
229
        }
227
    }
230
    }
228
}
231
}
229
 
232
 
230
/** DTLB miss handler.
233
/** DTLB miss handler.
Line 234... Line 237...
234
 */
237
 */
235
void fast_data_access_mmu_miss(int n, istate_t *istate)
238
void fast_data_access_mmu_miss(int n, istate_t *istate)
236
{
239
{
237
    tlb_tag_access_reg_t tag;
240
    tlb_tag_access_reg_t tag;
238
    uintptr_t va;
241
    uintptr_t va;
-
 
242
    index_t index;
239
    pte_t *t;
243
    pte_t *t;
240
 
244
 
241
    tag.value = dtlb_tag_access_read();
245
    tag.value = dtlb_tag_access_read();
-
 
246
    va = ALIGN_DOWN((uint64_t) tag.vpn << MMU_PAGE_WIDTH, PAGE_SIZE);
242
    va = tag.vpn << PAGE_WIDTH;
247
    index = tag.vpn % MMU_PAGES_PER_PAGE;
243
 
248
 
244
    if (tag.context == ASID_KERNEL) {
249
    if (tag.context == ASID_KERNEL) {
245
        if (!tag.vpn) {
250
        if (!tag.vpn) {
246
            /* NULL access in kernel */
251
            /* NULL access in kernel */
247
            do_fast_data_access_mmu_miss_fault(istate, tag,
252
            do_fast_data_access_mmu_miss_fault(istate, tag,
248
                __FUNCTION__);
253
                __FUNCTION__);
249
        }
254
        }
250
        do_fast_data_access_mmu_miss_fault(istate, tag, "Unexpected "
255
        do_fast_data_access_mmu_miss_fault(istate, tag, "Unexpected "
251
            "kernel page fault.");
256
            "kernel page fault.");
252
    }
257
    }
253
 
258
 
254
    page_table_lock(AS, true);
259
    page_table_lock(AS, true);
255
    t = page_mapping_find(AS, va);
260
    t = page_mapping_find(AS, va);
256
    if (t) {
261
    if (t) {
257
        /*
262
        /*
258
         * The mapping was found in the software page hash table.
263
         * The mapping was found in the software page hash table.
259
         * Insert it into DTLB.
264
         * Insert it into DTLB.
260
         */
265
         */
261
        t->a = true;
266
        t->a = true;
262
        dtlb_pte_copy(t, true);
267
        dtlb_pte_copy(t, index, true);
263
#ifdef CONFIG_TSB
268
#ifdef CONFIG_TSB
264
        dtsb_pte_copy(t, true);
269
        dtsb_pte_copy(t, index, true);
265
#endif
270
#endif
266
        page_table_unlock(AS, true);
271
        page_table_unlock(AS, true);
267
    } else {
272
    } else {
268
        /*
273
        /*
269
         * Forward the page fault to the address space page fault handler.
274
         * Forward the page fault to the address space page fault
-
 
275
         * handler.
270
         */    
276
         */    
271
        page_table_unlock(AS, true);
277
        page_table_unlock(AS, true);
272
        if (as_page_fault(va, PF_ACCESS_READ, istate) == AS_PF_FAULT) {
278
        if (as_page_fault(va, PF_ACCESS_READ, istate) == AS_PF_FAULT) {
273
            do_fast_data_access_mmu_miss_fault(istate, tag,
279
            do_fast_data_access_mmu_miss_fault(istate, tag,
274
                __FUNCTION__);
280
                __FUNCTION__);
275
        }
281
        }
276
    }
282
    }
277
}
283
}
278
 
284
 
279
/** DTLB protection fault handler. */
285
/** DTLB protection fault handler. */
280
void fast_data_access_protection(int n, istate_t *istate)
286
void fast_data_access_protection(int n, istate_t *istate)
281
{
287
{
282
    tlb_tag_access_reg_t tag;
288
    tlb_tag_access_reg_t tag;
283
    uintptr_t va;
289
    uintptr_t va;
-
 
290
    index_t index;
284
    pte_t *t;
291
    pte_t *t;
285
 
292
 
286
    tag.value = dtlb_tag_access_read();
293
    tag.value = dtlb_tag_access_read();
287
    va = tag.vpn << PAGE_WIDTH;
294
    va = ALIGN_DOWN((uint64_t) tag.vpn << MMU_PAGE_WIDTH, PAGE_SIZE);
-
 
295
    index = tag.vpn % MMU_PAGES_PER_PAGE;   /* 16K-page emulation */
288
 
296
 
289
    page_table_lock(AS, true);
297
    page_table_lock(AS, true);
290
    t = page_mapping_find(AS, va);
298
    t = page_mapping_find(AS, va);
291
    if (t && PTE_WRITABLE(t)) {
299
    if (t && PTE_WRITABLE(t)) {
292
        /*
300
        /*
Line 294... Line 302...
294
         * writable. Demap the old mapping and insert an updated mapping
302
         * writable. Demap the old mapping and insert an updated mapping
295
         * into DTLB.
303
         * into DTLB.
296
         */
304
         */
297
        t->a = true;
305
        t->a = true;
298
        t->d = true;
306
        t->d = true;
299
        dtlb_demap(TLB_DEMAP_PAGE, TLB_DEMAP_SECONDARY, va);
307
        dtlb_demap(TLB_DEMAP_PAGE, TLB_DEMAP_SECONDARY,
-
 
308
            va + index * MMU_PAGE_SIZE);
300
        dtlb_pte_copy(t, false);
309
        dtlb_pte_copy(t, index, false);
301
#ifdef CONFIG_TSB
310
#ifdef CONFIG_TSB
302
        dtsb_pte_copy(t, false);
311
        dtsb_pte_copy(t, index, false);
303
#endif
312
#endif
304
        page_table_unlock(AS, true);
313
        page_table_unlock(AS, true);
305
    } else {
314
    } else {
306
        /*
315
        /*
307
         * Forward the page fault to the address space page fault
316
         * Forward the page fault to the address space page fault
308
         * handler.
317
         * handler.
309
         */    
318
         */    
310
        page_table_unlock(AS, true);
319
        page_table_unlock(AS, true);
311
        if (as_page_fault(va, PF_ACCESS_WRITE, istate) == AS_PF_FAULT) {
320
        if (as_page_fault(va, PF_ACCESS_WRITE, istate) == AS_PF_FAULT) {
312
            do_fast_data_access_protection_fault(istate, tag,
321
            do_fast_data_access_protection_fault(istate, tag,
313
                __FUNCTION__);
322
                __FUNCTION__);
314
        }
323
        }
315
    }
324
    }
316
}
325
}
317
 
326
 
318
/** Print contents of both TLBs. */
327
/** Print contents of both TLBs. */
Line 326... Line 335...
326
    for (i = 0; i < ITLB_ENTRY_COUNT; i++) {
335
    for (i = 0; i < ITLB_ENTRY_COUNT; i++) {
327
        d.value = itlb_data_access_read(i);
336
        d.value = itlb_data_access_read(i);
328
        t.value = itlb_tag_read_read(i);
337
        t.value = itlb_tag_read_read(i);
329
 
338
 
330
        printf("%d: vpn=%#llx, context=%d, v=%d, size=%d, nfo=%d, "
339
        printf("%d: vpn=%#llx, context=%d, v=%d, size=%d, nfo=%d, "
331
            "ie=%d, soft2=%#x, diag=%#x, pfn=%#x, soft=%#x, l=%d, "
340
            "ie=%d, soft2=%#x, diag=%#x, pfn=%#x, soft=%#x, l=%d, "
332
            "cp=%d, cv=%d, e=%d, p=%d, w=%d, g=%d\n", i, t.vpn,
341
            "cp=%d, cv=%d, e=%d, p=%d, w=%d, g=%d\n", i, t.vpn,
333
            t.context, d.v, d.size, d.nfo, d.ie, d.soft2, d.diag,
342
            t.context, d.v, d.size, d.nfo, d.ie, d.soft2, d.diag,
334
            d.pfn, d.soft, d.l, d.cp, d.cv, d.e, d.p, d.w, d.g);
343
            d.pfn, d.soft, d.l, d.cp, d.cv, d.e, d.p, d.w, d.g);
335
    }
344
    }
336
 
345
 
337
    printf("D-TLB contents:\n");
346
    printf("D-TLB contents:\n");
338
    for (i = 0; i < DTLB_ENTRY_COUNT; i++) {
347
    for (i = 0; i < DTLB_ENTRY_COUNT; i++) {
339
        d.value = dtlb_data_access_read(i);
348
        d.value = dtlb_data_access_read(i);
340
        t.value = dtlb_tag_read_read(i);
349
        t.value = dtlb_tag_read_read(i);
341
       
350
       
342
        printf("%d: vpn=%#llx, context=%d, v=%d, size=%d, nfo=%d, "
351
        printf("%d: vpn=%#llx, context=%d, v=%d, size=%d, nfo=%d, "
343
            "ie=%d, soft2=%#x, diag=%#x, pfn=%#x, soft=%#x, l=%d, "
352
            "ie=%d, soft2=%#x, diag=%#x, pfn=%#x, soft=%#x, l=%d, "
344
            "cp=%d, cv=%d, e=%d, p=%d, w=%d, g=%d\n", i, t.vpn,
353
            "cp=%d, cv=%d, e=%d, p=%d, w=%d, g=%d\n", i, t.vpn,
345
            t.context, d.v, d.size, d.nfo, d.ie, d.soft2, d.diag,
354
            t.context, d.v, d.size, d.nfo, d.ie, d.soft2, d.diag,
346
            d.pfn, d.soft, d.l, d.cp, d.cv, d.e, d.p, d.w, d.g);
355
            d.pfn, d.soft, d.l, d.cp, d.cv, d.e, d.p, d.w, d.g);
347
    }
356
    }
348
 
357
 
349
}
358
}
350
 
359
 
351
void do_fast_instruction_access_mmu_miss_fault(istate_t *istate, const char
360
void do_fast_instruction_access_mmu_miss_fault(istate_t *istate,
352
    *str)
361
    const char *str)
353
{
362
{
354
    fault_if_from_uspace(istate, "%s\n", str);
363
    fault_if_from_uspace(istate, "%s\n", str);
355
    dump_istate(istate);
364
    dump_istate(istate);
356
    panic("%s\n", str);
365
    panic("%s\n", str);
357
}
366
}
358
 
367
 
359
void do_fast_data_access_mmu_miss_fault(istate_t *istate, tlb_tag_access_reg_t
368
void do_fast_data_access_mmu_miss_fault(istate_t *istate,
360
    tag, const char *str)
369
    tlb_tag_access_reg_t tag, const char *str)
361
{
370
{
362
    uintptr_t va;
371
    uintptr_t va;
363
 
372
 
364
    va = tag.vpn << PAGE_WIDTH;
373
    va = tag.vpn << MMU_PAGE_WIDTH;
365
 
374
 
366
    fault_if_from_uspace(istate, "%s, Page=%p (ASID=%d)\n", str, va,
375
    fault_if_from_uspace(istate, "%s, Page=%p (ASID=%d)\n", str, va,
367
        tag.context);
376
        tag.context);
368
    dump_istate(istate);
377
    dump_istate(istate);
369
    printf("Faulting page: %p, ASID=%d\n", va, tag.context);
378
    printf("Faulting page: %p, ASID=%d\n", va, tag.context);
370
    panic("%s\n", str);
379
    panic("%s\n", str);
371
}
380
}
372
 
381
 
373
void do_fast_data_access_protection_fault(istate_t *istate, tlb_tag_access_reg_t
382
void do_fast_data_access_protection_fault(istate_t *istate,
374
    tag, const char *str)
383
    tlb_tag_access_reg_t tag, const char *str)
375
{
384
{
376
    uintptr_t va;
385
    uintptr_t va;
377
 
386
 
378
    va = tag.vpn << PAGE_WIDTH;
387
    va = tag.vpn << MMU_PAGE_WIDTH;
379
 
388
 
380
    fault_if_from_uspace(istate, "%s, Page=%p (ASID=%d)\n", str, va,
389
    fault_if_from_uspace(istate, "%s, Page=%p (ASID=%d)\n", str, va,
381
        tag.context);
390
        tag.context);
382
    printf("Faulting page: %p, ASID=%d\n", va, tag.context);
391
    printf("Faulting page: %p, ASID=%d\n", va, tag.context);
383
    dump_istate(istate);
392
    dump_istate(istate);
384
    panic("%s\n", str);
393
    panic("%s\n", str);
385
}
394
}
386
 
395
 
Line 391... Line 400...
391
 
400
 
392
    sfsr.value = dtlb_sfsr_read();
401
    sfsr.value = dtlb_sfsr_read();
393
    sfar = dtlb_sfar_read();
402
    sfar = dtlb_sfar_read();
394
   
403
   
395
    printf("DTLB SFSR: asi=%#x, ft=%#x, e=%d, ct=%d, pr=%d, w=%d, ow=%d, "
404
    printf("DTLB SFSR: asi=%#x, ft=%#x, e=%d, ct=%d, pr=%d, w=%d, ow=%d, "
396
        "fv=%d\n", sfsr.asi, sfsr.ft, sfsr.e, sfsr.ct, sfsr.pr, sfsr.w,
405
        "fv=%d\n", sfsr.asi, sfsr.ft, sfsr.e, sfsr.ct, sfsr.pr, sfsr.w,
397
        sfsr.ow, sfsr.fv);
406
        sfsr.ow, sfsr.fv);
398
    printf("DTLB SFAR: address=%p\n", sfar);
407
    printf("DTLB SFAR: address=%p\n", sfar);
399
   
408
   
400
    dtlb_sfsr_write(0);
409
    dtlb_sfsr_write(0);
401
}
410
}
402
 
411
 
Line 479... Line 488...
479
   
488
   
480
    ctx.v = pc_save.v = mmu_primary_context_read();
489
    ctx.v = pc_save.v = mmu_primary_context_read();
481
    ctx.context = asid;
490
    ctx.context = asid;
482
    mmu_primary_context_write(ctx.v);
491
    mmu_primary_context_write(ctx.v);
483
   
492
   
484
    for (i = 0; i < cnt; i++) {
493
    for (i = 0; i < cnt * MMU_PAGES_PER_PAGE; i++) {
485
        itlb_demap(TLB_DEMAP_PAGE, TLB_DEMAP_PRIMARY,
494
        itlb_demap(TLB_DEMAP_PAGE, TLB_DEMAP_PRIMARY,
486
            page + i * PAGE_SIZE);
495
            page + i * MMU_PAGE_SIZE);
487
        dtlb_demap(TLB_DEMAP_PAGE, TLB_DEMAP_PRIMARY,
496
        dtlb_demap(TLB_DEMAP_PAGE, TLB_DEMAP_PRIMARY,
488
            page + i * PAGE_SIZE);
497
            page + i * MMU_PAGE_SIZE);
489
    }
498
    }
490
   
499
   
491
    mmu_primary_context_write(pc_save.v);
500
    mmu_primary_context_write(pc_save.v);
492
   
501
   
493
    nucleus_leave();
502
    nucleus_leave();