wiki对obstack的介绍

GNU C的Obstack描述

Obstack初始化

在Obstack里面申请对象

释放Obstack里面的对象

可增长内存空间的对象

Obstack 的状态

Obstack 里的数据对齐问题

wiki对obstack的介绍

Obstack是C标准库里面对内存管理的GNU扩展（实际上就是GNU C library了）。Obstack===Object stack。没错，Obstack就是一个栈，栈里面的元素是对象object（不是面向对象的对象哦，这里的对象单指数据元素）。这些数据是动态的，也就是使用的是动态内存。这种内存管理技术属于Region-based memory management。

那什么叫基于区域的内存管理呢？区域指的是我们申请的数据对象存放的位置。在这种内存管理模式下，我们将所有申请的数据对象集中放在一起（当然咯，地址不一定连续。集中在一起是一种逻辑结构，比如Obstack的栈）。好处就是，可以一次性的释放内存，集中管理。这下你对Obstack有了大体上的了解了吧。

GNU C的Obstack描述

Obstack是一种内存池，内存池里面包含了数据对象栈。

啥叫内存池呢？内存池也叫做固定大小的块内存申请（fixed-size blocks allocation），同样也是一种内存管理技术。这种技术允许动态申请内存。（是不是迷糊了？前面还说固定，现在又说动态了。实际上固定的是总大小，动态是指内存实际申请使用。如果你用过virtual box，没错就是那个百分之60刚玩linux的人都会安装的东西。里面创建虚拟硬盘时对动态分配有这样的描述：虚拟磁盘只是逐渐占用物理硬盘空间[直至达到分配的大小]，不过当其内部空间不用时不会自动缩减暂用的物理硬盘空间]）这种方式有点类似malloc或者C++的new操作。但是malloc和new操作都会造成内存碎片化问题（别打我，这是wiki讲的，不关我的事）。更有效地方式就是使用相同大小内存池了。预先申请，集中管理。应用程序在内存池里面自由的玩耍，从来不上岸 -_-|||。

回过头继续讲Obstack。你可以创建任意数量的独立的Obstack，然后在这些Obstack里面申请对象。这些对象遵循栈的逻辑结构：最后申请的对象必须第一个释放。不同的Obstack里面的数据是相互独立的，没有任何关系。除了对内存释放顺序的要求之外，obstack是非常通用的：一个Obstack可以包含任意数量任意尺寸的对象。

Obstack里面内存申请的实现用的一般都是宏，很有效率吧。如果你不想使用宏（理由是：方便调试），可以看一看我的另一篇文章。这篇文章的最后介绍了如何避免使用预定义的宏。唯一的内存空间损耗就是不同对象之间可能需要内存填充，让每一个对象都起始于合适的边界线，这一点实际上是用空间换取时间。

Obstack的表现形式是一个结构体:struct obstack。这个结构有一个非常小的固定大小，记录了obstack的状态，以及如何找到该Obstack里的对象。但是呢，obstack结构体自身不包含任何对象，别妄想直接探寻struct obstack的内容了。必须使用规定的函数才行，这点没得商量。

你可以通过声明一个struct obstack类型的变量来创建obstack。或者动态申请struct obstack *obstack = (struct obstack *)malloc(sizeof(struct obstack)); 你还可以obstack里面使用obstack（然并卵，GNU C library文档自己说的)

Obstack使用的函数都需要指定使用的是那个obstack。Obstack里面的对象会被打包成一个大的内存块（叫做chunks）。struct obstack结构指针指向当前使用的chunks。

每当你申请的对象无法塞进之前的chunk时，都会创建一个新的chunk。这些chunk以何种形式连接在一起（链表？树？），不是我们关心的啦。这些交由obstack自动管理。chunk由obstack自动创建，但创建的方式得由你来决定，一般会直接或间接的用到malloc函数。

联想我们之前讲到的内存池：chunk是固定大小的池。Obstack只是一种池的管理员：他告诉来洗澡的人必须遵守规定，最后来的必须先走。

Obstack初始化

#include<obstack.h>
int obstack_init(struct obstack *obstack-ptr)

obstack_init实际上是一个宏实现。obstack_init会自动调用obstack_chunk_alloc函数来申请chunk，注意这还是个宏，需要你指定这个宏指向的函数。如果内存申请失败了会调用obstack_alloc_failed_handler指向的函数，没错依旧是宏。如果chunk里面的对象都被释放了，obstack_chunk_free指向的函数被用来返回chunk占用的空间。目前版本的obstack_init永远只返回1（之前的版本会在失败的时候返回0）

实例:

#include<obstack.h>
#include<stdlib.h>
#define obstack_chunk_alloc malloc
#define obstack_chunk_free free//静态申请obstack
static struct obstack myobstack;
obstack_init(&myobstack);//动态申请obstack
struct obstack *myobstack_ptr = (struct obstack*) malloc (sizeof (struct obstack))
obstack_init(myobstack_ptr)

obstack chunk的大小默认情况下为4096。如果你想自定义chunk的大小，需要使用宏obstack_chunk_size

int obstack_chunk_size (struct obstack* obstack-ptr)

注意这实际上是个左值（C++里面有麻烦的左值引用，右值引用）。obstack-ptr如之前的myobstack所示，指明了是哪个obstack。如果你适当的提高chunk的大小，有利于提高效率。减小则没啥好处。。。

if (obstack_chunk_size (myobstack_ptr) < new-chunk-size)obstack_chunk_size (myobstack_ptr) = new-chunk-size

在Obstack里面申请对象

最直接的方法使用aobstack_alloc函数

void * obstack_alloc (struct obstack *obstack-ptr, int size)

调用方式和malloc差不多, 对新申请的空间不初始化。如果chunk被object填满了，obstack_alloc会自动调用obstack_chunk_alloc。

struct obstack string_obstack;
/*
....
初始化内容
....
*/
char * copystring (char *string)
{size_t len = strlen (string) + 1;char *s = (char*) obstack_alloc (&string_obstack, len);memcpy (s, string , len);return s;
}

如果想在申请时初始化，需要用到obstack_copy或者obstack_copy0

void * obstack_copy (struct obstack *obstack-ptr, void *address, int size)
//使用从地址address开始复制size大小的数据初始化，新申请的object内存大小也为sizevoid *obstack_copy0 (struct obstack *obstack-ptr, void *address, int size)
//同obstack_copy但结尾处额外添加一个空字符，在复制以NULL结尾的字符串时很方便。

释放Obstack里面的对象

同样很简单，我们使用函数obstack_free

void obstack_free  (struct obstack *obstack-ptr, void *object)

如果object是空指针的话，所有的对象都被释放，留下一个未初始化的obstack,然后obstack库会自动释放chunk。如果你指定了object地址，那自这个object之后的所有对象都被释放。值得注意的是：如果你想释放所有object但同时保持obstack有效，可以指定第一个object的地址

obstack_free (obstack_ptr, first_object_allocated_ptr);

可增长内存空间的对象

由于obstack chunk的内存空间是连续的，在其中的对象空间可以一步步搭建一直增加到结尾。这种技术称之为growing object。尽管obstack可以使用growing object，但是你无法为已申请好的对象使用这项技术（理由是如果这对象之后还有对象，会造成冲突）

void obstack_blank (struct obstack *obstack-ptr, int size)
//添加一个为初始化的growing objectvoid obstack_grow (struct obstack *obstack-ptr, void *data, int size)
//添加一个初始化的空间，类似与obstack_copyvoid obstack_grow0 (struct obstack *obstack-ptr, void *data, int size)
//obstack_grow类似与obstack_copy, 那obstack_grow0你说类似与谁？void  obstack_lgrow (struct obstack *obstack-ptr, charc)
//一次添加一个字符（字节）void    obstack_ptr_grow (struct obstack *obstack-ptr, void *data)
//一次添加一个指针。。。大小为（sizeof(void *)void obstack_int_grow (struct obstack *obstack-ptr, int data)
//一次添加一个int型数据，大小为sizeof(int)

在growing object中最重要的函数是obstack_finish, 因为只有调用了本函数之后才会返回growing object 的最终地址。

void *obstack_finish (struct obstrack *obstrack-ptr)

如果你想获取growing object当前大小，可以使用obstack_object_size

int obstack_object_size (struct obstack *obstrack-ptr)
//只能用在obstack_finish之前，否则只会返回0

如果你想取消一个正在增长的对象，必须先结束他，然后再释放。示例如下：

obstack_free (obstack_ptr, obstack_finish (obstack_ptr))

上面的函数在添加数据时会检查是否由足够的空间。如果你只增加一丁点的空间，检查这一步骤显然是多余的。我们可以省略这一步骤，更快的growing。这里关于growing object额外在介绍一个函数：

int obstack_room (struct obstack *obstack-ptr)
//返回可以安全添加的字节数

其余的快速添加函数只需要在之前的growing object函数添加后缀_fast即可（如果不清楚可以查看GNU C 关于这部分的介绍）

Obstack 的状态

以下函数用于获取obstack的状态：

void * obstack_base (struct obstack *obstack-ptr)
//返回正在增长的对象的假定起始地址。为啥是假定呢，因为如果你增长的过大，当前chunk的空间不够，obstack就会新创建一个chunk，这样地址就变了。void *obstack_next_free (struct obstack *obstack-ptr)
//返回当前chunk未被占用的第一个字节的地址int obstack_object_size (struct obstack *obstack-ptr)
//返回当前growing object的大小。等同与：
//obstack_next_free (obstack-ptr) -obstack_base (obstack-ptr)

Obstack 里的数据对齐问题

int obstack_alignment_mask (struct obstack *obstack-ptr)

宏展开后是一个左值。如果是函数实现，返回的是掩码。你给他复制也应该是掩码。掩码的值应该是2的n次方减一，换算后也就是说地址必须是2的n次方的倍数。如果你改变了掩码，只有下次申请object的时候才会生效（特例是growing object：立即生效，调用obstack_finish后就能看到效果了）

Linux：C GNU Obstack内存池相关推荐

iOS标准库中常用数据结构和算法之内存池
上一篇:iOS标准库中常用数据结构和算法之位串 ⛲️内存池内存池提供了内存的复用和持久的存储功能.设想一个场景,当你分配了一块大内存并且填写了内容,但是你又不是经常去访问这块内存.这样的内存利用率将 ...
keilcjson内存分配失败_iOS标准库中常用数据结构和算法之内存池
黑客技术点击右侧关注,了解黑客的世界! Java开发进阶点击右侧关注,掌握进阶之路! Linux编程点击右侧关注,免费入门到精通! 作者丨欧阳大哥2013https://www.jianshu.com ...
linux内存分配连续足够,linux内存池能分配连续物理内存吗
中. size参数: 内核是基于页技术分配内存,以最佳的利用系统的RAM. linux处理内存分配的方法是:创建一系列的内存对象池,每个池的内存大小事固定的,处理分配请求时,就直接在包含足够大的内存块 ...
模拟linux文件系统的设计及实现_Linux后台服务器开发中，内存池设计与实现（c/c++）...
一.前言作为C++程序员,想必对于内存操作这一块是比较熟悉和操作比较频繁的: 比如申请一个对象,使用new,申请一块内存使用malloc等等: 但是,往往会有一些困扰烦恼着大家,主要体现在两部分: ...
linux内存管理（十五）-内存池
一.内存池原理平时我们直接所使用的 malloc,new,free,delete 等等 API 申请内存分配,这做缺点在于,由于所申请内存块的大小不定,当频繁使用时会造成大量的内存碎片并进而降低性能 ...
当Java虚拟机遇上Linux Arena内存池
作者简介刘韬,云和恩墨中间件服务交付团队专家 Java开发出身,10年WebLogic相关开发.运维工作经验,熟悉SOA.现代业务系统架构中各层组件,尤其擅长故障处理.性能优化等工作. 故障案例一 ...
Linux内存池技术
看到一篇关于内存池技术的介绍文章,受益匪浅,转贴至此. 原贴地址:http://www.ibm.com/developerworks/cn/linux/l-cn-ppp/index6.html 6.1 ...
【线程池】自行准备linux环境，带你手写线程池，只需仅仅150行代码|内存池|API|连接池|应用协议丨C/C++Linux服务器开发
[线程池]自行准备linux环境,带你手写线程池,只需仅仅150行代码视频讲解如下,点击观看: [线程池]自行准备linux环境,带你手写线程池,只需仅仅150行代码|内存池|API|连接池|应用协 ...
嵌入式linux内存池,内存池架构 · tboox/tbox Wiki · GitHub
TBOX的内存管理模型,参考了linux kernel的内存管理机制,并在其基础上做了一些改进和优化. 内存整体架构 large_pool 整个内存分配的最底层,都是基于large_pool的大块内存 ...

Linux：C GNU Obstack内存池

wiki对obstack的介绍

GNU C的Obstack描述

Obstack初始化

在Obstack里面申请对象

释放Obstack里面的对象

可增长内存空间的对象

Obstack 的状态

Obstack 里的数据对齐问题

Linux：C GNU Obstack内存池相关推荐

最新文章

热门文章