• Linux下brk、sbrk实现一个简易版本的malloc


    目录

    一.内存四区回顾

    二.brk、sbrk

    三.使用brk、sbrk模拟实现malloc和free


    一.内存四区回顾

    • 程序代码区:该区域在程序运行时存放程序的二进制代码。

    全局数据区:该区域主要存放全局变量,静态变量和各种常量。

    • 堆:堆用于在程序运行时动态分配内存,比如new一个新的对象,或者malloc一个新数组,就是在堆中分配存储空间的,一般由程序员手动控制,但也容易造成内存泄漏。
    • 栈:该区域主要存放程序运行时函数的参数与局部变量等,当程序员完成某个软件的编译时,一般该软件对应内存栈的大小也就由编译器确定了,但直到程序真正运行时,操作系统才会在内存栈中为其分配空间

    二.brk、sbrk

    下面让我们一起来看看brk和sbrk的函数原型

    1. #include
    2. int brk(void *addr);
    3. void *sbrk(intptr_t increment);

    sbrk/brk都是通过增量的方式来分配虚拟内存。首先我们先来解释一下这个sbrk函数,sbrk函数当中的increment的取值有三种情况

    1.大于0增加内存空间

    2.等于0获取末尾地址

    3.小于0释放空间

    函数返回值:返回上一调用brk/sbrk后末尾地址,失败返回-1.

    sbrk其实内部维护了一个指针,指向当前堆内存的最后一个字节的下一个位置,sbrk函数根据增量参数调整该指针原来的位置如果发现页耗尽了,则会自动追加或者取消页映射

    下面我们来通过一张简图来看看sbrk是如何实现分配内存的

    下面我们调用sbrk申请四个字节的空间那么此时top就会往右边移动四个字节(假设地址从左往右依次递增)

     

     如果我们此时再调用sbrk(0)那么此时返回的就是top'指向的地址。如果我们想要释放这块空间此时我们需要调用sbrk(-4)即可。此时top'指针就回到了top所指向的位置。sbrk这种分配内存空间的方式也就意味着,无法做到释放任意申请的空间比如说我们依次申请了3次4个字节的空间,此时我们无法通过sbrk释放中间这块空间。

    下面我们通过代码进行演示一下,sbrk的函数的使用:

    1. #include
    2. #include
    3. #include
    4. #include
    5. using namespace std;
    6. int main()
    7. {
    8. char*ptr1=(char*)sbrk(1);//申请一个字节大小的空间
    9. printf("ptr1的地址为:%p\n",ptr1);
    10. void*ptr2=sbrk(0);//获取动态内存的末尾位置
    11. printf("ptr2的地址为:%p\n",ptr2);
    12. int *ptr3=(int*)sbrk(4);
    13. printf("ptr3的地址为:%p\n",ptr3);
    14. return 0;
    15. }

    运行结果:

     2.下面我们来看一下brk这个函数,同样的这个函数也是通过增量分配虚拟内存

        brk函数内部维护了一个指针指向当前堆内存最后一个字节的下一个位置这一点和sbrk很相似。 

        brk函数会根据指针参数设置该指针的位置,如果发现页耗尽则自动追加或者取消映射

       函数返回值:成功返回0,失败返回-1

       由于这个非常的简单再这里就不演示代码了。

    总结:

    1.sbr/brk通过增量方式管理动态内存,申请内存是在动态内存后面申请,释放是从后往前释放不能够选择性的释放增量动态内存,只能从后往前释放动态内存。

    2.一般来说我们使用sbrk来分配内存,使用brk来释放内存,这是因为使用sbrk来释放内存我们需要记住我们之前申请了多少大小的空间

    3.sbrk/brk都有申请和释放动态内存的功能

    三.使用brk、sbrk模拟实现malloc和free

    在模拟实现一个简易版本的malloc和free之前,需要说明一下在这里我们只是模拟和真实的malloc的区别很大。我们在使用malloc的时候,比如说我们申请了4个字节的大小但是在底层真的只是分配了4个字节的大小吗?下面给出一张图来解释一下大致是个什么情况

     我们在使用malloc进行申请内存的时候并不是你申请了多少个字节,底层给你分配多少个字节。你申请空间的时候会多分配一个控制块空间的大小用来管理。malloc的底层采用的是双向链表的方式来进行管理。在这里我们使用单链表来进行模拟

    下面我们来看一下这个控制块是什么样子的

    1. //malloc底层维护的是一个双向链表,再这里我们用单向链表来模拟
    2. //注意我们只是模拟和真实的malloc有很大的区别
    3. struct mem_control_block
    4. {
    5. size_t size_;//动态内存块的大小、
    6. bool free_;//该内存块是否被使用,为true则代表可以分配给用户使用
    7. mem_control_block*prev;//前一个控制块的指针
    8. };

    下面我们来看看这个malloc的模拟实现:

    1. struct mem_control_block
    2. {
    3. size_t size_; //动态内存块的大小、
    4. bool free_; //该内存块是否被使用,为true则代表可以分配给用户使用
    5. mem_control_block *prev; //前一个控制块的指针
    6. };
    7. typedef mem_control_block MCB;
    8. MCB *g_top = nullptr; //维护的那个指针
    9. #define MCBSIZE sizeof(MCB)
    10. void *my_malloc(size_t size)
    11. {
    12. //注意第一步需要从后往前找用没有合适的内存可以分配,没有开辟新的内存,真正的malloc是从前往后找
    13. MCB *mcb = g_top;
    14. while (mcb)
    15. {
    16. if (mcb->size_ >= size)
    17. {
    18. break;
    19. }
    20. mcb = mcb->prev;
    21. }
    22. if (mcb == nullptr) //之前的空间当中没有合适的控制块
    23. {
    24. mcb = (MCB *)sbrk(size + MCBSIZE);
    25. if (mcb == (void *)-1)
    26. {
    27. return nullptr;
    28. }
    29. mcb->size_ = size;
    30. mcb->prev = g_top;
    31. g_top = mcb;
    32. }
    33. mcb->free_ = false; //已经分配给用户了
    34. return (void *)(mcb + 1); //返回可用的地址
    35. }

    注意:我们申请空间的时候不是直接调用sbrk函数直接来申请,而是需要遍历一下有没有合适的空间可以分配给用户,如果没有我们才调用sbrk函数进行分配空间,注意在分配空间的时候我们需要把控制块的空间也算上。在这里我们是通过单链表进行链接。

    下面我们来看看free的模拟实现是怎么样的

    1. void my_free(void *ptr)
    2. {
    3. if (ptr == nullptr)
    4. return;
    5. MCB *mcb = (MCB *)ptr - 1;
    6. mcb->free_ = true;
    7. //如果很多连续的动态内存释放了此时我们需要还给系统
    8. mcb = g_top;
    9. while (mcb->prev && mcb->free_)
    10. {
    11. //从最后往前找最后一块被使用的内存
    12. mcb = mcb->prev;
    13. }
    14. if (mcb->free_)
    15. {
    16. //释放内存
    17. g_top = mcb->prev;
    18. brk(mcb);
    19. }
    20. else //后面的可以释放但是mcb这块内存是不能够释放的
    21. {
    22. g_top = mcb;
    23. brk((char *)mcb + mcb->size_ + MCBSIZE);
    24. }
    25. }

    注意我们在释放内存的时候不是直接将它的控制块当中的free_置为true,我们需要从后往前遍历一下看一下有没有一骗连续的内存空间可以释放。如果有我们则将这一块连续的空间通过brk函数归还给OS。

    对应总代码:

    1. #include
    2. using namespace std;
    3. #include
    4. #include
    5. // malloc底层维护的是一个双向链表,再这里我们用单向链表来模拟
    6. //注意我们只是模拟和真实的malloc有很大的区别
    7. struct mem_control_block
    8. {
    9. size_t size_; //动态内存块的大小、
    10. bool free_; //该内存块是否被使用,为true则代表可以分配给用户使用
    11. mem_control_block *prev; //前一个控制块的指针
    12. };
    13. typedef mem_control_block MCB;
    14. MCB *g_top = nullptr; //维护的那个指针
    15. #define MCBSIZE sizeof(MCB)
    16. void *my_malloc(size_t size)
    17. {
    18. //注意第一步需要从后往前找用没有合适的内存可以分配,没有开辟新的内存,真正的malloc是从前往后找
    19. MCB *mcb = g_top;
    20. while (mcb)
    21. {
    22. if (mcb->size_ >= size)
    23. {
    24. break;
    25. }
    26. mcb = mcb->prev;
    27. }
    28. if (mcb == nullptr) //之前的空间当中没有合适的控制块
    29. {
    30. mcb = (MCB *)sbrk(size + MCBSIZE);
    31. if (mcb == (void *)-1)
    32. {
    33. return nullptr;
    34. }
    35. mcb->size_ = size;
    36. mcb->prev = g_top;
    37. g_top = mcb;
    38. }
    39. mcb->free_ = false; //已经分配给用户了
    40. return (void *)(mcb + 1); //返回可用的地址
    41. }
    42. void my_free(void *ptr)
    43. {
    44. if (ptr == nullptr)
    45. return;
    46. MCB *mcb = (MCB *)ptr - 1;
    47. mcb->free_ = true;
    48. //如果很多连续的动态内存释放了此时我们需要还给系统
    49. mcb = g_top;
    50. while (mcb->prev && mcb->free_)
    51. {
    52. //从最后往前找最后一块被使用的内存
    53. mcb = mcb->prev;
    54. }
    55. if (mcb->free_)
    56. {
    57. //释放内存
    58. g_top = mcb->prev;
    59. brk(mcb);
    60. }
    61. else //后面的可以释放但是mcb这块内存是不能够释放的
    62. {
    63. g_top = mcb;
    64. brk((char *)mcb + mcb->size_ + MCBSIZE);
    65. }
    66. }
    67. int main()
    68. {
    69. int *p1 = (int *)my_malloc(4);
    70. int *p2 = (int *)my_malloc(4);
    71. int *p3 = (int *)my_malloc(4);
    72. cout << p2 << endl;
    73. my_free(p2);
    74. int *p4 = (int *)my_malloc(4);
    75. cout << p4 << endl;
    76. return 0;
    77. }

  • 相关阅读:
    微服务治理新篇章:Eureka中细粒度策略管理实现
    19.组合模式(Composite)
    【Leetcode】1381. Design a Stack With Increment Operation
    京东面试:说说你对ByteBuf的理解
    TiDB Lightning 并行导入
    聊聊 RocketMQ 名字服务
    一种多引擎可视化数据流实现方案
    【操作系统】维持进程间互斥和同步的工具——PV操作
    (C语言)strcat函数详解与模拟实现与strncat函数详解
    DialogFragment方便地完成自定义弹窗
  • 原文地址:https://blog.csdn.net/qq_56999918/article/details/127112904