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

    xiaoxiao2022-07-04  115

    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)