持久性内存编程——原子分配动态内存

pmemobj库提供了非事务原子API可以实现更优化的内存管理。

防故障原子分配

这个API与大多数程序员在处理内存时使用的API不同。首先,函数要么分配给指针,要么释放指针。目标指针的修改是以原子方式完成的,这样它总是有效的——它要么指向一个有效的初始化内存块,要么指向一个OID_NULL。函数/宏还强制开发者在已知状态下创建对象,方法是将它们归零(pobj_znew,pobj_zalloc),或者提供一个构造函数来初始化指针(pobj_new,pobj_alloc)。

使用此API的一个矩形结构体编程示例如下:

int rect_construct(PMEMobjpool *pop, void *ptr, void *arg) {
	struct rectangle *rect = ptr;
	rect->x = 5;
	rect->y = 10;
	pmemobj_persist(pop, rect, sizeof *rect);

	return 0;
}
POBJ_NEW(pop, &D_RW(root)->rect, struct rectangle, rect_construct, NULL);
int p = perimeter_calc(D_RO(root)->rect);
/* busy work */
POBJ_FREE(&D_RW(root)->rect);

看起来确实与传统开辟内存编程不一样,是否更复杂,就由开发者自己来衡量了。但是在性能方面,如果分配了大量的对象,那么采用这种方法可能会有很大的好处。它还允许对使用持久函数进行更细粒度的控制-它们是构造函数中必需的-这在对大型对象进行操作时尤其有益,因为只需要刷新真正需要的部分。

构造函数函数还允许程序员通过返回一个非零值来取消正在进行的分配。这在构造函数执行依赖于不同有限资源的非平凡工作的情况下可能很有用-例如,这允许开发者在构造函数内执行可变分配,如果可变分配没有成功,则可以后退。

目标指针是可选的,或者可以是堆栈上的变量——访问以这种方式分配的对象的唯一正确方法是内部集合。

内部集合

原文作者以前没有介绍过这个话题,因为它不想把任何人搞糊涂。所有现有对象都存储在一个集合中,可以使用pobj_first和pobj_next API访问该集合。这样做是为了避免丢失对对象的引用,即持久性内存泄漏。还可以将其用作无序列表,用于遍历对象,而不将其与root对象链接。

例如,要从上一个示例访问矩形,可以使用以下表达式:

TOID(struct rectangle) rect = POBJ_FIRST(pop, struct rectangle);

如果有更多的 struct rectangle,那么可以继续访问:

rect = POBJ_NEXT(rect, struct rectangle);

以上将允许开发者访问它们,但开发者不必手动迭代对象,因为有一些宏:

TOID(struct rectangle) iter;
POBJ_FOREACH_TYPE(pop, iter) {
	int p = perimeter_calc(D_RO(iter));
	printf("Perimeter of rectangle = %d", p);
}

这将迭代矩形结构对象的集合,如果想迭代所有内容,可以使用pobj ou foreach宏。两个宏的一个安全变体也可用,它允许开发者解除所有对象的分配。

用例

here

原文来自:http://pmem.io/2015/06/18/ntx-alloc.html

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值