Linux 深度探险
首页 死磕 Java 优质系列 Java 技术总览 Java 面试宝典 关于我

Linux内存管理 - zoned page frame allocator - 1

转
 2024-04-02  阅读(1)
©版权
原文作者：LoyenWang 原文地址： https://www.cnblogs.com/LoyenWang/p/11626237.html

背景

  • Read the fucking source code! --By 鲁迅
  • A picture is worth a thousand words. --By 高尔基

说明：

  1. Kernel版本：4.14
  2. ARM64处理器，Contex-A53，双核
  3. 使用工具：Source Insight 3.5， Visio

1. 介绍

之前的系列内存管理文章基本上描述的是物理页面的初始化过程，以及虚拟页面到物理页面的映射建立过程，从这篇文章开始，真正要涉及到页面的分配了。接下来的文章会围绕着分区页框分配器(zoned page frame allocator)来展开，其中会包含大家熟知的Buddy System分析。

本文会先围绕着涉及到的数据结构，以及大体的流程做一个整体的分析，后续会针对这个流程中的细节进行更详细的拆解，我已经迫不及待了。

2. 数据结构

2.1 概述

先回顾一下（五）Linux内存管理zone_sizes_init的数据结构图：

202404022325504871.png

上述的结构体，描述的是下面这张图：

202404022325507382.png

Node ---> ZONE ---> Page的组织关系，其中Buddy System中，页面都是以2的次幂来组织成链表，比如free_area[0]，对应的是1个page链表，其中又根据不同的MIGRATE_xxxx类型来组织，如下图：

202404022325510083.png

ARM64中MAX_ORDER默认值为11，PAGE_SIZE=4K，因此总共有0 ~ 1011个链表数组，链表中的连续的页面为2^0 ~ 2^10，对应大小为4K ~ 4M。

可以通过cat /proc/pagetypeinfo来查看下系统的页面信息，如下图：

202404022325512634.png

可以通过cat /proc/zoneinfo来查看Node的ZONE计数信息：

202404022325515855.png

2.2 Migrate类型

从上边的图中可以看到MIGRATE_xxx不同的迁移类型，表明页面的移动属性，并在可能的情况下通过将相同属性的页面分组在一起来抑制内存的连续碎片。

    enum migratetype {
    	MIGRATE_UNMOVABLE,
    	MIGRATE_MOVABLE,
    	MIGRATE_RECLAIMABLE,
    	MIGRATE_PCPTYPES,	/* the number of types on the pcp lists */
    	MIGRATE_HIGHATOMIC = MIGRATE_PCPTYPES,
    #ifdef CONFIG_CMA
    	/*
    	 * MIGRATE_CMA migration type is designed to mimic the way
    	 * ZONE_MOVABLE works.  Only movable pages can be allocated
    	 * from MIGRATE_CMA pageblocks and page allocator never
    	 * implicitly change migration type of MIGRATE_CMA pageblock.
    	 *
    	 * The way to use it is to change migratetype of a range of
    	 * pageblocks to MIGRATE_CMA which can be done by
    	 * __free_pageblock_cma() function.  What is important though
    	 * is that a range of pageblocks must be aligned to
    	 * MAX_ORDER_NR_PAGES should biggest page be bigger then
    	 * a single pageblock.
    	 */
    	MIGRATE_CMA,
    #endif
    #ifdef CONFIG_MEMORY_ISOLATION
    	MIGRATE_ISOLATE,	/* can't allocate from here */
    #endif
    	MIGRATE_TYPES
    };
  • MIGRATE_UNMOVABLE：无法移动和检索的类型，用于内核分配的页面，I/O缓冲区，内核堆栈等；
  • MIGRATE_MOVABLE：当需要大的连续内存时，通过移动当前使用的页面来尽可能防止碎片，用于分配用户内存；
  • MIGRATE_RECLAIMABLE：当没有可用内存时使用此类型；
  • MIGRATE_HIGHATOMIC：减少原子分配请求无法进行高阶页面分配的可能，内核会提前准备一个页面块；
  • MIGRATE_CMA：页面类型由CMA内存分配器单独管理；
  • MIGRATE_ISOLATE：内核会暂时更改为这种类型，以迁移使用中的系列活动页面；

2.3 __GFP_xxx请求标志（gfp_mask）

__GFP_xxx为内部使用的标志，在include/linux/gfp.h文件中，外部不应该使用这些Flag，这些标志在页面申请的时候使用，其中GFP表示get free page。

罗列部分如下：

  • __GFP_DMA：请求在ZONE_DMA区域中分配页面；
  • __GFP_HIGHMEM：请求在ZONE_HIGHMEM区域中分配页面；
  • __GFP_MOVABLE：ZONE_MOVALBE可用时在该区域分配页面，同时表示页面分配后可以在内存压缩时进行迁移，也能进行回收；
  • __GFP_RECLAIMABLE：请求分配到可恢复页面；
  • __GFP_HIGH：高优先级处理请求；
  • __GFP_IO：请求在分配期间进行I/O操作；
  • __GFP_FS：请求在分配期间进行文件系统调用；
  • __GFP_ZERO：请求将分配的区域初始化为0；
  • __GFP_NOFAIL：不允许请求失败，会无限重试；
  • __GFP_NORETRY：请求不重试内存分配请求；

2.4 ALLOC_xxxx分配标志（alloc_flags）

分配标志定义在mm/internal.h文件中，在页面的分配函数中与gfp_mask分开使用，这些标志时用于内部函数的分配。

  • ALLOC_WMARK_MIN：仅在最小水位water mark及以上限制页面分配；
  • ALLOC_WMARK_LOW：仅在低水位water mark及以上限制页面分配；
  • ALLOC_WMARK_HIGH：仅在高水位water mark及以上限制页面分配；
  • ALLOC_HARDER：努力分配，一般在gfp_mask设置了__GFP_ATOMIC时会使用；
  • ALLOC_HIGH：高优先级分配，一般在gfp_mask设置了__GFP_HIGH时使用；
  • ALLOC_CPUSET：检查是否为正确的cpuset；
  • ALLOC_CMA：允许从CMA区域进行分配；

2.5 struct alloc_context

在页面分配的过程中，有一个结构叫struct alloc_context，这个结构用于存储各个函数之间传递的参数。这种思想在平时的coding中是可以去借鉴的，比如有些人写代码很喜欢用全局变量，改成这种context的形式，在各个函数之间传递显得更为优雅。直接看代码吧：

    /*
     * Structure for holding the mostly immutable allocation parameters passed
     * between functions involved in allocations, including the alloc_pages*
     * family of functions.
     *
     * nodemask, migratetype and high_zoneidx are initialized only once in
     * __alloc_pages_nodemask() and then never change.
     *
     * zonelist, preferred_zone and classzone_idx are set first in
     * __alloc_pages_nodemask() for the fast path, and might be later changed
     * in __alloc_pages_slowpath(). All other functions pass the whole strucure
     * by a const pointer.
     */
    struct alloc_context {
    	struct zonelist *zonelist;
    	nodemask_t *nodemask;
    	struct zoneref *preferred_zoneref;
    	int migratetype;
    	enum zone_type high_zoneidx;
    	bool spread_dirty_pages;
    };
  • zonelist：用于分配页面的区域列表；
  • nodemask：指定Node，如果没有指定，则在所有节点中进行分配；
  • preferred_zone：指定要在快速路径中首先分配的区域，在慢路径中指定了zonelist中的第一个可用区域；
  • migratetype：要分配的迁移页面类型；
  • high_zoneidx：将分配限制为小于区域列表中指定的高区域；
  • spread_dirty_pages：脏区平衡相关；

3. build_all_zonelists

在上篇文章中描述到各个zone，实际上各个zone最终组织起来是在build_all_zonelists函数中实现的：

202404022325518556.png

整体完成的工作也比较简单，将所有Node中可用的zone全部添加到各个Node中的zonelist中，也就是对应的struct pglist_data结构体中的struct zonelist node_zonelists字段。

这一步之后，准备工作基本就绪，进行页面申请的工作就可以开始了。

4. alloc_pages

下面的流程开始真正的页面申请了，在内部的实现中通过__alloc_pages来实现的：

202404022325520757.png

在页面分配时，有两种路径可以选择，如果在快速路径中分配成功了，则直接返回分配的页面；快速路径分配失败则选择慢速路径来进行分配。

4.1 Fast Path

快速路径分配，是通过get_page_from_freelist来完成的，具体的流程及分析如下图所示：

202404022325523098.png

4.2 Slow Path

慢速路径分配，最终也会调用get_page_from_freelist，流程分析如下：

202404022325526429.png

2024040223255290410.png

Java 面试宝典是大明哥全力打造的 Java 精品面试题，它是一份靠谱、强大、详细、经典的 Java 后端面试宝典。它不仅仅只是一道道面试题，而是一套完整的 Java 知识体系，一套你 Java 知识点的扫盲贴。

它的内容包括：

  • 大厂真题：Java 面试宝典里面的题目都是最近几年的高频的大厂面试真题。
  • 原创内容：Java 面试宝典内容全部都是大明哥原创，内容全面且通俗易懂，回答部分可以直接作为面试回答内容。
  • 持续更新：一次购买，永久有效。大明哥会持续更新 3+ 年，累计更新 1000+，宝典会不断迭代更新，保证最新、最全面。
  • 覆盖全面：本宝典累计更新 1000+，从 Java 入门到 Java 架构的高频面试题，实现 360° 全覆盖。
  • 不止面试：内容包含面试题解析、内容详解、知识扩展，它不仅仅只是一份面试题，更是一套完整的 Java 知识体系。
  • 宝典详情：https://www.yuque.com/chenssy/sike-java/xvlo920axlp7sf4k
  • 宝典总览：https://www.yuque.com/chenssy/sike-java/yogsehzntzgp4ly1
  • 宝典进展：https://www.yuque.com/chenssy/sike-java/en9ned7loo47z5aw

目前 Java 面试宝典累计更新 400+ 道，总字数 42w+。大明哥还在持续更新中，下图是大明哥在 2024-12 月份的更新情况：

想了解详情的小伙伴，扫描下面二维码加大明哥微信【daming091】咨询

同时，大明哥也整理一套目前市面最常见的热点面试题。微信搜[大明哥聊 Java]或扫描下方二维码关注大明哥的原创公众号[大明哥聊 Java] ，回复【面试题】 即可免费领取。

阅读全文
文章标签： LinuxLinux 核心原理