百度360必应搜狗淘宝本站头条
当前位置:网站首页 > 技术文章 > 正文

不了解NUMA,就看不懂Linux内核

gudong366 2025-05-20 22:37 12 浏览

哈喽,我是子牙,一个很卷的硬核男人


深入研究计算机底层、Windows内核、Linux内核、Hotspot源码……聚焦做那些大家想学没地方学的课程。为了保证课程质量及教学效果,一年磨一剑,三年先后做了这些课程:手写JVM、手写OS、带你用纯汇编写OS、手写64位多核OS、实战Linux内核…


最近在备课《实战Linux内核》内存专题,把NUMA好好研究了一下,写成文章,Mark一下,顺便分享给有缘人


NUMA是什么呢?一种内存访问架构,与它相对应的是SMP架构,它俩之间有什么区别呢?既然有了SMP架构,又为什么会出现NUMA架构呢?等下解释


回到这篇文章的主题,为什么我说不深入理解NUMA,就看不懂Linux内核?因为Linux内核的内存模块是基于NUMA架构设计的,而几乎所有的内核模块,都是基于内存模块起家的。你可能要问:那SMP架构怎么办?等下会讲到


关于NUMA,我研究了哪些呢:

  1. Linux内核是如何取到所有的NUMA节点的信息的?为此我还在我之前写的64位多核操作系统上把代码写出来了,才得以真正理解,等下展示给大家看。所以我说,你只有有能力写一个Linux内核,你才有能力自己去研究Linux内核,才能真正玩明白,否则只能听别人告诉你!
  2. CPU个数、CPU核、CPU线程与NUMA节点之间的关系
  3. Linux内核在当前NUMA节点内存不足的时候,会去相邻节点分配内存,相邻节点的定义标准是什么?
  4. 每个NUMA节点都是从地址0开始的吗?还是跟SMP架构是一样的,每个NUMA节点占一段内存,那每个NUMA节点占多少内存呢?是平均分配吗?还是可以配置?那如何配置呢?
  5. Linux内核中的ZONE_DMA、ZONE_DMA32、ZONE_NORMAL、ZONE_HIGHMEM与NUMA节点又是怎样的关系?
  6. Linux内核中的内存空洞(unused hole)到底是什么?


以下,enjoy


NUMA vs SMP

先来点铺垫知识,让我们在此处达成共识


我们平时接触的设备都是SMP架构,只有一个内存节点,所有CPU通过总线访问内存

那NUMA架构呢?每个CPU有其直接访问的内存,当前CPU能直接访问的内存不够时,还可以去兄弟节点分配内存,这就是Linux内核中讲的去相邻节点分配内存

这个有点像Java虚拟机hotspot中的TLAB,线程私有内存(堆),解决高并发。NUMA实现的是CPU私有内存。毕竟一个是虚拟机,一个是硬件本身,解决问题的维度就不同。所以你看,思想是相通的


那什么样的设备用NUMA架构呢

有了SMP架构,为什么还要NUMA架构,因为SMP架构下,所有的核都要通过总线去访问内存,为了支持高并发,我们一般都要用到CPU提供的原子指令,原子指令的底层一般是通过锁总线或者CPU缓存实现的。


我们就拿锁总线来理解,比如CPU0要原子访问内存,其他CPU核就无法访问内存,可以想象在高并发场景下,这样的硬件性能如何。只要有一个核要访问内存,其他核都要等待,直到那个核释放总线


总结一下:SMP架构简单,但是在CPU核特别多的场景下,原子访问内存的开销很大,所以衍生了NUMA架构。一般新的技术是为了解决旧技术存在的问题,同时带来的是更高的复杂性。


Linux2.6内核被看成是Linux内核发展的里程碑,因为这个版本引入了很多新特性,NUMA也是这个版本引入的。你对比看下2.6前后的内核源码,你会发现2.6以后的内存模块的代码,对比之前的,要复杂很多很多。接下来我们就来讲讲,Linux内核是如何支持NUMA的


NUMA在Linux中的存在形式

来张可以说明一切的图

在Linux内核中,每个NUMA节点用结构体pglist_data来描述。那SMP架构呢?Linux内核会当成只要一个NUMA节点来处理

图中的ZONE_DMA、ZONE_DMA32、ZONE_NORMAL又是什么?这就要说到64位Linux内核要兼容硬件、32位等各种兼容问题,所以将内存拆成了一个一个的zone,理解这个对Linux内核非常非常重要

什么是DMA,你可以理解成主板提供的一种机制,能够在CPU不参与的情况下读写数据,大大节省了CPU的性能。有些主板提供的DMA只能访问低16M内存,所以有ZONE_DMA,有些32位主板提供的DMA能够访问4G以内的内存,所以有ZONE_DMA32。


32位CPU开启PAE的情况下,能够访问的物理内存超过4G,29912分页下,最多可访问的物理内存是64G,因此设立了ZONE_HIGHMEM。这个区域只在32位Linux内核中存在,4G-64G内存在这个ZONE中。16M-4G之间的内存,就是ZONE_NORMAL区域


看下64位Linux内核中存在的Zone


再看下32位Linux内核中存在的Zone。你觉得为什么没有ZONE_DMA32呢?留言区告诉我你的答案


最后看下Linux内核中,我的启动参数如下

我设置的机器有4个CPU,两个NUMA节点,每个NUMA节点的内存容量是2.5G


看下NUMA节点0的ZONE_DMA,看zone_start_pfn、spanned_pages,内存范围是从1-0xffffff,图中显示的是页数,要乘以4096才是真实的内存大小

按理说这个访问应该是0-0xffffff,为什么是从1开始的,我问了下chatgpt


看下NUMA节点0的ZONE_DMA32,你是不是想问这些数据是怎么来的,等下就会讲到


NUMA节点1的ZONE_DMA,是空的。言外之意就是在NUMA架构中,每个CPU访问的内存不是从0开始的,是在前面的NUMA节点中的内存累加过来的

NUMA节点1的ZONE_DMA32

NUMA节点1的ZONE_NORMAL


我本来试图找一篇类似的文章也像我这样把这些东西讲清楚,真是找遍了都找不到,才发现,大家对Linux内核的理解,绝大多数都只是纸上谈兵而已!


数据怎么来的

我们自实现操作系统,或者是Linux内核、Windows内核,都需要获取到内存条的信息,那谁有这些信息呢?主板


主板提供了e820功能让操作系统内核可以获取到内存信息,其中flag=2的区域就是所谓的内存空洞


在NUMA架构下,e820功能返回的数据过于简单了,无法支持Linux内核支持NUMA架构,就需要通过ACPI获取到最正宗的NUMA信息


对比前面贴的Linux内核中各个ZONE的数据,是不是几乎一样呢?


这篇文章,应该是你看过的把Linux内核与NUMA讲的最透彻的文章吧!创作不易,能不能麻烦各位帮忙分享一下


如果你也想像我一样,能够自由使用各种技术、自由研究各种问题而不用等着别人告诉你答案……你得有能力写一个操作系统内核。

相关推荐

linux sed系列 第四篇:sed工业实战——日志处理与数据清洗

“掌握了sed的编程能力后,我们如同装备精良的工匠,终于可以踏入真实的工业战场。本篇将聚焦sed在日志分析、数据合规化、多文件批处理等场景中的应用,看它如何在海量数据中游刃有余,展现文本处理的...

Linux下sed的简单使用(linux中sed是什么意思)

1、sed简介stremeditor流编辑器,它是一项Linux指令,功能同awk类似,差别在于,sed简单,对列处理的功能要差一些,awk的功能复杂,对列处理的功能比较强大,sed编辑器是一行一...

linux基础命令之date命令(linux中的date)

date命令主要用于显示或者设置系统时间语法格式:date参数对象使用date命令时,最好先使用date--help命令查看支持哪些参数,有些小型Linux系统下的date命令,只支持一些基本参...

Ubuntu linux 常用命令(ubuntu常用的50个命令)

使用dpkg命令来安装.deb包。sudodpkg-i~/example.deb如果在安装过程中遇到依赖问题,可以使用以下命令来修复:sudoapt-getinstall-f将flut...

Linux基础命令-sed命令(linux教程:sed命令的用法)

Sed全名streameditor流编辑器,它是一个强大的文本处理工具,它可以从文件中接受输入,也可以接受来自标准输入流的输入,它擅长取行。Sed的用途非常广泛,包括:1)文本替换2)选择性的输...

linux sed系列 第二篇:sed进阶技巧——地址定位与正则表达式

“上一篇我们掌握了sed的基础替换,如同获得了第一把钥匙。现在,让我们更进一步,学习如何精准锁定目标行,如同拥有了导航地图,让每一次操作都直击要害!”地址定位的四种维度sed的强大,很大程度上源...

火狐Firefox浏览器140发布:手动Unload标签页、优化翻译体验等

IT之家6月24日消息,Mozilla在发布版本139不到一个月后,推出了最新的开源网页浏览器Firefox140。新版本增加了手动Unload标签页的功能,优化了垂直标签页的调...

Linux 基本正则表达式及扩展正则表达式功能举例

在Linux中,正则表达式(RegularExpression)是一种强大的模式匹配工具,用于在文本中查找、匹配和处理特定模式的字符串。Linux支持两种类型的正则表达式:基本正则表达式(Basic...

linux下find命令的经典26个使用示例

简介find命令是基于unix的操作系统中常用的工具之一。顾名思义,它在目录层次结构中查找文件和目录。用户可以传递不同的参数,并根据文件的名称、扩展名、类型、大小、权限、修改时间、所有者、组等搜索文件...

linux运维中特殊符号的应用与实践

路径位置类的特殊符号(1)、波浪线(~)在linux系统的命令行中,~表示用户的家目录,超级用户为/root,普通用户为/home。假设我当前目录在usr/local下[root@xrylocal]...

开源框架log4cpp实战(开源gui框架)

1.Log4cpp使用Log4cpp中主要包含Category(种类),Appender(附加器),Layout(布局),Priorty(优先级),NDC(嵌套的诊断上下文)。Category、App...

Linux find命令详解(linux find -l)

一、命令介绍Linuxfind命令是类unix操作系统中最重要和最常用的命令行实用程序之一。find命令用于根据指定的条件搜索和定位与参数匹配的文件和目录列表。find命令提供了广泛的选项,允许用户...

Linux运维:单引号与双引号的使用(linux 单引号和双引号)

1、单引号的使用单引号可以将它中间的所有任意字符还原为字面意义,实现屏蔽Shell元字符的功能。注意不可以在两个单引号中间单独插入一个单引号,单引号必须成对出现。示例1:定义一个变量,并输出变量的...

Linux技巧:find 命令用法详细说明,看完会有收获

在Linux命令中,find是比较复杂难用的命令。使用该命令搜索文件时,常常发现自己找了一些例子能用,但稍微改一下条件,就搜不到想要的结果。下面会以一些实例来说明使用find命令的关键要点和...

Linux Shell中单引号、双引号、反引号的解释

1、单引号('')单引号所见即所得,直接显示单引号里的内容。即单引号里的任何字符都会原样输出,单引号字符串中的变量是无效的。比如下面的例子,单引号所见即所得。2、双引号("...