[Mit6.S081] Page Table笔记

Lecture 4 Page Table

  • Isolation
  • memory
  • address spaces
  • page tables(hardware support)
    • every app has its own map(page table)

在这里插入图片描述

  • perpage(4KB, 4096 = 2^12 -> offset = 12)

    • virtual address(64) = {EXT(25) + index(27) + offset(12)}
    • RISC-V physical address(56) = {PNN(44, physical page number) + flag(12, inherited from virtual address)}
  • RISC-V page tables

    在这里插入图片描述

    • virtual address(64) = {EXT(25), L2(9), L1(9), L0(9), offset(12)}

      在这里插入图片描述

      • L2、L1、L0: index into the every level page table
      • advantage: if large parts of the address space are not being used, you don’t have to have any page table entries for that
  • Translation Look-aside Buffer(TLB)

    • cache of page table entries(PTE)
    • [VA, PA]
  • page tables provide a level of indirection

  • xv6 memory layout

    • virtual address space + physical address space(dram + io devices)
    • the mapping from virtual to physical is mostly in identity mapping

在这里插入图片描述

In the configuration of the physical hardware, there’s only so much space, and in the virtual memory layout, there’s also a max virtual address, by design is the virtual address made to be small enough?
Not necessarily, the virtual address space could be bigger than the physical memory, the physical memory could be bigger than virtual address space, it’s actually one of the cool parts about as we’ll see with the page tables, that’s extremely flexible.

  • 1
    点赞
  • 1
    收藏
  • 打赏
    打赏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
©️2022 CSDN 皮肤主题:深蓝海洋 设计师:CSDN官方博客 返回首页
评论

打赏作者

Ryu眼神不太好

你的鼓励将是我创作的最大动力

¥2 ¥4 ¥6 ¥10 ¥20
输入1-500的整数
余额支付 (余额:-- )
扫码支付
扫码支付:¥2
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、C币套餐、付费专栏及课程。

余额充值