C.Interface.And.Implementations—memory(复杂版本)的实现

2024-08-24 18:18

本文主要是介绍C.Interface.And.Implementations—memory(复杂版本)的实现,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

1、After the call to  free,  p  holds a dangling pointer— a pointer that refers to memory that logically does not exist. Subse-quently dereferencing p  is an error, although if the block hasn’t been reallocated for another purpose, the error might go undetected. 

2、another error: deallocating free memory. 

3、Another error is deallocating memory that wasn’t allocated by malloc , calloc , or  realloc. 


针对以上错误,此版本memory实现较为复杂,使用了哈希表数据结构。


                  

    这个是内存的结构。整体而言用哈希表+链表进行存储。同时,释放的空间用freelist循环链表进行连接。有阴影的部分表示目前已经申请正在使用的空间。C函数中几个函数都是在这个数据结构上进行操作的。


==============================mem.h=====================================

#ifndef MEM_INCLUDED
#define MEM_INCLUDED
#include "except.h"//exported exceptions
extern const Except_T Mem_Failed;//exported functions
extern void *Mem_alloc(long nbytes,const char *file, int line);
extern void *Mem_calloc(long count, long nbytes,const char *file, int line);
extern void Mem_free(void *ptr,const char *file, int line);
extern void *Mem_resize(void *ptr, long nbytes,const char *file, int line);
//exported macros
#define ALLOC(nbytes) \Mem_alloc((nbytes), __FILE__, __LINE__)
#define CALLOC(count, nbytes) \Mem_calloc((count), (nbytes), __FILE__, __LINE__)
#define NEW(p) ((p) = ALLOC((long)sizeof *(p)))
#define NEW0(p) ((p) = CALLOC(1, (long)sizeof *(p)))
#define FREE(ptr) ((void)(Mem_free((ptr),\__FILE__, __LINE__), (ptr) = 0))
#define RESIZE(ptr, nbytes)((ptr) = Mem_resize((ptr),\(nbytes), __FILE__, __LINE__))
#endif

=============================memchk.c==================================

#include <stdlib.h>
#include <string.h>
#include "assert.h"
#include "except.h"
#include "mem.h"//checking types
union align{int i;long l;long *lp;void *p;void (*fp)(void);float f;double d;long double ld;
};//checking macros
#define hash(p, t) (((unsigned long)(p)>>3) & \(sizeof (t)/sizeof((t)[0])-1))
#define NDESCRIPTORS 512
#define NALLOC((4096 + sizeof(union align)-1)/ \(sizeof(union align)))*(sizeof (union align))//data
const Except_T Mem_Failed = { "Allocation Failed" };//checking data
static struct descriptor{struct descriptor *free;struct descriptor *link;const void *ptr;long size;const char *file;int line;
} *htab[2048];
static struct descriptor freelist = { &freelist };//checking functions
static struct descriptor *find(const void *ptr){struct descriptor *bp = htab[hash(ptr, htab)];while(bp && bp->ptr != ptr)bp = bp->link;return bp;
}void Mem_free(void *ptr, const char *file, int line){if(ptr){struct descriptor *bp;if(((unsigned long)ptr)%(sizeof (union align)) != 0|| (bp = find(ptr)) == NULL || bp->free)Except_raise(&Assert_Failed, file, line);bp->free = freelist.free;freelist.free = bp;}
}void *Mem_resize(void *ptr, long nbytes,const char *file, int line){struct descriptor *bp;void *newptr;assert(ptr);assert(nbytes > 0);if(((unsigned long)ptr)%(sizeof (union align)) != 0|| (bp = find(ptr)) == NULL || bp->free)Except_raise(&Assert_Failed, file, line);newptr = Mem_alloc(nbytes, file, line);memcpy(newptr, ptr, nbytes < bp->size ? nbytes : bp->size);Mem_free(ptr, file, line);return newptr;
}void *Mem_calloc(long count, long nbytes,const char *file, int line){void *ptr;assert(count > 0);assert(nbytes > 0);ptr = Mem_alloc(count*nbytes, file, line);memset(ptr, '\0', count*nbytes);return ptr;
}static struct descriptor *dalloc(void *ptr, long size, const char *file, int line){static struct descriptor *avail;static int nleft;if(nleft <= 0){avail = malloc(NDESCRIPTORS * sizeof (*avail));if(avail == NULL)return NULL;nleft = NDESCRIPTORS;}avail->ptr = ptr;avail->size = size;avail->file = file;avail->line = line;avail->free = avail->link = NULL;nleft--;return avail++;
}void *Mem_alloc(long nbytes, const char *file, int line){struct descriptor *bp;void *ptr;assert(nbytes > 0);//round nbytes up to an alignment boundary>nbytes = ((nbytes + sizeof(union align) - 1)/(sizeof(union align)))*(sizeof(union align));for(bp = freelist.free; bp; bp = bp->free){if(bp->size > nbytes){//use the end of the block at bp->ptrbp->size -= nbytes;ptr = (char*)bp->ptr + bp->size;if((bp = dalloc(ptr, nbytes, file, line)) != NULL){unsigned h = hash(ptr, htab);bp->link = htab[h];htab[h] = bp;return ptr;}else{if(file == NULL)RAISE(Mem_Failed);elseExcept_raise(&Mem_Failed, file, line);}}if(bp == &freelist){struct descriptor *newptr;//<newptr <- a block of size NALLOC + nbytes >if((ptr = malloc(nbytes + NALLOC)) == NULL|| (newptr = dalloc(ptr, nbytes+NALLOC,__FILE__, __LINE__)) == NULL){if(file == NULL)RAISE(Mem_Failed);elseExcept_raise(&Mem_Failed, file, line);}newptr->free = freelist.free;freelist.free = newptr;}}assert(0);return NULL;
}


这篇关于C.Interface.And.Implementations—memory(复杂版本)的实现的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



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

相关文章

Spring StateMachine实现状态机使用示例详解

《SpringStateMachine实现状态机使用示例详解》本文介绍SpringStateMachine实现状态机的步骤,包括依赖导入、枚举定义、状态转移规则配置、上下文管理及服务调用示例,重点解... 目录什么是状态机使用示例什么是状态机状态机是计算机科学中的​​核心建模工具​​,用于描述对象在其生命

Spring Boot 结合 WxJava 实现文章上传微信公众号草稿箱与群发

《SpringBoot结合WxJava实现文章上传微信公众号草稿箱与群发》本文将详细介绍如何使用SpringBoot框架结合WxJava开发工具包,实现文章上传到微信公众号草稿箱以及群发功能,... 目录一、项目环境准备1.1 开发环境1.2 微信公众号准备二、Spring Boot 项目搭建2.1 创建

IntelliJ IDEA2025创建SpringBoot项目的实现步骤

《IntelliJIDEA2025创建SpringBoot项目的实现步骤》本文主要介绍了IntelliJIDEA2025创建SpringBoot项目的实现步骤,文中通过示例代码介绍的非常详细,对大家... 目录一、创建 Spring Boot 项目1. 新建项目2. 基础配置3. 选择依赖4. 生成项目5.

Linux下删除乱码文件和目录的实现方式

《Linux下删除乱码文件和目录的实现方式》:本文主要介绍Linux下删除乱码文件和目录的实现方式,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录linux下删除乱码文件和目录方法1方法2总结Linux下删除乱码文件和目录方法1使用ls -i命令找到文件或目录

SpringBoot+EasyExcel实现自定义复杂样式导入导出

《SpringBoot+EasyExcel实现自定义复杂样式导入导出》这篇文章主要为大家详细介绍了SpringBoot如何结果EasyExcel实现自定义复杂样式导入导出功能,文中的示例代码讲解详细,... 目录安装处理自定义导出复杂场景1、列不固定,动态列2、动态下拉3、自定义锁定行/列,添加密码4、合并

mybatis执行insert返回id实现详解

《mybatis执行insert返回id实现详解》MyBatis插入操作默认返回受影响行数,需通过useGeneratedKeys+keyProperty或selectKey获取主键ID,确保主键为自... 目录 两种方式获取自增 ID:1. ​​useGeneratedKeys+keyProperty(推

Spring Boot集成Druid实现数据源管理与监控的详细步骤

《SpringBoot集成Druid实现数据源管理与监控的详细步骤》本文介绍如何在SpringBoot项目中集成Druid数据库连接池,包括环境搭建、Maven依赖配置、SpringBoot配置文件... 目录1. 引言1.1 环境准备1.2 Druid介绍2. 配置Druid连接池3. 查看Druid监控

Linux在线解压jar包的实现方式

《Linux在线解压jar包的实现方式》:本文主要介绍Linux在线解压jar包的实现方式,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录linux在线解压jar包解压 jar包的步骤总结Linux在线解压jar包在 Centos 中解压 jar 包可以使用 u

c++ 类成员变量默认初始值的实现

《c++类成员变量默认初始值的实现》本文主要介绍了c++类成员变量默认初始值,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧... 目录C++类成员变量初始化c++类的变量的初始化在C++中,如果使用类成员变量时未给定其初始值,那么它将被

Qt使用QSqlDatabase连接MySQL实现增删改查功能

《Qt使用QSqlDatabase连接MySQL实现增删改查功能》这篇文章主要为大家详细介绍了Qt如何使用QSqlDatabase连接MySQL实现增删改查功能,文中的示例代码讲解详细,感兴趣的小伙伴... 目录一、创建数据表二、连接mysql数据库三、封装成一个完整的轻量级 ORM 风格类3.1 表结构