Linux内存寻址方式

为什么要内存管理:

早期的程序都是直接运行在物理地址上,也就是说这个程序所需要的空间不超过该机器的物理内存就不会有问题,但实际场景中都是多任务,多进程的,这种物理地址reserved给各个进程是不靠谱的。举个栗子:假如有3个程序a,b,c,a需要10M,b需要100M,c需要20M,总内存就120M,按照之前的分配方式,前10M给a,10M-110M给b,系统还剩10M,但是c需要20M,显然剩下的内存是不够c用的。怎么办?

1.效率问题
可能你会想到当c程序跑的时候把b程序数据写到磁盘上,等运行b的时候再数据从磁盘写回来,先不说无法满足b,c程序并行跑的需求,就连频繁的io操作带来的耗时问题也是无法接收的。

2.进程地址隔离问题

除了效率问题,reserved给进程的空间如果需要被别的进程访问会出现崩溃。比如a进程访问的空间是前10M,但是a程序中有一段代码访问10-110M的话就有可能导致b程序的崩溃,所以进程的地址空间需要彼此隔离。

3.重定位问题

现实场景中不可能是单任务在分好的内存中运行,当多任务并行跑的情况下在动态申请释放内存的时候有可能申请到其它进程里的地址,这时候需要重定位到新的地址。

内存管理无非就是想办法解决上面三个问题,如何提高内存的使用效率?如何使进程的地址空间隔离?如何解决程序运行时的重定位问题?

内存管理如何从虚拟地址映射到物理地址:

内存管理从虚拟地址映射到物理地址的过程也就是解决上面3个问题的过程。内存管理用分段机制和分页机制分别解决了上面的3个问题,大概过程如下图:

分段机制:

只要程序分了段,把整个段平移到任何位置后,段内的地址相对段基址是不变的,无论段基址是多少,只要给出段内偏移地址,cpu就能访问到正确的指令。于是加载用户程序时,只要将整个段的内容复制到新的位置,再将段基址寄存器中的地址改成该地址,程序便可准确地运行,因为程序中用的是段内偏移地址,相对新的段基址,该偏移地址处的内容内容还是一样的。

可以看出分段机制解决了进程间隔离和重定位的问题。这个动作是在硬件里做的,但是有的硬件是没有分段机制的,作为跨平台的linux就用了具有更通用性的分页机制来解决线性地址到虚拟地址到物理地址的转换。

分页机制:

可以参考《CPU是如何访问内存的?》了解一级页表的概念,linux为了兼容32位和64位,通常采用四级页表,页全局目录,页上级目录,页中间目录,页表:

这里不详细解释linux是如何通过四级页表来做线性地址(虚拟地址)到物理地址的转化。网上有很多,推荐https://www.cnblogs.com/linhaostudy/p/10038100.html#autoid-2-2-0。

进程在切换的时候就是根据task_struct找到mm_struct里的pgd字段,取得新进程的页全局目录,然后填充到CR3寄存器,就完成了页的切换。

动手看下mmu分页寻址的过程:

上代码:

#include  <linux/module.h> 
#include <linux/kernel.h> 
#include <linux/init.h> 
#include <linux/sched.h> 
#include <linux/pid.h> 
#include <linux/mm.h> 
#include <asm/pgtable.h> 
#include <asm/page.h>MODULE_DESCRIPTION("vitual address to physics address");static int pid; 
static unsigned long va;module_param(pid,int,0644); //从命令行传递参数(变量,类型,权限)
module_param(va,ulong,0644); //va表示的是虚拟地址static int find_pgd_init(void) 
{ unsigned long pa = 0; //pa表示的物理地址struct task_struct *pcb_tmp = NULL; pgd_t *pgd_tmp = NULL; pud_t *pud_tmp = NULL; pmd_t *pmd_tmp = NULL; pte_t *pte_tmp = NULL;printk(KERN_INFO"PAGE_OFFSET = 0x%lx\n",PAGE_OFFSET);  //页表中有多少个项/*pud和pmd等等  在线性地址中占据多少位*/printk(KERN_INFO"PGDIR_SHIFT = %d\n",PGDIR_SHIFT); //注意:在32位系统中  PGD和PUD是相同的printk(KERN_INFO"PUD_SHIFT = %d\n",PUD_SHIFT); printk(KERN_INFO"PMD_SHIFT = %d\n",PMD_SHIFT); printk(KERN_INFO"PAGE_SHIFT = %d\n",PAGE_SHIFT);printk(KERN_INFO"PTRS_PER_PGD = %d\n",PTRS_PER_PGD); //每个PGD里面有多少个ptrsprintk(KERN_INFO"PTRS_PER_PUD = %d\n",PTRS_PER_PUD); printk(KERN_INFO"PTRS_PER_PMD = %d\n",PTRS_PER_PMD); //PMD中有多少个项printk(KERN_INFO"PTRS_PER_PTE = %d\n",PTRS_PER_PTE);printk(KERN_INFO"PAGE_MASK = 0x%lx\n",PAGE_MASK); //页的掩码struct pid *p = NULL;p = find_vpid(pid); //通过进程的pid号数字找到struct pid的结构体pcb_tmp = pid_task(p,PIDTYPE_PID); //通过pid的结构体找到进程的task  structprintk(KERN_INFO"pgd = 0x%p\n",pcb_tmp->mm->pgd); // 判断给出的地址va是否合法(va&lt;vm_end)if(!find_vma(pcb_tmp->mm,va)){ printk(KERN_INFO"virt_addr 0x%lx not available.\n",va); return 0; } pgd_tmp = pgd_offset(pcb_tmp->mm,va);  //返回线性地址va,在页全局目录中对应表项的线性地址printk(KERN_INFO"pgd_tmp = 0x%p\n",pgd_tmp); //pgd_val获得pgd_tmp所指的页全局目录项//pgd_val是将pgd_tmp中的值打印出来printk(KERN_INFO"pgd_val(*pgd_tmp) = 0x%lx\n",pgd_val(*pgd_tmp)); if(pgd_none(*pgd_tmp)){  //判断pgd有没有映射printk(KERN_INFO"Not mapped in pgd.\n");         return 0; } pud_tmp = pud_offset(pgd_tmp,va); //返回va对应的页上级目录项的线性地址printk(KERN_INFO"pud_tmp = 0x%p\n",pud_tmp); printk(KERN_INFO"pud_val(*pud_tmp) = 0x%lx\n",pud_val(*pud_tmp)); if(pud_none(*pud_tmp)){ printk(KERN_INFO"Not mapped in pud.\n"); return 0; } pmd_tmp = pmd_offset(pud_tmp,va); //返回va在页中间目录中对应表项的线性地址printk(KERN_INFO"pmd_tmp = 0x%p\n",pmd_tmp); printk(KERN_INFO"pmd_val(*pmd_tmp) = 0x%lx\n",pmd_val(*pmd_tmp)); if(pmd_none(*pmd_tmp)){ printk(KERN_INFO"Not mapped in pmd.\n"); return 0; } //在这里,把原来的pte_offset_map()改成了pte_offset_kernelpte_tmp = pte_offset_kernel(pmd_tmp,va);  //pte指的是  找到表printk(KERN_INFO"pte_tmp = 0x%p\n",pte_tmp); printk(KERN_INFO"pte_val(*pte_tmp) = 0x%lx\n",pte_val(*pte_tmp)); if(pte_none(*pte_tmp)){ //判断有没有映射printk(KERN_INFO"Not mapped in pte.\n"); return 0; } if(!pte_present(*pte_tmp)){ printk(KERN_INFO"pte not in RAM.\n"); return 0; } pa = (pte_val(*pte_tmp) & PAGE_MASK) ;//物理地址的计算方法printk(KERN_INFO"virt_addr 0x%lx in RAM Page is 0x%lx .\n",va,pa); //printk(KERN_INFO"contect in 0x%lx is 0x%lx\n",pa,*(unsigned long *)((char *)pa + PAGE_OFFSET));return 0;}static void __exit  find_pgd_exit(void) 
{ printk(KERN_INFO"Goodbye!\n");}module_init(find_pgd_init); 
module_exit(find_pgd_exit);MODULE_LICENSE("GPL");

可以看出虚拟地址ffff99b488d48000对应的物理地址是80000000c8d48000。这个过程也是mmu的过程。

推荐阅读:

    专辑|Linux文章汇总

    专辑|程序人生

    专辑|C语言

嵌入式Linux

微信扫描二维码,关注我的公众号 

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

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

相关文章

DotNetNuke 框架总揽

我总觉的学一样东东&#xff0c;最好是先在总体上对他有一个认识&#xff0c;而后才能更好的学习&#xff0c;最近刚好有机会学习DotNetNuke这个东西&#xff0c;就把所学到的都写下来&#xff0c;与大家一起分享&#xff0c;有不对的地方&#xff0c;大家一起讨论&#xff0c;…

迷宫

描述一个由 n * m 个格子组成的迷宫,起点是(1, 1), 终点是(n, m),每次可以向上下左右四个方向任意走一步,并且有些格子是不能走动,求从起点到终点经过每个格子至多一次的走法数。输入第一行一个整数 T 表示有 T 组测试数据。(T < 110)对于每组测试数据:第一行两个整数 n, m,…

day3-python学习笔记(三)字典、元组

一.字典操作、元组操作&#xff08;字典增删改查以及数组&#xff0c;字典嵌套查询&#xff09;# 字符串&#xff0c;整型&#xff0c;list&#xff0c;字典# stus [ # [小傅,25,nan,xxx,20k]# [小傅,25,nan,xxx,20k]# [小傅,25,nan,xxx,20k]# [小傅,25,n…

超全!嵌入式必懂的CAN总线一文讲通了

嵌入式的工程师一般都知道CAN总线广泛应用到汽车中&#xff0c;其实船舰电子设备通信也广泛使用CAN&#xff0c;随着国家对海防的越来越重视&#xff0c;对CAN的需求也会越来越大。这个暑假&#xff0c;通过参加苏州社会实践&#xff0c;去某船舶电气公司实习几周&#xff0c;也…

选择排序法

选择排序法 宗旨&#xff1a;技术的学习是有限的&#xff0c;分享的精神是无限的。 思想&#xff1a; 线性查找的方式找出最小的元素和第一个元素交换&#xff0c;再从剩下的&#xff08;n - 1&#xff09;个数据中&#xff0c;找出最小的元素与第二个元素交换&#xff0c;以…

Gentle中的数据表实体类相关自定义属性的设置和获得

1.自定义 表名属性 TableNameAttribute2.自定义 主键属性 PrimaryKeyAttribute3.自定义 列名属性 TableColumnAttribute 4.数据表person对应的实体类person.cs5.获得person.cs类型实体 对应的表名及字段名 下面的属性代码文件 都直接建立在App_Code下 以方便使用 1.自定义 表名…

蛇形填数 递归

蛇形填数 描述在n*n方陈里填入1,2,...,n*n,要求填成蛇形。例如n4时方陈为&#xff1a;输入直接输入方陈的维数&#xff0c;即n的值。(n<100)输出输出结果是蛇形方陈。样例输入3 样例输出 1 8 7 2 9 6 3 4 5 #include<iostream> using namespace std; #define N…

WebSocket介绍

WebSocket协议是基于TCP的一种新的协议。WebSocket最初在HTML5规范中被引用为TCP连接&#xff0c;作为基于TCP的套接字API的占位符。它实现了浏览器与服务器全双工(full-duplex)通信。其本质是保持TCP连接&#xff0c;在浏览器和服务端通过Socket进行通信。 本文将使用Python编…

干,认识Audio框架还因此发现一个雷

我们最近出了一个问题&#xff0c;我们点击播放音乐&#xff0c;然后再点击停止播放的时候&#xff0c;喇叭还会输出一段杂音后喇叭才会停止输出。经过排查发现&#xff0c;在代码里面就做了这个功能代码在AudioFlinger.h 里frameworks/av/services/audioflinger/AudioFlinger.…

画图板-- 中点算法画圆

为了能以任意点为圆心画圆&#xff0c;我们可以把圆心先设为视点&#xff08;相当于于将其平移到坐标原点&#xff09;&#xff0c;然后通过中点法扫描转换后&#xff0c;再恢复原来的视点&#xff08;相当于将圆心平移回原来的位置&#xff09;。圆心位于原点的圆有四条对称轴…

插入排序法

插入排序法 宗旨&#xff1a;技术的学习是有限的&#xff0c;分享的精神是无限的。 构思&#xff1a; 1.读入欲排序的数值 2.使用插入排序法 &#xff08;1&#xff09;依序将数值插入 &#xff08;2&#xff09;插入前和已排好好序的每一个数值比较 &#xff08;3&#…

Linux 内核如何描述一个进程?

哈喽&#xff0c;我是吴同学&#xff0c;继续记录我的学习心得。一、关于写文章许多知识&#xff0c;书上或者网络上都有&#xff0c;就算这两个地方都没有&#xff0c;代码里也会有答案。但有时恰恰是 资料太多&#xff0c;反而让人难以检索出有用的信息。面对同样的资料&…

供应商关系管理SRM为企业的节流增贡献

在供应链下游的需求链上&#xff0c;企业为了增加市场份额、提高销售收入&#xff0c;更为重视面向客户的管理和信息化管理方面的投入&#xff0c;纷纷引入客户关系管理CRM的管理理念和信息化系统&#xff0c;在“客户第一”的经营策略下借助IT技术的手段来提高对客户的服务水平…

C小项目——电子词典

C语言项目——查字典 宗旨&#xff1a;技术的学习是有限的&#xff0c;分享的精神是无限的。 【项目需求描述】 一、单词查询 给定文本文件“dict.txt”&#xff0c;该文件用于存储词库。词库为“英-汉”&#xff0c;“汉-英”双语词典&#xff0c;每个单词和其解释的格式固…

线性表的顺序存储的基本操作

插入&#xff1a; #include<stdio.h> #define N 100 typedef struct s {int elem[N];int last; }Seqlist; int Locate(Seqlist l,int e)//查找 {int i0;while(i<l.last&&l.elem[i]!e)i;if(i<l.last)return i1;elsereturn 0; } int DelList(Seqlist *l,int …

canvas生成二维码(2)

不同的插件实现相同的效果&#xff0c;用起来更简洁一些&#xff0c;引用插件qrcode.js 创建一个新的QRCode对象&#xff0c;利用动漫节点和data数据进行复制&#xff0c;实现生成图片img的二维码&#xff1a; 详细见下方代码&#xff1a; <!DOCTYPE html PUBLIC "-//W…

UART/I2C/SPI/1-wire四大通信接口的神解释

1、 裘千丈轻功水上漂之UART射雕英雄传中的裘千丈说&#xff0c;UART就是我的轻功水上漂过河。想从河上过&#xff08;通信&#xff09;&#xff0c;提前布暗桩&#xff0c;行走时步伐按桩距固定&#xff08;波特率提前确定&#xff09;&#xff0c;步幅太大或太小都会落水。为…

动漫迷看的一点动漫

个人看过的动漫 (注&#xff1a;排名不分先后) 宗旨&#xff1a;技术的学习是有限的&#xff0c;分享的精神是无限的。 1、魔法科高中的劣等生&#xff1a;国立魔法大学附属第一高校——通称“魔法科高校”&#xff0c;是由成绩优秀的“一科生”&#xff0c;和作为一科生替补的…

last_kmsg和ram console

相关文章Android 7.1使用脚本保存LOGCAT和KMSG日志到文件首先&#xff0c;在kernel里面通过printk吐log的时候会是下面的一个过程&#xff1a;printk会将信息格式化到kernel log buffer里面去。然后将这些格式化信息送到console去&#xff0c;在我们的系统里面有两个console&am…

字符串类

1.String类 常用方法&#xff1a; 参考&#xff1a;http://wenku.baidu.com/link?urltz-3Dpwj-JSJQdG6vSo0J1L1G9oJS4eQJjYgogieIzgjdNNLmj-U9EpWhOnVthz4egAKv0SNmLkqzNz2WsiZ2EmPGMu2UXhB6yy-E4yvMQ3 NB&#xff1a; 这里的”s1s2“是地址相等,而是s1.equals(s2)是内容相等…