Reference Counting
Reference counting types
Reference counting is a garbage collection mechanism that is based on assigning a counter to a data type, or any memory area; the counter is increased whenever a new reference to that data type is acquired, and decreased whenever the reference is released. Once the last reference is released, the resources associated to that data type are freed.
GLib uses reference counting in many of its data types, and provides the
grefcount
and gatomicrefcount
types to implement safe and atomic
reference counting semantics in new data types.
It is important to note that grefcount
and gatomicrefcount
should be
considered completely opaque types; you should always use the provided API
to increase and decrease the counters, and you should never check their
content directly, or compare their content with other values.
Reference counted data
A “reference counted box”, or “RcBox”, is an opaque wrapper data type that is guaranteed to be as big as the size of a given data type, and which augments the given data type with reference counting semantics for its memory management.
RcBox is useful if you have a plain old data type, like a structure typically placed on the stack, and you wish to provide additional API to use it on the heap; or if you want to implement a new type to be passed around by reference without necessarily implementing copy/free semantics or your own reference counting.
The typical use is:
typedef struct {
char *name;
char *address;
char *city;
char *state;
int age;
} Person;
Person *
person_new (void)
{
return g_rc_box_new0 (Person);
}
Every time you wish to acquire a reference on the memory, you should call
g_rc_box_acquire()
; similarly, when you wish to release a reference you
should call g_rc_box_release()
:
// Add a Person to the Database; the Database acquires ownership
// of the Person instance
void
add_person_to_database (Database *db, Person *p)
{
db->persons = g_list_prepend (db->persons, g_rc_box_acquire (p));
}
// Removes a Person from the Database; the reference acquired by
// add_person_to_database() is released here
void
remove_person_from_database (Database *db, Person *p)
{
db->persons = g_list_remove (db->persons, p);
g_rc_box_release (p);
}
If you have additional memory allocated inside the structure, you can use
g_rc_box_release_full()
, which takes a function pointer, which will be
called if the reference released was the last:
void
person_clear (Person *p)
{
g_free (p->name);
g_free (p->address);
g_free (p->city);
g_free (p->state);
}
void
remove_person_from_database (Database *db, Person *p)
{
db->persons = g_list_remove (db->persons, p);
g_rc_box_release_full (p, (GDestroyNotify) person_clear);
}
If you wish to transfer the ownership of a reference counted data
type without increasing the reference count, you can use g_steal_pointer()
:
Person *p = g_rc_box_new (Person);
// fill_person_details() is defined elsewhere
fill_person_details (p);
// add_person_to_database_no_ref() is defined elsewhere; it adds
// a Person to the Database without taking a reference
add_person_to_database_no_ref (db, g_steal_pointer (&p));
Thread safety
The reference counting operations on data allocated using
g_rc_box_alloc()
, g_rc_box_new()
, and g_rc_box_dup()
are not thread
safe; it is your code’s responsibility to ensure that references are
acquired are released on the same thread.
If you need thread safe reference counting, you should use the
g_atomic_rc_*
API:
Operation | Atomic equivalent |
---|---|
g_rc_box_alloc() |
g_atomic_rc_box_alloc() |
g_rc_box_new() |
g_atomic_rc_box_new() |
g_rc_box_dup() |
g_atomic_rc_box_dup() |
g_rc_box_acquire() |
g_atomic_rc_box_acquire() |
g_rc_box_release() |
g_atomic_rc_box_release() |
g_rc_box_release_full() |
g_atomic_rc_box_release_full() |
The reference counting operations on data allocated using
g_atomic_rc_box_alloc()
, g_atomic_rc_box_new()
, and
g_atomic_rc_box_dup()
are guaranteed to be atomic, and thus can be safely
be performed by different threads. It is important to note that only the
reference acquisition and release are atomic; changes to the content of the
data are your responsibility.
It is a programmer error to mix the atomic and non-atomic reference counting operations.
Automatic pointer clean up
If you want to add g_autoptr()
support to your plain old data type through
reference counting, you can use the G_DEFINE_AUTOPTR_CLEANUP_FUNC()
and
g_rc_box_release()
:
G_DEFINE_AUTOPTR_CLEANUP_FUNC (MyDataStruct, g_rc_box_release)
If you need to clear the contents of the data, you will need to use an
ancillary function that calls g_rc_box_release_full()
:
static void
my_data_struct_release (MyDataStruct *data)
{
// my_data_struct_clear() is defined elsewhere
g_rc_box_release_full (data, (GDestroyNotify) my_data_struct_clear);
}
G_DEFINE_AUTOPTR_CLEANUP_FUNC (MyDataStruct, my_data_struct_release)
The g_rc_box*
and g_atomic_rc_box*
APIs were introduced in GLib 2.58.