1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
|
// Copyright 2019 The Emscripten Authors. All rights reserved.
// Emscripten is available under two separate licenses, the MIT license and the
// University of Illinois/NCSA Open Source License. Both these licenses can be
// found in the LICENSE file.
#include <assert.h>
#include <pthread.h>
#include <stdbool.h>
// tests, in the following sequence
// pthread_key_create with key k
// pthread_key_delete of key k
// pthread_key_create returning the same key k
// , that the thread local slot is correctly initialized to 0 in all threads
// overall structure based on test_pthread_reltime.cpp
static pthread_key_t key;
static pthread_mutex_t mutex = PTHREAD_MUTEX_INITIALIZER;
static pthread_cond_t cond_var = PTHREAD_COND_INITIALIZER;
static bool thread_sync = false;
void *thread_main(void *arg) {
assert(pthread_getspecific(key) == 0);
pthread_setspecific(key, (void*)123);
assert(pthread_getspecific(key) == (void*)123);
// wait for slot to be recreated
{
assert(pthread_mutex_lock(&mutex) == 0);
thread_sync = true;
assert(pthread_cond_signal(&cond_var) == 0);
assert(pthread_mutex_unlock(&mutex) == 0);
}
{
assert(pthread_mutex_lock(&mutex) == 0);
while (thread_sync)
assert(pthread_cond_wait(&cond_var, &mutex) == 0);
assert(pthread_mutex_unlock(&mutex) == 0);
}
assert(pthread_getspecific(key) == 0);
return NULL;
}
int main() {
// create tls slot and set the value
pthread_key_create(&key, NULL);
assert(pthread_getspecific(key) == 0);
pthread_setspecific(key, (void*)456);
assert(pthread_getspecific(key) == (void*)456);
// launch worker thread that also sets and queries the same slot
pthread_attr_t attr;
pthread_attr_init(&attr);
pthread_t thread;
int error = pthread_create(&thread, &attr, thread_main, NULL);
assert(!error);
// wait for worker thread to finish initial setting of the slot
{
assert(pthread_mutex_lock(&mutex) == 0);
while (!thread_sync)
assert(pthread_cond_wait(&cond_var, &mutex) == 0);
assert(pthread_mutex_unlock(&mutex) == 0);
}
// recreate
pthread_key_delete(key);
pthread_key_t oldkey = key;
pthread_key_create(&key, NULL);
assert(pthread_getspecific(key) == 0);
// this assertion holds in the current musl implementation,
// so we can skip having to loop over pthread_key_create's
// until we recover the same key
assert(oldkey == key);
// notify worker thread to check the slot again
{
assert(pthread_mutex_lock(&mutex) == 0);
thread_sync = false;
assert(pthread_cond_signal(&cond_var) == 0);
assert(pthread_mutex_unlock(&mutex) == 0);
}
pthread_join(thread, NULL);
return 0;
}
|
