首页 > 其他分享 >Lec 07 操作系统管理页表映射

Lec 07 操作系统管理页表映射

时间:2024-11-12 16:19:34浏览次数:1  
标签:Lec 07 映射 -- 页表 操作系统 虚拟内存 内存

lec 07 操作系统管理页表映射

0 Contents

a

1 操作系统设置页表映射

a

何时设置页表映射?

  • 操作系统自己使用的页表
    -- 在启动时填写
    -- 映射全部物理内存

    • 虚拟地址 = 物理地址 + 固定偏移(直接映射,Direct Mapping)
    • 思考:为什么需要直接映射?
  • 应用进程的页表
    -- 何时设置?

2 立即映射

  • 创建进程时,OS按照虚拟内存区域填写进程页表
    -- 例如,代码段和数据段
    -- 具体步骤:
    • 步骤-1: 分配物理页(alloc_page)
    • 步骤-2: 把应用代码/数据从磁盘加载到物理页中
    • 步骤-3: 添加虚拟页到物理页的映射(add_mapping)
    • 步骤-4: 未加载完毕,回到步骤-1

a

分配物理页的简单实现

操作系统用位图记录物理页是否空闲
0:空闲;1:已分配

a

OS填写页表基地址

结构体保存页表的基地址

a

a

a

填写进程页表

a

a

a

!直接映射弊端

  • 立即映射是一种操作系统可以选择的页表填写策略
    -- 在初始化进程虚拟地址空间时,直接在进程页表中添加各虚拟内存区域的映射

  • 潜在弊端
    -- 以关卡/副本类型游戏加载为例:只玩1关,加载1000关

    • 物理内存资源浪费
    • 非必要时延

3 延迟映射

想法

  • 解决立即映射弊端的直观想法
    -- 操作系统按进程实际需要分配物理页和填写页表,避免分配的物理页实际不被用到的情况

  • 主要思路:解耦虚拟内存分配与物理内存分配
    -- 先记录下为进程分配的虚拟内存区域
    -- 当进程实际访问某个虚拟页时,CPU 会触发缺页异常
    -- 操作系统在缺页异常处理函数中添加映射

a

a

操作系统需要区分合法/非法缺页异常

执行以下代码,操作系统可以发现segmentation fault

#include<stdio.h>

int main()
{
  char *p = NULL;
  printf("%s\n",p);
  return 0;
}

操作系统记录为进程分配的虚拟内存区域

  • 虚拟地址空间
    -- 若干非连续的虚拟内存区域
    • 每个虚拟内存中虚拟地址都是进程可用的,具有相同的访问权限。
    • 例如:代码,数据,堆,栈
    • 访问非法虚拟地址会触发CPU异常,操作系统将会跑出segmentation fault。

合法虚拟地址信息的记录方式

  • 记录进程已经分配的虚拟内存区域
    -- Linux: 对应结构体vm_area_struct,位于linux/include/linux/mm_types.h内定义。

a

(有意思的是,虚拟内存在linux内出现是在2008年)。

-- Chcore: 对应以下的结构体。

a

a

VMA 添加方式

1.OS创建进程时分配

  • 数据(对应ELF文件的数据段)
  • 代码(对应ELF文件的代码段)
  • 栈(初始没有内容)

2.进程运行时添加

  • 堆,栈
  • mmap/munmap
    -- 分配内存buffer和加载新的代码库

a

mmap: 分配一段虚拟内存区域

  • 通常用于把一个文件或一部分映射到内存
  • 也可以不映射任何文件,仅仅新建虚拟内存区域(匿名映射)

linux:

a

示例

a

执行mmap后,vma发生变化

a

a

mmap 映射文件

a

VMA如何添加

  • 途径2: 进程运行时添加/应用程序主动向OS发起系统调用
    -- mmap()
    • 申请空的虚拟内存区域
    • 申请映射文件数据的虚拟内存区域
      -- brk():扩大、缩小堆区域
      -- 栈VMA的可选策略
    • OS为进程初始分配固定大小的栈VMA,在发现stackoverflow之后自动扩大栈VMA
      -- 用户态的malloc(API)也可能改变VMA
    • 调用brk,在堆中分配新的内存
    • 调用mmap分配较大区域

VMA判断缺页异常的合法性

  • 缺页异常(page fault)
    -- AARCH64:触发(通用的)同步异常(8)
    -- 根据ESR信息判断是否为缺页异常
    -- 访问的虚拟地址存放在FAR_EL1

  • 操作系统的缺页处理函数
    -- FAR_EL1中的值不落在VMA区域内,则为非法
    -- 反之,则分配物理页,并在页表中添加映射

延迟映射与立即映射对比

  • 优势:节约内存资源
  • 劣势:却页异常导致访问延迟增加
  • tradeoff:
    -- 应用程序具有时空局部性
    -- 缺页异常处理中采用预先映射策略。节约内存并且减少缺页异常次数。

OS向应用提供灵活的内存管理系统调用

a

4 虚拟内存的扩展功能

1.共享内存

节约内存与进程通信作用。

2.写时拷贝

a
实现:修改页表项权限,在缺页时拷贝,恢复。
fork:节约物理内存,性能加速。

3.内存去重

  • memory deduplication
    -- 基于写时拷贝机制
    -- 在内存中扫描,发现具有相同内容的物理页面
    -- 执行去重
    -- 操作系统发起,对用户态透明

4.内存压缩

  • 基本思想
    -- 当内存资源不充足的时候, 选择将一些“最近不太会使用”的内存页进行数据压缩,从而释放出空闲内存

a

大页的利弊

  • 好处
    -- 减少TLB缓存项的使用,提高 TLB 命中率
    -- 减少页表的级数,提升遍历页表的效率
  • 案例
    -- 提供API允许应用程序进行显示的大页分配
    -- 透明大页(Transparent Huge Pages) 机制
  • 弊端
    -- 未使用整个大页而造成物理内存资源浪费
    -- 增加管理内存的复杂度

标签:Lec,07,映射,--,页表,操作系统,虚拟内存,内存
From: https://www.cnblogs.com/mumujun12345/p/18542180

相关文章

  • 2.基本的SELECT语句
    #列出数据库showdatabases;#创建数据库createdatabasedbtest;1.SQL分类DDL:数据定义语言CREATE、DROP、ALTER、RENAME、TRUNCATEDML*:数据操作语言INSERT、DELETE、UPDATE、SELECTDCL:数据控制语言GRANT、REVOKE、ROLLBACK、COMMIT、SAVEPOINT2.导入数据方式一:基......
  • Lec 04 系统调用
    Lec04系统调用(参考来源:上海交通大学并行与分布式系统研究所+操作系统课程ppt)CreativeCommonsAttribution4.0LicenseContents4.1系统调用硬件提供了一对指令svc/eret指令在用户态/内核态间切换系统调用(1)用户与操作系统之间,类似于过程调用的接口(2)通过受限的......
  • Lec 03 系统指令集架构
    Lec03系统指令集架构(参考来源:上海交通大学并行与分布式系统研究所+操作系统课程ppt)CreativeCommonsAttribution4.0LicenseContents3.1回顾:特权级的必要性一台计算机上同时运行多个应用程序,如何保证不同应用间的隔离?如果所有的应用均能完全控制硬件计算资源,则会......
  • lec 02 arm汇编语言基础
    Lecture02:ARM汇编基础Contents为什么学习ARM/ISA汇编从C到汇编理解arm汇编理解机器执行1为什么学习汇编和指令集架构?1.令人困惑的应用表现2.指令集架构ISA(InstructionSetArchitecture)CPU向软件(应用程序和操作系统)提供的接口。理解软件在CPU上的运行(OS设......
  • 代码随想录算法训练营第三天(LeetCode203.移除链表元素;LeetCode707.设计链表;LeetCode20
    LeetCode203.移除链表元素题目链接:LeetCode203.移除链表元素题目链接思路这道题目主要考察的是移除一个链表当中的元素,我们可以先在给定的链表前面加一个虚拟头结点,这样我们对给定链表头结点的操作和给定链表其余结点的操作就会变得相同。代码classSolution{p......
  • 代码随想录算法训练营第四天(LeetCode24.两两交换链表中的节点;LeetCode10.删除链表的倒
    LeetCode24.两两交换链表中的节点题目链接:两两交换链表中的节点题目链接思路这道题其实就是一个模拟题,要求每次交换链表中两个相邻的节点(1、2节点互换;3、4节点互换;2、3节点不互换,意思就是交换过的节点不参与后续的交换了),同时只能进行节点交换,不能进行值交换。主要考......
  • 介绍Go中的for select case和chan 和goroutine
    好的,让我们详细分析您提供的代码片段:for{select{casemsg:=<-sensorChan://处理消息的代码}}1.整体结构概述这段代码使用了Go语言的并发控制结构,结合无限循环(for)、选择语句(select)、以及case分支来处理从sensorChan通道接收......
  • P8162 [JOI 2022 Final] 让我们赢得选举 (Let's Win the Election) 题解
    P8162[JOI2022Final]让我们赢得选举(Let'sWintheElection)题解朴素的想法是先抓一部分人,再一起去发表演讲。这样就要按\(b\)的值从小到大排序,枚举选择的一部分\(b\)值,在后面挑选一些最小的\(a\)选择即可。但这样显然是错误的。观察到\(n\le500\),显然是\(O(n^3......
  • electron报错: "Request Autofill.enable failed.", "Request Autofill.enable failed
    问题今天尝试electron最简单的demo,在打开开发者工具的时候,会报错"RequestAutofill.enablefailed.","RequestAutofill.enablefailed.".解决经过网上搜索,确定这个报错的原因是因为electron版本和node.js版本不匹配的问题。node<=v16.13已经有网友整理过了,可以参......
  • [1076] Clauses with the pattern "prep + which"
    Clauseswiththepattern"prep+which"areoftenusedtoaddadditionalinformationorclarifyarelationshipbetweentwopartsofasentence.Theseclausesareknownasrelativeclauses.Herearesomeexamplesandexplanations:Examples:In......