Blame src/functional/pthread_cancel.c

Szabolcs Nagy 08cb39
#include <pthread.h>
Szabolcs Nagy 08cb39
#include <semaphore.h>
Szabolcs Nagy 08cb39
#include <string.h>
Szabolcs Nagy 08cb39
#include "test.h"
Szabolcs Nagy 08cb39
Szabolcs Nagy cfa23c
#define TESTC(c, m) ( (c) || (t_error("%s failed (" m ")\n", #c), 0) )
Szabolcs Nagy 08cb39
#define TESTR(r, f, m) ( \
Szabolcs Nagy cfa23c
	((r) = (f)) == 0 || (t_error("%s failed: %s (" m ")\n", #f, strerror(r)), 0) )
Szabolcs Nagy 08cb39
Szabolcs Nagy 08cb39
static void *start_async(void *arg)
Szabolcs Nagy 08cb39
{
Szabolcs Nagy 08cb39
	pthread_setcanceltype(PTHREAD_CANCEL_ASYNCHRONOUS, 0);
Szabolcs Nagy 08cb39
	sem_post(arg);
Szabolcs Nagy 08cb39
	for (;;);
Szabolcs Nagy 08cb39
	return 0;
Szabolcs Nagy 08cb39
}
Szabolcs Nagy 08cb39
Szabolcs Nagy 08cb39
static void cleanup1(void *arg)
Szabolcs Nagy 08cb39
{
Szabolcs Nagy 08cb39
	*(int *)arg = 1;
Szabolcs Nagy 08cb39
}
Szabolcs Nagy 08cb39
Szabolcs Nagy 08cb39
static void cleanup2(void *arg)
Szabolcs Nagy 08cb39
{
Szabolcs Nagy 08cb39
	*(int *)arg += 2;
Szabolcs Nagy 08cb39
}
Szabolcs Nagy 08cb39
Szabolcs Nagy 08cb39
static void cleanup3(void *arg)
Szabolcs Nagy 08cb39
{
Szabolcs Nagy 08cb39
	*(int *)arg += 3;
Szabolcs Nagy 08cb39
}
Szabolcs Nagy 08cb39
Szabolcs Nagy 08cb39
static void cleanup4(void *arg)
Szabolcs Nagy 08cb39
{
Szabolcs Nagy 08cb39
	*(int *)arg += 4;
Szabolcs Nagy 08cb39
}
Szabolcs Nagy 08cb39
Szabolcs Nagy 08cb39
static void *start_single(void *arg)
Szabolcs Nagy 08cb39
{
Szabolcs Nagy 08cb39
	pthread_cleanup_push(cleanup1, arg);
Szabolcs Nagy 08cb39
	sleep(3);
Szabolcs Nagy 08cb39
	pthread_cleanup_pop(0);
Szabolcs Nagy 08cb39
	return 0;
Szabolcs Nagy 08cb39
}
Szabolcs Nagy 08cb39
Szabolcs Nagy 08cb39
static void *start_nested(void *arg)
Szabolcs Nagy 08cb39
{
Szabolcs Nagy 08cb39
	int *foo = arg;
Szabolcs Nagy 08cb39
	pthread_cleanup_push(cleanup1, foo);
Szabolcs Nagy 08cb39
	pthread_cleanup_push(cleanup2, foo+1);
Szabolcs Nagy 08cb39
	pthread_cleanup_push(cleanup3, foo+2);
Szabolcs Nagy 08cb39
	pthread_cleanup_push(cleanup4, foo+3);
Szabolcs Nagy 08cb39
	sleep(3);
Szabolcs Nagy 08cb39
	pthread_cleanup_pop(0);
Szabolcs Nagy 08cb39
	pthread_cleanup_pop(0);
Szabolcs Nagy 08cb39
	pthread_cleanup_pop(0);
Szabolcs Nagy 08cb39
	pthread_cleanup_pop(0);
Szabolcs Nagy 08cb39
	return 0;
Szabolcs Nagy 08cb39
}
Szabolcs Nagy 08cb39
Szabolcs Nagy 08cb39
int main(void)
Szabolcs Nagy 08cb39
{
Szabolcs Nagy 08cb39
	pthread_t td;
Szabolcs Nagy 08cb39
	sem_t sem1;
Szabolcs Nagy 08cb39
	int r;
Szabolcs Nagy 08cb39
	void *res;
Szabolcs Nagy 08cb39
	int foo[4];
Szabolcs Nagy 08cb39
Szabolcs Nagy 08cb39
	TESTR(r, sem_init(&sem1, 0, 0), "creating semaphore");
Szabolcs Nagy 08cb39
Szabolcs Nagy 08cb39
	/* Asynchronous cancellation */
Szabolcs Nagy 08cb39
	TESTR(r, pthread_create(&td, 0, start_async, &sem1), "failed to create thread");
Szabolcs Nagy 08cb39
	while (sem_wait(&sem1));
Szabolcs Nagy 08cb39
	TESTR(r, pthread_cancel(td), "canceling");
Szabolcs Nagy 08cb39
	TESTR(r, pthread_join(td, &res), "joining canceled thread");
Szabolcs Nagy 08cb39
	TESTC(res == PTHREAD_CANCELED, "canceled thread exit status");
Szabolcs Nagy 08cb39
Szabolcs Nagy 08cb39
	/* Cancellation cleanup handlers */
Szabolcs Nagy 08cb39
	foo[0] = 0;
Szabolcs Nagy 08cb39
	TESTR(r, pthread_create(&td, 0, start_single, foo), "failed to create thread");
Szabolcs Nagy 08cb39
	TESTR(r, pthread_cancel(td), "cancelling");
Szabolcs Nagy 08cb39
	TESTR(r, pthread_join(td, &res), "joining canceled thread");
Szabolcs Nagy 08cb39
	TESTC(res == PTHREAD_CANCELED, "canceled thread exit status");
Szabolcs Nagy 08cb39
	TESTC(foo[0] == 1, "cleanup handler failed to run");
Szabolcs Nagy 08cb39
Szabolcs Nagy 08cb39
	/* Nested cleanup handlers */
Szabolcs Nagy 08cb39
	memset(foo, 0, sizeof foo);
Szabolcs Nagy 08cb39
	TESTR(r, pthread_create(&td, 0, start_nested, foo), "failed to create thread");
Szabolcs Nagy 08cb39
	TESTR(r, pthread_cancel(td), "cancelling");
Szabolcs Nagy 08cb39
	TESTR(r, pthread_join(td, &res), "joining canceled thread");
Szabolcs Nagy 08cb39
	TESTC(res == PTHREAD_CANCELED, "canceled thread exit status");
Szabolcs Nagy 08cb39
	TESTC(foo[0] == 1, "cleanup handler failed to run");
Szabolcs Nagy 08cb39
	TESTC(foo[1] == 2, "cleanup handler failed to run");
Szabolcs Nagy 08cb39
	TESTC(foo[2] == 3, "cleanup handler failed to run");
Szabolcs Nagy 08cb39
	TESTC(foo[3] == 4, "cleanup handler failed to run");
Szabolcs Nagy 08cb39
Szabolcs Nagy cfa23c
	return t_status;
Szabolcs Nagy 08cb39
}