Rev 3918 | Details | Compare with Previous | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 3918 | decky | 1 | /* |
| 2 | * Copyright (c) 2005 Jakub Vana |
||
| 3 | * Copyright (c) 2005 Jakub Jermar |
||
| 4 | * All rights reserved. |
||
| 5 | * |
||
| 6 | * Redistribution and use in source and binary forms, with or without |
||
| 7 | * modification, are permitted provided that the following conditions |
||
| 8 | * are met: |
||
| 9 | * |
||
| 10 | * - Redistributions of source code must retain the above copyright |
||
| 11 | * notice, this list of conditions and the following disclaimer. |
||
| 12 | * - 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 | * - The name of the author may not be used to endorse or promote products |
||
| 16 | * derived from this software without specific prior written permission. |
||
| 17 | * |
||
| 18 | * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR |
||
| 19 | * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES |
||
| 20 | * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. |
||
| 21 | * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, |
||
| 22 | * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT |
||
| 23 | * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, |
||
| 24 | * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY |
||
| 25 | * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT |
||
| 26 | * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF |
||
| 27 | * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
||
| 28 | */ |
||
| 29 | |||
| 30 | #include <print.h> |
||
| 31 | #include <debug.h> |
||
| 32 | |||
| 33 | #include <test.h> |
||
| 34 | #include <atomic.h> |
||
| 35 | #include <proc/thread.h> |
||
| 36 | |||
| 37 | #include <arch.h> |
||
| 38 | #include <arch/arch.h> |
||
| 39 | |||
| 40 | |||
| 41 | #define THREADS 150 |
||
| 42 | #define ATTEMPTS 100 |
||
| 43 | |||
| 44 | #define E_10e8 271828182 |
||
| 45 | #define PI_10e8 3141592 |
||
| 46 | |||
| 47 | static inline long double sqrt(long double a) |
||
| 48 | { |
||
| 49 | long double x = 1; |
||
| 50 | long double lx = 0; |
||
| 51 | |||
| 52 | if (a < 0.00000000000000001) |
||
| 53 | return 0; |
||
| 54 | |||
| 55 | while (x != lx) { |
||
| 56 | lx = x; |
||
| 57 | x = (x + (a / x)) / 2; |
||
| 58 | } |
||
| 59 | |||
| 60 | return x; |
||
| 61 | } |
||
| 62 | |||
| 63 | static atomic_t threads_ok; |
||
| 64 | static atomic_t threads_fault; |
||
| 65 | static waitq_t can_start; |
||
| 66 | |||
| 67 | static void e(void *data) |
||
| 68 | { |
||
| 69 | int i; |
||
| 70 | double e, d, le, f; |
||
| 71 | |||
| 72 | thread_detach(THREAD); |
||
| 73 | |||
| 74 | waitq_sleep(&can_start); |
||
| 75 | |||
| 76 | for (i = 0; i<ATTEMPTS; i++) { |
||
| 77 | le = -1; |
||
| 78 | e = 0; |
||
| 79 | f = 1; |
||
| 80 | |||
| 81 | for (d = 1; e != le; d *= f, f += 1) { |
||
| 82 | le = e; |
||
| 83 | e = e + 1 / d; |
||
| 84 | } |
||
| 85 | |||
| 86 | if ((int) (100000000 * e) != E_10e8) { |
||
| 4227 | decky | 87 | TPRINTF("tid%" PRIu64 ": e*10e8=%zd should be %" PRIun "\n", THREAD->tid, (unative_t) (100000000 * e), (unative_t) E_10e8); |
| 3918 | decky | 88 | atomic_inc(&threads_fault); |
| 89 | break; |
||
| 90 | } |
||
| 91 | } |
||
| 92 | atomic_inc(&threads_ok); |
||
| 93 | } |
||
| 94 | |||
| 95 | static void pi(void *data) |
||
| 96 | { |
||
| 97 | int i; |
||
| 98 | double lpi, pi; |
||
| 99 | double n, ab, ad; |
||
| 100 | |||
| 101 | thread_detach(THREAD); |
||
| 102 | |||
| 103 | waitq_sleep(&can_start); |
||
| 104 | |||
| 105 | for (i = 0; i < ATTEMPTS; i++) { |
||
| 106 | lpi = -1; |
||
| 107 | pi = 0; |
||
| 108 | |||
| 109 | for (n = 2, ab = sqrt(2); lpi != pi; n *= 2, ab = ad) { |
||
| 110 | double sc, cd; |
||
| 111 | |||
| 112 | sc = sqrt(1 - (ab * ab / 4)); |
||
| 113 | cd = 1 - sc; |
||
| 114 | ad = sqrt(ab * ab / 4 + cd * cd); |
||
| 115 | lpi = pi; |
||
| 116 | pi = 2 * n * ad; |
||
| 117 | } |
||
| 118 | |||
| 119 | if ((int) (1000000 * pi) != PI_10e8) { |
||
| 4227 | decky | 120 | TPRINTF("tid%" PRIu64 ": pi*10e8=%zd should be %" PRIun "\n", THREAD->tid, (unative_t) (1000000 * pi), (unative_t) (PI_10e8 / 100)); |
| 3918 | decky | 121 | atomic_inc(&threads_fault); |
| 122 | break; |
||
| 123 | } |
||
| 124 | } |
||
| 125 | atomic_inc(&threads_ok); |
||
| 126 | } |
||
| 127 | |||
| 4227 | decky | 128 | char *test_fpu1(void) |
| 3918 | decky | 129 | { |
| 130 | unsigned int i, total = 0; |
||
| 131 | |||
| 132 | waitq_initialize(&can_start); |
||
| 133 | atomic_set(&threads_ok, 0); |
||
| 134 | atomic_set(&threads_fault, 0); |
||
| 135 | |||
| 4227 | decky | 136 | TPRINTF("Creating %u threads... ", 2 * THREADS); |
| 3918 | decky | 137 | |
| 4227 | decky | 138 | for (i = 0; i < THREADS; i++) { |
| 3918 | decky | 139 | thread_t *t; |
| 140 | |||
| 141 | if (!(t = thread_create(e, NULL, TASK, 0, "e", false))) { |
||
| 4227 | decky | 142 | TPRINTF("could not create thread %u\n", 2 * i); |
| 3918 | decky | 143 | break; |
| 144 | } |
||
| 145 | thread_ready(t); |
||
| 146 | total++; |
||
| 147 | |||
| 148 | if (!(t = thread_create(pi, NULL, TASK, 0, "pi", false))) { |
||
| 4227 | decky | 149 | TPRINTF("could not create thread %u\n", 2 * i + 1); |
| 3918 | decky | 150 | break; |
| 151 | } |
||
| 152 | thread_ready(t); |
||
| 153 | total++; |
||
| 154 | } |
||
| 155 | |||
| 4227 | decky | 156 | TPRINTF("ok\n"); |
| 3918 | decky | 157 | |
| 158 | thread_sleep(1); |
||
| 159 | waitq_wakeup(&can_start, WAKEUP_ALL); |
||
| 160 | |||
| 161 | while (atomic_get(&threads_ok) != (long) total) { |
||
| 4227 | decky | 162 | TPRINTF("Threads left: %d\n", total - atomic_get(&threads_ok)); |
| 3918 | decky | 163 | thread_sleep(1); |
| 164 | } |
||
| 165 | |||
| 166 | if (atomic_get(&threads_fault) == 0) |
||
| 167 | return NULL; |
||
| 168 | |||
| 169 | return "Test failed"; |
||
| 170 | } |