进程虚拟地址空间

2023-05-16

关键词:进程虚拟地址空间,进程描述符,页表,分段式,段页式。

在进入正式的内容之前,我们先了解一个重要的概念——进程描述符PCB。

在Linux操作系统中,描述进程的结构体叫做task_struct。Linux操作系统通过task_struct感知进程的存在。

task_struct结构体中的内容:

标识符:描述本进程的唯一标识符,又来区别本进程与其他进程。

状态:进程的状态,退出信号等等

优先级:相对于其它进程的优先级。

程序计数器:存储着程序中下一条将要执行的指令的地址。

内存指针:包括程序代码及进程相关数据的指针,还有其它进程共享的内存块的指针。

上下文数据:进程执行时处理器的寄存器中的数据。

IO状态信息:包括显示IO请求,分配给进程的IO设备和被进程使用的文件列表。

记账信息:可能包括处理器时间总和,使用的时钟总和,时间限制,记帐号等。

其他信息 

我们本篇所主要讨论的便是task_struct结构体的内存指针所指向的空间。

以32位操作系统为例,由之前所学的基础知识我们很容易知道,所谓的“位”指的是比特位,只有0与1两种状态,而32位,则代表着它有着32根地址线,每一根地址线都有着0和1两种状态,所以对应的,其地址可以由0x0000 0000表示到0xffff ffff,共计4G。 

 

以上便是task_struct结构体中内存指针所指向的进程地址空间

需要注意的是,对于每一个进程,操作系统都会给它们分配一个task_struct结构体,对应的,也会有一片进程地址空间。

然而,从硬件的角度讲,我们的CPU只有4G的内存……操作系统却给了每个进程4G的空间,这意味着操作系统给所有进程画的大饼实际上是n*4G的内存,这是远远大于我们真实可用的空间的。

那么,为什么在操作系统画的大饼远大于实际饼的大小的情况下,我们的电脑却能流畅的运行呢?

这就不得不提到进程地址空间的另一个名字了——进程虚拟地址空间

虚拟,就是假设的,不符合或不一定符合事实的。

操作系统给每个进程都画了一张4G的饼,但毕竟一个进程是几乎不可能一下子使用4G的内存,绝大多数进程它们就算拼尽全力,所使用的空间,也是远小于4G的,这就给了操作系统很大的操作空间,它通过自己的方式精细规划,合理地给进程分配真正可以使用的物理内存,从而使计算机可以同时运行多个进程。

操作系统所存储数据地物理内存的地址我们是不得而知的,我们通过程序所得到的地址往往是操作系统给进程分配的进程虚拟地址空间中的虚拟地址。

int main() {
    int i = 10;
     int fd = fork();
     if (fd > 0) {
         i = 5;
         sleep(1);                                                                                                                                                                      
         printf("pid:%d, &i:%p, i= %d\n", getpid(), &i, i);
     } else {
         printf("pid:%d, &i:%p, i= %d\n", getpid(), &i, i);
     }
     return 0;
 }

 图片为以上程序运行结果,很容易看到,在不同的进程中,i的地址是相同的,但是它的值却是不同的。由此可以佐证,我们通过程序获取的并不是变量真实存储的物理内存。

那么为什么操作系统要给每一个进程都虚拟出一个进程地址空间?而不让进程直接访问物理内存?

因为各个进程方位同一片物理地址空间,就会导致不可控。在有限的物理地址空间中,进程没有办法知道哪一片内存是空闲的,哪一片内存是被其它进程使用的,这种时候,如果冒昧的使用,就会导致多个进程在访问物理内存时出现混乱。所以,物理内存要由操作系统统一管理起来,采用预先直接分配内存的方式分配给进程。

 为什么要给每个进程都分配4G进程地址空间(32位操作系统)?

因为操作系统不清楚进程会使用多少内存,使用多久。所以,操作系统便给每个进程都分配了4G的虚拟地址,在进程真正要保存数据或者申请内存的时候,操作系统再给进程分配相应的物理空间。这样比较合理,也会节省很多的空间,谁用谁分配。每一个进程的虚拟地址对应的物理地址是操作系统在背后转换的。

那么操作系统究竟是怎样完成虚拟地址与物理地址间的转换的?

页表

操作系统将虚拟进程地址空间分为一页一页的小块(通常一页为4096字节)

将物理内存分成一块一块的小块,大小与虚拟地址空间的一页相同。

页表则是记录进程虚拟地址空间中的页与物理内存中的块的映射关系。

 

 虚拟地址相关计算

虚拟地址 = 页号 + 页内偏移

页号 = 虚拟地址 / 页的大小

页内偏移 = 虚拟地址 % 页的大小

 为什么内存分配的时候不采用连续的方式,而是一页一页离散的方式?

为了防止产生内存碎片。

假设总共有8M的内存,如果将内存以2M,4M,2M的方式分配给3个进程。如果两个占用2M内存的进程终止了,会释放出4M的空闲空间。如果此时再开始一个需要4M内存的进程,因为采用的是连续的分配方式,此时内存中并没有大小为4M连续空间,所以新的4M进程无法产生。此时我们可以认为那两块分明存在且无法申请的2M内存为内存碎片。

PS.个人语言解释如此。

其他虚拟地址转换物理地址方法。

分段式

虚拟地址 = 段号 + 段内偏移

段表 段号:段的起始地址

 

段页式

虚拟地址 = 段号 + 页号 + 页内偏移

段表 段号:段的起始地址

页表 页号:块号 

 

 通过段号,找到页表的起始位置,从而找到具体的页表。

通过页表中的页号,找到对应的块号

通过具体的物理内存块号,加上页内偏移,锁定具体的物理内存。

本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)

进程虚拟地址空间 的相关文章

  • stm32中printf重定向

    先上代码 加入以下代码 支持printf函数 而不需要选择use MicroLIB if 1 pragma import use no semihosting 标准库需要的支持函数 struct FILE int handle FILE s
  • STM32F103RCTX 串口USART 不定长接收

    串口不定长接收的方法有多种 xff0c 这里我所介绍的是通过设置IDLE中断来检测串口是否接收完毕 xff0c 从而结束串口接受中断 1 首先设置串口 xff0c 如下图所示 xff1a 2 使用IDLE中断检测 xff0c 所以需要开启对
  • ROS通信模式/动作编程(设置收发节点,使小海龟移动到指定位置)以及分布式通信

    文章目录 一 话题 服务模式编程1 1 创建工作空间1 1 1 创建ROS工程包1 1 2 在工作区编译工程包 1 2 话题模式编程1 2 1 创建通信的收 发节点1 2 1 1 在src目录中创建一个发布节点1 2 1 2 在src目录中
  • Ubuntu18.04安装ros(顺利解决 sudo rosdep init 与 rosdep update 存在的问题,附保姆级图文流程)

    Ubuntu18 04 xff08 Ubuntu20 04 xff09 安装ros 顺利解决 sudo rosdep init 与rosdep update 存在的问题 xff0c 附保姆级图文流程 前言 安装了很多次 xff0c 东拼西凑
  • linux命令发送接口请求

    curl k X POST H 34 Accept Encoding gzip deflate 34 H 34 Content type application 34 H 34 x www form urlencoded UTF 8 34
  • UDP协议及编程

    UDP协议 UDP是无连接的 xff0c 即发送数据之前不需要连接 xff0c 因此减少了开销和发送数据之间的时延 UDP使用尽最大努力交付 xff0c 即不保证可靠交付 xff0c 因此主机不需要维持复杂的连接状态表 UDP是面向报文的
  • 24.STM32的IO口扩展PCF8574

    1 IO口扩展芯片 PCF8574是一款带IIC总线 xff0c 可使大多数MCU实现远程I O 口扩展 该器件包含一个8位准双向口和一个IIC总线接口 xff08 通信接口IIC xff0c 2根线可以扩展为8个口 xff09 PCF85
  • 网络编程(二)基础预备知识掌握

    网络编程预备知识 socket 是一种编程接口也是一种文件描述符 xff08 套接字 xff09 可用于 TCP UDP IPX通信 socket的类型 流式套接字 xff08 SOCK STREAM xff09 xff1a 提供一种面向连
  • 使用USTC-TK2016工具对USTC-TFC2016数据集进行处理——报错解决记录

    USTC TK2016数据处理工具 xff1a https github com yungshenglu USTC TK2016 USTC TFC2016数据集 xff1a https github com yungshenglu USTC
  • C++避免头文件重复包含问题

    避免头文件重复包含的方法 xff0c 通常有两种做法 xff1a 条件编译和 pragma once 条件编译就是通常的 ifndef XXX H define XXX H endif ifndef XXX H 表示 xff0c 如果没有包
  • c++ 调用yolov3-yolov4

    ifdef WIN32 define OPENCV define GPU endif include lt iostream gt include lt windows h gt include 34 yolo v2 class hpp 3
  • 一文搞懂UART、RS232、RS485、TTL等常用的接口与协议

    常用的接口与协议 PC机常用的按照接口数量细分为A型 xff08 15针 xff09 xff0c B型 xff08 25针 xff09 xff0c C型 xff08 37针 xff09 xff0c D型 xff08 50针 xff09 xf
  • 解决头文件重复包含与结构体未定义的问题

    一 养成良好的编程习惯 1 保证h文件的纯洁性 xff1a 尽量一个c文件对应一个h文件 xff0c 不要h文件包含许多h文件 这样可以优化编译速度且避免出现h文件中某个结构体之类未定义 xff0c 先在上个h文件中使用的错误 2 对于变量
  • Nokia 5110液晶屏显示模块的使用与开发

    Nokia 5110液晶屏显示模块 我们先来看看他的参数 nbsp 在深入研究连接和示例代码之前 让我们首先看一下其Pinout nbsp RST nbsp 针复位显示 它是低电平有效引脚 您可以通过将其拉低来重置显示 您也可以将此引脚连接
  • mongodb的文档的分页查询

    统计查询使用count xff08 xff09 方法 xff1a 统计comment集合的所有的记录数 xff1a db comment count 分页列表查询 xff1a 可以使用limit xff08 xff09 方法来读取指定数量的
  • 前后端分离项目的部署

    本次项目的项目架构图 xff1a Nginx主要部署的是 项目的静态资源 xff0c 即前端项目 通过Nginx的反向代理 xff0c 将请求发给Tomcat服务器 然后获取数据通过MySQL的主从复制 xff0c 主库负责更新数据 xff
  • echarts基本用法

    目录 tooltip 设置提示框信息 图表的提示框组件 legend 图例组件 toolbox 工具箱组件 可以另存为图片等功能 grid 网格配置 grid可以控制线型图 柱状图 图表大小 xAxs 设置x轴的相关配置 y轴同理 seri
  • java实现UDP通信传输信息

    实现UDP通信要依靠 DatagramPacket对象进行实现 UDP协议的相关介绍 xff1a UDP传输分为 服务端 和客户端 服务端发送消息 客户端接收消息 xff0c 服务端需要知晓客户端的 IP和所监听的端口号 话不多说直接上代码
  • MySQL篇之动态建表。

    在日常开发中 xff0c 可能会出现 动态配置的一些情况 xff0c 此时存储动态配置的一些数据时就需要动态建表了 xff0c 家人们可以选则两种方案 一种是采用mybatis的mapper xml文件里面使用 语句进行创建 二就是使用da

随机推荐

  • IDEA 2020.2 配置Tomcat服务器

    1 创建一个工程 2 右键项目名称 xff0c 选择 add framwork support 3 选中Web Application xff0c 默认勾选创建web xml 目录结构如下 4 点这两个地方中的任意一个 xff0c 添加配置
  • Java笔记之markdown语法

    狂神说Java系列视频笔记 本文章是作者学习B站系列视频 狂神说Java 的记录笔记与心得 xff0c 创作不易 xff0c 希望能够得到您的支持 1 Markdown的基本语法与使用 Markdown是当下一种较为流行的一种写作方法 通过
  • Java之数组专题

    文章目录 Java基础之数组专题数组的定义数组的声明与初始化数组元素的访问内存分析数组的使用For Each 循环数组作方法入参冒泡排序 多维数组稀疏数组 Java基础之数组专题 本文章是作者学习B站系列视频 狂神说Java 与经典书籍 J
  • Java封装详解

    Java类和对象 本文章是作者学习B站系列视频 狂神说Java 与经典书籍 Java核心技术 的记录笔记与心得 xff0c 创作不易 xff0c 希望能够得到您的支持 Java的构造器 Java的构造器 在用Java自定义类时 xff0c
  • C++ primer plus第七章习题中遇到的cin与cin.get问题

    cin gt gt 与cin get 是cpp程序常用到的输入函数 xff0c 近日在编写一道简单的习题时 xff0c 对二者产生了一些疑问 xff08 题目来源 C 43 43 primer plus 中文版习题第七章第六题 xff09
  • Leetcode部分经典链表题解析(涉及链表的反转、排序、合并、移除元素、成环、相交等操作)

    链表相关问题 第206题 反转链表 要求 xff1a 将给定链表进行反转操作 xff0c 第一个结点作为尾结点 xff0c 第二个结点指向第一个节点 xff0c 以此类推 xff0c 使得原链表的尾结点作为答案的头结点 思路一 xff1a
  • Linux报错:terminate called after throwing an instance of ‘std::regex_error‘ what(): regex_error

    文章目录 1 报错 xff1a 2 源码 3 原因 xff1a 4 解决办法 xff1a 5 运行成功 xff1a 1 报错 xff1a Linux中测试cpp httplib时出现报错std regex error xff0c 但源码中并
  • Redis学习笔记(狂神说)

    狂神视频地址 xff1a https www bilibili com video BV1S54y1R7SB Nosql概述 为什么要用Nosql 1 单机Mysql的年代 DAL xff1a 数据库访问层 在90年代 xff0c 一个基本
  • gazebo地图构建

    搭建地图环境是gazebo的基础功能 打开gazebo 可以在终端输入指令 打开的时候一定要有sudo xff0c 不然有可能在后面保存的时候出现画面卡住不动的情况 span class token operator span sudo g
  • Linux Ubuntu18.04安装微信

    最近做双系统 xff0c 在Ubuntu里下载微信时发现微信没有光网里没有开发Linux版本的微信 xff0c 找到了一些使用网页版登录微信的教程 xff0c 按着网上的教程做下来会的到一个如下的微信图标 打开扫描二维码后无法登录 可以在其
  • 虚拟机Ubuntu18.04 使用usb_cam调用笔记本摄像头

    虚拟机搭载Ubuntu18 04调用笔记本的摄像头 xff08 踩坑以及解决方法 xff09 一 建立工作空间 xff08 略 xff09 这里我建立的工作空间名称是catkin ones 二 下载usb cam包并进行编译 git clo
  • 关于UDP双向通信原理解释与范例

    注 本文不提供UDP通信的头文件 OK Let s do it 首先 我们需要了解什么叫做UDP xff0c 之前博主有些过TCP的通信范例 xff0c 我们可以了解到TCP的通信是一个稳定的 xff0c 可以进行双边通信的方式 同样附带上
  • windows10引导盘修复

    Windows修复引导项 前几天做双系统 xff0c 在使用Easybcd制作引导项时误删win10原本的引导项 xff0c 导致无法开机 xff0c 但是我可以通过磁盘直接启动linux 记录以下修复过程 在Linux里使用工具检查恢复
  • 局部路径规划:DWA算法

    一 概述 DWA算法是全称是Dynamic Window Approach 是在ROS中应用比较广泛的局部路径规划算法 主要作用是接受全局路径规划器生成的路径 xff0c 里程计信息 xff0c 地图信息等 xff0c 通过局部路径规划器将
  • ORB_SLAM2地图保存

    ORB SLAM2地图保存 在安装好orb slam2后按照教程中的方法做了地图构建的实验 xff0c 但是当地图达到想要的标准之后 xff0c 却发现没有办法保存地图 xff0c 查看ORB SLAM2源码发现在System h中有如下一
  • ros仿真小车

    ros仿真小车 补全前面博客中缺少的一些部分关于前面博客中的robotcar 本文也可单独食用 xff09 创建工作空间并初始化 span class token function mkdir span p catkin ws src sp
  • 【2023电赛备赛】msp430f5529学习笔记(一)

    写在前 本人目前是大二在读生 xff0c 第一次参加电赛 xff0c 准备不充分 xff0c 结果熬了四天 xff0c 最后成绩却不如人意 有51和32的基础 xff0c 然后想立一个flag系统的学习一下主打超低功耗的msp430f552
  • C语言经典题:有1、2、3、4个数字,能组成多少个互不相同且无重复数字的三位数?都是多少?

    include lt stdio h gt 通过for循环将变量i j k的取值锁定在1 xff0c 2 xff0c 3 xff0c 4之间 int main int num 61 0 int i 61 0 j 61 0 k 61 0 fo
  • 单词逆序输出(c语言)

    int main int l j 61 0 int tmp 61 0 存储输入字符串的数组 char arr 100 61 34 i love beijing 34 用来存储输出字符串的数组 char arr2 100 输入字符串 gets
  • 进程虚拟地址空间

    关键词 xff1a 进程虚拟地址空间 xff0c 进程描述符 xff0c 页表 xff0c 分段式 xff0c 段页式 在进入正式的内容之前 xff0c 我们先了解一个重要的概念 进程描述符PCB 在Linux操作系统中 xff0c 描述进