内核自带的原子操作可以帮助高效地我们实现引用计数等功能。
介于这么一个前提,一个引用对象不可能同时被引用和删除。
以下可以简单地实现引用计数。
内核中的定义:
typedef struct { int counter; } atomic_t;
在复制构造函数(A::A(const A&)),和赋值构造函数(const A& A::operator=(const A&))中
使用void atomic_inc(atomic_t *v);
在析构函数里使用 int atomic_dec_and_test(atomic_t *v),
表示自减之后是否为0。
================================================================
有一个更犀利的原子操作,
int atomic_add_unless(atomic_t *v, int a, int u);
If the atomic value v is not equal to u, this function adds a to v, and returns non zero. If v is equal to u then it returns zero. This is done as an atomic operation.
我们可以抛开这个前提“一个引用对象不可能同时被引用和删除”,做这么一件事:
假设有一个计数器初始值为C(>0),
我们可以并发地对C进行加减操作,加减操作时,操作成功的前提是C>0。
方法就这么简单:
加,atomic_add_unless(&t, 1, 0);
减,atomic_add_unless(&t, -1, 0);
#以上方法已在单cpu的机器上验证。
#多cpu可以有问题,还要细看源码说明。。