段错误,虚拟内存,内存映射 CSAPP

news2025/1/15 6:43:44

相信写代码的或多或少都会遇到段错误,segmentation fault. 今天终于看到这里面的底层原理

参考:

https://greenhathg.github.io/2022/05/18/CMU213-CSAPP-Virtual-Memory-Systems/18-Virtual-Memory-SystemsSimple memory system exampleAddress Translation Example #1 PPN实际不存在页表中 MMU做的第一件事是检查TLB,将VA中的VPN的TLBI(0x3)和TLBT(0x03)提取出来。所以会去查set3找到tag为3的line,找到对应的line并且valid为1,TLB将PPN(0D)返https://greenhathg.github.io/2022/05/18/CMU213-CSAPP-Virtual-Memory-Systems/

MMU接受到虚拟地址时候,触发缺页,异常会导致控制转移到内核的缺页处理程序,这个程序指向的步骤是:

- 这个虚拟地址VA合法吗?换句话说,这个地址在某个区域的区域内吗,为了回答这个问题,缺页处理程序会搜索区域结构的链表,把这个虚拟地址和区域结构的vm-start, vm-end比较,如果不合法,那么缺页处理程序就会触发一个段错误,从而终止这个进程。

- 试图进行的内存访问是否合法?换句话说,进程是否有读,写,执行这个区域内页面的权限?比如权限是只读的,你要进行写操作,或者用户模式进程要访问内核虚拟内存,这种情况会触发保护异常(没有权限)

- 正常缺页,这个缺页异常处理程序会选择一个牺牲也,交换页,调入新的页面,更新页表,使得MMU可以进行地址翻译

 这里不存在的页面是什么概念,就是unallocated的虚拟地址中的页面

内存映射

脑海里有这么一个图,有一列是disk, 有一列是物理内存,有一列是虚拟内存,彼此有一个映射关系,要么映射文件,要么映射匿名文件(全为0), CPU请求内核创建的二进制零页,实际上没有数据传送,

共享对象,每个共享对象都有独一无二的名字,因此内核可以全局地看到各个进程对该共享对象的映射情况,比如进程1已经映射到某个物理空间上,那么进程2的页表PTE直接指向相应的物理页面。因此共享对象在物理内存中只有一份,它们在不同的进程中可以有不同的虚拟内存地址

私有对象,通过 写时复制(copy on write)技术,来尽量节省物理内存。一开始,物理内存只有一份,每个进程的虚拟内存的页表条目会标记为只读,带标记私有的写时复制。大家都没有进行写操作,那么就一份物理内存就够了,一旦某个进程对这个区域进行写操作,就会触发保护故障,故障处理程序会在物理内存中创建这个页面的一个新副本,执行写操作,更新进程1的虚拟内存页表条目指向这个新的页表副本。原则是不到万不得已就不复制物理内存上的副本。

 理解了私有对象如何映射到虚拟内存时,再来看看操作系统的fork函数,就很好理解了。原进程是进程1,有自己的虚拟内存,fork的时候,传教了一个新进程(新pid=2), 进程2直接复制进程1的mm_struct, vm_area_struct, page_table,然后两个进程的每个页面都标记为只读,并把区域结构vm_area都标记为私有写时复制COW。一旦这其中任意一个进程进行写操作,写时复制就会创建新的物理页面,因此也就为每个进程保持了私有地址空间的抽象概念。

 本质是copy延迟了,只有写时才复制。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/45113.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

Las Vegas 与回溯组合法解八皇后问题

八皇后问题,是一个古老而著名的问题,是回溯算法的典型案例。该问题是国际西洋棋棋手马克斯贝瑟尔于1848年提出:在88格的国际象棋上摆放八个皇后,使其不能互相攻击,即任意两个皇后都不能处于同一行、同一列或同一斜线上…

刷爆力扣之卡牌分组

刷爆力扣之卡牌分组 HELLO,各位看官大大好,我是阿呆 🙈🙈🙈 今天阿呆继续记录下力扣刷题过程,收录在专栏算法中 😜😜😜 该专栏按照不同类别标签进行刷题,每个…

DDOS防护如何建设?

数字化转型发展也推动了云计算、人工智能、大数据、物联网等新一代信息技术应用普及,与此同时,新时代的发展也带来了新的网络威胁和新的安全需求。我们不难发现,近年网络攻击时间层出不穷,全球范围来看,企业因遭受网络…

quilt基本使用

一、简介 quilt是制作补丁和管理的工具。比如想用开源代码做一些项目,我们如果直接在开源代码里进行修改,等到下次开源代码升级后,我们再将我们修改的部分转移到新版本的开源代码中就需要进行大量的新旧版本对比工作。那如果我们将这些改动使…

3D视觉应用案例:引导板件定位抓取

3D引导板件定位抓取 某知名模具钢材集团 项目背景 广州某知名模具钢材集团,需求3D引导板件定位抓取和2D识别信息获取功能。原场景用的桁车设备加人工搬运安全系数极低。 作业流程 • 3D相机视觉识别产品位置后,通过机器人电磁铁完成产品的抓取。 •…

大数据 安装配置centOS

安装vmware workstation 启动vmware workstation 启动【编辑】菜单下的“虚拟网络编辑器” 更改VMnet8 查看DHCP设置 查看NAT设置 安装centos7 链接:https://howard2005.blog.csdn.net/article/details/126830182?spm1001.2014.3001.5502 启动虚拟机 虚拟机 查…

代码调优?从Fibonacci数列的7种写法说起,看完coding能力上一个台阶

开启掘金成长之旅!这是我参与「掘金日新计划 12 月更文挑战」的第2天,点击查看活动详情 引子 楼梯有 N阶,上楼可以一步上一阶,也可以一步上二阶。 编一个程序,计算共有多少种不同的走法。 例: 0层&…

【毕业设计】28-基于单片机的音乐播放器简易音乐播放器设计(原理图+源代码+仿真工程+答辩PPT+答辩论文)

typora-root-url: ./ 【毕业设计】28-基于单片机的音乐播放器简易音乐播放器设计(原理图源代码仿真工程答辩PPT答辩论文) 文章目录typora-root-url: ./【毕业设计】28-基于单片机的音乐播放器简易音乐播放器设计(原理图源代码仿真工程答辩PP…

麦芽糖-聚乙二醇-甲氨蝶呤 MTX-PEG-maltose

麦芽糖-聚乙二醇-甲氨蝶呤 MTX-PEG-maltose 中文名称:麦芽糖-甲氨蝶呤 英文名称:maltose-MTX 别称:甲氨蝶呤修饰麦芽糖,甲氨蝶呤-麦芽糖 PEG接枝修饰麦芽糖,麦芽糖-聚乙二醇-甲氨蝶呤,MTX-PEG-maltose&…

【visual studio】visual studio 2022 无法 复制黏贴

visual studio 2022 cannot copy paste 其他网友也有反馈到微软:VS 2022 Copy and Paste form feature Broken?Copy paste still not fixed in Visual studio 2022表现是突然就无法复制和黏贴了其他的app 就没有这个问题每次都是重启电脑解决。 2022年11月fix 今…

java中csv导出-追加-列转行

1、问题描述 业务数据量比较大,业务上查询条件写入数据库,java定时去读,然后导出csv,供用户下载,因为有模板要求,前一部分是统计信息,后一部分是明细信息;首先csv中写入统计信息&am…

gradle安装配置

Gradle和Maven都是当前热门的自动化构建工具。 这里以安装6.8版本为例 下载地址 https://services.gradle.org/distributions/ 环境配置 新建系统环境 GRADLE_HOME D:\software\gradle-6.8 新建系统环境 GRADLE_USER_HOME D:\gradle\repository 找到path变量,后面添加 %…

uniapp 短信监听(验证码)插件 Ba-Sms

简介(下载地址) Ba-Sms 是一款用于拦截实时短信的插件,可以进行短信过滤,得到自己想要的内容,可以用于需要自动填写短信验证码的项目 支持监听当前接收到的短信信息支持过滤接收到的短信,默认过滤4~8位的…

Python学习笔记之进程池pool

平时很多操作都会用到多进程,比如爬虫、数据处理。 下面介绍一下多进程的函数方法、参数及使用方法。 目录 一.进程池Pool介绍 1.apply() 2.apply_async 3.map() 4.map_async() 5.close() 6.terminal() 7.join() 二.进程池Pool使用 1.map用法…

【虚幻引擎UE】UE5 材质动态修改的2种方法(含工程源码)

演示效果: 示例工程源码 一、直接材质参数变量 1、贴图变量: 在材质蓝图中右键,创建变量TextureSampeParameter2D(贴图变量)。 输入RGB到基础颜色 2、单色变量: 在材质蓝图中右键,创建变量…

[附源码]计算机毕业设计springboot高校商铺管理系统论文

项目运行 环境配置: Jdk1.8 Tomcat7.0 Mysql HBuilderX(Webstorm也行) Eclispe(IntelliJ IDEA,Eclispe,MyEclispe,Sts都支持)。 项目技术: SSM mybatis Maven Vue 等等组成,B/S模式 M…

要想后期修改少,代码重构要趁早

摘要:在敏捷中,让设计简单化,必须让设计从简单开始,然后变得成熟。要做到这一点,重构是唯一的出路。本文分享自华为云社区《敏捷技术实践之重构》,作者:华为云PaaS服务小智 。 前言 极限编程&…

Flink Forward Asia 2022 主论坛概览

2022 年 11 月 26-27 日,Flink Forward Asia(FFA)峰会成功举行。Flink Forward Asia 是由 Apache 软件基金会官方授权、由阿里云承办的技术峰会,是目前国内最大的 Apache 顶级项目会议之一,也是 Flink 开发者和使用者的…

使用nohup命令 或者 代码创建守护进程

目录 一、什么是守护进程? 1、守护进程的概念 2、为什么需要守护进程 二、理解进程组、会话、终端 三、创建守护进程的两种方式 1、nohup命令创建守护进程 2、代码创建守护进程 (1) 创建子进程,父进程退出 (2) 子进程创建新的会话 (3) 更改守护…

jsp美食共享平台系统Myeclipse开发mysql数据库web结构java编程计算机网页项目

一、源码特点 JSP 美食共享平台系统 是一套完善的web设计系统,对理解JSP java编程开发语言有帮助,系统采用mvc开发结构 serlvetdaobean模式,系统具有完整的源代码和数据库,系统主要采用 B/S模式开发。开发环境为TOMCAT7.0,Myecl…