malloc底层实现

malloc 本质是一个"用户态内存管理器" 它向操作系统批量要内存brk / mmap),然后在用户态 把这些内存切块、复用、合并、回收

从你调用 malloc 开始发生了什么?

cpp 复制代码
void* p = malloc(100);

真实流程大概是:

**malloc(100)

glibc 的 ptmalloc

  1. 在进程已有的堆中找合适的空闲块
  2. 找不到 → 向 OS 申请新内存
    ├─ 小块:brk 扩展堆
    └─ 大块:mmap 映射匿名内存**

重点
malloc 不是每次都系统调用,绝大多数是用户态完成的。

进程的"堆"长什么样?

低地址
┌────────────┐
│ text/code │
├────────────┤
│ data/bss │
├────────────┤
│ heap │ ← brk 向上增长
│ │
├────────────┤
│ ... │
├────────────┤
│ stack │ ← 向下增长
└────────────┘
高地址

heap 是 malloc 主要活动区域

brk() / sbrk() 扩展

连续虚拟地址

glibc malloc 的核心实现:ptmalloc

Linux 下默认是 ptmalloc

目标 解释
尽量 O(1)
少碎片 合并、分级
多线程友好 arena
减少系统调用 批量申请

malloc 管理的"内存块"结构

┌───────────────────────┐
│ prev_size (可选) │
├───────────────────────┤
│ size | flags │ ← 是否空闲 / mmap
├───────────────────────┤
│ 用户数据区 │ ← malloc 返回的指针
│ │
├───────────────────────┤
│ (空闲时) fd / bk │ ← 双向链表指针
└───────────────────────┘

size 字段里藏了"位标志"

size = 实际大小 | PREV_INUSE | IS_MMAPPED | ...
malloc 能 O(1) 合并相邻 free 块,靠的就是这些 flag。

free 链表 & bin 体系

glibc 用 多级 bin 管理不同大小的内存块。

fastbin

很小的内存(≤ 64B 左右)

单向链表 free

不合并,直接塞进去

极快,但容易产生碎片

small bin

精确大小分类

双向链表

free 时可以合并

large bin(大块)

按大小范围分

近似 best-fit

适合 1KB~128KB

unsorted bin

所有 free 的块先放这里

复制代码
free()
  ↓
unsorted bin
  ↓
malloc 时再决定进哪个 bin
减少 bin 操作开销

malloc 的查找策略

malloc(n) 的步骤

malloc(n) 的步骤

对齐 + 最小块大小修正

优先查:

fastbin

small bin

找不到:从 unsorted bin 拆

还没有:

large bin

再不行:

向 OS 要内存

什么时候用 brk?什么时候用 mmap?

申请大小 方式
小块 brk(堆)
大块 mmap

mmap 的特点

独立虚拟内存区

free 直接 munmap

不污染堆

避免堆碎片

相关推荐
大明者省6 小时前
WSL2 Ubuntu22.04 GPU训练环境配置指南
人工智能·算法·计算机视觉
白狐_7987 小时前
408数据结构第8章:排序②——性质对比秒杀、场景选择与外部排序
java·数据结构·算法
zander2588 小时前
LeetCode 84:柱状图中的最大矩形——单调栈如何确定左右边界
java·数据结构·算法
Shell运维手记8 小时前
Linux 常用基础命令学习笔记
linux·运维·笔记·学习·算法·github
杨航 AI8 小时前
O(n log n):线性对数原理拆解 这个是排序算法的黄金复杂度之一。
算法·排序算法
船厂电气自动化ai大模型9 小时前
AI大模型与数学 第32课 函数凹凸性与二阶导数:拐点求解、凹凸区间计算(10道二阶导数计算题)
数据结构·人工智能·python·深度学习·算法
旖旎夜光9 小时前
LeetCode 3:无重复字符的最长子串(滑动窗口) —— 题解
数据结构·c++·算法·leetcode·滑动窗口
叠层归一研究院10 小时前
AGI 系统(十一):二阶网络 — 二阶递归 × 多主体 (元符号网络)
开发语言·人工智能·算法·php·agi
zlinear数据采集卡11 小时前
D223的PWM电机控制:6路独立脉冲+加减速算法深度解析
arm开发·stm32·嵌入式硬件·算法·fpga开发·架构
杨石兴11 小时前
31、玩具MoM:用2x2矩阵串起全套流程
人工智能·算法·矩阵·电磁学