【Linux-14】进程地址空间&虚拟空间&页表——原理&知识点详解

简介: 【Linux-14】进程地址空间&虚拟空间&页表——原理&知识点详解

前言

大家好吖,欢迎来到 YY 滴 系列 ,热烈欢迎! 本章主要内容面向接触过Linux的老铁

主要内容含:


一.什么是进程地址空间?

1.进程地址空间基本概念

  1. 每一个 进程 运行之后,都会有一个进程地址空间 的存在
  2. 进程地址空间是操作系统OS 给进程花的大饼 欺骗进程他有足够的空间用——使每个进程都认为自己独占系统内存资源。(即虚拟空间)
  1. 结论:进程地址空间并不是物理内存,而是 虚拟内存 的一部分(虚拟地址,不具备存储能力)
  • 进程地址空间本质上是一种 抽象概念 ,用于描述进程如何看待和使用内存。
  1. 结论:进程地址空间并不是物理内存,而是 虚拟内存 的一部分(虚拟地址,不具备存储能力)
  • 进程地址空间本质上是一种 抽象概念 ,用于描述进程如何看待和使用内存。


2.mm_struct 基本概念

  1. 进程地址空间需要被操作系统OS 管理 起来,每一个进程都有地址空间,需要 被先描述再组织 ,因此地址空间是一个内核的 数据结构(内核结构体) ,即我们接下来要提到的 mm_struct
  1. 先描述再组织原理博客:【Linux】程序员一定要了解的计算机管理理念——描述与组织(9)

3.mm_struct/进程地址空间 实现“区域划分”的原理

  1. mm_struct 及其实现区域划分的原理: 对一段线性空间设置start与end
  • 我们在这里举个例子:小胖和小花同学要对座位进行“区域划分”,我们 从计算机语言角度如何实现呢?
  • 如下所示,我们通过将其 描述成结构体对一段线性空间设置start与end,实现了区域划分
struct destop_area
{
    int total size;
    int xiaopang_start;
    int xiaopang_end;
    int xiaohua start;
    int xiaohua end;
}

struct destop_area area={100,0,50,50,100};
  • 我们打开linux内核结构体源码,也可以找到证明

二.什么是页表

1.页表基本概念


  • 引入:进程地址空间即虚拟地址,不具备存储能力
  1. 因此操作系统OS会对每个进程维护一张 映射表 对应着虚拟地址和物理地址 ,这就是 页表
  2. 页表是一种特殊的数据结构,它位于系统空间的页表区

页表还具有 权限控制 的功能,可以通过设置页表项的 权限位,实现对内存的读、写、执行等操作的控制。




2.进程是如何和“页表”进行联系?

  • 进程各种访问寻址的前提, 一定是它在cpu上运行
  • cpu上有个 特殊寄存器cr3 ,他会保存页表地址,物理地址(页表地址会保存在进程的上下文当中)

3.每个进程都有页表,页表在“进程切换”如何跟踪

根据第二小点内容:

  • 答: 经过cpu后,页表地址加载到上下文中保存好, 一起切换
  • 原理:进程切换时,地址也会被保存。

三.地址空间&页表的作用机理

1.地址空间&页表的基本原理

  • 如图:
  • 页表的主要作用是将虚拟地址空间映射到物理内存空间,实现虚拟地址到物理地址的转换。

2.【页表实验1】探究为什么一对父子进程,同样虚拟地址,读取数据不同?(OS对页表的调整)

  • 我们经过fork,子进程经过写时拷贝会将页表 完整拷贝 下来一份


  • 于是,操作系统会单独给子进程开辟一块新的物理地址

3.【页表实验2】为什么可执行程序中有大量代码和数据,加载到内存任意位置都可以,不用考虑顺序位置(页表映射功能)

  • 答:地址空间,以无序变有序——是加载到内存任意位置都可以,不用考虑顺序位置, 因为都会被页表映射
  • 【减小内存管理成本,没有页表每次都要变化pcb】
  • 分析:进程地址空间, 让进程以统一的视角看待内存
  • 一个进程,可以通过地址空间+页表可以将 乱序/乱序 的内存数据,变成 有序 ,分门别类的规划好!

4.【页表实验3】为什么字符常量区不可被修改?它曾经是如何被修改的?(页表的权限控制功能)

  • 我们运行下面所示程序,程序会崩溃
int main()
{
  char *str= “hello Linux”;   //常量区曾经是如何被修改的?
  *str= 'H';   //常量区不可被修改
 
  return 0;
}
  • 核心原理:页表还具有 权限控制 的功能,可以通过设置页表项的 权限位,实现对内存的读、写、执行等操作的控制。

问:为什么程序会崩溃?

  • 答:语言程度上:字符常量区不可被修改
  • 答:进程地址空间上: 页表权限设置 只读 ,所以不可被修改

问:曾经又是如何被加载的?

  • 答:进程地址空间上: 页表权限设置 可读写 ,所以可以被修改

5.【页表实验4】一个游戏的大小远比内存大,他在内存中如何加载呢?(页表如何实现linux挂起状态)

  • 系统并不需要全部将其加载到内存中,加载一部分/不加载,需要时加载
  • 其中涉及到挂起状态

页表如何实现linux挂起状态?

  • 页表中有一个字段, 标志内存是否要分配空间 && 有内容
  • 例如:00 01 11 10 二进制形式来表示【是否分配&& 有内容】
  • 页表实现linux挂起状态
  • 把原来的11状态变成00状态

6.【页表实验5】缺页中断(进程地址空间建立“进程管理”与“内存管理”的联系)【全流程配图详解】(重点)

全流程讲解:

  1. 当前有个进程开始访问,通过cpu得到了页表的地址,访问页表,想找到物理地址
  2. 此时页表并没有物理地址,属于缺页;于是进入暂停状态
  • 假设此时状态为下图
  1. 这时操作系统就把磁盘中的程序加载到内存中,并把物理地址填入缺失的页中
  2. 此时属于"已分配(物理地址)"状态,标志位置1

结论:进程地址空间建立进程管理与内存管理的联系

相关文章
|
4月前
|
存储 Linux 调度
深入理解Linux内核:从用户空间到内核空间的旅程
【8月更文挑战第4天】在这篇文章中,我们将探索Linux操作系统的核心—内核。通过了解内核如何管理硬件资源,以及它是如何在用户空间和内核空间之间架起桥梁的,我们可以更好地理解操作系统的工作原理。本文将介绍一些关键概念,并通过代码示例来揭示这些概念是如何在实际中应用的。无论你是开发者、系统管理员还是对操作系统感兴趣的爱好者,这篇文章都将为你提供一个深入了解Linux内核的机会。让我们开始这段旅程吧!
|
3月前
|
存储 消息中间件 资源调度
「offer来了」进程线程有啥关系?10个知识点带你巩固操作系统基础知识
该文章总结了操作系统基础知识中的十个关键知识点,涵盖了进程与线程的概念及区别、进程间通信方式、线程同步机制、死锁现象及其预防方法、进程状态等内容,并通过具体实例帮助理解这些概念。
「offer来了」进程线程有啥关系?10个知识点带你巩固操作系统基础知识
|
3月前
|
算法 调度 UED
操作系统中的进程管理:原理与实践
在数字世界的心脏跳动着无数进程,它们如同细胞一般构成了操作系统的生命体。本文将深入探讨进程管理的奥秘,从进程的诞生到成长,再到最终的消亡,揭示操作系统如何协调这些看似杂乱无章却又井然有序的活动。通过浅显易懂的语言和直观的比喻,我们将一起探索进程调度的策略、同步机制的重要性以及死锁问题的解决之道。准备好跟随我们的脚步,一起走进操作系统的微观世界,解锁进程管理的秘密吧!
73 6
|
4月前
|
存储 NoSQL Linux
深度探索Linux操作系统 —— 从内核空间到用户空间3
深度探索Linux操作系统 —— 从内核空间到用户空间
48 9
|
4月前
|
存储 NoSQL Linux
深度探索Linux操作系统 —— 从内核空间到用户空间2
深度探索Linux操作系统 —— 从内核空间到用户空间
45 7
|
3月前
|
Linux
|
4月前
|
存储 安全 Linux
深度探索Linux操作系统 —— 从内核空间到用户空间1
深度探索Linux操作系统 —— 从内核空间到用户空间
55 4
|
4月前
|
Linux API C语言
Linux源码阅读笔记02-进程原理及系统调用
Linux源码阅读笔记02-进程原理及系统调用
|
4月前
|
监控 Linux
在Linux中,如何检查磁盘使用情况和剩余空间?
在Linux中,如何检查磁盘使用情况和剩余空间?