xref: /freebsd/contrib/netbsd-tests/lib/libpthread/t_barrier.c (revision 9268022b74279434ed6300244e3f977e56a8ceb5)
1*57718be8SEnji Cooper /* $NetBSD: t_barrier.c,v 1.2 2010/11/03 16:10:22 christos Exp $ */
2*57718be8SEnji Cooper 
3*57718be8SEnji Cooper /*
4*57718be8SEnji Cooper  * Copyright (c) 2008 The NetBSD Foundation, Inc.
5*57718be8SEnji Cooper  * All rights reserved.
6*57718be8SEnji Cooper  *
7*57718be8SEnji Cooper  * Redistribution and use in source and binary forms, with or without
8*57718be8SEnji Cooper  * modification, are permitted provided that the following conditions
9*57718be8SEnji Cooper  * are met:
10*57718be8SEnji Cooper  * 1. Redistributions of source code must retain the above copyright
11*57718be8SEnji Cooper  *    notice, this list of conditions and the following disclaimer.
12*57718be8SEnji Cooper  * 2. Redistributions in binary form must reproduce the above copyright
13*57718be8SEnji Cooper  *    notice, this list of conditions and the following disclaimer in the
14*57718be8SEnji Cooper  *    documentation and/or other materials provided with the distribution.
15*57718be8SEnji Cooper  *
16*57718be8SEnji Cooper  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
17*57718be8SEnji Cooper  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
18*57718be8SEnji Cooper  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
19*57718be8SEnji Cooper  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
20*57718be8SEnji Cooper  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
21*57718be8SEnji Cooper  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
22*57718be8SEnji Cooper  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
23*57718be8SEnji Cooper  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
24*57718be8SEnji Cooper  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
25*57718be8SEnji Cooper  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
26*57718be8SEnji Cooper  * POSSIBILITY OF SUCH DAMAGE.
27*57718be8SEnji Cooper  */
28*57718be8SEnji Cooper 
29*57718be8SEnji Cooper #include <sys/cdefs.h>
30*57718be8SEnji Cooper __COPYRIGHT("@(#) Copyright (c) 2008\
31*57718be8SEnji Cooper  The NetBSD Foundation, inc. All rights reserved.");
32*57718be8SEnji Cooper __RCSID("$NetBSD: t_barrier.c,v 1.2 2010/11/03 16:10:22 christos Exp $");
33*57718be8SEnji Cooper 
34*57718be8SEnji Cooper #include <pthread.h>
35*57718be8SEnji Cooper #include <stdio.h>
36*57718be8SEnji Cooper #include <unistd.h>
37*57718be8SEnji Cooper 
38*57718be8SEnji Cooper #include <atf-c.h>
39*57718be8SEnji Cooper 
40*57718be8SEnji Cooper #include "h_common.h"
41*57718be8SEnji Cooper 
42*57718be8SEnji Cooper #define COUNT 5
43*57718be8SEnji Cooper 
44*57718be8SEnji Cooper pthread_barrier_t barrier;
45*57718be8SEnji Cooper pthread_mutex_t mutex;
46*57718be8SEnji Cooper int serial_count;
47*57718be8SEnji Cooper int after_barrier_count;
48*57718be8SEnji Cooper 
49*57718be8SEnji Cooper static void *
threadfunc(void * arg)50*57718be8SEnji Cooper threadfunc(void *arg)
51*57718be8SEnji Cooper {
52*57718be8SEnji Cooper 	int which = (int)(long)arg;
53*57718be8SEnji Cooper 	int rv;
54*57718be8SEnji Cooper 
55*57718be8SEnji Cooper 	printf("thread %d entering barrier\n", which);
56*57718be8SEnji Cooper 	rv = pthread_barrier_wait(&barrier);
57*57718be8SEnji Cooper 	printf("thread %d leaving barrier -> %d\n", which, rv);
58*57718be8SEnji Cooper 
59*57718be8SEnji Cooper 	PTHREAD_REQUIRE(pthread_mutex_lock(&mutex));
60*57718be8SEnji Cooper 	after_barrier_count++;
61*57718be8SEnji Cooper 	if (rv == PTHREAD_BARRIER_SERIAL_THREAD)
62*57718be8SEnji Cooper 		serial_count++;
63*57718be8SEnji Cooper 	PTHREAD_REQUIRE(pthread_mutex_unlock(&mutex));
64*57718be8SEnji Cooper 
65*57718be8SEnji Cooper 	return NULL;
66*57718be8SEnji Cooper }
67*57718be8SEnji Cooper 
68*57718be8SEnji Cooper ATF_TC(barrier);
ATF_TC_HEAD(barrier,tc)69*57718be8SEnji Cooper ATF_TC_HEAD(barrier, tc)
70*57718be8SEnji Cooper {
71*57718be8SEnji Cooper 	atf_tc_set_md_var(tc, "descr", "Checks barriers");
72*57718be8SEnji Cooper }
ATF_TC_BODY(barrier,tc)73*57718be8SEnji Cooper ATF_TC_BODY(barrier, tc)
74*57718be8SEnji Cooper {
75*57718be8SEnji Cooper 	int i;
76*57718be8SEnji Cooper 	pthread_t new[COUNT];
77*57718be8SEnji Cooper 	void *joinval;
78*57718be8SEnji Cooper 
79*57718be8SEnji Cooper 	PTHREAD_REQUIRE(pthread_mutex_init(&mutex, NULL));
80*57718be8SEnji Cooper 	PTHREAD_REQUIRE(pthread_barrier_init(&barrier, NULL, COUNT));
81*57718be8SEnji Cooper 
82*57718be8SEnji Cooper 	for (i = 0; i < COUNT; i++) {
83*57718be8SEnji Cooper 		PTHREAD_REQUIRE(pthread_mutex_lock(&mutex));
84*57718be8SEnji Cooper 		ATF_REQUIRE_EQ(after_barrier_count, 0);
85*57718be8SEnji Cooper 		PTHREAD_REQUIRE(pthread_mutex_unlock(&mutex));
86*57718be8SEnji Cooper 		PTHREAD_REQUIRE(pthread_create(&new[i], NULL, threadfunc,
87*57718be8SEnji Cooper 						(void *)(long)i));
88*57718be8SEnji Cooper 		sleep(2);
89*57718be8SEnji Cooper 	}
90*57718be8SEnji Cooper 
91*57718be8SEnji Cooper 	for (i = 0; i < COUNT; i++) {
92*57718be8SEnji Cooper 		PTHREAD_REQUIRE(pthread_join(new[i], &joinval));
93*57718be8SEnji Cooper 		PTHREAD_REQUIRE(pthread_mutex_lock(&mutex));
94*57718be8SEnji Cooper 		ATF_REQUIRE(after_barrier_count > i);
95*57718be8SEnji Cooper 		PTHREAD_REQUIRE(pthread_mutex_unlock(&mutex));
96*57718be8SEnji Cooper 		printf("main joined with thread %d\n", i);
97*57718be8SEnji Cooper 	}
98*57718be8SEnji Cooper 
99*57718be8SEnji Cooper 	PTHREAD_REQUIRE(pthread_mutex_lock(&mutex));
100*57718be8SEnji Cooper 	ATF_REQUIRE_EQ(after_barrier_count, COUNT);
101*57718be8SEnji Cooper 	PTHREAD_REQUIRE(pthread_mutex_unlock(&mutex));
102*57718be8SEnji Cooper 	ATF_REQUIRE_EQ(serial_count, 1);
103*57718be8SEnji Cooper }
104*57718be8SEnji Cooper 
ATF_TP_ADD_TCS(tp)105*57718be8SEnji Cooper ATF_TP_ADD_TCS(tp)
106*57718be8SEnji Cooper {
107*57718be8SEnji Cooper 	ATF_TP_ADD_TC(tp, barrier);
108*57718be8SEnji Cooper 
109*57718be8SEnji Cooper 	return atf_no_error();
110*57718be8SEnji Cooper }
111