关于“最袖珍的垃圾回收器”的实现(分析)

2024-04-27 13:32

本文主要是介绍关于“最袖珍的垃圾回收器”的实现(分析),希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

 

 

 

麻痹的不会在CSDN上贴图片,只好用文字来表达了

实际上,这个最简单的垃圾回收器的实现,我们只用关心,两个指针,以及一个结构,在我的代码中如下 

//  定义只在本文件中使用的静态变量,并初始化
static  BYTE *  m_begin  =  (BYTE * )HeaderSize;
static  BYTE *  m_end  =  (BYTE * )HeaderSize;

 

//  定义存储数据的数据结构
typedef  struct  MemBlock _MemBlock;

struct  MemBlock
{
    _MemBlock
* pPrev;
    
char buffer[BlockSize];
}
;

以及,为什么只有2个指针以及这一个结构,就可以完成GC的基本功能

一、初始化

由两个指针的初始化我们可以看出

//  定义一些只在本文件中使用的宏
#define  HeaderSize  (sizeof(void*))

如果在32位的环境中 两个值都是4,为什么这样?先不管他,从这里我们至少可以看出一个情况

m_end-m_begin == 0 ,也就是说 最开始的时候,用户这时候可使用的内存为0

可以先记住 m_end-m_begin 指的是GC内部这时候可交给用户使用的内存大小!

二、GC内存的申请

当用户第一调用 gc_malloc 函数时,那么一定要进行新的内存的申请

这时候应该申请多大呢?

 这要看 BlockSize 的大小,当用户申请的内存大于我们定义的块大小时,那么为了能给用户一块连续的

内存,GC将按照用户的需要,重新申请足够的内存

 

         //  这里根据用户用户请求的内存块的大小
        
//  来判断是使用默认块大小还是开辟足够的内存    
         if (cb  >=  BlockSize)    
        
{
             pNewMemBlock 
= (_MemBlock*)malloc(HeaderSize + cb);
        }

 

         else
        
{
            
// 这里开辟的内存的大小为_MemBlock
            
// 即 sizeof(_MemBlock *) + BlockSize
            
// 也等于 HeaderSize + BlockSize
            
// 则下面开辟内存也可以换成这句
            
// _MemBlock* pNew = (_MemBlock*)malloc(HeaderSize + BlockSize);        
            pNewMemBlock = (_MemBlock*)malloc(sizeof(_MemBlock));
        }

之后,如果下一次用户申请内存时,GC内部有足够的内存给用户的话,将不再进行内存的申请,只需要移动m_end指针即可。

 三、两个指针在做什么

         //  重新设置m_begin指针,将 m_begin 指向新内存块的开始
        m_begin  =  pNewMemBlock -> buffer;

第一次时,m_begin指向的是用户可用内存块的最开始的位置

之后呢?哈哈,其实之后也是这样,m_begin永远指向用户可使用的内存块的最开始的位置,并且m_begin-HeaderSize 这个地址(指针),指向了这个块(_MemBlock)这个数据结构的最开始的位置,也就是说我们可以通过m_begin得到每次申请的内存块的指针,也就是说 m_begin永远指向GC内部最后申请的内存块。

m_end

当GC内部不需要进行内存申请时,他始终在现有的内存块中进行移动,当GC内部进行内存申请时,m_end指向新内存块的尾部。并且无论GC内部申请了还是没申请内存,m_end始终指向一个内存地址,这个内存地址有足够的内存可以交给用户使用。

         //  将 m_end 指向新内存块的结尾处
         if (cb  >=  BlockSize)
            m_end 
=  pNewMemBlock -> buffer  +  cb;
        
else
            m_end 
=  pNewMemBlock -> buffer  +  BlockSize;

 

     //  将 m_end 从后向前移动 cb 个字节
    
//  并将这一段内存交给用户使用
    m_end  -=  cb;

    
return  m_end;

 四、两个指针怎么就能实现,所有的内存块的管理呢?

实际上这里使用的存储结构跟链表有点相似,但并不是典型的链表

//  定义存储数据的数据结构
typedef  struct  MemBlock _MemBlock;

typedef 
struct  MemBlock
{
    _MemBlock
* pPrev;
    
char buffer[BlockSize];
}
;

这个数据结构中 pPrev 的值的改变,是在下一次,GC内部进行内存申请时才被改变的

         //  将新内存块的链指针指向之前的内存块
        pNewMemBlock -> pPrev  =  pNowHeader;

        
//  重新设置m_begin指针,将 m_begin 指向新内存块的开始
        m_begin  =  pNewMemBlock -> buffer;

总结:

用户在使用这个GC时,实际上始终在跟m_end打交道,m_end这个指针,提供给用户内存的访问能力

m_begin 这个指针 指向正在使用的内存快数据结构中 buffer 最开始

这个GC使用的数据结构是一个类似链表的数据结构,但对这个链表的操作,却比链表更简单。

这篇关于关于“最袖珍的垃圾回收器”的实现(分析)的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/940634

相关文章

C#高效实现在Word文档中自动化创建图表的可视化方案

《C#高效实现在Word文档中自动化创建图表的可视化方案》本文将深入探讨如何利用C#,结合一款功能强大的第三方库,实现在Word文档中自动化创建图表,为你的数据呈现和报告生成提供一套实用且高效的解决方... 目录Word文档图表自动化:为什么选择C#?从零开始:C#实现Word文档图表的基本步骤深度优化:C

nginx跨域访问配置的几种方法实现

《nginx跨域访问配置的几种方法实现》本文详细介绍了Nginx跨域配置方法,包括基本配置、只允许指定域名、携带Cookie的跨域、动态设置允许的Origin、支持不同路径的跨域控制、静态资源跨域以及... 目录一、基本跨域配置二、只允许指定域名跨域三、完整示例四、配置后重载 nginx五、注意事项六、支持

Qt实现对Word网页的读取功能

《Qt实现对Word网页的读取功能》文章介绍了几种在Qt中实现Word文档(.docx/.doc)读写功能的方法,包括基于QAxObject的COM接口调用、DOCX模板替换及跨平台解决方案,重点讨论... 目录1. 核心实现方式2. 基于QAxObject的COM接口调用(Windows专用)2.1 环境

MySQL查看表的历史SQL的几种实现方法

《MySQL查看表的历史SQL的几种实现方法》:本文主要介绍多种查看MySQL表历史SQL的方法,包括通用查询日志、慢查询日志、performance_schema、binlog、第三方工具等,并... 目录mysql 查看某张表的历史SQL1.查看MySQL通用查询日志(需提前开启)2.查看慢查询日志3.

Java实现字符串大小写转换的常用方法

《Java实现字符串大小写转换的常用方法》在Java中,字符串大小写转换是文本处理的核心操作之一,Java提供了多种灵活的方式来实现大小写转换,适用于不同场景和需求,本文将全面解析大小写转换的各种方法... 目录前言核心转换方法1.String类的基础方法2. 考虑区域设置的转换3. 字符级别的转换高级转换

使用Python实现局域网远程监控电脑屏幕的方法

《使用Python实现局域网远程监控电脑屏幕的方法》文章介绍了两种使用Python在局域网内实现远程监控电脑屏幕的方法,方法一使用mss和socket,方法二使用PyAutoGUI和Flask,每种方... 目录方法一:使用mss和socket实现屏幕共享服务端(被监控端)客户端(监控端)方法二:使用PyA

MyBatis-Plus逻辑删除实现过程

《MyBatis-Plus逻辑删除实现过程》本文介绍了MyBatis-Plus如何实现逻辑删除功能,包括自动填充字段、配置与实现步骤、常见应用场景,并展示了如何使用remove方法进行逻辑删除,逻辑删... 目录1. 逻辑删除的必要性编程1.1 逻辑删除的定义1.2 逻辑删php除的优点1.3 适用场景2.

C#借助Spire.XLS for .NET实现在Excel中添加文档属性

《C#借助Spire.XLSfor.NET实现在Excel中添加文档属性》在日常的数据处理和项目管理中,Excel文档扮演着举足轻重的角色,本文将深入探讨如何在C#中借助强大的第三方库Spire.... 目录为什么需要程序化添加Excel文档属性使用Spire.XLS for .NET库实现文档属性管理Sp

Python+FFmpeg实现视频自动化处理的完整指南

《Python+FFmpeg实现视频自动化处理的完整指南》本文总结了一套在Python中使用subprocess.run调用FFmpeg进行视频自动化处理的解决方案,涵盖了跨平台硬件加速、中间素材处理... 目录一、 跨平台硬件加速:统一接口设计1. 核心映射逻辑2. python 实现代码二、 中间素材处

Java数组动态扩容的实现示例

《Java数组动态扩容的实现示例》本文主要介绍了Java数组动态扩容的实现示例,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧... 目录1 问题2 方法3 结语1 问题实现动态的给数组添加元素效果,实现对数组扩容,原始数组使用静态分配