内存学习(四):内存映射2_匿名映射和文件映射-程序员宅基地

技术标签: linux  内存  # Linux内存  

数据结构

1.虚拟内存

1-虚拟内存区域的主要成员

区域虚拟内存区域是分配给进程的一个虚拟地址范围,内核使用结构体vm_area_struct描述虚拟内存区域,虚拟内存区域的主要成员如表所示。
在这里插入图片描述

2-文件映射的虚拟内存区域

文件映射的虚拟内存区域如图所示。
在这里插入图片描述

  • (1)成员vm_file指向文件的一个打开实例(file)。索引节点代表一个文件,描述文件的属性。

  • (2)成员vm_pgoff存放文件的以页为单位的偏移。

  • (3)成员vm_ops指向虚拟内存操作集合,创建文件映射的时候调用文件操作集合中的mmap方法(file->f_op->mmap)以注册虚拟内存操作集合。
    例如:假设文件属于EXT4文件系统,文件操作集合中的mmap方法是函数ext4_file_mmap,该函数把虚拟内存区域的成员vm_ops设置为ext4_file_vm_ops。

3-共享匿名映射的虚拟内存区域

共享匿名映射的虚拟内存区域如图所示共享匿名映射的实现原理和文件映射相同,区别是共享匿名映射关联的文件是内核创建的内部文件。

在内存文件系统tmpfs中创建一个名为“/dev/zero”的文件,名字没有意义,创建两个共享匿名映射就会创建两个名为“/dev/zero”的文件,两个文件是独立的,毫无关系。

在这里插入图片描述

  • (1)成员vm_file指向文件的一个打开实例(file)。
  • (2)成员vm_pgoff存放文件的以页为单位的偏移。
  • (3)成员vm_ops指向共享内存的虚拟内存操作集合shmem_vm_ops。

4-私有匿名映射的虚拟内存区域

私有匿名映射的虚拟内存区域如图所示。
在这里插入图片描述

  • ❑ 成员vm_file没有意义,是空指针。

  • ❑ 成员vm_pgoff没有意义。

  • ❑ 成员vm_ops是空指针。

1、页保护位(vm_area_struct.vm_page_prot)

(1)页保护位(vm_area_struct.vm_page_prot):描述虚拟内存区域的访问权限。内核定义了一个保护位映射数组,把VM_READ、VM_WRITE、VM_EXEC和VM_SHARED这4个标志转换成保护位组合。

每种处理器架构需要定义__P000到__S111的宏,P代表私有(Private), S代表共享(Shared),后面的3个数字分别表示可读、可写和可执行,例如__P000表示私有、不可读、不可写和不可执行,__S111表示共享、可读、可写和可执行。

    mm/mmap.c
    pgprot_t protection_map[16] = {
        __P000, __P001, __P010, __P011, __P100, __P101, __P110, __P111,
        __S000, __S001, __S010, __S011, __S100, __S101, __S110, __S111
    };
    pgprot_t vm_get_page_prot(unsigned long vm_flags)
    {
        return __pgprot(pgprot_val(protection_map[vm_flags &
                    (VM_READ|VM_WRITE|VM_EXEC|VM_SHARED)]) |
                  pgprot_val(arch_vm_get_page_prot(vm_flags)));
    }

函数arch_vm_get_page_prot由每种处理器架构自定义,默认的实现如下:

    include/linux/mman.h
    #ifndef arch_vm_get_page_prot
    #define arch_vm_get_page_prot(vm_flags) __pgprot(0)
    #endif
2、虚拟内存区域标志

(2)虚拟内存区域标志:结构体vm_area_struct的成员vm_flags存放虚拟内存区域的标志,头文件“include/linux/mm.h”定义了各种标志,常用的标志如下。

  • 1)VM_READ、VM_WRITE、VM_EXEC和VM_SHARED分别表示可读、可写、可执行和可以被多个进程共享。

  • 2)VM_MAYREAD表示允许设置VM_READ, VM_MAYWRITE表示允许设置VM_WRITE, VM_MAYEXEC表示允许设置VM_EXEC, VM_MAYSHARE表示允许设置VM_SHARED。这4个标志用来限制系统调用mprotect可以设置的访问权限。

  • 3)VM_GROWSDOWN表示虚拟内存区域可以向下(低的虚拟地址)扩展,VM_GROWSUP表示虚拟内存区域可以向上(高的虚拟地址)扩展。VM_STACK表示虚拟内存区域是栈,绝大多数处理器的栈是向下扩展,VM_STACK等价于VM_GROWSDOWN;少数处理器(例如PA-RISC处理器)的栈是向上扩展,VM_STACK等价于VM_GROWSUP。

  • 4)VM_PFNMAP表示页帧号(Page Frame Number, PFN)映射,特殊映射不希望关联页描述符,直接使用页帧号,可能是因为页描述符不存在,也可能是因为不想使用页描述符。

  • 5)VM_MIXEDMAP表示映射混合使用页帧号和页描述符。

  • 6)VM_LOCKED表示页被锁定在内存中,不允许换出到交换区。

  • 7)VM_SEQ_READ表示进程从头到尾按顺序读一个文件,VM_RAND_READ表示进程随机读一个文件。这两个标志用来提示文件系统,如果进程按顺序读一个文件,文件系统可以预读文件,提高性能。

  • 8)VM_DONTCOPY表示调用fork以创建子进程时不把虚拟内存区域复制给子进程。

  • 9)VM_DONTEXPAND表示不允许使用mremap()扩大虚拟内存区域。

  • 10)VM_ACCOUNT表示虚拟内存区域需要记账,判断所有进程申请的虚拟内存的总和是否超过物理内存容量。

  • 11)VM_NORESERVE表示不需要预留物理内存。

  • 12)VM_HUGETLB表示虚拟内存区域使用标准巨型页。

  • 13)VM_ARCH_1和VM_ARCH_2由各种处理器架构自定义。

  • 14)VM_HUGEPAGE表示虚拟内存区域允许使用透明巨型页,VM_NOHUGEPAGE表示虚拟内存区域不允许使用透明巨型页。

  • 15)VM_MERGEABLE表示KSM(内核相同页合并,Kernel Samepage Merging)可以合并数据相同的页。

3、虚拟内存操作集合

(3)虚拟内存操作集合(vm_operations_struct):定义了虚拟内存区域的各种操作方法,其代码如下。

    include/linux/mm.h
    struct vm_operations_struct {
          void (*open)(struct vm_area_struct * area);
          void (*close)(struct vm_area_struct * area);
          int (*mremap)(struct vm_area_struct * area);
          int (*fault)(struct vm_fault *vmf);
          int (*huge_fault)(struct vm_fault *vmf, enum page_entry_size pe_size);
          void (*map_pages)(struct vm_fault *vmf,
                  pgoff_t start_pgoff, pgoff_t end_pgoff);
         /* 通知以前的只读页即将变成可写,
          * 如果返回一个错误,将会发送信号SIGBUS给进程*/
          int (*page_mkwrite)(struct vm_fault *vmf);
         /* 使用VM_PFNMAP或者VM_MIXEDMAP时调用,功能和page_mkwrite相同*/
          int (*pfn_mkwrite)(struct vm_fault *vmf);
          …
    }
  • 1)open方法:在创建虚拟内存区域时调用open方法,通常不使用,设置为空指针。
  • 2)close方法:在删除虚拟内存区域时调用close方法,通常不使用,设置为空指针。
  • 3)mremap方法:使用系统调用mremap移动虚拟内存区域时调用mremap方法。
  • 4)fault方法:访问文件映射的虚拟页时,如果没有映射到物理页,生成缺页异常,异常处理程序调用fault方法来把文件的数据读到文件的页缓存中。
  • 5)huge_fault方法:和fault方法类似,区别是huge_fault方法针对使用透明巨型页的文件映射。
  • 6)map_pages方法:读文件映射的虚拟页时,如果没有映射到物理页,生成缺页异常,异常处理程序除了读入正在访问的文件页,还会预读后续的文件页,调用map_pages方法在文件的页缓存中分配物理页。
  • 7)page_mkwrite方法:第一次写私有的文件映射时,生成页错误异常,异常处理程序执行写时复制,调用page_mkwrite方法以通知文件系统页即将变成可写,以便文件系统检查是否允许写,或者等待页进入合适的状态。
  • 8)pfn_mkwrite方法:和page_mkwrite方法类似,区别是pfn_mkwrite方法针对页帧号映射和混合映射。

2.链表和树

如图所示,进程的虚拟内存区域按两种方法排序。
在这里插入图片描述

  • (1)双向链表,mm_struct.mmap指向第一个vm_area_struct实例。

  • (2)红黑树,mm_struct.mm_rb指向红黑树的根。

虚拟内存区域使用起始地址和结束地址描述,链表按起始地址递增排序。红黑树是平衡的二叉查找树,按起始地址排序,使用红黑树有以下好处。

  • (1)在红黑树中查找一个虚拟内存区域的速度快。

  • (2)增加一个新的区域时,先在红黑树中找到刚好在新区域前面的区域,然后向链表和树中插入新区域,可以避免扫描链表。

内容来自前辈书籍:《Linux内核深度解析》

版权声明:本文为博主原创文章,遵循 CC 4.0 BY-SA 版权协议,转载请附上原文出处链接和本声明。
本文链接:https://blog.csdn.net/weixin_45264425/article/details/129292025

智能推荐

c# 调用c++ lib静态库_c#调用lib-程序员宅基地

文章浏览阅读2w次,点赞7次,收藏51次。四个步骤1.创建C++ Win32项目动态库dll 2.在Win32项目动态库中添加 外部依赖项 lib头文件和lib库3.导出C接口4.c#调用c++动态库开始你的表演...①创建一个空白的解决方案,在解决方案中添加 Visual C++ , Win32 项目空白解决方案的创建:添加Visual C++ , Win32 项目这......_c#调用lib

deepin/ubuntu安装苹方字体-程序员宅基地

文章浏览阅读4.6k次。苹方字体是苹果系统上的黑体,挺好看的。注重颜值的网站都会使用,例如知乎:font-family: -apple-system, BlinkMacSystemFont, Helvetica Neue, PingFang SC, Microsoft YaHei, Source Han Sans SC, Noto Sans CJK SC, W..._ubuntu pingfang

html表单常见操作汇总_html表单的处理程序有那些-程序员宅基地

文章浏览阅读159次。表单表单概述表单标签表单域按钮控件demo表单标签表单标签基本语法结构<form action="处理数据程序的url地址“ method=”get|post“ name="表单名称”></form><!--action,当提交表单时,向何处发送表单中的数据,地址可以是相对地址也可以是绝对地址--><!--method将表单中的数据传送给服务器处理,get方式直接显示在url地址中,数据可以被缓存,且长度有限制;而post方式数据隐藏传输,_html表单的处理程序有那些

PHP设置谷歌验证器(Google Authenticator)实现操作二步验证_php otp 验证器-程序员宅基地

文章浏览阅读1.2k次。使用说明:开启Google的登陆二步验证(即Google Authenticator服务)后用户登陆时需要输入额外由手机客户端生成的一次性密码。实现Google Authenticator功能需要服务器端和客户端的支持。服务器端负责密钥的生成、验证一次性密码是否正确。客户端记录密钥后生成一次性密码。下载谷歌验证类库文件放到项目合适位置(我这边放在项目Vender下面)https://github.com/PHPGangsta/GoogleAuthenticatorPHP代码示例://引入谷_php otp 验证器

【Python】matplotlib.plot画图横坐标混乱及间隔处理_matplotlib更改横轴间距-程序员宅基地

文章浏览阅读4.3k次,点赞5次,收藏11次。matplotlib.plot画图横坐标混乱及间隔处理_matplotlib更改横轴间距

docker — 容器存储_docker 保存容器-程序员宅基地

文章浏览阅读2.2k次。①Storage driver 处理各镜像层及容器层的处理细节,实现了多层数据的堆叠,为用户 提供了多层数据合并后的统一视图②所有 Storage driver 都使用可堆叠图像层和写时复制(CoW)策略③docker info 命令可查看当系统上的 storage driver主要用于测试目的,不建议用于生成环境。_docker 保存容器

随便推点

网络拓扑结构_网络拓扑csdn-程序员宅基地

文章浏览阅读834次,点赞27次,收藏13次。网络拓扑结构是指计算机网络中各组件(如计算机、服务器、打印机、路由器、交换机等设备)及其连接线路在物理布局或逻辑构型上的排列形式。这种布局不仅描述了设备间的实际物理连接方式,也决定了数据在网络中流动的路径和方式。不同的网络拓扑结构影响着网络的性能、可靠性、可扩展性及管理维护的难易程度。_网络拓扑csdn

JS重写Date函数,兼容IOS系统_date.prototype 将所有 ios-程序员宅基地

文章浏览阅读1.8k次,点赞5次,收藏8次。IOS系统Date的坑要创建一个指定时间的new Date对象时,通常的做法是:new Date("2020-09-21 11:11:00")这行代码在 PC 端和安卓端都是正常的,而在 iOS 端则会提示 Invalid Date 无效日期。在IOS年月日中间的横岗许换成斜杠,也就是new Date("2020/09/21 11:11:00")通常为了兼容IOS的这个坑,需要做一些额外的特殊处理,笔者在开发的时候经常会忘了兼容IOS系统。所以就想试着重写Date函数,一劳永逸,避免每次ne_date.prototype 将所有 ios

如何将EXCEL表导入plsql数据库中-程序员宅基地

文章浏览阅读5.3k次。方法一:用PLSQL Developer工具。 1 在PLSQL Developer的sql window里输入select * from test for update; 2 按F8执行 3 打开锁, 再按一下加号. 鼠标点到第一列的列头,使全列成选中状态,然后粘贴,最后commit提交即可。(前提..._excel导入pl/sql

Git常用命令速查手册-程序员宅基地

文章浏览阅读83次。Git常用命令速查手册1、初始化仓库git init2、将文件添加到仓库git add 文件名 # 将工作区的某个文件添加到暂存区 git add -u # 添加所有被tracked文件中被修改或删除的文件信息到暂存区,不处理untracked的文件git add -A # 添加所有被tracked文件中被修改或删除的文件信息到暂存区,包括untracked的文件...

分享119个ASP.NET源码总有一个是你想要的_千博二手车源码v2023 build 1120-程序员宅基地

文章浏览阅读202次。分享119个ASP.NET源码总有一个是你想要的_千博二手车源码v2023 build 1120

【C++缺省函数】 空类默认产生的6个类成员函数_空类默认产生哪些类成员函数-程序员宅基地

文章浏览阅读1.8k次。版权声明:转载请注明出处 http://blog.csdn.net/irean_lau。目录(?)[+]1、缺省构造函数。2、缺省拷贝构造函数。3、 缺省析构函数。4、缺省赋值运算符。5、缺省取址运算符。6、 缺省取址运算符 const。[cpp] view plain copy_空类默认产生哪些类成员函数

推荐文章

热门文章

相关标签