Linux基础之程序地址空间

news2025/1/12 1:49:06

目录

一、程序地址空间的基本概念

二、程序地址空间的结构​编辑

三、虚拟地址和物理地址的关系

四、为什么要使用程序地址空间


一、程序地址空间的基本概念

要理解我们的程序地址空间,首先就要认识下面这张图:

       这张图上所表示的内容,想必大家之前也有所了解,比如:栈是向下增长的,堆向上增长的。这里还给大家补充一点:其实我们的常量所在区域是紧挨着我们的正文区的(代码段),很显然正文区是不允许被修改的,所以我们的常量也是不能被修改的。
       接下来我们来写一段代码:

       之前我们已经知道了,fork()会有两个不同的返回值,现在让我们再来观察观察这返回值的储存情况:

有两个返回值,我们还能理解,可以为什么他们的地址也一样呢,这就很离谱了,一个地址却有两个不同的返回值。所以在这个地方的地址,一定不是我们的物理地址,那它是什么呢?

  • 在Linux地址下,这种地址叫做虚拟地址
  • 我们在用C/C++语言所看到的地址,全部都是虚拟地址!物理地址,用户一概看不到,由OS统一管理

那什么是虚拟地址呢,什么又是程序地址空间呢?
       我们可以这样理解,我们的进程肯定需要需要一些内存,于是我们的OS就给我们的进程画了一张饼(意思就是给你多少空间呀),而这个画的饼就是我们的地址空间,而我们的大饼并不是实实在在的东西,并不真的物理地址空间,所以我们又可以称其为虚拟地址。

二、程序地址空间的结构

       这张图其实就是我们的程序地址空间的基本结构,这部分空间我们的OS肯定也是要进行管理的,那怎么进行管理呢?从而可以推出地址空间一定是一个内核级别的数据结构对象,其实就是一个内核结构体struct mm_struct,我们的进程PCB肯定也会有指针指向这段空间。。那这个结构体中会存些什么呢?

struct mm_struct
{
    long code_start;
    long code_end;
    long data_start;
    long data_end;
    long heap_start;
    long heap_end;
    ...
}

       根据这几个字段名,我们可以看出来,其实这个结构体的内容就是对所分配的空间进行区域划分,start表示区域的开始,end表示区域的结束。那么其实区域的变化就是对start和end做加减。

三、虚拟地址和物理地址的关系

       物理内存必须存在(根据冯诺依曼原理,数据一定从内存上读取)。每个进程运行之后,都会有一个进程地址空间的存在,就是上述图的结构。
       OS会为我们的进程维护一张映射表(页表),通过虚拟地址空间去找物理地址,读去内容。什么是我们的映射关系呢,其实可以简单理解成我们的KV模型,其中一个对象的元素与另一个对象的元素建立起一一对应的关系。用一张图来理解一下:

       首先我们可以明确的是每个进程都要在系统中有一个自己的页表映射结构。子进程创建是会拷贝父进程的PCB,进程地址空间,页表(包括虚拟地址,物理地址)。
       当我们子进程修改部分变量的值时,为了确保进程间的独立性,所以在物理地址上重新开辟一块空间,拷贝父进程物理空间的数据,然后再进行写时拷贝,最后再改变子进程页表的映射关系。

四、为什么要使用程序地址空间

  1. 可以让进程以统一的视角看待内存,所以任意的一个进程,可以通过地址空间+页表可以将乱序的内存数据,变成有序,分门别类的规划好。
           页表是如何将无序变为有序的呢?首先我们的进程不会关心其在内存是如何分布的,也就是说我们各种数据在内存中可能是东一块西一块的,是乱序的。但是通过页表,通过映射关系,我们可以将这种无序态转变为我们的有序态。
  2. 存在虚拟地址空间,可以有效的进行进程访问内存的安全检查。
  3. 将我们的进程管理和内存管理进行解耦。
           通过虚拟内存技术,操作系统为每个应用程序提供了一个独立的虚拟地址空间。应用程序的内存地址空间是虚拟的,与物理内存地址空间分离。这使得操作系统可以在不同的物理内存地址上动态映射和重定位虚拟地址,从而实现了内存的动态管理和分配。
  4. .通过页表,进程映射到不同的物理内容处,从而实现进程的独立性。


       

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

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

相关文章

java中写word换行符 poi 换行

省流: 表格外的文本,使用“\r”或者“(char)11”来换行,建议用"\r"。 表格内的文本,使用“(char)11”来换行。 正文: 测试用word文档: t1.doc内容如下: t2.doc内容如下&#xff…

基于xilinx fpga RFSOC系列的Ultrascale+ RF Data Converter ip详解说明

目录 1 概述2 IP功能2.1 ADC性能2.2 DAC性能3 IP端口4 代码框架4.1 ADC功能框图4.2 DAC功能框图5 收发数据时序5.1 ADC数据格式5.2 DAC数据格式6 时钟配置6.1 ADC/DAC参考时钟7 数据格式配置模式7.1 ADC的配置模式7.1.1 Real -> real;7.1.2 Real ->IQ;7.1.3 IQ -> IQ;…

掌握2个手机数据恢复软件,快速恢复丢失的数据!

我们使用手机存储了大量的个人和重要数据,包括照片、视频、联系人、短信等等。然而,数据丢失的风险也随之增加。不小心删除、手机损坏、系统崩溃等问题都可能导致宝贵的数据消失。 幸运的是,现在有许多强大而高效的手机数据恢复软件可以帮助…

CSS transform 三大属性 rotate、scale、translate

transform 浏览器支持定义和用法translate位移函数rotate旋转函数scale缩放函数 浏览器支持 表格中的数字表示支持该属性的第一个浏览器版本号。 紧跟在 -webkit-, -ms- 或 -moz- 前的数字为支持该前缀属性的第一个浏览器版本号。 定义和用法 transform 属性向元素应用 2D…

2024电工杯B题保姆级分析完整思路+代码+数据教学

2024电工杯B题保姆级分析完整思路代码数据教学 B题题目:大学生平衡膳食食谱的优化设计及评价 接下来我们将按照题目总体分析-背景分析-各小问分析的形式来 总体分析: 题目要求对两份一日膳食食谱进行营养分析和调整,然后设计优化的平衡膳…

Python 造数据神器Faker

大家好,在编写代码过程中,我们经常需要一些假数据来进行测试或者演示。手动创建这些数据不仅耗时,而且容易出错。幸运的是,Python有一个非常有用的库叫做Faker,它可以生成各种类型的假数据,从名字、地址到公…

ios 原生项目迁移flutter第一天环境

由于公司已经有第一个吃螃蟹的项目组,我在迁移的时候想着站在巨人的肩膀上,但是搭配环境一定要问清楚对方flutter版本,路径也要安排好,不然就不行。 对着自己的项目照着葫芦画瓢,我刚开始为了配置管理图个方便随便放&…

基于Python实现 HR 分析(逻辑回归和基于树的机器学习)【500010104】

介绍 数据集说明 此数据集包含与员工有关的综合属性集合,从人口统计细节到与工作相关的因素。该分析的主要目的是预测员工流动率并辨别导致员工流失的潜在因素。 在这个数据集中,有14,999行,10列,以及这些变量:满意度…

GPU集合通信库在B站的应用和改进

1. 背景 上篇文章 万字长文解析:大模型需要怎样的硬件算力 深入探讨了大型语言模型(LLMs)在硬件资源方面的需求和面临的挑战,详尽地阐述了如何进行大模型的硬件选型,以及在实际工作中如何根据模型的特定需求来优化硬件…

安装petalinux工具

petalinux 并不是一个特殊 Linux 内核,而是一套开发环境配置的工具,降低 uboot、内核、 根文件系统的配置的工作量,可以从 Vivado 的导出硬件信息自动完成相关软件的配置。 petalinux 是赛灵思基于 buildroot 工具链为自家处理器方便适配 Li…

每周刷题第三期

个人主页:星纭-CSDN博客 系列文章专栏:Python 踏上取经路,比抵达灵山更重要!一起努力一起进步! 目录 题目一:环形链表 题目二:删除有序数组中的重复项 题目三:有效的括号 题…

spring-boot-starter-mail 发送带附件的邮件信息

背景 项目使用的事ruoyi低代码开发平台ruoyi中有常见的web端下载excel的方式,但是这种方式是直接把输出流写到一个response中,而不是给一个outputstream,如果是给一个outputstream的话,就可以写入到一个固定的文件中去了 解决思路…

P2. 配置MySQL和用户注册登录模块

P2. 配置MySQL和用户注册登录模块 0 概述Tips1 预备知识1.1 SpringBoot 常用模块1.2 pojo层的实现1.3 mapper层的实现1.4 controller层调试CRUD 2 Spring Security2.1 Spring Security 介绍2.2 Spring Security 对接数据库2.3 密码的加密 3 Jwt验证3.1 传统Session验证方式3.2 …

Langchain-Chatchat的markdownHeaderTextSplitter使用

文章目录 背景排查步骤官方issue排查测试正常对话测试官方默认知识库Debug排查vscode配置launch.json命令行自动启动condadebug知识库搜索测试更换ChineseRecursiveTextSplitter分词器 结论 关于markdownHeaderTextSplitter的探索标准的markdown测试集Langchain区分head1和head…

小白跟做江科大32单片机之学习准备

1.安装好51MDK之后,出现不能正常安装支持包的情况 在线安装支持包——>在keil5软件下点击这个,即可进入更新支持包界面 进去之后找这个 国产的可以找和这个 最后有这个就可以了

【人工智能项目】小车障碍物识别与模型训练(完整工程资料源码)

实物演示效果: 一、绪论: 1.1 设计背景 小车障碍物识别与模型训练的设计背景通常涉及以下几个方面: 随着自动驾驶技术的发展,小车(如无人驾驶汽车、机器人等)需要能够在复杂的环境中自主导航。障碍物识别是实现这一目标的关键技术之一,它允许小车检测并避开路上的障碍物…

JavaScript 动态网页实例 —— 表格处理

表格是网页设计中必不可少的内容之一。本章首先介绍HTML中普通表格的组成结构,然后,在此基础上,介绍如何使用JavaScript设置表格的属性。随后,更具体地介绍操作表格元素的一般方法,主要是对表格行、列的动态增删操作。有了这些基础,在本章的最后介绍对表元的操作,即如何…

C语言 | Leetcode C语言题解之第108题将有序数组转换为二叉搜索树

题目: 题解: struct TreeNode* helper(int* nums, int left, int right) {if (left > right) {return NULL;}// 选择任意一个中间位置数字作为根节点int mid (left right rand() % 2) / 2;struct TreeNode* root (struct TreeNode*)malloc(sizeo…

生产制造边角料核算说明及ODOO演示

今天群里有伙伴提到边角料的处理问题,我们梳理了一下,在生产过程中,如果产生了边角料,核算产成品的投料成本时需要考虑边角料的价值,以确保成本核算的准确性。以下是注意的几点: 一、边角料的入账价值 在生…

poi操作word模板,对原有的word修改

/*** 化工园区调查表** param templatePath* param outPath* param parkInterview*/public static String getDocx(String templatePath, String outPath, ParkInterview parkInterview){File file new File(templatePath);File file1 new File(outPath);if(!file1.exists()…