有关标准库首先简要malloc其原理:
    标准库内部通过一个双向链表。管理在堆中动态分配的内存。

    malloc函数分配内存时会附加若干(一般是12个)字节,存放控制信息。

    该信息一旦被意外损坏,可能在兴许操作中引发异常。


mmap/munmap   底层不维护不论什么东西,仅仅是返回一个首地址,所分配内存位于堆中

brk/sbrk   底层维护一个指针,记录所分配的内存结尾,所分配内存位于堆中,底层调用mmap/munmap。



malloc   底层维护一个双向链表和必要的控制信息,不可越界訪问。所分配内存位于堆中,底层调用brk/sbrk。



每一个进程都有4G的虚拟内存空间。虚拟内存地址仅仅是一个数字,并没有和实际的物理内存相关联。



所谓内存分配与释放,其本质就是建立或取消虚拟内存和物理内存间的映射关系


几个用到的函数:
void*
sbrk
(

    intptr_t  increment // 内存增量(以字节为单位)

);
返回上次调用brk/sbrk后的末尾地址,失败返回-1。
increment取值:



0 - 获取末尾地址。



>0 - 添加内存空间。



<0 - 释放内存空间。



内部维护一个指针。指向当前堆内存最后一个字节的下一个位置。

sbrk函数依据增量參数调整该指针的位置,同一时候返回该指针原来的位置。

若发现页耗尽或空暇。则自己主动追加或取消页映射。

int
brk
(
   void* end_data_segment // 内存块末尾地址

);



成功返回0。失败返回-1。

内部维护一个指针,指向当前堆内存最后一个字节的下一个位置。

brk函数依据指针參数设置该指针的位置。

若发现页耗尽或空暇。则自己主动追加或取消页映射。


sbrk/brk底层维护一个指针位置,以页(4K)为单位分配和释放虚拟内存。

简便起见,可用sbrk分配内存。用brk释放内存

#include <stdio.h>
#include <unistd.h>
#include <stdbool.h>
typedef struct mem_control_block //内存控制块
{
bool free; //自由标志
struct mem_control_block* prev; //前向指针
size_t size; //块大小
}MCB;
MCB* g_top; //内存栈顶指针 // +----------------------+ g_top
// v | |
// +------+------------+--|---+------------+------+------------+
// | prev | | prev | | prev | |
// | free | | free | | free | |
// | size | | size | | size | |
// +------+------------+------+------------+------+------------+
// MCB |<-- size -->| void* my_malloc(size_t size)
{
MCB* mcb;
for(mcb = g_top; mcb; mcb = mcb->prev)
if(mcb->free && mcb->size >= size)//寻找可用空块
break;
if(!mcb) //假设没有可用空块
{
mcb = sbrk(sizeof(MCB) + size); //增量分配size大小内存
if(mcb == (void*)-1) //假设分配失败,打印错误信息
{
perror("sbrk");
return NULL;
}
mcb->prev = g_top; //调整前向指针
mcb->size = size; //大小
g_top = mcb; //调整栈顶指针
}
mcb->free = false; //不管用原来空块还是新分配的块,都标记为不可用
return mcb + 1; //返回实际分配的内存起始地址
}
void my_free(void* ptr)
{
if(!ptr)
return; MCB* mcb = (MCB*)ptr - 1; //取控制块起始地址,
//注意:ptr为实际可用内存起始地址
mcb->free = true; //块标记为可用 //在栈中查找连续内存块
for(mcb = g_top; mcb->prev; mcb = mcb->prev)
if(!mcb->free)
break;
//释放整个栈全部内存块
if(mcb->free)
{
g_top = mcb->prev;
brk(mcb); //改动内存块末尾地址
}
else //释放连续的标记为true的内存块
{
g_top = mcb;
brk((void*)mcb + sizeof(MCB) + mcb->size);
}
}
//測试
int main(void)
{
int* pa[10];
size_t size = sizeof(pa) / sizeof(pa[0]), i, j;
for(i = 0; i < size; ++i)
{
if(!(pa[i] = (int*)my_malloc((i+1) * sizeof(int))))
{
perror("my_malloc");
return -1;
}
for(j = 0; j <= i; ++j)
pa[i][j] = j;
}
for(i = 0; i < size; ++i)
{
for(j = 0; j <= i; ++j)
printf("%d ", pa[i][j]);
printf("\n");
}
for(;;)
{
my_free(pa[--i]);
if(! i)
break;
}
return 0;
}

版权声明:本文博主原创文章,博客,未经同意不得转载。

malloc,free简单的实现的更多相关文章

  1. new与malloc

    首先将new与malloc的区别总结如下: 1 new可以自动计算需要分配多大的内存,而malloc必须指明. 2 new返回的指针是有类型的,malloc返回void*类型的指针. 3 new在分配 ...

  2. 简单来谈谈alloc分配器

    之前说道alloc是原G2.9版本的默认的分配器,这篇就把alloc的原理梳理梳理,顺便简单介绍下有关的内存管理. 一般而言,我们通常习惯的内存分配操作和释放操作是这样的: class Foo {…} ...

  3. 从内部入手,浅谈malloc和new的区别

    想要理解一样事物,就要先用自己的语言去描述一件事物.在我查阅资料后,发现malloc函数简单说来就是空闲内存空间收集器,并把空闲空间关联起来,用术语来说就是:将空闲内存块合并起来并称为"闲置 ...

  4. C语言内存分配函数malloc——————【Badboy】

    C语言中经常使用的内存分配函数有malloc.calloc和realloc等三个,当中.最经常使用的肯定是malloc,这里简单说一下这三者的差别和联系. 1.声明 这三个函数都在stdlib.h库文 ...

  5. new/delete与malloc/free的区别

    new/delete与malloc/free的区别 参考: https://blog.csdn.net/u013485792/article/details/51329541 https://www. ...

  6. malloc实现机制

    使用过c语言的都知道malloc是一个动态分配内存的函数,还可以通过free释放内存空间. 如果我们想分析一下malloc的源码,这其实不是一会就能看懂的,但是我们可以讨论一下malloc的简单实现. ...

  7. STL—内存的配置与释放

    上一篇我们介绍了STL对象的构造与析构,这篇介绍STL内存的配置与释放. STL有两级空间配置器,默认是使用第二级.第二级空间配置器会在某些情况下去调用第一级空间配置器.空间配置器都是在allocat ...

  8. [自制操作系统] 连续页分配释放&kmalloc/kfree

    本文将在JOS上实现连续内存.释放,提供内核的kmalloc与kfree,并在分配frambuffer的时候进行测试. Github : https://github.com/He11oLiu/JOS ...

  9. STL源码剖析(空间配置器)

    前言 在STL中,容器的定义中都带一个模板参数,如vector template <class T, class Alloc = alloc> class vector {...} 其中第 ...

随机推荐

  1. 选择排序java

    先简述选择排序,然后上代码 进行选择排序就是将所有的元素扫描一遍,从中挑选(或者说是选择,这正是这个排序名字的由来)最小的一个元素,将这个最小的元素与最左边的元素交换位置 ,现在最左边的元素就是有序的 ...

  2. 读取 raspberrypi 的cpu和gpu温度

    #!/usr/bin/env python # -*- coding: utf-8 -*- import requests import json import time import command ...

  3. 搬寝室 hdu

    Problem Description 搬寝室是很累的,xhd深有体会.时间追述2006年7月9号,那天xhd迫于无奈要从27号楼搬到3号楼,因为10号要封楼了.看着寝室里的n件物品,xhd开始发呆, ...

  4. Autofac 入门

    Autofac 入门文档 原文链接:http://docs.autofac.org/en/latest/getting-started/index.html 在程序中使用Autofac的基本模式是: ...

  5. IntelliJ IDEA 问题总结之中的一个 —— jar包、assets、maven、git

    因为工作须要,这几天開始弃用eclipse,换idea.用了几天,idea确实有些地方比較方便.可是麻烦也是不少.并且网上相应的资料并没有eclipse那么多,非常多都是自己琢磨解决的,所以想弄个帖子 ...

  6. 乐在其中设计模式(C#) - 装饰模式(Decorator Pattern)

    原文:乐在其中设计模式(C#) - 装饰模式(Decorator Pattern) [索引页][源码下载] 乐在其中设计模式(C#) - 装饰模式(Decorator Pattern) 作者:weba ...

  7. java学习笔记2015-6-6

    类与对象  (概念型  Demo演示)    面向对象   java  C++   包裹  承受  多态    分类  物    面向过程   C    结构体 1.获取用户输入  2.逻辑推断   ...

  8. ListView装上拉电阻下拉刷新

    主要用到了这个几个文件.MainActivity是界面的Activity,MyAdapter是ListView的自己定义适配,MyListView是自己定义带头部LIistView,假设仅仅须要上拉载 ...

  9. Android - match_parent 和 fill_parent差异

    Android - match_parent 和 fill_parent差异 本文地址: http://blog.csdn.net/caroline_wendy match_parent 和 fill ...

  10. telnet发电子邮件

    无聊今天的工作,想想一个学生被提到最后一次telnet发电子邮件,所以我想试试.最后,成功的实践,这里做个总结. 首先,cmd进telnet打开回话: 下面红色字体为命令. 1.open smtp.1 ...