OLD | NEW |
(Empty) | |
| 1 /* |
| 2 * Copyright (c) 2015 The Native Client Authors. All rights reserved. |
| 3 * Use of this source code is governed by a BSD-style license that can be |
| 4 * found in the LICENSE file. |
| 5 */ |
| 6 |
| 7 #include <pthread.h> |
| 8 #include <semaphore.h> |
| 9 |
| 10 #include "native_client/src/include/nacl_assert.h" |
| 11 #include "native_client/src/untrusted/irt/irt.h" |
| 12 #include "native_client/src/untrusted/nacl/nacl_irt.h" |
| 13 #include "native_client/src/untrusted/nacl/nacl_thread.h" |
| 14 |
| 15 #define CHECK_OK(expr) ASSERT_EQ(expr, 0) |
| 16 |
| 17 namespace { |
| 18 |
| 19 struct nacl_irt_thread_v0_2 libnacl_irt_thread_v0_2; |
| 20 struct nacl_irt_async_signal_handling libnacl_irt_async_signal_handling; |
| 21 |
| 22 volatile int g_signal_count; |
| 23 volatile int g_signal_arrived; |
| 24 volatile int g_test_running; |
| 25 nacl_irt_tid_t g_child_tid; |
| 26 void *g_expected_tls; |
| 27 sem_t g_sem; |
| 28 |
| 29 int thread_create_wrapper(void (*start_func)(void), void *stack, |
| 30 void *thread_ptr) { |
| 31 return libnacl_irt_thread_v0_2.thread_create(start_func, stack, thread_ptr, |
| 32 &g_child_tid); |
| 33 } |
| 34 |
| 35 int set_async_signal_handler(NaClIrtAsyncSignalHandler handler) { |
| 36 return libnacl_irt_async_signal_handling.set_async_signal_handler(handler); |
| 37 } |
| 38 |
| 39 int send_async_signal(nacl_irt_tid_t tid) { |
| 40 return libnacl_irt_async_signal_handling.send_async_signal(tid); |
| 41 } |
| 42 |
| 43 /* |
| 44 * Check that sending a signal before initializing signal support will result in |
| 45 * an error. |
| 46 */ |
| 47 void test_send_signal_before_set_handler() { |
| 48 int retval = send_async_signal(0); |
| 49 ASSERT_EQ(retval, ESRCH); |
| 50 } |
| 51 |
| 52 /* |
| 53 * Check that nacl_tls_get() is async-signal-safe. |
| 54 */ |
| 55 void tls_get_signal_handler(NaClExceptionContext *exc) { |
| 56 if (!g_test_running) |
| 57 return; |
| 58 ASSERT_EQ(nacl_tls_get(), g_expected_tls); |
| 59 g_signal_count++; |
| 60 g_signal_arrived = 1; |
| 61 } |
| 62 |
| 63 void *tls_get_thread_func(void *arg) { |
| 64 g_expected_tls = nacl_tls_get(); |
| 65 CHECK_OK(sem_post(&g_sem)); |
| 66 while (g_test_running) { |
| 67 ASSERT_EQ(nacl_tls_get(), g_expected_tls); |
| 68 if (__sync_bool_compare_and_swap(&g_signal_arrived, 1, 0)) { |
| 69 CHECK_OK(sem_post(&g_sem)); |
| 70 } |
| 71 } |
| 72 return NULL; |
| 73 } |
| 74 |
| 75 void test_async_safe_tls_get() { |
| 76 CHECK_OK(sem_init(&g_sem, 0, 0)); |
| 77 CHECK_OK(set_async_signal_handler(tls_get_signal_handler)); |
| 78 |
| 79 pthread_t tid; |
| 80 g_signal_count = 0; |
| 81 g_signal_arrived = 0; |
| 82 g_test_running = true; |
| 83 CHECK_OK(pthread_create(&tid, NULL, tls_get_thread_func, NULL)); |
| 84 |
| 85 CHECK_OK(sem_wait(&g_sem)); |
| 86 const int kSignalCount = 1000; |
| 87 for (int i = 0; i < kSignalCount; i++) { |
| 88 CHECK_OK(send_async_signal(g_child_tid)); |
| 89 CHECK_OK(sem_wait(&g_sem)); |
| 90 } |
| 91 g_test_running = false; |
| 92 /* Send a last signal to make sure any waiting syscalls get interrupted. */ |
| 93 CHECK_OK(send_async_signal(g_child_tid)); |
| 94 CHECK_OK(pthread_join(tid, NULL)); |
| 95 ASSERT_EQ(g_signal_count, kSignalCount); |
| 96 CHECK_OK(sem_destroy(&g_sem)); |
| 97 } |
| 98 |
| 99 #if !defined(__arm__) |
| 100 /* This test is broken on QEMU. */ |
| 101 |
| 102 /* |
| 103 * Check that both futex_wake() and futex_wait_abs() are signal-async-safe. |
| 104 */ |
| 105 void futex_signal_handler(NaClExceptionContext *exc) { |
| 106 int count = 0; |
| 107 ASSERT_EQ(__sync_bool_compare_and_swap(&g_signal_arrived, 0, 1), 1); |
| 108 CHECK_OK(__libnacl_irt_futex.futex_wake(&g_signal_arrived, INT_MAX, &count)); |
| 109 /* |
| 110 * |count| is always 0 since the thread waiting is now running the signal |
| 111 * handler, so it did not actually count as a wakeup. |
| 112 */ |
| 113 ASSERT_EQ(count, 0); |
| 114 if (g_test_running) |
| 115 g_signal_count++; |
| 116 } |
| 117 |
| 118 void *futex_thread_func(void *arg) { |
| 119 CHECK_OK(sem_post(&g_sem)); |
| 120 struct timespec timeout; |
| 121 /* |
| 122 * Make the timeout be the current time plus 10 seconds. This timeout should |
| 123 * never kick in, but if it does it means we deadlocked, so it's better to |
| 124 * assert than letting the job itself time out. |
| 125 */ |
| 126 clock_gettime(CLOCK_REALTIME, &timeout); |
| 127 timeout.tv_sec += 10; |
| 128 while (g_test_running) { |
| 129 int retval = __libnacl_irt_futex.futex_wait_abs(&g_signal_arrived, 0, |
| 130 &timeout); |
| 131 if (retval == EWOULDBLOCK) { |
| 132 /* |
| 133 * The signal handler executed before we could wait and changed the value |
| 134 * of |g_signal_arrived|. |
| 135 */ |
| 136 } else { |
| 137 /* |
| 138 * futex_wait_abs, when provided with a non-NULL timeout argument, can be |
| 139 * interrupted and will set errno to EINTR. This can happen even if the |
| 140 * SA_RESTART flag was used. |
| 141 */ |
| 142 ASSERT_EQ(retval, EINTR); |
| 143 } |
| 144 ASSERT_EQ(__sync_bool_compare_and_swap(&g_signal_arrived, 1, 0), 1); |
| 145 /* |
| 146 * Have to test again since we could have gone sleeping again after the last |
| 147 * iteration. |
| 148 */ |
| 149 if (g_test_running) |
| 150 CHECK_OK(sem_post(&g_sem)); |
| 151 } |
| 152 return NULL; |
| 153 } |
| 154 |
| 155 void test_async_safe_futex() { |
| 156 CHECK_OK(sem_init(&g_sem, 0, 0)); |
| 157 CHECK_OK(set_async_signal_handler(futex_signal_handler)); |
| 158 |
| 159 pthread_t tid; |
| 160 g_signal_count = 0; |
| 161 g_signal_arrived = 0; |
| 162 g_test_running = true; |
| 163 CHECK_OK(pthread_create(&tid, NULL, futex_thread_func, NULL)); |
| 164 |
| 165 CHECK_OK(sem_wait(&g_sem)); |
| 166 const int kSignalCount = 1000; |
| 167 for (int i = 0; i < kSignalCount; i++) { |
| 168 CHECK_OK(send_async_signal(g_child_tid)); |
| 169 CHECK_OK(sem_wait(&g_sem)); |
| 170 } |
| 171 g_test_running = false; |
| 172 /* Send a last signal to make sure any waiting syscalls get interrupted. */ |
| 173 CHECK_OK(send_async_signal(g_child_tid)); |
| 174 CHECK_OK(pthread_join(tid, NULL)); |
| 175 ASSERT_EQ(g_signal_count, kSignalCount); |
| 176 CHECK_OK(sem_destroy(&g_sem)); |
| 177 } |
| 178 |
| 179 #endif |
| 180 |
| 181 /* |
| 182 * Check that futex_wait_abs() with no timeout is restarted. |
| 183 * As opposed to the above test with futex, the signal handler does not try to |
| 184 * wake the thread up, since it will sometimes be called _after_ the |
| 185 * futex_wait_abs() returns. |
| 186 */ |
| 187 void futex_wait_signal_handler(NaClExceptionContext *exc) { |
| 188 ASSERT_EQ(__sync_bool_compare_and_swap(&g_signal_arrived, 0, 1), 1); |
| 189 } |
| 190 |
| 191 void *futex_wait_thread_func(void *arg) { |
| 192 volatile int *futex = (volatile int *)arg; |
| 193 CHECK_OK(sem_post(&g_sem)); |
| 194 while (g_test_running) { |
| 195 /* |
| 196 * Unfortunately, Linux sometimes can return 0 (instead of EINTR) on |
| 197 * futex_wait_abs() when it is spuriously woken up. |
| 198 */ |
| 199 while (*futex == 0) { |
| 200 int retval = __libnacl_irt_futex.futex_wait_abs(futex, 0, NULL); |
| 201 if (retval != EWOULDBLOCK) |
| 202 ASSERT_EQ(retval, 0); |
| 203 } |
| 204 ASSERT_EQ(__sync_bool_compare_and_swap(futex, 1, 0), 1); |
| 205 |
| 206 /* |
| 207 * Have to test again since we could have gone sleeping again after the last |
| 208 * iteration. |
| 209 */ |
| 210 if (g_test_running) { |
| 211 ASSERT_EQ(__sync_bool_compare_and_swap(&g_signal_arrived, 1, 0), 1); |
| 212 g_signal_count++; |
| 213 CHECK_OK(sem_post(&g_sem)); |
| 214 } |
| 215 } |
| 216 return NULL; |
| 217 } |
| 218 |
| 219 void test_futex_wait_restart() { |
| 220 CHECK_OK(sem_init(&g_sem, 0, 0)); |
| 221 CHECK_OK(set_async_signal_handler(futex_wait_signal_handler)); |
| 222 |
| 223 pthread_t tid; |
| 224 g_signal_count = 0; |
| 225 g_signal_arrived = 0; |
| 226 volatile int futex = 0; |
| 227 g_test_running = true; |
| 228 CHECK_OK(pthread_create(&tid, NULL, futex_wait_thread_func, (void *)&futex)); |
| 229 |
| 230 CHECK_OK(sem_wait(&g_sem)); |
| 231 const int kSignalCount = 1000; |
| 232 int count = 0; |
| 233 for (int i = 0; i < kSignalCount; i++) { |
| 234 /* Yield to the other process to try and get it in the desired state. */ |
| 235 sched_yield(); |
| 236 CHECK_OK(send_async_signal(g_child_tid)); |
| 237 sched_yield(); |
| 238 |
| 239 /* Wake it up using futex. This time, |count| may be 1. */ |
| 240 ASSERT_EQ(__sync_bool_compare_and_swap(&futex, 0, 1), 1); |
| 241 CHECK_OK(__libnacl_irt_futex.futex_wake(&futex, INT_MAX, &count)); |
| 242 ASSERT_LE(count, 1); |
| 243 |
| 244 CHECK_OK(sem_wait(&g_sem)); |
| 245 } |
| 246 g_test_running = false; |
| 247 /* |
| 248 * Wake the thread up again in case it waited again. |
| 249 */ |
| 250 __sync_bool_compare_and_swap(&futex, 0, 1); |
| 251 CHECK_OK(__libnacl_irt_futex.futex_wake(&futex, INT_MAX, &count)); |
| 252 CHECK_OK(pthread_join(tid, NULL)); |
| 253 ASSERT_EQ(g_signal_count, kSignalCount); |
| 254 CHECK_OK(sem_destroy(&g_sem)); |
| 255 } |
| 256 |
| 257 /* |
| 258 * Check that send_async_signal() is async-signal-safe. |
| 259 */ |
| 260 void signal_signal_handler(NaClExceptionContext *exc) { |
| 261 if (!g_test_running) |
| 262 return; |
| 263 if (++g_signal_count % 2 == 1) { |
| 264 CHECK_OK(send_async_signal(g_child_tid)); |
| 265 g_signal_arrived = 1; |
| 266 } |
| 267 } |
| 268 |
| 269 void *signal_thread_func(void *arg) { |
| 270 CHECK_OK(sem_post(&g_sem)); |
| 271 struct timespec req, rem; |
| 272 /* |
| 273 * In case we are unlucky and the signal arrives before the first sleep, limit |
| 274 * the time sleeping to 10 msec. |
| 275 */ |
| 276 req.tv_sec = 0; |
| 277 req.tv_nsec = 10000000; |
| 278 while (g_test_running) { |
| 279 while (g_test_running && !g_signal_arrived) { |
| 280 int retval = nanosleep(&req, &rem); |
| 281 if (retval != 0) |
| 282 ASSERT_EQ(errno, EINTR); |
| 283 } |
| 284 /* |
| 285 * Have to test again since we could have gone sleeping again after the last |
| 286 * iteration. |
| 287 */ |
| 288 if (!g_test_running) |
| 289 break; |
| 290 g_signal_arrived = 0; |
| 291 CHECK_OK(sem_post(&g_sem)); |
| 292 } |
| 293 return NULL; |
| 294 } |
| 295 |
| 296 void test_async_safe_signal() { |
| 297 CHECK_OK(sem_init(&g_sem, 0, 0)); |
| 298 CHECK_OK(set_async_signal_handler(signal_signal_handler)); |
| 299 |
| 300 pthread_t tid; |
| 301 g_test_running = true; |
| 302 g_signal_count = 0; |
| 303 g_signal_arrived = 0; |
| 304 CHECK_OK(pthread_create(&tid, NULL, signal_thread_func, NULL)); |
| 305 |
| 306 CHECK_OK(sem_wait(&g_sem)); |
| 307 const int kSignalCount = 1000; |
| 308 for (int i = 0; i < kSignalCount; i++) { |
| 309 CHECK_OK(send_async_signal(g_child_tid)); |
| 310 CHECK_OK(sem_wait(&g_sem)); |
| 311 } |
| 312 g_test_running = false; |
| 313 /* Send a last signal to make sure any waiting syscalls get interrupted. */ |
| 314 CHECK_OK(send_async_signal(g_child_tid)); |
| 315 CHECK_OK(pthread_join(tid, NULL)); |
| 316 ASSERT_EQ(g_signal_count, 2 * kSignalCount); |
| 317 CHECK_OK(sem_destroy(&g_sem)); |
| 318 } |
| 319 |
| 320 /* |
| 321 * Check that passing 0 as |tid| to send_async_signal() works and |
| 322 * sends a signal to the main thread. |
| 323 */ |
| 324 void main_signal_handler(NaClExceptionContext *exc) { |
| 325 g_signal_count = 1; |
| 326 } |
| 327 |
| 328 void test_main_signal() { |
| 329 CHECK_OK(set_async_signal_handler(main_signal_handler)); |
| 330 |
| 331 g_signal_count = 0; |
| 332 CHECK_OK(send_async_signal(NACL_IRT_MAIN_THREAD_TID)); |
| 333 ASSERT_EQ(g_signal_count, 1); |
| 334 } |
| 335 |
| 336 void run_test(const char *test_name, void (*test_func)(void)) { |
| 337 printf("Running %s...\n", test_name); |
| 338 test_func(); |
| 339 } |
| 340 |
| 341 } // namespace |
| 342 |
| 343 #define RUN_TEST(test_func) (run_test(#test_func, test_func)) |
| 344 |
| 345 int main(void) { |
| 346 size_t bytes; |
| 347 bytes = nacl_interface_query(NACL_IRT_THREAD_v0_2, &libnacl_irt_thread_v0_2, |
| 348 sizeof(libnacl_irt_thread_v0_2)); |
| 349 ASSERT_EQ(bytes, sizeof(libnacl_irt_thread_v0_2)); |
| 350 |
| 351 bytes = nacl_interface_query(NACL_IRT_ASYNC_SIGNAL_HANDLING_v0_1, |
| 352 &libnacl_irt_async_signal_handling, |
| 353 sizeof(libnacl_irt_async_signal_handling)); |
| 354 ASSERT_EQ(bytes, sizeof(libnacl_irt_async_signal_handling)); |
| 355 |
| 356 /* |
| 357 * In order to avoid modifying the libpthread implementation to save the |
| 358 * native tid, wrap that functionality so the tid is stored in a global |
| 359 * variable. |
| 360 */ |
| 361 __libnacl_irt_thread.thread_create = &thread_create_wrapper; |
| 362 |
| 363 RUN_TEST(test_send_signal_before_set_handler); |
| 364 |
| 365 RUN_TEST(test_async_safe_tls_get); |
| 366 #if !defined(__arm__) |
| 367 /* |
| 368 * Signals are sometimes delivered after the futex_wait syscall returns (as |
| 369 * opposed to interrupting it), which breaks this test. |
| 370 * |
| 371 * This problem only seems to happen in QEMU. |
| 372 */ |
| 373 RUN_TEST(test_async_safe_futex); |
| 374 #endif |
| 375 RUN_TEST(test_futex_wait_restart); |
| 376 RUN_TEST(test_async_safe_signal); |
| 377 RUN_TEST(test_main_signal); |
| 378 |
| 379 printf("Done\n"); |
| 380 |
| 381 return 0; |
| 382 } |
OLD | NEW |