xref: /minix3/tests/lib/libpthread/t_join.c (revision 11be35a165022172ed3cea20f2b5df0307540b0e)
1*11be35a1SLionel Sambuc /* $NetBSD: t_join.c,v 1.8 2012/03/12 20:17:16 joerg Exp $ */
2*11be35a1SLionel Sambuc 
3*11be35a1SLionel Sambuc /*-
4*11be35a1SLionel Sambuc  * Copyright (c) 2010 The NetBSD Foundation, Inc.
5*11be35a1SLionel Sambuc  * All rights reserved.
6*11be35a1SLionel Sambuc  *
7*11be35a1SLionel Sambuc  * This code is derived from software contributed to The NetBSD Foundation
8*11be35a1SLionel Sambuc  * by Jukka Ruohonen.
9*11be35a1SLionel Sambuc  *
10*11be35a1SLionel Sambuc  * Redistribution and use in source and binary forms, with or without
11*11be35a1SLionel Sambuc  * modification, are permitted provided that the following conditions
12*11be35a1SLionel Sambuc  * are met:
13*11be35a1SLionel Sambuc  * 1. Redistributions of source code must retain the above copyright
14*11be35a1SLionel Sambuc  *    notice, this list of conditions and the following disclaimer.
15*11be35a1SLionel Sambuc  * 2. Redistributions in binary form must reproduce the above copyright
16*11be35a1SLionel Sambuc  *    notice, this list of conditions and the following disclaimer in the
17*11be35a1SLionel Sambuc  *    documentation and/or other materials provided with the distribution.
18*11be35a1SLionel Sambuc  *
19*11be35a1SLionel Sambuc  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
20*11be35a1SLionel Sambuc  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
21*11be35a1SLionel Sambuc  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
22*11be35a1SLionel Sambuc  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
23*11be35a1SLionel Sambuc  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
24*11be35a1SLionel Sambuc  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
25*11be35a1SLionel Sambuc  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
26*11be35a1SLionel Sambuc  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
27*11be35a1SLionel Sambuc  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
28*11be35a1SLionel Sambuc  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
29*11be35a1SLionel Sambuc  * POSSIBILITY OF SUCH DAMAGE.
30*11be35a1SLionel Sambuc  */
31*11be35a1SLionel Sambuc #include <sys/cdefs.h>
32*11be35a1SLionel Sambuc __RCSID("$NetBSD: t_join.c,v 1.8 2012/03/12 20:17:16 joerg Exp $");
33*11be35a1SLionel Sambuc 
34*11be35a1SLionel Sambuc #include <errno.h>
35*11be35a1SLionel Sambuc #include <pthread.h>
36*11be35a1SLionel Sambuc #include <stdint.h>
37*11be35a1SLionel Sambuc 
38*11be35a1SLionel Sambuc #include <atf-c.h>
39*11be35a1SLionel Sambuc 
40*11be35a1SLionel Sambuc #include "h_common.h"
41*11be35a1SLionel Sambuc 
42*11be35a1SLionel Sambuc #ifdef CHECK_STACK_ALIGNMENT
43*11be35a1SLionel Sambuc extern int check_stack_alignment(void);
44*11be35a1SLionel Sambuc #endif
45*11be35a1SLionel Sambuc 
46*11be35a1SLionel Sambuc #define STACKSIZE	65536
47*11be35a1SLionel Sambuc 
48*11be35a1SLionel Sambuc static bool error;
49*11be35a1SLionel Sambuc 
50*11be35a1SLionel Sambuc static void *threadfunc1(void *);
51*11be35a1SLionel Sambuc static void *threadfunc2(void *);
52*11be35a1SLionel Sambuc 
53*11be35a1SLionel Sambuc ATF_TC(pthread_join);
ATF_TC_HEAD(pthread_join,tc)54*11be35a1SLionel Sambuc ATF_TC_HEAD(pthread_join, tc)
55*11be35a1SLionel Sambuc {
56*11be35a1SLionel Sambuc 
57*11be35a1SLionel Sambuc 	atf_tc_set_md_var(tc, "descr",
58*11be35a1SLionel Sambuc 	    "Checks basic error conditions in pthread_join(3)");
59*11be35a1SLionel Sambuc }
60*11be35a1SLionel Sambuc 
ATF_TC_BODY(pthread_join,tc)61*11be35a1SLionel Sambuc ATF_TC_BODY(pthread_join, tc)
62*11be35a1SLionel Sambuc {
63*11be35a1SLionel Sambuc 	pthread_t thread;
64*11be35a1SLionel Sambuc 
65*11be35a1SLionel Sambuc 	PTHREAD_REQUIRE(pthread_create(&thread, NULL, threadfunc1, NULL));
66*11be35a1SLionel Sambuc 	PTHREAD_REQUIRE(pthread_join(thread, NULL));
67*11be35a1SLionel Sambuc }
68*11be35a1SLionel Sambuc 
69*11be35a1SLionel Sambuc static void *
threadfunc1(void * arg)70*11be35a1SLionel Sambuc threadfunc1(void *arg)
71*11be35a1SLionel Sambuc {
72*11be35a1SLionel Sambuc 	pthread_t thread[25];
73*11be35a1SLionel Sambuc 	pthread_t caller;
74*11be35a1SLionel Sambuc 	void *val = NULL;
75*11be35a1SLionel Sambuc 	uintptr_t i;
76*11be35a1SLionel Sambuc 	int rv;
77*11be35a1SLionel Sambuc 	pthread_attr_t attr;
78*11be35a1SLionel Sambuc 
79*11be35a1SLionel Sambuc 	caller = pthread_self();
80*11be35a1SLionel Sambuc 
81*11be35a1SLionel Sambuc #ifdef CHECK_STACK_ALIGNMENT
82*11be35a1SLionel Sambuc 	/*
83*11be35a1SLionel Sambuc 	 * Check alignment of thread stack, if supported.
84*11be35a1SLionel Sambuc 	 */
85*11be35a1SLionel Sambuc 	ATF_REQUIRE(check_stack_alignment());
86*11be35a1SLionel Sambuc #endif
87*11be35a1SLionel Sambuc 
88*11be35a1SLionel Sambuc 	/*
89*11be35a1SLionel Sambuc 	 * The behavior is undefined, but should error
90*11be35a1SLionel Sambuc 	 * out, if we try to join the calling thread.
91*11be35a1SLionel Sambuc 	 */
92*11be35a1SLionel Sambuc 	rv = pthread_join(caller, NULL);
93*11be35a1SLionel Sambuc 
94*11be35a1SLionel Sambuc 	/*
95*11be35a1SLionel Sambuc 	 * The specification recommends EDEADLK.
96*11be35a1SLionel Sambuc 	 */
97*11be35a1SLionel Sambuc 	ATF_REQUIRE(rv != 0);
98*11be35a1SLionel Sambuc 	ATF_REQUIRE_EQ(rv, EDEADLK);
99*11be35a1SLionel Sambuc 
100*11be35a1SLionel Sambuc 	ATF_REQUIRE(pthread_attr_init(&attr) == 0);
101*11be35a1SLionel Sambuc 
102*11be35a1SLionel Sambuc 	for (i = 0; i < __arraycount(thread); i++) {
103*11be35a1SLionel Sambuc 
104*11be35a1SLionel Sambuc 		error = true;
105*11be35a1SLionel Sambuc 
106*11be35a1SLionel Sambuc 		ATF_REQUIRE(pthread_attr_setstacksize(&attr, STACKSIZE * (i + 1)) == 0);
107*11be35a1SLionel Sambuc 
108*11be35a1SLionel Sambuc 		rv = pthread_create(&thread[i], &attr, threadfunc2, (void *)i);
109*11be35a1SLionel Sambuc 
110*11be35a1SLionel Sambuc 		ATF_REQUIRE_EQ(rv, 0);
111*11be35a1SLionel Sambuc 
112*11be35a1SLionel Sambuc 		/*
113*11be35a1SLionel Sambuc 		 * Check join and exit condition.
114*11be35a1SLionel Sambuc 		 */
115*11be35a1SLionel Sambuc 		PTHREAD_REQUIRE(pthread_join(thread[i], &val));
116*11be35a1SLionel Sambuc 
117*11be35a1SLionel Sambuc 		ATF_REQUIRE_EQ(error, false);
118*11be35a1SLionel Sambuc 
119*11be35a1SLionel Sambuc 		ATF_REQUIRE(val != NULL);
120*11be35a1SLionel Sambuc 		ATF_REQUIRE(val == (void *)(i + 1));
121*11be35a1SLionel Sambuc 
122*11be35a1SLionel Sambuc 		/*
123*11be35a1SLionel Sambuc 		 * Once the thread has returned, ESRCH should
124*11be35a1SLionel Sambuc 		 * again follow if we try to join it again.
125*11be35a1SLionel Sambuc 		 */
126*11be35a1SLionel Sambuc 		rv = pthread_join(thread[i], NULL);
127*11be35a1SLionel Sambuc 
128*11be35a1SLionel Sambuc 		ATF_REQUIRE_EQ(rv, ESRCH);
129*11be35a1SLionel Sambuc 
130*11be35a1SLionel Sambuc 		/*
131*11be35a1SLionel Sambuc 		 * Try to detach the exited thread.
132*11be35a1SLionel Sambuc 		 */
133*11be35a1SLionel Sambuc 		rv = pthread_detach(thread[i]);
134*11be35a1SLionel Sambuc 
135*11be35a1SLionel Sambuc 		ATF_REQUIRE(rv != 0);
136*11be35a1SLionel Sambuc 	}
137*11be35a1SLionel Sambuc 
138*11be35a1SLionel Sambuc 	ATF_REQUIRE(pthread_attr_destroy(&attr) == 0);
139*11be35a1SLionel Sambuc 
140*11be35a1SLionel Sambuc 	pthread_exit(NULL);
141*11be35a1SLionel Sambuc 
142*11be35a1SLionel Sambuc 	return NULL;
143*11be35a1SLionel Sambuc }
144*11be35a1SLionel Sambuc 
145*11be35a1SLionel Sambuc static void *
threadfunc2(void * arg)146*11be35a1SLionel Sambuc threadfunc2(void *arg)
147*11be35a1SLionel Sambuc {
148*11be35a1SLionel Sambuc 	static uintptr_t i = 0;
149*11be35a1SLionel Sambuc 	uintptr_t j;
150*11be35a1SLionel Sambuc 	pthread_attr_t attr;
151*11be35a1SLionel Sambuc 	size_t stacksize;
152*11be35a1SLionel Sambuc 
153*11be35a1SLionel Sambuc 	j = (uintptr_t)arg;
154*11be35a1SLionel Sambuc 
155*11be35a1SLionel Sambuc 	ATF_REQUIRE(pthread_attr_get_np(pthread_self(), &attr) == 0);
156*11be35a1SLionel Sambuc 	ATF_REQUIRE(pthread_attr_getstacksize(&attr, &stacksize) == 0);
157*11be35a1SLionel Sambuc 	ATF_REQUIRE(stacksize == STACKSIZE * (j + 1));
158*11be35a1SLionel Sambuc 	ATF_REQUIRE(pthread_attr_destroy(&attr) == 0);
159*11be35a1SLionel Sambuc 
160*11be35a1SLionel Sambuc 	if (i++ == j)
161*11be35a1SLionel Sambuc 		error = false;
162*11be35a1SLionel Sambuc 
163*11be35a1SLionel Sambuc 	pthread_exit((void *)i);
164*11be35a1SLionel Sambuc 
165*11be35a1SLionel Sambuc 	return NULL;
166*11be35a1SLionel Sambuc }
167*11be35a1SLionel Sambuc 
ATF_TP_ADD_TCS(tp)168*11be35a1SLionel Sambuc ATF_TP_ADD_TCS(tp)
169*11be35a1SLionel Sambuc {
170*11be35a1SLionel Sambuc 
171*11be35a1SLionel Sambuc 	ATF_TP_ADD_TC(tp, pthread_join);
172*11be35a1SLionel Sambuc 
173*11be35a1SLionel Sambuc 	return atf_no_error();
174*11be35a1SLionel Sambuc }
175