Blame src/functional/pthread_cond.c

Szabolcs Nagy 08cb39
#include <pthread.h>
Szabolcs Nagy 08cb39
#include <string.h>
Szabolcs Nagy 08cb39
#include "test.h"
Szabolcs Nagy 08cb39
Szabolcs Nagy 08cb39
#define TEST(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
Szabolcs Nagy 08cb39
static void *start_signal(void *arg)
Szabolcs Nagy 08cb39
{
Szabolcs Nagy 08cb39
	void **args = arg;
Szabolcs Nagy 08cb39
	pthread_mutex_lock(args[1]);
Szabolcs Nagy 08cb39
	pthread_cond_signal(args[0]);
Szabolcs Nagy 08cb39
	pthread_mutex_unlock(args[1]);
Szabolcs Nagy 08cb39
	return 0;
Szabolcs Nagy 08cb39
}
Szabolcs Nagy 08cb39
Szabolcs Nagy 08cb39
static void *start_wait(void *arg)
Szabolcs Nagy 08cb39
{
Szabolcs Nagy 08cb39
	void **args = arg;
Szabolcs Nagy 08cb39
	pthread_mutex_t *m = args[1];
Szabolcs Nagy 08cb39
	pthread_cond_t *c = args[0];
Szabolcs Nagy 08cb39
	int *x = args[2];
Szabolcs Nagy 08cb39
Szabolcs Nagy 08cb39
	pthread_mutex_lock(m);
Szabolcs Nagy 08cb39
	while (*x) pthread_cond_wait(c, m);
Szabolcs Nagy 08cb39
	pthread_mutex_unlock(m);
Szabolcs Nagy 08cb39
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, td1, td2, td3;
Szabolcs Nagy 08cb39
	int r;
Szabolcs Nagy 08cb39
	void *res;
Szabolcs Nagy 08cb39
	pthread_mutex_t mtx;
Szabolcs Nagy 08cb39
	pthread_cond_t cond;
Szabolcs Nagy 08cb39
	int foo[1];
Szabolcs Nagy 08cb39
Szabolcs Nagy 08cb39
	/* Condition variables */
Szabolcs Nagy 08cb39
	TEST(r, pthread_mutex_init(&mtx, 0), "");
Szabolcs Nagy 08cb39
	TEST(r, pthread_cond_init(&cond, 0), "");
Szabolcs Nagy 08cb39
	TEST(r, pthread_mutex_lock(&mtx), "");
Szabolcs Nagy 08cb39
	TEST(r, pthread_create(&td, 0, start_signal, (void *[]){ &cond, &mtx }), "");
Szabolcs Nagy 08cb39
	TEST(r, pthread_cond_wait(&cond, &mtx), "");
Szabolcs Nagy 08cb39
	TEST(r, pthread_join(td, &res), "");
Szabolcs Nagy 08cb39
	TEST(r, pthread_mutex_unlock(&mtx), "");
Szabolcs Nagy 08cb39
	TEST(r, pthread_mutex_destroy(&mtx), "");
Szabolcs Nagy 08cb39
	TEST(r, pthread_cond_destroy(&cond), "");
Szabolcs Nagy 08cb39
Szabolcs Nagy 08cb39
	/* Condition variables with multiple waiters */
Szabolcs Nagy 08cb39
	TEST(r, pthread_mutex_init(&mtx, 0), "");
Szabolcs Nagy 08cb39
	TEST(r, pthread_cond_init(&cond, 0), "");
Szabolcs Nagy 08cb39
	TEST(r, pthread_mutex_lock(&mtx), "");
Szabolcs Nagy 08cb39
	foo[0] = 1;
Szabolcs Nagy 08cb39
	TEST(r, pthread_create(&td1, 0, start_wait, (void *[]){ &cond, &mtx, foo }), "");
Szabolcs Nagy 08cb39
	TEST(r, pthread_create(&td2, 0, start_wait, (void *[]){ &cond, &mtx, foo }), "");
Szabolcs Nagy 08cb39
	TEST(r, pthread_create(&td3, 0, start_wait, (void *[]){ &cond, &mtx, foo }), "");
Szabolcs Nagy 08cb39
	TEST(r, pthread_mutex_unlock(&mtx), "");
Szabolcs Nagy 08cb39
	nanosleep(&(struct timespec){.tv_nsec=1000000}, 0);
Szabolcs Nagy 08cb39
	foo[0] = 0;
Szabolcs Nagy 08cb39
	TEST(r, pthread_mutex_lock(&mtx), "");
Szabolcs Nagy 08cb39
	TEST(r, pthread_cond_signal(&cond), "");
Szabolcs Nagy 08cb39
	TEST(r, pthread_mutex_unlock(&mtx), "");
Szabolcs Nagy 08cb39
	TEST(r, pthread_mutex_lock(&mtx), "");
Szabolcs Nagy 08cb39
	TEST(r, pthread_cond_signal(&cond), "");
Szabolcs Nagy 08cb39
	TEST(r, pthread_mutex_unlock(&mtx), "");
Szabolcs Nagy 08cb39
	TEST(r, pthread_mutex_lock(&mtx), "");
Szabolcs Nagy 08cb39
	TEST(r, pthread_cond_signal(&cond), "");
Szabolcs Nagy 08cb39
	TEST(r, pthread_mutex_unlock(&mtx), "");
Szabolcs Nagy 08cb39
	TEST(r, pthread_join(td1, 0), "");
Szabolcs Nagy 08cb39
	TEST(r, pthread_join(td2, 0), "");
Szabolcs Nagy 08cb39
	TEST(r, pthread_join(td3, 0), "");
Szabolcs Nagy 08cb39
	TEST(r, pthread_mutex_destroy(&mtx), "");
Szabolcs Nagy 08cb39
	TEST(r, pthread_cond_destroy(&cond), "");
Szabolcs Nagy 08cb39
Szabolcs Nagy 08cb39
	/* Condition variables with broadcast signals */
Szabolcs Nagy 08cb39
	TEST(r, pthread_mutex_init(&mtx, 0), "");
Szabolcs Nagy 08cb39
	TEST(r, pthread_cond_init(&cond, 0), "");
Szabolcs Nagy 08cb39
	TEST(r, pthread_mutex_lock(&mtx), "");
Szabolcs Nagy 08cb39
	foo[0] = 1;
Szabolcs Nagy 08cb39
	TEST(r, pthread_create(&td1, 0, start_wait, (void *[]){ &cond, &mtx, foo }), "");
Szabolcs Nagy 08cb39
	TEST(r, pthread_create(&td2, 0, start_wait, (void *[]){ &cond, &mtx, foo }), "");
Szabolcs Nagy 08cb39
	TEST(r, pthread_create(&td3, 0, start_wait, (void *[]){ &cond, &mtx, foo }), "");
Szabolcs Nagy 08cb39
	TEST(r, pthread_mutex_unlock(&mtx), "");
Szabolcs Nagy 08cb39
	nanosleep(&(struct timespec){.tv_nsec=1000000}, 0);
Szabolcs Nagy 08cb39
	TEST(r, pthread_mutex_lock(&mtx), "");
Szabolcs Nagy 08cb39
	foo[0] = 0;
Szabolcs Nagy 08cb39
	TEST(r, pthread_mutex_unlock(&mtx), "");
Szabolcs Nagy 08cb39
	TEST(r, pthread_cond_broadcast(&cond), "");
Szabolcs Nagy 08cb39
	TEST(r, pthread_join(td1, 0), "");
Szabolcs Nagy 08cb39
	TEST(r, pthread_join(td2, 0), "");
Szabolcs Nagy 08cb39
	TEST(r, pthread_join(td3, 0), "");
Szabolcs Nagy 08cb39
	TEST(r, pthread_mutex_destroy(&mtx), "");
Szabolcs Nagy 08cb39
	TEST(r, pthread_cond_destroy(&cond), "");
Szabolcs Nagy 08cb39
Szabolcs Nagy cfa23c
	return t_status;
Szabolcs Nagy 08cb39
}