热门标签 | HotTags
当前位置:  开发笔记 > 编程语言 > 正文

深入解析:虚拟内存分配机制(vmalloc)在内存管理中的应用与优化

本文深入探讨了虚拟内存分配机制(vmalloc)在内存管理中的应用及其优化策略。首先介绍了vmalloc的基本概念和工作原理,随后详细分析了其核心函数如__get_vm_area_node、alloc_vmap_area和setup_vmalloc_vm的功能和实现过程。最后,讨论了如何通过优化这些函数来提升系统性能和资源利用率。




目录


  • 1. 前言
  • 2. vmalloc
    • |- -__get_vm_area_node
      • |- - -alloc_vmap_area
      • |- - -setup_vmalloc_vm

    • |- -__vmalloc_area_node

  • 参考文档


1. 前言

本专题我们开始学习内存管理部分,本文为vmalloc的学习笔记。
vmalloc主要分配那些虚拟地址连续,而物理地址不要求连续的内存块。vmalloc底层调用的仍然为buddy系统,只不过vmalloc不像slab那样分配的是多个页面的连续物理内存,而是每次只通过alloc_page分配一个页面,因此物理地址是不连续的。另外,由于vmalloc分配的物理页面映射到vmalloc映射区,而非内核线性区,因此需要主动为分配的页面创建映射。
此处我们再次贴上在 《内存管理基础-1.概述》的地址空间映射图
在这里插入图片描述
通过上图,可以看出vmalloc映射区(VMALLOC_START~VMALLOC_END)所在的区域

kernel版本:5.10
平台:arm64


2. vmalloc

vmalloc(unsigned long size)
\--__vmalloc_node(size, 1, GFP_KERNEL, NUMA_NO_NODE,__builtin_return_address(0))
\--__vmalloc_node_range(size, align, VMALLOC_START, VMALLOC_END,
gfp_mask, PAGE_KERNEL, 0, node, caller)
|--struct vm_struct *area
|--area = __get_vm_area_node(real_size, align, VM_ALLOC | VM_UNINITIALIZED |
| vm_flags, start, end, node, gfp_mask, caller)
\--addr = __vmalloc_area_node(area, gfp_mask, prot, node)

vmalloc区域(VMALLOC_START~VMALLOC_END)是通过多个vmap_area来进行管理,这些vmap_area代表不同的vmalloc区间,他们通过rbtree组织起来,当通过vmalloc分配一段虚拟地址空间时,会首先通过__get_vm_area_node遍历这颗rbtree,找到是否有vmap_area描述的合适的vmalloc区间,如果有则直接返回,否则要创建新的vmap_area,并加入rbtree;
之后就将通过__vmalloc_area_node调用buddy系统来分配物理页面,每次分配一个page,并为之创建映射


注:这里的rbtree有两颗,一颗是vmap_area_root,用于管理使用的vmalloc空间的vmap_area;另一个是free_vmap_area_root只存放描述空闲vmalloc空间的vmap_area,上述__get_vm_area_node遍历时将遍历free_vmap_area_root,而将使用的vmap_area加入到vmap_area_root



|- -__get_vm_area_node

__get_vm_area_node
|--struct vmap_area *va
| struct vm_struct *area
|--area = kzalloc_node(sizeof(*area), gfp_mask & GFP_RECLAIM_MASK, node)
|--va = alloc_vmap_area(size, align, start, end, node, gfp_mask)
|--setup_vmalloc_vm(area, va, flags, caller)

kzalloc_node分配struct vm_struct结构体用于描述这个vmalloc区域

alloc_vmap_area在vmalloc整个区域(VMALLOC_START~VMALLOC_END)查找一块大小合适且没有使用的vmalloc空间


|- - -alloc_vmap_area

alloc_vmap_area(size, align, start, end, node, gfp_mask)
|--struct vmap_area *va
|--va = kmem_cache_alloc_node(vmap_area_cachep, gfp_mask, node)
|--addr = __alloc_vmap_area(size, align, vstart, vend)//从红黑树查找满足要求的vmalloc区间
| |--va = find_vmap_lowest_match(size, align, vstart)
|--va->va_start = addr //如果没有找到则在最后一块vmalloc区间开辟新的vmalloc区域
| va->va_end = addr + size
| va->vm = NULL
|--insert_vmap_area(va, &vmap_area_root, &vmap_area_list)

  1. kmem_cache_alloc_node
    从vmap_area_cachep的slab缓存分配一个struct vmap_area的slab对象

  2. __alloc_vmap_area
    由于vmap_area 用于描述一段vmalloc区域,所有空闲vmalloc区域由一颗红黑树free_vmap_area_root来管理,这颗红黑树以va->va_start升序排列,__alloc_vmap_area主要调用find_vmap_lowest_match从free_vmap_area_root.rb_node根节点开始查找,找到满足要求的起始地址最小的vmalloc区域,返回其对应的vmap_area, 如果没有找到这样的vmalloc区域,则在最后一块vmalloc区域的结束地址处开辟一个新的vmalloc区域,通过insert_vmap_area插入红黑树vmap_area_root


|- - -setup_vmalloc_vm

setup_vmalloc_vm(area, va, flags, caller)
|--setup_vmalloc_vm_locked(vm, va, flags, caller)
|--vm->flags = flags;
vm->addr = (void *)va->va_start;
vm->size = va->va_end - va->va_start;
vm->caller = caller;
va->vm = vm;

setup_vmalloc_vm将vm_struct和vmap_area关联起来


|- -__vmalloc_area_node

__vmalloc_area_node(area, gfp_mask, prot, node)
|--const gfp_t nested_gfp = (gfp_mask & GFP_RECLAIM_MASK) | __GFP_ZERO//计算gfp_mask
| unsigned int nr_pages = get_vm_area_size(area) >> PAGE_SHIFT//计算vmalloc分配的内存大小有几个page
| unsigned int array_size = nr_pages * sizeof(struct page *)
|--pages = kmalloc_node(array_size, nested_gfp, node)//为物理page指针分配空间
| area->pages = pages
| area->nr_pages = nr_pages
|--for (i = 0; i nr_pages; i++)
| page = alloc_pages_node(node, gfp_mask, 0)//通过buddy分配一个页面
| area->pages[i] = page //保存已分配的page指针
| if (gfpflags_allow_blocking(gfp_mask))
| cond_resched()
|--atomic_long_add(area->nr_pages, &nr_vmalloc_pages)
| /*为vmalloc区域分配的所有page创建映射,映射区为vmalloc映射区*/
\--map_kernel_range((unsigned long)area->addr, get_vm_area_size(area),prot, pages)

__vmalloc_area_node调用buddy系统来分配物理页面,每次分配一个page,并为之创建映射


参考文档

奔跑吧,Linux内核



推荐阅读
  • 本文探讨了如何使用pg-promise库在PostgreSQL中高效地批量插入多条记录,包括通过事务和单一查询两种方法。 ... [详细]
  • 本文详细介绍了Linux内核中misc设备驱动框架的实现原理及应用方法,包括misc设备的基本概念、驱动框架的初始化过程、数据结构分析以及设备的注册与注销流程。 ... [详细]
  • HDU 2871 内存管理问题(线段树优化)
    题目链接:http://acm.hdu.edu.cn/showproblem.php?pid=2871。本题涉及内存管理操作,包括重置、申请、释放和查询内存块。通过使用线段树进行高效管理和维护。 ... [详细]
  • 本文深入探讨了UNIX/Linux系统中的进程间通信(IPC)机制,包括消息传递、同步和共享内存等。详细介绍了管道(Pipe)、有名管道(FIFO)、Posix和System V消息队列、互斥锁与条件变量、读写锁、信号量以及共享内存的使用方法和应用场景。 ... [详细]
  • 本文深入探讨了 Delphi 中类对象成员的核心概念,包括 System 单元的基础知识、TObject 类的定义及其方法、TClass 的作用以及对象的消息处理机制。文章不仅解释了这些概念的基本原理,还提供了丰富的补充和专业解答,帮助读者全面理解 Delphi 的面向对象编程。 ... [详细]
  • 本文介绍了如何使用Java代码在Android设备上检测特定应用程序是否已安装。通过创建一个Intent并利用PackageManager查询该Intent的可用性来实现这一功能。 ... [详细]
  • 深入解析Android中的SQLite数据库使用
    本文详细介绍了如何在Android应用中使用SQLite数据库进行数据存储。通过自定义类继承SQLiteOpenHelper,实现数据库的创建与版本管理,并提供了具体的学生信息管理示例代码。 ... [详细]
  • 本文介绍如何从字符串中移除大写、小写、特殊、数字和非数字字符,并提供了多种编程语言的实现示例。 ... [详细]
  • 本文详细解释了为什么在成功执行移动赋值操作后,对象的析构函数会被调用,并提供了代码示例和详细的分析。 ... [详细]
  • Linux环境下进程间通信:深入解析信号机制
    本文详细探讨了Linux系统中信号的生命周期,从信号生成到处理函数执行完毕的全过程,并介绍了信号编程中的注意事项和常见应用实例。通过分析信号在进程中的注册、注销及处理过程,帮助读者理解如何高效利用信号进行进程间通信。 ... [详细]
  • 本题要求在一组数中反复取出两个数相加,并将结果放回数组中,最终求出最小的总加法代价。这是一个经典的哈夫曼编码问题,利用贪心算法可以有效地解决。 ... [详细]
  • CentOS 6.8 上安装 Oracle 10.2.0.1 的常见问题及解决方案
    本文记录了在 CentOS 6.8 系统上安装 Oracle 10.2.0.1 数据库时遇到的问题及解决方法,包括依赖库缺失、操作系统版本不兼容、用户权限不足等问题。 ... [详细]
  • 软件工程课堂测试2
    要做一个简单的保存网页界面,首先用jsp写出保存界面,本次界面比较简单,首先是三个提示语,后面是三个输入框,然 ... [详细]
  • java文本编辑器,java文本编辑器设计思路
    java文本编辑器,java文本编辑器设计思路 ... [详细]
  • KMP算法是一种高效的字符串模式匹配算法,能够在不进行回溯的情况下完成匹配,其时间复杂度为O(m+n),其中m和n分别为文本串和模式串的长度。本文将详细介绍KMP算法的工作原理,并提供C语言实现。 ... [详细]
author-avatar
mobiledu2502906817
这个家伙很懒,什么也没留下!
PHP1.CN | 中国最专业的PHP中文社区 | DevBox开发工具箱 | json解析格式化 |PHP资讯 | PHP教程 | 数据库技术 | 服务器技术 | 前端开发技术 | PHP框架 | 开发工具 | 在线工具
Copyright © 1998 - 2020 PHP1.CN. All Rights Reserved | 京公网安备 11010802041100号 | 京ICP备19059560号-4 | PHP1.CN 第一PHP社区 版权所有