一篇文章讲清楚mmap实现原理

2024-03-16 18:52

本文主要是介绍一篇文章讲清楚mmap实现原理,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

大家好,最近在研究Linux内核以及Linux系统编程的时候,经常会碰到mmap内存映射,mmap函数是实现高性能编程的一个关键点,下面我通过几张图详细介绍一下mmap实现原理。

(本文以64位CPU为原型讲解)

1.虚拟地址如何映射物理地址?

要了解mmap实现原理,首先必须了解虚拟地址如何映射物理地址,如果没掌握这个知识点,后续阅读会有很大的困难,切记!

虚拟地址映射物理地址采用的是页表机制,64位CPU采用的是4级页表。

64位CPU虚拟地址长度为64位,但实际只用48位就已满足虚拟地址映射物理内存的要求,如下图:

64位CPU地址空间可分为三个部分:

  • 128T用户空间

  • 128T内核空间

  • 其他:保留空间

用户空间和内核空间共256T,2的48次方刚好为256T,所以48位地址空间能映射所有的虚拟地址。

48位虚拟地址由五部分组成:

  • pgd表偏移,四级表,9位

  • pud表偏移,三级表,9位

  • pmd表偏移,二级表,9位

  • ptl表偏移,一级表,9位

  • 物理页偏移,12位

问题1:为什么pgd,pud,pmd,ptl表偏移是9位?

pgd,pud,pmd,ptl表实现原理都相同,我们以pgd来讲解。

一张pgd表对应一个物理页,一个物理页的大小为4KB,一个pgd_t表项为8个字节,一张pgd表能存储4*1024/8=512个表项。

2的9次方等于512,所以采用9位的表偏移就能索引整张表的表项。

问题2:为什么物理页偏移为12位?

一个物理页为4KB,物理页访问是单字节访问,2的12次方刚好为4KB,所以物理页偏移为12位。

1.1 虚拟地址映射物理地址过程

虚拟地址映射物理地址需要依次索引pgd,pud,pmd,ptl表,具体过程如下:

  • 步骤1:查询pgd表

查询pgd表,首先需要找到pgd表物理页首地址,pgd表物理页首地址由task_struct->mm_struct->pgd成员保存,每个进程的task_struct->mm_struct->pgd成员数值不同,所以不同的进程即使使用相同的虚拟地址也不会访问相同到物理地址。

通过pgd表首地址+虚拟地址pgd表偏移索引到pgd_t表项完成pgd表查询。

  • 步骤2:查询pud表

pgd_t表项存储的是pud表物理页首地址。

通过pud表首地址+虚拟地址pud表偏移索引到pud_t表项完成pud表查询。

  • 步骤3:查询pmd表

pud_t表项存储的是pmd表物理页首地址。

通过pmd表首地址+虚拟地址pmd表偏移索引到pmd_t表项完成pmd表查询。

  • 步骤4:查询ptl表

pmd_t表项存储的是ptl表物理页首地址。

通过ptl表首地址+虚拟地址ptl表偏移索引到pte表项完成ptl表查询。

  • 步骤5:映射物理地址

pte表项存储的是物理页首地址,pte+虚拟地址物理页偏移就能定位到物理地址。

注意:定位到物理地址后,虚拟地址映射物理地址的过程就已完成。

思考:64位CPU页表机制需要多少张表? 

表的数量如下:

  • pgd表1张,占用内存4KB。

  • pud表2的9次方张,占用内存4KB * 512 = 2MB。

  • pmd表2的18次方张,占用内存4KB * 512 * 512 = 1GB。

  • ptl表2的27次方张,占用内存4KB * 512 * 512 * 512 = 512GB。

如果每张表都固定分配一个物理页,所有的表占用的内存空间已经达到500多GB,这只是一个进程占用的空间,如果有大量的进程,占用内存就非常恐怖了。

通常情况下,进程只会使用很小的内存,所以系统不会一下把所有的页表都创建出来,而是采用动态分配的方式创建,当需要访问虚拟地址时,通过缺页中断创建虚拟地址对应的各个页表。

相关视频推荐

2024,挑战百万年薪,C++高级架构师教程,针对1-5年程序员进阶架构师必备教程icon-default.png?t=N7T8https://www.bilibili.com/video/BV1fg4y1S7Lg/

Linux C/C++开发(后端/音视频/游戏/嵌入式/高性能网络/存储/基础架构/安全)

需要C/C++ Linux服务器架构师学习资料加qun812855908获取(资料包括C/C++,Linux,golang技术,Nginx,ZeroMQ,MySQL,Redis,fastdfs,MongoDB,ZK,流媒体,CDN,P2P,K8S,Docker,TCP/IP,协程,DPDK,ffmpeg等),免费分享

2.mmap实现原理

mmap函数是一种内存映射文件的方法,它可以将一个文件或设备映射到进程的地址空间中,使得进程可以像访问内存一样访问文件或设备。

mmap可以分为:文件映射和匿名映射。

mmap函数主要工作就是创建VMA。

2.1 VMA简介

VMA(Virtual Memory Area,虚拟内存区域)是Linux内核中用于管理进程虚拟内存的数据结构。每个进程都有一个VMA链表,用于描述进程的虚拟地址空间的不同区域。

VMA包含了一段连续的虚拟地址空间,它定义了该区域的起始地址、结束地址以及一些属性信息。VMA可以表示进程的代码段、数据段、堆、栈等不同的内存区域。

VMA对应Linux内核struct vm_area_struct对象。

注意:VMA用于指导虚拟内存映射物理内存,没有VMA指导无法完成虚拟地址和物理地址映射。

struct vm_area_struct结构体主要成员如下:

  • vm_start:虚拟内存区域起始地址。

  • vm_end:虚拟内存区域结束地址,vm_end减去vm_start为映射区域长度。

  • vm_page_prot:虚拟内存访问权限,

PROT_READ:可读

PROT_WRITE:可写

PROT_EXEC:可执行

  • vm_page_flags:内存映射标志,

MAP_SHARED:共享映射

MAP_PRIVATE:私有映射

  • vm_ops:文件映射操作集合,匿名映射为NULL。

  • vm_pgoff:文件映射文件偏移量,匿名映射无效。

  • vm_file:映射文件,匿名映射为NULL。

3.缺页中断

Linux缺页中断是指当进程访问尚未建立映射关系的虚拟内存时,系统会触发缺页中断,并根据页面的状态来分配物理页面并建立映射关系。

通过mmap创建VMA后,我们使用VMA内存映射区虚拟地址,但此时虚拟地址不能映射物理地址,原因是映射表还没有动态创建出来。

当缺页中断发生后,中断处理函数会完成虚拟地址至物理地址各映射表创建。

各映射表的创建需要task_struct->mm_struct->pgd和虚拟地址表偏移量共同完成。

完成映射表创建后,还有最后一步工作需要完成,那就是pte创建。

pte该如何创建呢?

我们接着往下看...

4.文件映射

文件映射可以将文件的内容映射到进程的内存空间。

文件映射pte指向文件的物理内存页,文件映射需要VMA指向对应的文件,由文件来生成物理页。

mmap函数实现文件映射时需指定文件fd,文件偏移量,文件映射长度。

内核会根据文件fd,文件偏移量,文件映射长度填充新创建的VMA。

文件映射创建pte时根据VMA记录的文件file,文件偏移量,文件映射长度定位到具体文件以及文件偏移位置,将磁盘文件内容拷贝至物理内存页,再将物理内存页转换成pte设置进ptl表。

至此文件映射已完成,就能通过虚拟地址访问文件物理内存页。

5.匿名映射

匿名映射相对来说比较简单,只要在创建pte的时候,从物理内存中申请一个物理内存页,将物理内存页转换成pte设置进ptl表,就完成匿名映射。

这篇关于一篇文章讲清楚mmap实现原理的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/816394

相关文章

使用Python实现IP地址和端口状态检测与监控

《使用Python实现IP地址和端口状态检测与监控》在网络运维和服务器管理中,IP地址和端口的可用性监控是保障业务连续性的基础需求,本文将带你用Python从零打造一个高可用IP监控系统,感兴趣的小伙... 目录概述:为什么需要IP监控系统使用步骤说明1. 环境准备2. 系统部署3. 核心功能配置系统效果展

Python实现微信自动锁定工具

《Python实现微信自动锁定工具》在数字化办公时代,微信已成为职场沟通的重要工具,但临时离开时忘记锁屏可能导致敏感信息泄露,下面我们就来看看如何使用Python打造一个微信自动锁定工具吧... 目录引言:当微信隐私遇到自动化守护效果展示核心功能全景图技术亮点深度解析1. 无操作检测引擎2. 微信路径智能获

redis中使用lua脚本的原理与基本使用详解

《redis中使用lua脚本的原理与基本使用详解》在Redis中使用Lua脚本可以实现原子性操作、减少网络开销以及提高执行效率,下面小编就来和大家详细介绍一下在redis中使用lua脚本的原理... 目录Redis 执行 Lua 脚本的原理基本使用方法使用EVAL命令执行 Lua 脚本使用EVALSHA命令

Python中pywin32 常用窗口操作的实现

《Python中pywin32常用窗口操作的实现》本文主要介绍了Python中pywin32常用窗口操作的实现,pywin32主要的作用是供Python开发者快速调用WindowsAPI的一个... 目录获取窗口句柄获取最前端窗口句柄获取指定坐标处的窗口根据窗口的完整标题匹配获取句柄根据窗口的类别匹配获取句

在 Spring Boot 中实现异常处理最佳实践

《在SpringBoot中实现异常处理最佳实践》本文介绍如何在SpringBoot中实现异常处理,涵盖核心概念、实现方法、与先前查询的集成、性能分析、常见问题和最佳实践,感兴趣的朋友一起看看吧... 目录一、Spring Boot 异常处理的背景与核心概念1.1 为什么需要异常处理?1.2 Spring B

Python位移操作和位运算的实现示例

《Python位移操作和位运算的实现示例》本文主要介绍了Python位移操作和位运算的实现示例,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一... 目录1. 位移操作1.1 左移操作 (<<)1.2 右移操作 (>>)注意事项:2. 位运算2.1

如何在 Spring Boot 中实现 FreeMarker 模板

《如何在SpringBoot中实现FreeMarker模板》FreeMarker是一种功能强大、轻量级的模板引擎,用于在Java应用中生成动态文本输出(如HTML、XML、邮件内容等),本文... 目录什么是 FreeMarker 模板?在 Spring Boot 中实现 FreeMarker 模板1. 环

Qt实现网络数据解析的方法总结

《Qt实现网络数据解析的方法总结》在Qt中解析网络数据通常涉及接收原始字节流,并将其转换为有意义的应用层数据,这篇文章为大家介绍了详细步骤和示例,感兴趣的小伙伴可以了解下... 目录1. 网络数据接收2. 缓冲区管理(处理粘包/拆包)3. 常见数据格式解析3.1 jsON解析3.2 XML解析3.3 自定义

SpringMVC 通过ajax 前后端数据交互的实现方法

《SpringMVC通过ajax前后端数据交互的实现方法》:本文主要介绍SpringMVC通过ajax前后端数据交互的实现方法,本文给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价... 在前端的开发过程中,经常在html页面通过AJAX进行前后端数据的交互,SpringMVC的controll

Spring Security自定义身份认证的实现方法

《SpringSecurity自定义身份认证的实现方法》:本文主要介绍SpringSecurity自定义身份认证的实现方法,下面对SpringSecurity的这三种自定义身份认证进行详细讲解,... 目录1.内存身份认证(1)创建配置类(2)验证内存身份认证2.JDBC身份认证(1)数据准备 (2)配置依