0
  • 聊天消息
  • 系统消息
  • 评论与回复
登录后你可以
  • 下载海量资料
  • 学习在线课程
  • 观看技术视频
  • 写文章/发帖/加入社区
会员中心
创作中心

完善资料让更多小伙伴认识你,还能领取20积分哦,立即完善>

3天内不再提示

mlock如何锁住进程地址空间关联的物理内存

Linux阅码场 来源:Linux阅码场 作者:Linux阅码场 2022-03-14 09:36 次阅读

一般用户空间关联的物理页面是按需通过缺页异常的方式分配和调页,当系统物理内存不足时页面回收算法会回收一些最近很少使用的页面,但是有时候我们需要锁住一些物理页面防止其被回收(如时间有严格要求的应用),Linux中提供了mlock相关的系统调用供用户空间使用来锁住部分或全部的地址空间关联的物理页面。 本文的分析基于arm64处理器架构,内核版本为Linux-5.10.27,我们会结合重点内核源代码来解析mlock是如何做到锁住进程地址空间关联的物理内存的,又是如何防止相关的物理页面被交换出去的。

一、主动缺页

mlock的主要代码处理流程如下,这里我们主要关注主动缺页部分:

6808a960-9fc5-11ec-952b-dac502259ad0.png

mlock处理路径中,会将VM_LOCKED标志加入到vma->vm_flags中(由于设置的地址区域有可能跨越多个vma,所以代码中会涉及到分裂和合并的操作,实质上都会设置相关的vma->vm_flags的VM_LOCKED标志),然后会调用__mm_populate来填充虚拟页对应的物理页,最终在faultin_page函数中试图查找vma中的每个虚拟页对应的物理页面(对应于follow_page_mask函数),如果没有找到会调用handle_mm_fault主动触发缺页处理。 handle_mm_fault函数是内核通用的缺页异常处理例程,如vma是匿名映射的则分配物理页面然后建立页表映射关系,vma是文件映射则会从磁盘读取对应的文件页(如果page cache没有对应页面时)到内存的page cache,然后建立虚拟页面建立页表映射关系。

二、内存回收处理

1. 扫描活跃的lru链表

内存回收扫描活跃的lru链表时,对于设定了VM_LOCKED的vma处理链路如下:

68239090-9fc5-11ec-952b-dac502259ad0.png

可以看到:当扫描活跃的lru链表的时候,会通过反向映射机制查找到映射这个物理页面的每个vma, 对于设置了vma->vm_flags 的VM_LOCKED标志的vma来说直接退出反向映射处理即可,不需要进行访问计数的统计工作,本身这样的物理页面就需要常驻内存不要进行回收。

2.扫描不活跃的lru链表

内存回收扫描不活跃的lru链表时,对于设定了VM_LOCKED的vma处理链路如下:

6836084c-9fc5-11ec-952b-dac502259ad0.png

可以看到:调用链中也会调用page_referenced 函数通过反向映射机制查找到映射这个物理页面的每个vma, 对于设置了vma->vm_flags 的VM_LOCKED标志的vma来说直接退出反向映射处理即可,返回到page_check_references函数时,判断如果有vma设置了VM_LOCKED标志就会返回PAGEREF_RECLAIM到shrink_page_list函数接着处理。 shrink_page_list函数在处理完page_check_references之后,就进行回收处理,对于页表映射页会调用try_to_unmap来解除页表映射。

3.反向映射处理

shrink_page_list在回收物理页面之前会调用try_to_unmap来解除映射到这个页面所有页表项,相关处理如下:

684fd8bc-9fc5-11ec-952b-dac502259ad0.png

对于映射到这个物理页的每个vma来说,如果vma->vm_flags设置了VM_LOCKED标志,则会调用mlock_vma_page来做mlock处理,然后返回false,结束反向映射处理。 下面我们来看mlock_vma_page做了什么事情:

6867d480-9fc5-11ec-952b-dac502259ad0.png

可以看到:mlock_vma_page首先设置页描述符的PG_mlocked标志,然后会zone的NR_MLOCK页面记账,然后会将页面从原来的lru链表中隔离出来,最后会将页面加入不可回收的lru中(这个代码大家自行阅读,实际上是判断页描述符的PG_mlocked标志)。

mlock_vma_page处理的重点就是将页面加入到不可回收的lru链表,这样内存回收的时候就不会在扫描到这样的页面了。

mlock的整个过程如下图所示:

6887a3aa-9fc5-11ec-952b-dac502259ad0.png

三、munlock处理

munlock会解除原来锁住的页面,处理路径如下:

68bf2c58-9fc5-11ec-952b-dac502259ad0.png

当然代码中也会有对应的vma的分裂处理,主要处理为:清除vma的VM_LOCKED标志,清除页描述符的PG_mlocked标志,最后就会将原来在不可回收的lru中的页面重新加入对应的lru链表中。 这里还有一个细节,那就是有可能这个页面对多个vma共享,所以会通过try_to_munlock来处理,处理路径如下:

68d7e3e2-9fc5-11ec-952b-dac502259ad0.png

会通过反向映射机制,遍历这样页对应的所有vma,如果传递的ttu_flags为TTU_MUNLOCK且vma->vm_flags没有设置VM_LOCKED标志,则直接返回,检查下一个vma;如果有一个vma设置了VM_LOCKED标志,说明这个页面还不能被回收,就会通过mlock_vma_page函数重新将页面加入到不可回收的lru链表。 munlock的整个处理过程如下图:

68f2923c-9fc5-11ec-952b-dac502259ad0.png

四、总结

对于一些对时间有严格要求的应用场景,访问时按需分配和调页机制的时延可能是未知的,内核中提供了mlock相关的系统调用,用于将虚拟内存区域对应的物理页面“锁在”内存中。内核对应mlock锁住的页面实际上它主要做了两步比较重要的操作:1,调用mlock的时候就将所需要的物理页面准备好;2,内存回收时当扫描到相关的物理页面时,将其放入不可回收的lru链表。第一步保证访问的虚拟地址对应的物理页面在内存中,第二步保证了锁住的页面不会被回收。

声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉
  • ARM
    ARM
    +关注

    关注

    134

    文章

    9093

    浏览量

    367522
  • 内存
    +关注

    关注

    8

    文章

    3024

    浏览量

    74039

原文标题:mlock锁原理剖析

文章出处:【微信号:LinuxDev,微信公众号:Linux阅码场】欢迎添加关注!文章转载请注明出处。

收藏 人收藏

    评论

    相关推荐

    IP地址数据信息和爬虫拦截的关联

    IP地址数据信息和爬虫拦截的关联主要涉及到两方面的内容,也就是数据信息和爬虫。IP 地址数据信息的内容丰富,包括所属地域、所属网络运营商、访问时间序列、访问频率等。 从IP地址信息中可
    的头像 发表于 12-23 10:13 39次阅读

    虚拟内存和云计算的关系

    在现代计算机科学中,虚拟内存和云计算是两个关键的技术概念。虚拟内存是一种内存管理技术,它允许计算机使用比物理内存更多的
    的头像 发表于 12-04 09:50 121次阅读

    虚拟内存溢出该怎么处理 虚拟内存在服务器中的应用

    在现代计算机系统中,虚拟内存是一种重要的资源管理技术,它允许系统使用硬盘空间来扩展物理内存的容量。然而,当系统运行的程序和进程超出了
    的头像 发表于 12-04 09:49 151次阅读

    Linux下如何管理虚拟内存 使用虚拟内存时的常见问题

    在Linux系统中,虚拟内存管理是操作系统内核的一个重要功能,负责管理物理内存和磁盘上的交换空间。以下是对Linux下如何管理虚拟内存以及使
    的头像 发表于 12-04 09:19 385次阅读

    什么是虚拟内存分页 Windows系统虚拟内存优化方法

    虚拟内存分页概述 在Windows操作系统中,虚拟内存是通过分页机制实现的。分页允许系统将内存中的数据移动到硬盘上,以便为当前运行的程序腾出空间。这个过程对于保持系统的流畅运行至关重要
    的头像 发表于 12-04 09:16 322次阅读

    虚拟内存不足如何解决 虚拟内存物理内存的区别

    物理内存,可以减少系统对虚拟内存的依赖。 调整虚拟内存设置 : 进入系统设置,调整虚拟内存的大小。通常,虚拟
    的头像 发表于 12-04 09:14 396次阅读

    逻辑内存物理内存的区别

    逻辑内存物理内存是计算机系统中两个重要的概念,它们在计算机的运行和数据处理中起着至关重要的作用。 1. 物理内存(Physical Mem
    的头像 发表于 09-27 15:38 679次阅读

    linux下查询进程占用的内存方法有哪些?

    linux下查询进程占用的内存方法
    发表于 04-08 06:03

    物理内存模型的演变

    内存管理概述中,主要是以Linux v2.6.11为例进行分析的,但是计算技术在不断发展,新的存储架构、新的指令集架构、新的SoC架构等都对物理内存模型的抽象提出了更高要求。为此,必须抽象一种完全独立于硬件架构的
    的头像 发表于 02-25 10:35 473次阅读

    Linux内核内存管理之内核非连续物理内存分配

    的主要优点是避免了外部碎片,而缺点是需要修改内核页表。显然,非连续内存区域的大小必须是4096的倍数。Linux使用非连续物理内存区的场景有几种:(1)为swap区分配数据结构;(2)为模块分配
    的头像 发表于 02-23 09:44 963次阅读
    Linux内核<b class='flag-5'>内存</b>管理之内核非连续<b class='flag-5'>物理</b><b class='flag-5'>内存</b>分配

    HarmonyOS跨进程通信—IPC与RPC通信开发

    使用Binder驱动,用于设备内的跨进程通信,后者使用软总线驱动,用于跨设备跨进程通信。需要跨进程通信的原因是因为每个进程都有自己独立的资源和内存空
    的头像 发表于 02-02 17:47 1283次阅读
    HarmonyOS跨<b class='flag-5'>进程</b>通信—IPC与RPC通信开发

    线程是什么的基本单位 进程与线程的本质区别

    线程是操作系统中处理器调度的基本单位,它代表着独立的执行流。在一个进程中,可以包含多个线程,这些线程共享相同的进程资源,如内存空间、文件描述符等。 进程是操作系统中运行的程序的实例,它
    的头像 发表于 02-02 16:30 932次阅读

    拆解mmap内存映射的本质!

    mmap 内存映射里所谓的内存其实指的是虚拟内存,在调用 mmap 进行匿名映射的时候(比如进行堆内存的分配),是将进程虚拟
    的头像 发表于 01-24 14:30 1739次阅读
    拆解mmap<b class='flag-5'>内存</b>映射的本质!

    使用TC399刷写bootloader的时候发现地址0xA0004000-0xA0007FFF被锁住怎么解决?

    最近在使用TC399刷写bootloader的时候发现地址 0xA0004000-0xA0007FFF 被锁住,导致这块区域不能擦除也不能刷写,我想知道这是什么原因导致的,另外有没有什么办法将这块区域解锁?
    发表于 01-24 07:12

    mcu线程和进程的区别是什么

    是程序执行的基本单位,它是进程中的一个实体,是进程内的一条执行路径。线程是CPU调度的最小单位,它可以看作是轻量级的进程,不拥有独立的地址空间
    的头像 发表于 01-04 10:45 750次阅读