0

0

实现 malloc() 和 free() — 分割大块

聖光之護

聖光之護

发布时间:2024-12-31 17:30:39

|

1030人浏览过

|

来源于php中文网

原创

实现 malloc() 和 free() — 分割大块

上一篇文章探讨了内存块重用顺序对内存消耗的影响,并优化了函数以减少浪费。然而,另一个更严重的问题依然存在:一个巨大的内存块可能会占据多个小块本可利用的空间。例如,分配一大块内存,释放后,再分配两个更小的块:

<code class="c">void *ptr1 = abmalloc(128);
void *ptr2 = abmalloc(8);
abfree(ptr1);
void *ptr3 = abmalloc(8);
void *ptr4 = abmalloc(8);</code>

这时,128字节的空闲块无法被8字节的请求利用,导致后续8字节块分配需要再次扩展堆,造成内存利用率低下。

解决这个问题,一种高效但复杂的方法是使用“bins”:按大小分组的块列表。另一种更简单的方案是将大块分割成更小的块。本文采用后者。

代码重构

首先,对代码进行轻微重构。header_new() 函数同时负责分配内存和初始化块头,这不利于代码的可读性和维护性。我们将它拆分成两个函数:

  • header_plug():将已初始化的块插入到前一个和下一个块之间。
  • header_init():初始化块的元数据(大小和可用性)。

它们分别如下:

<code class="c">void header_init(header *header, size_t size, bool available) {
    header->size = size;
    header->available = available;
}

void header_plug(header *header, header *previous, header *next) {
    header->previous = previous;
    if (previous != NULL) {
        previous->next = header;
    }
    header->next = next;
    if (next != NULL) {
        next->previous = header;
    }
}</code>

header_new() 函数修改如下:

<code class="c">header *header_new(header *previous, size_t size, bool available) {
    header *header = sbrk(sizeof(header) + size);
    header_init(header, size, available);
    header_plug(header, previous, NULL);
    return header;
}</code>

abmalloc() 函数中 last->previous->next = last; 这行可以删除,因为 header_plug() 现在负责处理此逻辑。)

分割内存块

接下来,实现 header_split() 函数。给定一个块头和所需最小大小,如果原始块足够大,则将其分割成两部分:

  • 所需大小的块;
  • 剩余部分及其新的块头;

首先,检查块是否足够大:

<code class="c">header *header_split(header *header, size_t size) {
    size_t original_size = header->size;
    if (original_size >= size + sizeof(header)) {</code>

如果足够大,则分割块。首先,减小当前块的大小:

Summarizer
Summarizer

基于 AI 的文本段落摘要生成器

下载
<code class="c">        header->size = original_size - size - sizeof(header);</code>

计算新块的指针:

<code class="c">        header *new_header = (header + 1) + header->size; // Corrected pointer calculation</code>

初始化新块的头:

<code class="c">        header_init(new_header, size, true);</code>

将新块连接到链表:

<code class="c">        header_plug(new_header, header, header->next);</code>

如果原始块是最后一个块,更新 last 指针:

<code class="c">        if (header == last) {
            last = new_header;
        }</code>

返回新块:

<code class="c">        return new_header;
    } else {
        return header;
    }
}</code>

更新 abmalloc()

最后,修改 abmalloc() 函数,在找到可用块后,调用 header_split() 尝试分割它:

<code class="c">if (header->available && (header->size >= size)) {
    header = header_split(header, size);
    header->available = false;
    return (void*)(header + 1); // Cast to void* for correct return type
}</code>

如果块可以分割,则返回新块;否则,返回原始块。

关于块分割的说明

需要注意的是,新块是在原始块的末尾创建的。虽然也可以在开头创建,但在末尾创建新块可以使新的空闲块更靠近旧块,提高下次 abmalloc() 调用的效率。

分割大块内存是改进内存管理的一步,但它也可能导致小块内存碎片化,从而导致更大的请求需要扩展堆。下一篇文章将探讨如何解决这个问题。

热门AI工具

更多
DeepSeek
DeepSeek

幻方量化公司旗下的开源大模型平台

豆包大模型
豆包大模型

字节跳动自主研发的一系列大型语言模型

WorkBuddy
WorkBuddy

腾讯云推出的AI原生桌面智能体工作台

腾讯元宝
腾讯元宝

腾讯混元平台推出的AI助手

文心一言
文心一言

文心一言是百度开发的AI聊天机器人,通过对话可以生成各种形式的内容。

讯飞写作
讯飞写作

基于讯飞星火大模型的AI写作工具,可以快速生成新闻稿件、品宣文案、工作总结、心得体会等各种文文稿

即梦AI
即梦AI

一站式AI创作平台,免费AI图片和视频生成。

ChatGPT
ChatGPT

最最强大的AI聊天机器人程序,ChatGPT不单是聊天机器人,还能进行撰写邮件、视频脚本、文案、翻译、代码等任务。

相关专题

更多
堆和栈的区别
堆和栈的区别

堆和栈的区别:1、内存分配方式不同;2、大小不同;3、数据访问方式不同;4、数据的生命周期。本专题为大家提供堆和栈的区别的相关的文章、下载、课程内容,供大家免费下载体验。

448

2023.07.18

堆和栈区别
堆和栈区别

堆(Heap)和栈(Stack)是计算机中两种常见的内存分配机制。它们在内存管理的方式、分配方式以及使用场景上有很大的区别。本文将详细介绍堆和栈的特点、区别以及各自的使用场景。php中文网给大家带来了相关的教程以及文章欢迎大家前来学习阅读。

606

2023.08.10

TypeScript类型系统进阶与大型前端项目实践
TypeScript类型系统进阶与大型前端项目实践

本专题围绕 TypeScript 在大型前端项目中的应用展开,深入讲解类型系统设计与工程化开发方法。内容包括泛型与高级类型、类型推断机制、声明文件编写、模块化结构设计以及代码规范管理。通过真实项目案例分析,帮助开发者构建类型安全、结构清晰、易维护的前端工程体系,提高团队协作效率与代码质量。

70

2026.03.13

Python异步编程与Asyncio高并发应用实践
Python异步编程与Asyncio高并发应用实践

本专题围绕 Python 异步编程模型展开,深入讲解 Asyncio 框架的核心原理与应用实践。内容包括事件循环机制、协程任务调度、异步 IO 处理以及并发任务管理策略。通过构建高并发网络请求与异步数据处理案例,帮助开发者掌握 Python 在高并发场景中的高效开发方法,并提升系统资源利用率与整体运行性能。

109

2026.03.12

C# ASP.NET Core微服务架构与API网关实践
C# ASP.NET Core微服务架构与API网关实践

本专题围绕 C# 在现代后端架构中的微服务实践展开,系统讲解基于 ASP.NET Core 构建可扩展服务体系的核心方法。内容涵盖服务拆分策略、RESTful API 设计、服务间通信、API 网关统一入口管理以及服务治理机制。通过真实项目案例,帮助开发者掌握构建高可用微服务系统的关键技术,提高系统的可扩展性与维护效率。

326

2026.03.11

Go高并发任务调度与Goroutine池化实践
Go高并发任务调度与Goroutine池化实践

本专题围绕 Go 语言在高并发任务处理场景中的实践展开,系统讲解 Goroutine 调度模型、Channel 通信机制以及并发控制策略。内容包括任务队列设计、Goroutine 池化管理、资源限制控制以及并发任务的性能优化方法。通过实际案例演示,帮助开发者构建稳定高效的 Go 并发任务处理系统,提高系统在高负载环境下的处理能力与稳定性。

62

2026.03.10

Kotlin Android模块化架构与组件化开发实践
Kotlin Android模块化架构与组件化开发实践

本专题围绕 Kotlin 在 Android 应用开发中的架构实践展开,重点讲解模块化设计与组件化开发的实现思路。内容包括项目模块拆分策略、公共组件封装、依赖管理优化、路由通信机制以及大型项目的工程化管理方法。通过真实项目案例分析,帮助开发者构建结构清晰、易扩展且维护成本低的 Android 应用架构体系,提升团队协作效率与项目迭代速度。

105

2026.03.09

JavaScript浏览器渲染机制与前端性能优化实践
JavaScript浏览器渲染机制与前端性能优化实践

本专题围绕 JavaScript 在浏览器中的执行与渲染机制展开,系统讲解 DOM 构建、CSSOM 解析、重排与重绘原理,以及关键渲染路径优化方法。内容涵盖事件循环机制、异步任务调度、资源加载优化、代码拆分与懒加载等性能优化策略。通过真实前端项目案例,帮助开发者理解浏览器底层工作原理,并掌握提升网页加载速度与交互体验的实用技巧。

108

2026.03.06

Rust内存安全机制与所有权模型深度实践
Rust内存安全机制与所有权模型深度实践

本专题围绕 Rust 语言核心特性展开,深入讲解所有权机制、借用规则、生命周期管理以及智能指针等关键概念。通过系统级开发案例,分析内存安全保障原理与零成本抽象优势,并结合并发场景讲解 Send 与 Sync 特性实现机制。帮助开发者真正理解 Rust 的设计哲学,掌握在高性能与安全性并重场景中的工程实践能力。

236

2026.03.05

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
10分钟--Midjourney创作自己的漫画
10分钟--Midjourney创作自己的漫画

共1课时 | 0.1万人学习

Midjourney 关键词系列整合
Midjourney 关键词系列整合

共13课时 | 1.0万人学习

AI绘画教程
AI绘画教程

共2课时 | 0.2万人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号