malloc 背后的系统知识

素颜马尾好姑娘i 2022-06-10 01:47 154阅读 0赞

# malloc 背后的系统知识 #

2017/03/28 · [ IT技术][IT] · [malloc][], [ 内存管理][Link 1], [ 操作系统][Link 2]

分享到：          3

本文作者： [ 伯乐在线][Link 3] \- [legendtkl][] 。未经作者许可，禁止转载！  
欢迎加入伯乐在线 [ 专栏作者][Link 4]。

面试的时候经常会被问到 malloc 的实现。从操作系统层面来说，malloc 确实是考察面试者对操作系统底层的存储管理理解的一个很好的方式，涉及到虚拟内存、分页/分段等。下面逐个细说。

## 1. 虚拟内存 ##

首先需要知道的是程序运行起来的话需要被加载的物理内存中，具体到计算机硬件就是内存条。操作系统启动的时候先把自己加载到物理内存的固定位置（一般为底部），物理内存的其他位置就用来运行用户程序。程序就是一堆指令，程序运行可以简单抽象为把指令加载到内存中，然后 CPU 将指令从内存载入执行。

#### 1. 为什么需要虚拟内存？ ####

CPU 对内存的寻址最简单的方式就是直接使用物理内存地址，这种方式一般叫做物理寻址。早期的 PC 使用物理寻址，而且像数字信号处理器、嵌入式微控制器也使用物理寻址。物理寻址的好处是简单，坏处也有很多，比如：

**不安全**：操作系统的地址直接暴露给用户程序，用户程序可以破坏操作系统。这种解决方案是采用特殊的硬件保护。

**同时运行多个程序比较困难**：多个用户程序如果都直接引用物理地址，很容易互相干扰。那么是不是可以通过不断交换物理内存和磁盘来保证物理内存某一时间自由一个程序在运行呢？当时是可以的，但是这引入很多不必要和复杂的工作。

**用户程序大小受限**：受制于物理内存大小。我们现在的错觉是应用程序大小都小于物理内存，这主要是因为现在 PC 的物理内存都比较大。实际上只有 1G 物理内存的 PC 是可以运行 2G 的应用程序的。

![63918611ly1fe2cmt6eyuj20x20mm408.jpg][]

综合上面各种缺点，虚拟内存出现了。

#### 2. 虚拟内存概览 ####

虚拟内存的基本思想是：每个程序拥有独立的地址空间（也就是虚拟内存地址，或者称作虚拟地址），互不干扰。地址空间被分割成多个块，每一块称作一页（page），每一页有连续的地址范围。虚拟地址的页被映射到物理内存（通过 MMU，Memory Management Unit），但是并不是所有的页都必须在内存中才能运行程序。当程序引用到一部分在物理内存中的地址空间时，由硬件立刻执行必要的映射。当程序引用到一部分不在物理内存中的地址空间时，由操作系统负责将确实的部分装入物理内存。虚拟地址寻址（也叫做虚拟寻址）的示意图如下。

![63918611ly1fe2cmtn5dmj21a20n0ju1.jpg][]

#### 3.虚拟内存实现 ####

##### 1.虚拟内存大小 #####

一般是和 CPU 字长相关，比如 32 位对应的虚拟地址空间大小为：0 ~ 2^31。

##### 2. MMU #####

CPU 将虚拟地址发送给 MMU，然后 MMU 将虚拟地址翻译成物理地址，再寻址物理内存。那么虚拟地址和物理地址具体是怎么映射的呢？完成映射还需要另一个重要的数据结构的参与：**页表**（page table）。页表完成虚拟地址和物理地址的映射，MMU 每次翻译的时候都需要读取页表。页表的一种简单表示如下。

![63918611ly1fe2cmuafivj21f00sidkd.jpg][]

这里页大小为 p 位。虚拟内存的页和物理内存的页大小一样。虚拟地址的高 n-p 位，又叫做虚拟页号（Virtual Page Number, VPN），用来索引物理页号（Physical Page Number，PPN），最后将 PPN 和低 p 位组合在一起就得到了物理地址。

##### 3. 页表的两个问题 #####

前面说到用 VPN 来做页表索引，也就是说页表的大小为虚拟地址位数 / 页的大小。比如 32 位机器，页大小一般为 4K ，则页表项有 2^32 / 2^12 = 2^20 条目。如果机器字长 64 位，页表项就更多了。那么怎么解决呢？一般有两种方法：

1.  倒排页表。物理页号做索引，映射到多个虚拟地址。通过虚拟地址查找的时候就需要通过虚拟地址的中间几位来做索引了。
2.  多级页表。以两级页表为例。一级页表中的每个 PTE （page table entry）映射虚拟地址空间的一个 4MB 的片，每一片由1024 个连续的页面组成。一级 PTE 指向二级页表的基址。这样 32 位地址空间使用 1024 个一级 PTE 就可以表示。需要的二级页表总条目还是 2^32 / 2^12 = 2^20 个。这里的关键在于如果一级 PTE i 中的页面都未被分配，一级 PTE 就为空。多级页面的一个简单示意图如下。

![63918611ly1fe2cmv2ijkj21fg0xejy8.jpg][]

多级页表减少内存占用的关键在于：

1.  如果一级页表中的一个 PTE 为空，那么相应的二级页表就根本不会存在。这是一种巨大的潜在节约。
2.  只有一级页表才需要常驻内存。虚拟内存系统可以在需要时创建、页面调入或者调出二级页表，从而减轻内存的压力。

**第二个问题**是页表是在内存中，而 MMU 位于 CPU 芯片中，这样每次地址翻译可能都需要先访问一次内存中的页表（CPU L1,L2,L3 Cache Miss 的时候访问内存），效率非常低下。对应的解决方案是引入页表的高速缓存：TLB（Translation Lookaside Buffer）。加入 TLB，整个虚拟地址翻译的过程如下两图所示。

![63918611ly1fe2cmvwgvsj211s0suacr.jpg][]

![63918611ly1fe2cmwnrztj210o0tkad0.jpg][]

关于虚拟内存还有一些内容比如 page fault 处理，这里就不再赘述了。

## 2. 分段 ##

#### 1. 分段概述 ####

前面介绍了分页内存管理，可以说通过多级页表，TLB 等，分页内存管理方法已经相当不错了。那么分页有什么缺点呢？

1.  **共享困难**：通过共享页面来实现共享当然是可以的。这里的问题在于我们要保证页面上只包含可以共享的内容并不是一件容易的事儿，因为进程空间是直接映射到页面上的。这样一个页面上很可能包含不能共享的内容（比如既包含代码又包含数据，代码可以共享，而数据不能共享）。早期的 PDP-11 实现的一种解决方法是为指令和数据设置分离的地址空间，分别称为 I 空间和 D 空间（其实这已经和分段很像了）。
2.  **程序地址空间受限于虚拟地址**：我们将程序全部映射到一个统一的虚拟地址的问题在于不好扩张。不如我们程序的地址按先代码放在一起，然后把数据放在一起，然后再放 XXX，这样其中某一部分的空间扩张起来都会影响到相邻的空间，非常不方便。

上面的问题一个比较直观的解决方法是提供多个独立的地址空间，也就是段（segment）。每个段的长度视具体的段不同而不同，而且是可以在运行期动态改变的。因为每个段都构成了一个独立的地址空间，所以它们可以独立的增长或者减小而不会影响到其他的段。如果一个段比较大，把它整个保存到内存中可能很不方便甚至是不可能的，因此可以对段采用分页管理，只有那些真正需要的页面才会被调入内存。

![63918611ly1fe2cmxl8awj21c00zqwke.jpg][]

采用分段和分页结合的方式管理内存，一个地址由两个部分组成：段和段内地址。段内地址又进一步分为页号和页偏移。在进行内存访问时，过程如下：

1.  根据段号找到段描述符（存放段基址）。
2.  检查该段的页表是否在内存中。如果在，则找到它的位置，如果不在，则产生段错误。
3.  检查所请求的虚拟页面的页表项，如果该页面不在内存中则产生缺页中断，如果在内存中就从页表项中取出这个页面在内存中的起始地址。
4.  将页面起始地址和偏移量进行拼接得到物理地址，然后完成读写。

#### 2. 进程的段 ####

每个 Linux 程序都有一个运行时内存映像，也就是各个段的布局，简单如下图所示。

![63918611ly1fe2cmyge4ej211e0yigpy.jpg][]

注意上图只是一个相对位置图，实际上这些段并不是相邻的。主要的段包括只读代码段、读写段、运行时堆、用户栈。在分配栈、堆段运行时地址的时候，链接器会使用空间地址空间布局随机化（ASLR），但是相对位置不会变。上图中 .data 等是对应进程中的不同数据的 section ，或者叫做节。简介如下。

*  .text: 已编译程序的机器代码。
 *  .rodata: 只读数据。
 *  .data: 已初始化的全局和静态变量。局部变量保存在栈上。
 *  .bss: 未初始化的全局和静态变量，以及所有被初始化为 0 的全局或者静态变量。在目标文件中这个节不占据实际的空间，它仅仅是一个占位符。

## 3. malloc 实现 ##

#### 1. 堆内存管理 ####

我们常说的 malloc 函数是 glibc 提供的库函数。glibc 的内存管理使用的方法是 ptmalloc，除此之后还有很多其他内存管理方案，比如 tcmalloc （golang 使用的就是 tcmalloc）。

ptmalloc 对于申请内存小于 128KB 时，分配是在堆段，使用系统调用 brk() 或者 sbrk()。如果大于 128 KB 的话，分配在映射区，使用系统调用 mmap()。

#### 2. brk, sbrk ####

在堆段申请的话，使用系统调用 ***brk*** 或者 ***sbrk***。

int brk(const void \*addr); void \*sbrk(intptr\_t incr);

<table> 
 <tbody> 
  <tr> 
   <td> 
    <div style="font-size:13px!important; line-height:15px!important"> 
     <div>
       1 
     </div> 
     <div>
       2 
     </div> 
    </div> </td> 
   <td> 
    <div style=""> 
     <div> 
      <span>int</span> 
      <span> </span> 
      <span>brk</span> 
      <span>(</span> 
      <span>const</span> 
      <span> </span> 
      <span>void</span> 
      <span> </span> 
      <span>*</span> 
      <span>addr</span> 
      <span>)</span> 
      <span>;</span> 
     </div> 
     <div> 
      <span>void</span> 
      <span> </span> 
      <span>*</span> 
      <span>sbrk</span> 
      <span>(</span> 
      <span>intptr_t </span> 
      <span>incr</span> 
      <span>)</span> 
      <span>;</span> 
     </div> 
    </div> </td> 
  </tr> 
 </tbody> 
</table>

***brk*** 将 brk 指针放置到指定地址处，成功返回 0，否则返回 -1。***sbrk*** 将 brk 指针向后移动指定字节，返回依赖于系统实现，或者返回移动前的 brk 位置，或者返回移动后的 brk 位置。下面使用 ***sbrk*** 实现一个巨简单的 malloc。

void \*malloc(size\_t size) \{ void \*p = sbrk(0); void \*request = sbrk(size); if (request == (void\*) -1) \{ return NULL; // sbrk failed. \} else \{ assert(p == request); // Not thread safe. return p; \} \}

<table> 
 <tbody> 
  <tr> 
   <td> 
    <div style="font-size:13px!important; line-height:15px!important"> 
     <div>
       1 
     </div> 
     <div>
       2 
     </div> 
     <div>
       3 
     </div> 
     <div>
       4 
     </div> 
     <div>
       5 
     </div> 
     <div>
       6 
     </div> 
     <div>
       7 
     </div> 
     <div>
       8 
     </div> 
     <div>
       9 
     </div> 
     <div>
       10 
     </div> 
    </div> </td> 
   <td> 
    <div style=""> 
     <div> 
      <span>void</span> 
      <span> </span> 
      <span>*</span> 
      <span>malloc</span> 
      <span>(</span> 
      <span>size_t </span> 
      <span>size</span> 
      <span>)</span> 
      <span> </span> 
      <span>{ </span> 
     </div> 
     <div> 
      <span>&nbsp;&nbsp;&nbsp;&nbsp;</span> 
      <span>void</span> 
      <span> </span> 
      <span>*</span> 
      <span>p</span> 
      <span> </span> 
      <span>=</span> 
      <span> </span> 
      <span>sbrk</span> 
      <span>(</span> 
      <span>0</span> 
      <span>)</span> 
      <span>;</span> 
     </div> 
     <div> 
      <span>&nbsp;&nbsp;&nbsp;&nbsp;</span> 
      <span>void</span> 
      <span> </span> 
      <span>*</span> 
      <span>request</span> 
      <span> </span> 
      <span>=</span> 
      <span> </span> 
      <span>sbrk</span> 
      <span>(</span> 
      <span>size</span> 
      <span>)</span> 
      <span>;</span> 
     </div> 
     <div> 
      <span>&nbsp;&nbsp;&nbsp;&nbsp;</span> 
      <span>if</span> 
      <span> </span> 
      <span>(</span> 
      <span>request</span> 
      <span> </span> 
      <span>==</span> 
      <span> </span> 
      <span>(</span> 
      <span>void</span> 
      <span>*</span> 
      <span>)</span> 
      <span> </span> 
      <span>-</span> 
      <span>1</span> 
      <span>)</span> 
      <span> </span> 
      <span>{ </span> 
     </div> 
     <div> 
      <span>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</span> 
      <span>return</span> 
      <span> </span> 
      <span>NULL</span> 
      <span>;</span> 
      <span> </span> 
      <span>// sbrk failed.</span> 
     </div> 
     <div> 
      <span>&nbsp;&nbsp;&nbsp;&nbsp;</span> 
      <span>}</span> 
      <span> </span> 
      <span>else</span> 
      <span> </span> 
      <span>{ </span> 
     </div> 
     <div> 
      <span>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</span> 
      <span>assert</span> 
      <span>(</span> 
      <span>p</span> 
      <span> </span> 
      <span>==</span> 
      <span> </span> 
      <span>request</span> 
      <span>)</span> 
      <span>;</span> 
      <span> </span> 
      <span>// Not thread safe.</span> 
     </div> 
     <div> 
      <span>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</span> 
      <span>return</span> 
      <span> </span> 
      <span>p</span> 
      <span>;</span> 
     </div> 
     <div> 
      <span>&nbsp;&nbsp;&nbsp;&nbsp;</span> 
      <span>}</span> 
     </div> 
     <div> 
      <span>}</span> 
     </div> 
    </div> </td> 
  </tr> 
 </tbody> 
</table>

#### 3. mmap ####

linux 系统调用 mmap 将一个文件或者其它对象映射进内存。

\#include <sys/mman.h> void \*mmap(void \*addr, size\_t length, int prot, int flags, int fd, off\_t offset);

<table> 
 <tbody> 
  <tr> 
   <td> 
    <div style="font-size:13px!important; line-height:15px!important"> 
     <div>
       1 
     </div> 
     <div>
       2 
     </div> 
     <div>
       3 
     </div> 
    </div> </td> 
   <td> 
    <div style=""> 
     <div> 
      <span>#include &lt;sys/mman.h&gt;</span> 
     </div> 
     <div>
       &nbsp; 
     </div> 
     <div> 
      <span>void</span> 
      <span> </span> 
      <span>*</span> 
      <span>mmap</span> 
      <span>(</span> 
      <span>void</span> 
      <span> </span> 
      <span>*</span> 
      <span>addr</span> 
      <span>,</span> 
      <span> </span> 
      <span>size_t </span> 
      <span>length</span> 
      <span>,</span> 
      <span> </span> 
      <span>int</span> 
      <span> </span> 
      <span>prot</span> 
      <span>,</span> 
      <span> </span> 
      <span>int</span> 
      <span> </span> 
      <span>flags</span> 
      <span>,</span> 
      <span> </span> 
      <span>int</span> 
      <span> </span> 
      <span>fd</span> 
      <span>,</span> 
      <span> </span> 
      <span>off_t </span> 
      <span>offset</span> 
      <span>)</span> 
      <span>;</span> 
     </div> 
    </div> </td> 
  </tr> 
 </tbody> 
</table>

mmap 的 flags 可选多种参数，当选择 **MAP\_ANONYMOUS** 时，不需要传入文件描述符，malloc 使用的就是 **MAP\_ANONYMOUS** 模式。mmap 申请的内存在操作系统的映射区。比如 32 位系统，映射区从 3G 虚拟地址粗向下生长，但是因为程序的其他段也会占用空间（比如代码段必须以特定的地址开始），所以并不能申请 3G 的大小。

#### 4. malloc 和物理内存有关系吗？ ####

可以说没关系，malloc 申请的地址是线性地址，申请的时候并没有进行映射。访问到的时候触发缺页异常，这个时候才会进行物理地址映射。

#### 5. ptmalloc ####

ptmalloc 只是 glibc 使用的内存管理策略，篇幅有限，这里就不细说了。我之前写了一篇 tcmalloc 的介绍，大家可以对比着看。

## 4. 参考： ##

1.  《深入理解计算机系统》
2.  《现代操作系统》
3.  StackOverFlow
4.  [mmap manpage][]
5.  [tcmalloc 介绍][tcmalloc]
6.  [a malloc tutorial][]
7.  [malloc manpage][]
8.  [understanding glibc malloc][]
9.  [advanced memory allocation][]

> **打赏支持我写出更多好文章，谢谢！**
> 
> 打赏作者

#### 打赏支持我写出更多好文章，谢谢！ ####

任选一种支付方式

![b03d5bb72b850a921d20ad80361670dd.png][] ![17a0083fd0a2e91432eeeeae5e4e94a9.jpg][]

1 赞 9 收藏 评论

### 关于作者：[legendtkl][] ###

[![8fbdaaa5ea6d3b49c8c1c825aafeb5d9.png][]][legendtkl]

团战可以输，影魔必须死！博客：<a href="www.legendtkl.com"> Don't Panic </a> | 新浪微博：<a href="http://weibo.com/1825030801">@...  [个人主页][legendtkl] · [ 我的文章][Link 5] · [ 14][14] · [ ][Link 6]

[![bfdcef89gy1ffhg3psj2yj20h803cgm9.jpg][]][bfdcef89gy1ffhg3psj2yj20h803cgm9.jpg 1]

[IT]: http://blog.jobbole.com/category/it-tech/
[malloc]: http://blog.jobbole.com/tag/malloc/
[Link 1]: http://blog.jobbole.com/tag/%e5%86%85%e5%ad%98%e7%ae%a1%e7%90%86/
[Link 2]: http://blog.jobbole.com/tag/%e6%93%8d%e4%bd%9c%e7%b3%bb%e7%bb%9f/
[Link 3]: http://blog.jobbole.com
[legendtkl]: http://www.jobbole.com/members/legendtkl
[Link 4]: http://blog.jobbole.com/99322
[63918611ly1fe2cmt6eyuj20x20mm408.jpg]: /images/20220610/04f2aff3144547268b044b65801e1063.png
[63918611ly1fe2cmtn5dmj21a20n0ju1.jpg]: /images/20220610/34e5aa8b32d04cbb972ce81108858d9a.png
[63918611ly1fe2cmuafivj21f00sidkd.jpg]: /images/20220610/d2aafb8943604ad493a5794f2b224b89.png
[63918611ly1fe2cmv2ijkj21fg0xejy8.jpg]: /images/20220610/ab5a89e350e6483d9193b872fc715f5e.png
[63918611ly1fe2cmvwgvsj211s0suacr.jpg]: /images/20220610/c43d5b1ad89148bc899e69c70bb9857e.png
[63918611ly1fe2cmwnrztj210o0tkad0.jpg]: /images/20220610/42a9b29b40ad4f708489dfd024bfde36.png
[63918611ly1fe2cmxl8awj21c00zqwke.jpg]: /images/20220610/1f1114a644c14810a2c35406b3656761.png
[63918611ly1fe2cmyge4ej211e0yigpy.jpg]: /images/20220610/dee371d88d9d4a7cbfc1b3d9db08809b.png
[mmap manpage]: http://man7.org/linux/man-pages/man2/mmap.2.html
[tcmalloc]: http://legendtkl.com/2015/12/11/go-memory/
[a malloc tutorial]: http://www.inf.udec.cl/~leo/Malloc_tutorial.pdf
[malloc manpage]: http://man7.org/linux/man-pages/man3/malloc.3.html
[understanding glibc malloc]: https://sploitfun.wordpress.com/2015/02/10/understanding-glibc-malloc/
[advanced memory allocation]: http://www.linuxjournal.com/article/6390
[b03d5bb72b850a921d20ad80361670dd.png]: http://jbcdn2.b0.upaiyun.com/2016/08/b03d5bb72b850a921d20ad80361670dd.png
[17a0083fd0a2e91432eeeeae5e4e94a9.jpg]: /images/20220610/9862fbdf1c2e4caaad3d3bfb6edbc3e8.png
[8fbdaaa5ea6d3b49c8c1c825aafeb5d9.png]: /images/20220610/be65171e2d324052a7c02bcb524187d7.png
[Link 5]: http://blog.jobbole.com/author/legendtkl/
[14]: http://www.jobbole.com/members/legendtkl/reputation/
[Link 6]: http://www.legendtkl.com
[bfdcef89gy1ffhg3psj2yj20h803cgm9.jpg]: /images/20220610/9d50c248f3e84336bd9a87cd84512489.png
[bfdcef89gy1ffhg3psj2yj20h803cgm9.jpg 1]: http://group.jobbole.com/22945/