#include <ck_epoch.h> 
#include <ck_stack.h> 
#include <stdlib.h> 
 
/* 
 * epoch was previously initialized with ck_epoch_init. 
 * stack was previously initialized with ck_stack_init. 
 */ 
ck_epoch_t *epoch; 
ck_stack_t *stack; 
 
void 
function(void) 
{ 
	ck_epoch_record_t *record; 
	ck_stack_entry_t *s; 
 
	record = malloc(sizeof *record); 
	ck_epoch_register(&epoch, record); 
 
	/* 
	 * We are using an epoch section here to guarantee no 
	 * nodes in the stack are deleted while we are dereferencing 
	 * them. This is needed here because there are multiple writers. 
	 * If there was only one thread popping from the this stack, 
	 * then there is no need to ck_epoch_begin/ck_epoch_end. 
	 */ 
	ck_epoch_begin(epoch, record); 
 
	/* Logically delete an object. */ 
	s = ck_stack_pop_upmc(stack); 
 
	ck_epoch_end(epoch, record); 
 
	/* 
	 * Wait until no threads could possibly have a reference to the 
	 * object we just popped (assume all threads are simply executing 
	 * ck_stack_pop_upmc). 
	 */ 
	ck_epoch_synchronize(epoch, record); 
 
	/* It is now safe to physically delete the object. */ 
	free(s); 
	return; 
}