C/C++|malloc分配内存详解

news2024/9/21 14:24:57

看本节前,希望读者有linux内存分布的基本概念,可以阅读这篇文章:
进程虚拟地址空间和函数调用栈

在本节中希望读者可以一口气阅读完所有内容。
本博客内容全部来自小林coding:malloc 是如何分配内存的?
这里仅为笔记记录。

文章目录

  • malloc是如何分配内存的?
    • 通过 brk() 系统调用
    • 通过mmap()申请内存
  • ⭐️malloc()分配的是物理内存吗?
  • ⭐️malloc()竟然会构建内存池!
  • free释放内存,会马上归还给操作系统吗?
  • 即然 brk 那么好,为什么不全部使用brk来分配?

malloc是如何分配内存的?

首先我们要明确一点,malloc() 并不是系统调用,而是 C 库里的函数,用于动态分配内存。
同时调用mlloc也并不一定会陷入内核态。

malloc申请内存会以两种方式向操作系统申请堆内存:

  • 通过 brk() 系统调用从堆分配内存
  • 通过 mmap() 系统调用在文件映射区域分配内存

通过 brk() 系统调用

brk()的实现方式就是将「堆顶」指针向高地址移动,获得新的内存空间。

并且malloc()源码中默认定义了阈值,如果用户分配内存小于128KB则通过brk()申请内存。

通过mmap()申请内存

mmap() 系统调用通过「私有匿名映射」的方式,在文件映射区分配一块内存,也就是从文件映射区“偷”了一块内存。如下图:

在操作文件时,我们一般通过 open() 打开文件,然后使用 mmap() 将文件内容直接映射到虚拟内存上,这样我们就可以像操作内存一样操作文件的内容,这一块区域就是文件映射区。

如果用户分配的内存大于 128 KB,则通过 mmap() 申请内存;

不同的gilbc版本定义的阈值也是不同的

⭐️malloc()分配的是物理内存吗?

这个答案很明显,malloc分配的是虚拟内存,但是下一句话更加重要!

如果分配后的虚拟内存没有被访问的话,虚拟内存是不会映射到物理内存的,这样就不会占用物理内存了。

  1. 在访问已分配的虚拟地址空间的时候,操作系统通过查找页表,发现虚拟内存对应的页没有在物理内存中;
  2. 就会触发缺页中断
  3. 然后操作系统会建立虚拟内存和物理内存之间的映射关系

⭐️malloc()竟然会构建内存池!

malloc() 在分配内存的时候,会预分配更大的空间作为内存池

也就是说,当我们调用brk()系统调用申请堆内存,仍然会为我们分配超过128KB字节的内存。即使你 malloc()的内存远小于128k也是一样。

为什么malloc要使用内存池来进行管理呢?

  1. 提高效率:内存池预先分配一大块内存,然后在需要时从中分配小块,减少了频繁调用系统级别的内存分配开销(brk()\mmap())「每次调用 sbrk 或 mmap 时,程序需要从用户态切换到内核态,这个切换过程本身就有一定的开销;陷入内核态也涉及到了系统需要更新内存管理的数据结构,如页表和内存分配表,需要额外的时间;再一个,为了保证内存分配的线程安全,内核需要处理同步和锁管理,增加了开销」。

现在你还觉得每次调用malloc都会陷入内核态吗?

  1. 减少了内存碎片,内存池通过组织和管理内存块,能更好地利用内存空间,减少内存碎片,提高内存使用率。
  2. 快速释放和重用,跟第一点一样,在池内管理,避免了系统调用的高开销。

free释放内存,会马上归还给操作系统吗?

看了malloc竟然开辟了内存池,你觉得free会把内存归还给操作系统吗?

这里直接说结论:

通过 free 释放内存后,堆内存还是存在的,并没有归还给操作系统。当然,当进程退出后,操作系统就会回收进程的所有资源。


但是!

如果我们使用mmap方式申请内存,free释放内存后就会马上归还操作系统。

总结:

  • malloc 通过 brk() 方式申请的内存,free 释放内存的时候,并不会把内存归还给操作系统,而是缓存在 malloc 的内存池中,待下次使用;
  • malloc 通过 mmap() 方式申请的内存,free 释放内存的时候,会把内存归还给操作系统,内存得到真正的释放。

即然 brk 那么好,为什么不全部使用brk来分配?

我们考虑这样一个场景:

如果我们连续申请了 10k,20k,30k 这三片内存,如果 10k 和 20k 这两片释放了,变为了空闲内存空间,如果下次申请的内存小于 30k,那么就可以重用这个空闲内存空间。

但是如果下次申请的内存大于 30k,没有可用的空闲内存空间,必须向 OS 申请,实际使用内存继续增大。

因此,随着系统频繁地 malloc 和 free ,尤其对于小块内存,堆内将产生越来越多不可用的碎片,导致“内存泄露”。而这种“泄露”现象使用 valgrind 是无法检测出来的

所以,malloc 实现中,充分考虑了 brk 和 mmap 行为上的差异及优缺点,默认分配大块内存 (128KB) 才使用 mmap 分配内存空间。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/1696798.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

基于docxtpl的模板生成Word

docxtpl是一个用于生成Microsoft Word文档的模板引擎库。它结合了docx模块和Jinja2模板引擎,使用户能够使用Microsoft Word模板文件并在其中填充动态数据。这个库提供了一种方便的方式来生成个性化的Word文档,并支持条件语句、循环语句和变量等控制结构&…

Mycat+Mysql搭建数据集群实现数据分片存储

前言 MyCAT介绍 * 一个彻底开源的,面向企业应用开发的“大数据库集群”; * 支持事务、ACID、可以替代MySQL的加强版数据库; * 一个可以视为“MySQL”集群的企业级数据库,用来替代昂贵的Oracle集群; * 一个融合内存缓存技术、Nosql技术、HDFS大数据的新型SQL; * 一个新颖…

天诚公租房/人才公寓WiFi人脸识别物联网智能门锁解决方案

人才是引领城市高质量发展的重要因素,城市要想吸纳人才的保障便是人才公寓。近年来,全国各地一二三线城市都在大力建设人才公寓,集聚菁英人才,倾力打造人才高地。 一、人才公寓如火如荼建设 2023年底,山东德州提出三年…

安装termux遇到的问题-逍遥模拟器

问题一 做一次更新即可解决问题,pkg update 问题二 sshd:no hostkeys available -- exiting. 尝试了网上提供的方法 ssh-keygen -t rsa -f /data/data/com.termux/files/usr/etc/ssh/ssh_host_rsa_key ssh-keygen -t dsa -f /data/data/com.termux/…

iOS swift5 提示信息显示,提示弹框,第三方框架XHToastSwift

文章目录 1.github地址(亲测好用)2.源代码 1.github地址(亲测好用) XHToastSwift - github 2.源代码 XHToast.swift // // XHToast.swift // XHToastSwiftExample // // Created by xiaohui on 16/8/12. // Copyright © 2016年 CoderZhuXH. All rights reserved. …

坦克飞机大战游戏开发:深入解析角色与功能类创建

新书上架~👇全国包邮奥~ python实用小工具开发教程http://pythontoolsteach.com/3 欢迎关注我👆,收藏下次不迷路┗|`O′|┛ 嗷~~ 目录 一、角色创建概览 角色属性与方法的实现 二、公用类与功能性类的封装 公用类的特点与应用…

建设现代智能工业-智能化、数字化、自动化节能减排

建设现代智能工业-智能化节能减排 遵循“一体化”能源管理(Integrated Energy Management)的设计宗旨,集成城市各领域(如工业.交通、建筑等)的能源生产和消费信息,面向城市政府、企业、公众三类实体,提供“一体化”的综合能源管理…

河道流量监测解决方案

河道流量监测解决方案 河道流量的远程监测是现代水资源管理与防洪减灾体系中的关键技术环节,它依赖于物联网(Internet of Things, IoT)技术的深度整合与应用,旨在实现对河流水文动态的实时、准确、高效监测。该解决方案不仅提升了…

嵌入式实时操作系统笔记2:UCOS基础知识_UC/OS-III移植(STM32F4)_编写简单的UC/OS-III任务例程(失败.....)

今日学习嵌入式实时操作系统RTOS:UC/OS-III实时操作系统 本文只是个人学习笔记备忘用,附图、描述等 部分都是对网上资料的整合...... 文章主要研究如何将UC/OS-III 移植到 STM32 F407VET6上,提供测试工程下载 (2024.5.21 文章未…

上门服务系统开发|东邻到家系统|上门服务系统开发流程

上门服务小程序的开发流程是一个复杂且精细的过程,涉及到需求分析、设计规划、开发实施、测试验收以及上线运营等多个环节。下面将详细介绍上门服务小程序的开发流程,帮助读者全面了解并掌握其中的关键步骤。 一、需求分析 在开发上门服务小程序之前&am…

北核论文完美复现:自适应t分布与动态边界策略改进的算术优化算法

声明:文章是从本人公众号中复制而来,因此,想最新最快了解各类智能优化算法及其改进的朋友,可关注我的公众号:强盛机器学习,不定期会有很多免费代码分享~ 目录 原始算术优化算法 改进点1:引入…

Java进阶学习笔记22——泛型方法、通配符和上下限

泛型方法: package cn.ensource.d11_generics_method;public class Test {public static void main(String[] args) {// 泛型方法String res test("Java");System.out.println(res);Dog dog1 test(new Dog());System.out.println(dog1);}// 泛型方法pub…

python考试成绩管理与分析:从列表到方差

新书上架~👇全国包邮奥~ python实用小工具开发教程http://pythontoolsteach.com/3 欢迎关注我👆,收藏下次不迷路┗|`O′|┛ 嗷~~ 目录 一、考试成绩的输入与列表管理 二、成绩的总分与平均成绩计算 三、成绩方差的计算 四、成…

基于Rsoft的Fullwave仿真模块进行双芯波导能量耦合与波分复用

Rsoft中的Fullwave仿真模块可以更精确的仿真微小结构,按照建立模型,设置参数,监测能量,优化结构的思路对其进行仿真。图1是在Fullwave模块中建立的双芯波导仿真模型。在模型中设置好折射率、光源、光路、监测器等便可以进行仿真。…

mysql实战——XtraBackup二进制包安装

1、二进制包下载网站 Software Downloads - Percona 2、安装xtrabackup 解压安装包 tar xvf percona-xtrabackup-8.0.27-19-Linux-x86_64.glibc2.17.tar.gz -C /usr/local 进入目录 cd percona-xtrabackup-8.0.27-19-Linux-x86_64.glibc2.17/ 安装依赖 yum install perl-Dig…

平安养老险陕西分公司:举办“贺司庆·员工橙心面对面”活动

为践行新价值文化与“三省”推广,平安养老险陕西分公司以集团36周年司庆为契机结合“员工聆听计划”指引要求,举办“贺司庆,员工橙心面对面”活动。 活动邀请西北大学公共管理学院高阳教授为分公司员工带来生动有趣的《压力管理新科学》心理课…

gdc2024:Raytracing in Snowdrop技术实现与性能优化策略

在今年的GDC(游戏开发者大会)的Advanced Graphics Summit上,关于Snowdrop引擎中光线追踪技术的讨论引起了广泛关注。 一、光线追踪全局照明的实现细节 屏幕空间追踪: 屏幕空间追踪从相机出发,对屏幕上的每个像素点生成…

搭建企业级AI应用的流程

搭建企业级AI应用的流程是一个复杂且系统化的工程,它需要从多个维度出发,确保最终的应用既符合企业的业务需求,也具备高效、稳定和可扩展的特性。以下是详细的步骤: 初步接触与需求分析是整个项目的基础。在这一阶段,我…

STM32 DMA配置库函数

单片机学习! 目录 1. DMA_DeInit 2. DMA_Init 3. DMA_StructInit 4. DMA_Cmd 5. DMA_ITConfig 6. DMA_SetCurrDataCounter 7. DMA_GetCurrDataCounter 8. 获取/清除函数 8.1 DMA_GetFlagStatus 8.2 DMA_ClearFlag 8.3 DMA_GetITStatus 8.4 DMA_ClearITP…

【调试笔记-20240526-Linux-在 OpenWrt-23.05 发行版上安装 cloudreve】

调试笔记-系列文章目录 调试笔记-20240526-Linux-在 OpenWrt-23.05 发行版上安装 cloudreve 文章目录 调试笔记-系列文章目录调试笔记-20240526-Linux-在 OpenWrt-23.05 发行版上安装 cloudreve 前言一、调试环境操作系统:Windows 10 专业版调试环境调试目标 二、调…