Home | History | Annotate | Line # | Download | only in libpthread 
      1 /* $NetBSD: t_fpu.c,v 1.3 2017/01/16 16:27:43 christos Exp $ */
      2 
      3 /*
      4  * Copyright (c) 2008 The NetBSD Foundation, Inc.
      5  * All rights reserved.
      6  *
      7  * Redistribution and use in source and binary forms, with or without
      8  * modification, are permitted provided that the following conditions
      9  * are met:
     10  * 1. Redistributions of source code must retain the above copyright
     11  *    notice, this list of conditions and the following disclaimer.
     12  * 2. Redistributions in binary form must reproduce the above copyright
     13  *    notice, this list of conditions and the following disclaimer in the
     14  *    documentation and/or other materials provided with the distribution.
     15  *
     16  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
     17  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
     18  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
     19  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
     20  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
     21  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
     22  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
     23  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
     24  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
     25  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
     26  * POSSIBILITY OF SUCH DAMAGE.
     27  */
     28 
     29 #include <sys/cdefs.h>
     30 __COPYRIGHT("@(#) Copyright (c) 2008\
     31  The NetBSD Foundation, inc. All rights reserved.");
     32 __RCSID("$NetBSD: t_fpu.c,v 1.3 2017/01/16 16:27:43 christos Exp $");
     33 
     34 /*
     35  * This is adapted from part of csw/cstest of the MPD implementation by
     36  * the University of Arizona CS department (http://www.cs.arizona.edu/sr/)
     37  * which is in the public domain:
     38  *
     39  * "The MPD system is in the public domain and you may use and distribute it
     40  *  as you wish.  We ask that you retain credits referencing the University
     41  *  of Arizona and that you identify any changes you make.
     42  *
     43  *  We can't provide a warranty with MPD; it's up to you to determine its
     44  *  suitability and reliability for your needs.  We would like to hear of
     45  *  any problems you encounter but we cannot promise a timely correction."
     46  *
     47  * It was changed to use pthread_create() and sched_yield() instead of
     48  * the internal MPD context switching primitives by Ignatios Souvatzis
     49  * <is (at) netbsd.org>.
     50  */
     51 
     52 #include <errno.h>
     53 #include <math.h>
     54 #include <pthread.h>
     55 #include <sched.h>
     56 #include <stdio.h>
     57 #include <string.h>
     58 #include <stdlib.h>
     59 #include <unistd.h>
     60 
     61 #include <atf-c.h>
     62 
     63 #include "h_common.h"
     64 
     65 #define N_RECURSE 10
     66 
     67 static void recurse(void);
     68 
     69 int recursion_depth = 0;
     70 pthread_mutex_t recursion_depth_lock;
     71 
     72 static void *
     73 stir(void *p)
     74 {
     75 	double *q = (double *)p;
     76 	double x = *q++;
     77 	double y = *q++;
     78 	double z = *q++;
     79 
     80 	for (;;) {
     81 		x = sin ((y = cos (x + y + .4)) - (z = cos (x + z + .6)));
     82 		ATF_REQUIRE_MSG(sched_yield() == 0,
     83 		    "sched_yield failed: %s", strerror(errno));
     84 	}
     85 }
     86 
     87 static double
     88 mul3(double x, double y, double z)
     89 {
     90 	ATF_REQUIRE_MSG(sched_yield() == 0,
     91 	    "sched_yield failed: %s", strerror(errno));
     92 
     93 	return x * y * z;
     94 }
     95 
     96 static void *
     97 bar(void *p)
     98 {
     99 	double d;
    100 	int rc;
    101 
    102 	d = mul3(mul3(2., 3., 5.), mul3(7., 11., 13.), mul3(17., 19., 23.));
    103 	ATF_REQUIRE_EQ(d, 223092870.);
    104 
    105 	PTHREAD_REQUIRE(pthread_mutex_lock(&recursion_depth_lock));
    106 	rc = recursion_depth++;
    107 	PTHREAD_REQUIRE(pthread_mutex_unlock(&recursion_depth_lock));
    108 
    109 	if (rc < N_RECURSE)
    110 		recurse();
    111 	else
    112 		atf_tc_pass();
    113 
    114 	/* NOTREACHED */
    115 	return NULL;
    116 }
    117 
    118 static void
    119 recurse(void) {
    120 	pthread_t s2;
    121 	PTHREAD_REQUIRE(pthread_create(&s2, 0, bar, 0));
    122 	sleep(20); /* XXX must be long enough for our slowest machine */
    123 }
    124 
    125 ATF_TC(fpu);
    126 ATF_TC_HEAD(fpu, tc)
    127 {
    128 	atf_tc_set_md_var(tc, "descr",
    129 		"Checks that thread context switches will leave the "
    130 		"floating point computations unharmed");
    131 }
    132 ATF_TC_BODY(fpu, tc)
    133 {
    134 	double stirseed[] = { 1.7, 3.2, 2.4 };
    135 	pthread_t s5;
    136 
    137 	printf("Testing threaded floating point computations...\n");
    138 
    139 	PTHREAD_REQUIRE(pthread_mutex_init(&recursion_depth_lock, 0));
    140 
    141 	PTHREAD_REQUIRE(pthread_create(&s5, 0, stir, stirseed));
    142 	recurse();
    143 
    144 	atf_tc_fail("exiting from main");
    145 }
    146 
    147 ATF_TP_ADD_TCS(tp)
    148 {
    149 	ATF_TP_ADD_TC(tp, fpu);
    150 
    151 	return atf_no_error();
    152 }
    153