• 虚幻与真实:程序中的地址如何转换?


    1)读取指令、读写数据的时候需要和内存进行怎样的交互?

    • 告诉内存芯片:hi,内存老哥请你把 0x10000 地址处的数据交给我……hi,内存老哥,我已经计算完成,请让我把结果写回 0x200000 地址的空间。这些地址存在于代码指令字段后的常数,或者存在于某个寄存器中。

    设想一下,如果一台计算机的内存中只运行一个程序 A,这种方式正好用前面 CPU 的实模式来运行,因为程序 A 的地址在链接时就可以确定,例如从内存地址 0x8000 开始,每次运行程序 A 都装入内存 0x8000 地址处开始运行,没有其它程序干扰。现在改变一下,内存中又放一道程序 B,程序 A 和程序 B 各自运行一秒钟,如此循环,直到其中之一结束。这个新场景下就会产生一些问题,当然这里我们只关心内存相关的这几个核心问题。

    2) 谁来保证程序 A 跟程序 B 没有内存地址的冲突?

    • 换句话说,就是程序 A、B 各自放在什么内存地址,这个问题是由 A、B 程序协商,还是由操作系统决定?

    3)如何解决内存容量问题?

    • 程序 A 和程序 B,在不断开发迭代中程序代码占用的空间会越来越大,导致内存装不下?

    4)如果还要拓展其他程序又该怎么办?

    • 如果不只程序 A、B,还可能有程序 C、D、E、F、G……它们分别由不同的公司开发,而每台计算机的内存容量不同。这时候,又对我们的内存方案有怎样的影响呢?

    5)怎样完美的解决以上最核心的 4 个问题?

    • 所有的程序都各自享有一个从 0 开始到最大地址的空间,这个地址空间是独立的,是该程序私有的,其它程序既看不到,也不能访问该地址空间,这个地址空间和其它程序无关,和具体的计算机也无关。---虚拟地址

    6)什么是虚拟地址?

    • 不存在的地址,逻辑上的,和具体的环境无关。这个环境包括软件环境和硬件环境。

    7)我们用 objdump 工具反汇编一下 Hello World 二进制文件看看长什么样?

     
     00000000000004e8 <_init>:
      4e8: 48 83 ec 08           sub   $0x8,%rsp
      4ec: 48 8b 05 f5 0a 20 00   mov   0x200af5(%rip),%rax       # 200fe8 <__gmon_start__>
      4f3: 48 85 c0               test   %rax,%rax
      4f6: 74 02                 je     4fa <_init+0x12>
      4f8: ff d0                 callq *%rax
      4fa: 48 83 c4 08           add   $0x8,%rsp
      4fe: c3                     retq
    • 左边第一列数据就是虚拟地址,第三列中是程序指令,如:“mov 0x200af5(%rip),%rax,je 4fa,callq *%rax”指令中的数据都是虚拟地址。

    8)为什么所有的应用程序开始的部分都是这样的?

    • 因为每个应用程序的虚拟地址空间都是相同且独立的。

    9)那么这个地址是由谁产生的呢?

    • 链接器

    10)什么是物理地址呢?

    • 一个会被地址译码器等电子部件变成电子信号的数据,这个电子信号放到地址总线上去,多个信号组合起来呢就可以表示为我们内存的一个存储单元了。

    11)地址总线上的信号(即物理地址)除了可以选择内存之外,还可以选择那些地方?

    • 显卡中的显存、I/O 设备中的寄存器、网卡上的网络帧缓存器。

    12)虚拟地址到物理地址如何转换?

    • 转换机构:相当于一个函数:p=f(v),输入虚拟地址 v,输出物理地址 p。

    13)那么要怎么实现这个函数呢?

    • 软件方式实现太低效,用硬件实现没有灵活性。

    • 最终就用了软硬件结合的方式实现,它就是 MMU(内存管理单元)。

    14)MMU 工作原理框架图是怎样的?

    • 注意地址关系转换表本身则是放物理内存中的。

    15)地址关系转换表中逻辑地址和物理地址的对应关系是怎样的?

    • 把虚拟地址空间和物理地址空间都分成同等大小的块,也称为页,按照虚拟页和物理页进行转换。根据软件配置不同,这个页的大小可以设置为 4KB、2MB、4MB、1GB,这样就进入了现代内存管理模式——分页模型。

    16)分页模型框架是怎样的?

    • 一个虚拟页可以对应到一个物理页,页大小固定。所以在地址关系转换表中,只要存放虚拟页地址对应的物理页地址就行了。

    17)MMU是做什么工作的?

    • 接受虚拟地址和地址关系转换表,以及输出物理地址。

    18)MMU的工作需要什么前提条件?

    • 必须先开启保护模式或者长模式,实模式下是不能开启 MMU 的。

    19)保护模式的内存模型是分段模型,而MMU是分页模型的,那怎么说保护模式下可以工作?

    • 别忘了我们的保护模式下还有个平坦模式,绕过我们的分段模型。

    20)地址产生的过程是怎样的?

    21)地址关系转换表更专业的名字是什么?

    • 页表

    22)为了提高查询效率,页表是分级的,那么页表分级的结构是怎样的?

    • 一个顶级页目录,多个中级页目录,最后才是页表。

    23)开启 MMU,步骤是怎样的?

    • 使 CPU 进入保护模式或者长模式。

    • 准备好页表数据,这包含顶级页目录,中间层页目录,页表,假定我们已经编写了代码,在物理内存中生成了这些数据。

    • 把顶级页目录的物理内存地址赋值给 CR3 寄存器。

       
       mov eax, PAGE_TLB_BADR ;页表物理地址
       mov cr3, eax
    • 设置 CPU 的 CR0 的 PE 位为 1,这样就开启了 MMU。

       
       ;开启 保护模式和分页模式
       mov eax, cr0
       bts eax, 0   ;CR0.PE =1
       bts eax, 31   ;CR0.P = 1
       mov cr0, eax

       

    24)MMU 的主要功能是根据页表数据把虚拟地址转换成物理地址,但有没有可能转换失败?

    • 绝对有可能,例如,页表项中的数据为空,用户程序访问了超级管理者的页面,向只读页面中写入数据。这些都会导致 MMU 地址转换失败。

    25)MMU 地址转换失败了怎么办呢?

    • MMU 停止转换地址。

    • MMU 把转换失败的虚拟地址写入 CPU 的 CR2 寄存器。

    • MMU 触发 CPU 的 14 号中断,使 CPU 停止执行当前指令。

    • CPU 开始执行 14 号中断的处理代码,代码会检查原因,处理好页表数据返回。

    • CPU 中断返回继续执行 MMU 地址转换失败时的指令。

    26)在分页模式下,操作系统是如何对应用程序的地址空间进行隔离的?

    • 对于每个进程而言,它会误认为(被操作系统欺骗)自己独有所有地址空间,因此它访问地址是不会考虑任何问题的,可是这个地址是虚拟地址,待被MMU翻译后会得到对应的页表,而这个页表由操作系统管理,不同的进程拥有不同的页表,也因此产生了进程地址空间隔离,但是多个进程也是可以共享某个页表,这也是进程通信(IPC)的根本手段。

  • 相关阅读:
    MyEclipse WebSphere开发教程:WebSphere 7安装指南(四)
    【DevExpress v17.2新功能预告】增强ASP.NET TreeList
    MyEclipse WebSphere开发教程:WebSphere 7安装指南(三)
    【DevExpress v17.2新功能预告】增强ASP.NET GridView的功能
    MyEclipse WebSphere开发教程:WebSphere 7安装指南(二)
    css如何设置首行文字缩进?
    css可以修改超链接颜色吗?
    css如何将图片横向平铺?
    CSS三种布局模型是什么?
    css怎么样设置透明度?
  • 原文地址:https://www.cnblogs.com/YXBLOGXYY/p/16009411.html
Copyright © 2020-2023  润新知