码农知识堂 - 1000bd
  •   Python
  •   PHP
  •   JS/TS
  •   JAVA
  •   C/C++
  •   C#
  •   GO
  •   Kotlin
  •   Swift
  • 9.8 段错误,虚拟内存,内存映射 CSAPP


    相信写代码的或多或少都会遇到段错误,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延迟了,只有写时才复制。

    再来看看execve函数,理解如何加载和执行函数。(filename, argvs, envp)

    执行一个文件需要什么:

    ​​​​​​​

    - binary file

    - argements

    - env_path : to find libraries

     

  • 相关阅读:
    MySQL常见的性能优化方法技巧以及示例
    好用的编辑器Typora分享
    产品代码都给你看了,可别再说不会DDD(六):聚合根与资源库
    java毕业设计车位管理系统Mybatis+系统+数据库+调试部署
    宏任务、微任务,怎么执行的
    Vue中...(扩展运算符)的作用
    AutoSAR入门到精通讲解-总目录
    iptables使用详解
    数组的存储和压缩
    C Primer Plus(6) 中文版 第6章 C控制语句:循环 6.3 用关系运算符和表达式比较大小
  • 原文地址:https://blog.csdn.net/Chunying27/article/details/128084085
  • 最新文章
  • 攻防演习之三天拿下官网站群
    数据安全治理学习——前期安全规划和安全管理体系建设
    企业安全 | 企业内一次钓鱼演练准备过程
    内网渗透测试 | Kerberos协议及其部分攻击手法
    0day的产生 | 不懂代码的"代码审计"
    安装scrcpy-client模块av模块异常,环境问题解决方案
    leetcode hot100【LeetCode 279. 完全平方数】java实现
    OpenWrt下安装Mosquitto
    AnatoMask论文汇总
    【AI日记】24.11.01 LangChain、openai api和github copilot
  • 热门文章
  • 十款代码表白小特效 一个比一个浪漫 赶紧收藏起来吧!!!
    奉劝各位学弟学妹们,该打造你的技术影响力了!
    五年了,我在 CSDN 的两个一百万。
    Java俄罗斯方块,老程序员花了一个周末,连接中学年代!
    面试官都震惊,你这网络基础可以啊!
    你真的会用百度吗?我不信 — 那些不为人知的搜索引擎语法
    心情不好的时候,用 Python 画棵樱花树送给自己吧
    通宵一晚做出来的一款类似CS的第一人称射击游戏Demo!原来做游戏也不是很难,连憨憨学妹都学会了!
    13 万字 C 语言从入门到精通保姆级教程2021 年版
    10行代码集2000张美女图,Python爬虫120例,再上征途
Copyright © 2022 侵权请联系2656653265@qq.com    京ICP备2022015340号-1
正则表达式工具 cron表达式工具 密码生成工具

京公网安备 11010502049817号