summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
4f8e338)
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
/* Do not #define _LGPL_SOURCE to ensure we can emit the wrapper symbols */
#include "urcu-qsbr.h"
/* Do not #define _LGPL_SOURCE to ensure we can emit the wrapper symbols */
#include "urcu-qsbr.h"
+void __attribute__((destructor)) rcu_exit(void);
+
static pthread_mutex_t urcu_mutex = PTHREAD_MUTEX_INITIALIZER;
int gp_futex;
static pthread_mutex_t urcu_mutex = PTHREAD_MUTEX_INITIALIZER;
int gp_futex;
list_del(&urcu_reader.head);
internal_urcu_unlock();
}
list_del(&urcu_reader.head);
internal_urcu_unlock();
}
+
+void rcu_exit(void)
+{
+ assert(list_empty(®istry));
+}