xref: /freebsd/contrib/netbsd-tests/lib/libpthread/t_join.c (revision 1a36faad54665288ed4eb839d2a4699ae2ead45e)
157718be8SEnji Cooper /* $NetBSD: t_join.c,v 1.8 2012/03/12 20:17:16 joerg Exp $ */
257718be8SEnji Cooper 
357718be8SEnji Cooper /*-
457718be8SEnji Cooper  * Copyright (c) 2010 The NetBSD Foundation, Inc.
557718be8SEnji Cooper  * All rights reserved.
657718be8SEnji Cooper  *
757718be8SEnji Cooper  * This code is derived from software contributed to The NetBSD Foundation
857718be8SEnji Cooper  * by Jukka Ruohonen.
957718be8SEnji Cooper  *
1057718be8SEnji Cooper  * Redistribution and use in source and binary forms, with or without
1157718be8SEnji Cooper  * modification, are permitted provided that the following conditions
1257718be8SEnji Cooper  * are met:
1357718be8SEnji Cooper  * 1. Redistributions of source code must retain the above copyright
1457718be8SEnji Cooper  *    notice, this list of conditions and the following disclaimer.
1557718be8SEnji Cooper  * 2. Redistributions in binary form must reproduce the above copyright
1657718be8SEnji Cooper  *    notice, this list of conditions and the following disclaimer in the
1757718be8SEnji Cooper  *    documentation and/or other materials provided with the distribution.
1857718be8SEnji Cooper  *
1957718be8SEnji Cooper  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
2057718be8SEnji Cooper  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
2157718be8SEnji Cooper  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
2257718be8SEnji Cooper  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
2357718be8SEnji Cooper  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
2457718be8SEnji Cooper  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
2557718be8SEnji Cooper  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
2657718be8SEnji Cooper  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
2757718be8SEnji Cooper  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
2857718be8SEnji Cooper  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
2957718be8SEnji Cooper  * POSSIBILITY OF SUCH DAMAGE.
3057718be8SEnji Cooper  */
3157718be8SEnji Cooper #include <sys/cdefs.h>
3257718be8SEnji Cooper __RCSID("$NetBSD: t_join.c,v 1.8 2012/03/12 20:17:16 joerg Exp $");
3357718be8SEnji Cooper 
3457718be8SEnji Cooper #include <errno.h>
3557718be8SEnji Cooper #include <pthread.h>
3657718be8SEnji Cooper #include <stdint.h>
3757718be8SEnji Cooper 
3857718be8SEnji Cooper #include <atf-c.h>
3957718be8SEnji Cooper 
4057718be8SEnji Cooper #include "h_common.h"
4157718be8SEnji Cooper 
4257718be8SEnji Cooper #ifdef CHECK_STACK_ALIGNMENT
4357718be8SEnji Cooper extern int check_stack_alignment(void);
4457718be8SEnji Cooper #endif
4557718be8SEnji Cooper 
4657718be8SEnji Cooper #define STACKSIZE	65536
4757718be8SEnji Cooper 
4857718be8SEnji Cooper static bool error;
4957718be8SEnji Cooper 
5057718be8SEnji Cooper static void *threadfunc1(void *);
5157718be8SEnji Cooper static void *threadfunc2(void *);
5257718be8SEnji Cooper 
5357718be8SEnji Cooper ATF_TC(pthread_join);
ATF_TC_HEAD(pthread_join,tc)5457718be8SEnji Cooper ATF_TC_HEAD(pthread_join, tc)
5557718be8SEnji Cooper {
5657718be8SEnji Cooper 
5757718be8SEnji Cooper 	atf_tc_set_md_var(tc, "descr",
5857718be8SEnji Cooper 	    "Checks basic error conditions in pthread_join(3)");
5957718be8SEnji Cooper }
6057718be8SEnji Cooper 
ATF_TC_BODY(pthread_join,tc)6157718be8SEnji Cooper ATF_TC_BODY(pthread_join, tc)
6257718be8SEnji Cooper {
6357718be8SEnji Cooper 	pthread_t thread;
6457718be8SEnji Cooper 
6557718be8SEnji Cooper 	PTHREAD_REQUIRE(pthread_create(&thread, NULL, threadfunc1, NULL));
6657718be8SEnji Cooper 	PTHREAD_REQUIRE(pthread_join(thread, NULL));
6757718be8SEnji Cooper }
6857718be8SEnji Cooper 
6957718be8SEnji Cooper static void *
threadfunc1(void * arg)7057718be8SEnji Cooper threadfunc1(void *arg)
7157718be8SEnji Cooper {
7257718be8SEnji Cooper 	pthread_t thread[25];
7357718be8SEnji Cooper 	pthread_t caller;
7457718be8SEnji Cooper 	void *val = NULL;
7557718be8SEnji Cooper 	uintptr_t i;
7657718be8SEnji Cooper 	int rv;
7757718be8SEnji Cooper 	pthread_attr_t attr;
7857718be8SEnji Cooper 
7957718be8SEnji Cooper 	caller = pthread_self();
8057718be8SEnji Cooper 
8157718be8SEnji Cooper #ifdef CHECK_STACK_ALIGNMENT
8257718be8SEnji Cooper 	/*
8357718be8SEnji Cooper 	 * Check alignment of thread stack, if supported.
8457718be8SEnji Cooper 	 */
8557718be8SEnji Cooper 	ATF_REQUIRE(check_stack_alignment());
8657718be8SEnji Cooper #endif
8757718be8SEnji Cooper 
8857718be8SEnji Cooper 	/*
8957718be8SEnji Cooper 	 * The behavior is undefined, but should error
9057718be8SEnji Cooper 	 * out, if we try to join the calling thread.
9157718be8SEnji Cooper 	 */
9257718be8SEnji Cooper 	rv = pthread_join(caller, NULL);
9357718be8SEnji Cooper 
9457718be8SEnji Cooper 	/*
9557718be8SEnji Cooper 	 * The specification recommends EDEADLK.
9657718be8SEnji Cooper 	 */
9757718be8SEnji Cooper 	ATF_REQUIRE(rv != 0);
9857718be8SEnji Cooper 	ATF_REQUIRE_EQ(rv, EDEADLK);
9957718be8SEnji Cooper 
10057718be8SEnji Cooper 	ATF_REQUIRE(pthread_attr_init(&attr) == 0);
10157718be8SEnji Cooper 
10257718be8SEnji Cooper 	for (i = 0; i < __arraycount(thread); i++) {
10357718be8SEnji Cooper 
10457718be8SEnji Cooper 		error = true;
10557718be8SEnji Cooper 
10657718be8SEnji Cooper 		ATF_REQUIRE(pthread_attr_setstacksize(&attr, STACKSIZE * (i + 1)) == 0);
10757718be8SEnji Cooper 
10857718be8SEnji Cooper 		rv = pthread_create(&thread[i], &attr, threadfunc2, (void *)i);
10957718be8SEnji Cooper 
11057718be8SEnji Cooper 		ATF_REQUIRE_EQ(rv, 0);
11157718be8SEnji Cooper 
11257718be8SEnji Cooper 		/*
11357718be8SEnji Cooper 		 * Check join and exit condition.
11457718be8SEnji Cooper 		 */
11557718be8SEnji Cooper 		PTHREAD_REQUIRE(pthread_join(thread[i], &val));
11657718be8SEnji Cooper 
11757718be8SEnji Cooper 		ATF_REQUIRE_EQ(error, false);
11857718be8SEnji Cooper 
11957718be8SEnji Cooper 		ATF_REQUIRE(val != NULL);
12057718be8SEnji Cooper 		ATF_REQUIRE(val == (void *)(i + 1));
12157718be8SEnji Cooper 
12257718be8SEnji Cooper 		/*
12357718be8SEnji Cooper 		 * Once the thread has returned, ESRCH should
12457718be8SEnji Cooper 		 * again follow if we try to join it again.
12557718be8SEnji Cooper 		 */
12657718be8SEnji Cooper 		rv = pthread_join(thread[i], NULL);
12757718be8SEnji Cooper 
12857718be8SEnji Cooper 		ATF_REQUIRE_EQ(rv, ESRCH);
12957718be8SEnji Cooper 
13057718be8SEnji Cooper 		/*
13157718be8SEnji Cooper 		 * Try to detach the exited thread.
13257718be8SEnji Cooper 		 */
13357718be8SEnji Cooper 		rv = pthread_detach(thread[i]);
13457718be8SEnji Cooper 
13557718be8SEnji Cooper 		ATF_REQUIRE(rv != 0);
13657718be8SEnji Cooper 	}
13757718be8SEnji Cooper 
13857718be8SEnji Cooper 	ATF_REQUIRE(pthread_attr_destroy(&attr) == 0);
13957718be8SEnji Cooper 
14057718be8SEnji Cooper 	pthread_exit(NULL);
14157718be8SEnji Cooper 
14257718be8SEnji Cooper 	return NULL;
14357718be8SEnji Cooper }
14457718be8SEnji Cooper 
14557718be8SEnji Cooper static void *
threadfunc2(void * arg)14657718be8SEnji Cooper threadfunc2(void *arg)
14757718be8SEnji Cooper {
14857718be8SEnji Cooper 	static uintptr_t i = 0;
14957718be8SEnji Cooper 	uintptr_t j;
15057718be8SEnji Cooper 	pthread_attr_t attr;
15157718be8SEnji Cooper 	size_t stacksize;
15257718be8SEnji Cooper 
15357718be8SEnji Cooper 	j = (uintptr_t)arg;
15457718be8SEnji Cooper 
155*ea74a0a2SEnji Cooper #ifdef __FreeBSD__
156*ea74a0a2SEnji Cooper 	pthread_attr_init(&attr);
157*ea74a0a2SEnji Cooper #endif
15857718be8SEnji Cooper 	ATF_REQUIRE(pthread_attr_get_np(pthread_self(), &attr) == 0);
15957718be8SEnji Cooper 	ATF_REQUIRE(pthread_attr_getstacksize(&attr, &stacksize) == 0);
16057718be8SEnji Cooper 	ATF_REQUIRE(stacksize == STACKSIZE * (j + 1));
16157718be8SEnji Cooper 	ATF_REQUIRE(pthread_attr_destroy(&attr) == 0);
16257718be8SEnji Cooper 
16357718be8SEnji Cooper 	if (i++ == j)
16457718be8SEnji Cooper 		error = false;
16557718be8SEnji Cooper 
16657718be8SEnji Cooper 	pthread_exit((void *)i);
16757718be8SEnji Cooper 
16857718be8SEnji Cooper 	return NULL;
16957718be8SEnji Cooper }
17057718be8SEnji Cooper 
ATF_TP_ADD_TCS(tp)17157718be8SEnji Cooper ATF_TP_ADD_TCS(tp)
17257718be8SEnji Cooper {
17357718be8SEnji Cooper 
17457718be8SEnji Cooper 	ATF_TP_ADD_TC(tp, pthread_join);
17557718be8SEnji Cooper 
17657718be8SEnji Cooper 	return atf_no_error();
17757718be8SEnji Cooper }
178