t_tsan_thread_leak.sh revision 1.1 1 1.1 kamil # Copyright (c) 2018 The NetBSD Foundation, Inc.
2 1.1 kamil # All rights reserved.
3 1.1 kamil #
4 1.1 kamil # This code is derived from software contributed to The NetBSD Foundation
5 1.1 kamil # by Yang Zheng.
6 1.1 kamil #
7 1.1 kamil # Redistribution and use in source and binary forms, with or without
8 1.1 kamil # modification, are permitted provided that the following conditions
9 1.1 kamil # are met:
10 1.1 kamil # 1. Redistributions of source code must retain the above copyright
11 1.1 kamil # notice, this list of conditions and the following disclaimer.
12 1.1 kamil # 2. Redistributions in binary form must reproduce the above copyright
13 1.1 kamil # notice, this list of conditions and the following disclaimer in the
14 1.1 kamil # documentation and/or other materials provided with the distribution.
15 1.1 kamil #
16 1.1 kamil # THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
17 1.1 kamil # ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
18 1.1 kamil # TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
19 1.1 kamil # PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
20 1.1 kamil # BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
21 1.1 kamil # CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
22 1.1 kamil # SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
23 1.1 kamil # INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
24 1.1 kamil # CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
25 1.1 kamil # ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
26 1.1 kamil # POSSIBILITY OF SUCH DAMAGE.
27 1.1 kamil #
28 1.1 kamil
29 1.1 kamil test_target()
30 1.1 kamil {
31 1.1 kamil SUPPORT='n'
32 1.1 kamil if uname -m | grep -q "amd64" && command -v cc >/dev/null 2>&1 && \
33 1.1 kamil ! echo __clang__ | cc -E - | grep -q __clang__; then
34 1.1 kamil # only clang with major version newer than 7 is supported
35 1.1 kamil CLANG_MAJOR=`echo __clang_major__ | cc -E - | grep -o '^[[:digit:]]'`
36 1.1 kamil if [ "$CLANG_MAJOR" -ge "7" ]; then
37 1.1 kamil SUPPORT='y'
38 1.1 kamil fi
39 1.1 kamil fi
40 1.1 kamil }
41 1.1 kamil
42 1.1 kamil atf_test_case thread_leak
43 1.1 kamil thread_leak_head() {
44 1.1 kamil atf_set "descr" "Test thread sanitizer for thread leak condition"
45 1.1 kamil atf_set "require.progs" "cc paxctl"
46 1.1 kamil }
47 1.1 kamil
48 1.1 kamil atf_test_case thread_leak_profile
49 1.1 kamil thread_leak_profile_head() {
50 1.1 kamil atf_set "descr" "Test thread sanitizer for thread leak with profiling option"
51 1.1 kamil atf_set "require.progs" "cc paxctl"
52 1.1 kamil }
53 1.1 kamil atf_test_case thread_leak_pic
54 1.1 kamil thread_leak_pic_head() {
55 1.1 kamil atf_set "descr" "Test thread sanitizer for thread leak with position independent code (PIC) flag"
56 1.1 kamil atf_set "require.progs" "cc paxctl"
57 1.1 kamil }
58 1.1 kamil atf_test_case thread_leak_pie
59 1.1 kamil thread_leak_pie_head() {
60 1.1 kamil atf_set "descr" "Test thread sanitizer for thread leak with position independent execution (PIE) flag"
61 1.1 kamil atf_set "require.progs" "cc paxctl"
62 1.1 kamil }
63 1.1 kamil
64 1.1 kamil thread_leak_body(){
65 1.1 kamil cat > test.c << EOF
66 1.1 kamil #include <pthread.h>
67 1.1 kamil #include <unistd.h>
68 1.1 kamil
69 1.1 kamil int GlobalData;
70 1.1 kamil pthread_barrier_t barrier;
71 1.1 kamil void *Thread(void *a) {
72 1.1 kamil pthread_barrier_wait(&barrier);
73 1.1 kamil return 0;
74 1.1 kamil }
75 1.1 kamil
76 1.1 kamil int main() {
77 1.1 kamil pthread_t t;
78 1.1 kamil pthread_barrier_init(&barrier, NULL, 2);
79 1.1 kamil pthread_create(&t, NULL, Thread, NULL);
80 1.1 kamil pthread_barrier_wait(&barrier);
81 1.1 kamil sleep(1);
82 1.1 kamil return 0;
83 1.1 kamil }
84 1.1 kamil EOF
85 1.1 kamil
86 1.1 kamil cc -fsanitize=thread -o test test.c
87 1.1 kamil paxctl +a test
88 1.1 kamil atf_check -s ignore -o ignore -e match:"WARNING: ThreadSanitizer: thread leak" ./test
89 1.1 kamil }
90 1.1 kamil
91 1.1 kamil thread_leak_profile_body(){
92 1.1 kamil cat > test.c << EOF
93 1.1 kamil #include <pthread.h>
94 1.1 kamil #include <unistd.h>
95 1.1 kamil
96 1.1 kamil int GlobalData;
97 1.1 kamil pthread_barrier_t barrier;
98 1.1 kamil void *Thread(void *a) {
99 1.1 kamil pthread_barrier_wait(&barrier);
100 1.1 kamil return 0;
101 1.1 kamil }
102 1.1 kamil
103 1.1 kamil int main() {
104 1.1 kamil pthread_t t;
105 1.1 kamil pthread_barrier_init(&barrier, NULL, 2);
106 1.1 kamil pthread_create(&t, NULL, Thread, NULL);
107 1.1 kamil pthread_barrier_wait(&barrier);
108 1.1 kamil sleep(1);
109 1.1 kamil return 0;
110 1.1 kamil }
111 1.1 kamil EOF
112 1.1 kamil
113 1.1 kamil cc -fsanitize=thread -o test -pg test.c
114 1.1 kamil paxctl +a test
115 1.1 kamil atf_check -s ignore -o ignore -e match:"WARNING: ThreadSanitizer: thread leak" ./test
116 1.1 kamil }
117 1.1 kamil
118 1.1 kamil thread_leak_pic_body(){
119 1.1 kamil cat > test.c << EOF
120 1.1 kamil #include <stdio.h>
121 1.1 kamil #include <stdlib.h>
122 1.1 kamil int help(int);
123 1.1 kamil int main(int argc, char **argv) {return help(argc);}
124 1.1 kamil EOF
125 1.1 kamil
126 1.1 kamil cat > pic.c << EOF
127 1.1 kamil #include <pthread.h>
128 1.1 kamil #include <unistd.h>
129 1.1 kamil
130 1.1 kamil int GlobalData;
131 1.1 kamil pthread_barrier_t barrier;
132 1.1 kamil void *Thread(void *a) {
133 1.1 kamil pthread_barrier_wait(&barrier);
134 1.1 kamil return 0;
135 1.1 kamil }
136 1.1 kamil
137 1.1 kamil int help(int argc) {
138 1.1 kamil pthread_t t;
139 1.1 kamil pthread_barrier_init(&barrier, NULL, 2);
140 1.1 kamil pthread_create(&t, NULL, Thread, NULL);
141 1.1 kamil pthread_barrier_wait(&barrier);
142 1.1 kamil sleep(1);
143 1.1 kamil return 0;
144 1.1 kamil }
145 1.1 kamil EOF
146 1.1 kamil
147 1.1 kamil cc -fsanitize=thread -fPIC -shared -o libtest.so pic.c
148 1.1 kamil cc -o test test.c -fsanitize=thread -L. -ltest
149 1.1 kamil paxctl +a test
150 1.1 kamil
151 1.1 kamil export LD_LIBRARY_PATH=.
152 1.1 kamil atf_check -s ignore -o ignore -e match:"WARNING: ThreadSanitizer: thread leak" ./test
153 1.1 kamil }
154 1.1 kamil thread_leak_pie_body(){
155 1.1 kamil
156 1.1 kamil #check whether -pie flag is supported on this architecture
157 1.1 kamil if ! cc -pie -dM -E - < /dev/null 2>/dev/null >/dev/null; then
158 1.1 kamil atf_set_skip "cc -pie not supported on this architecture"
159 1.1 kamil fi
160 1.1 kamil cat > test.c << EOF
161 1.1 kamil #include <pthread.h>
162 1.1 kamil #include <unistd.h>
163 1.1 kamil
164 1.1 kamil int GlobalData;
165 1.1 kamil pthread_barrier_t barrier;
166 1.1 kamil void *Thread(void *a) {
167 1.1 kamil pthread_barrier_wait(&barrier);
168 1.1 kamil return 0;
169 1.1 kamil }
170 1.1 kamil
171 1.1 kamil int main() {
172 1.1 kamil pthread_t t;
173 1.1 kamil pthread_barrier_init(&barrier, NULL, 2);
174 1.1 kamil pthread_create(&t, NULL, Thread, NULL);
175 1.1 kamil pthread_barrier_wait(&barrier);
176 1.1 kamil sleep(1);
177 1.1 kamil return 0;
178 1.1 kamil }
179 1.1 kamil EOF
180 1.1 kamil
181 1.1 kamil cc -fsanitize=thread -o test -fpie -pie test.c
182 1.1 kamil paxctl +a test
183 1.1 kamil atf_check -s ignore -o ignore -e match:"WARNING: ThreadSanitizer: thread leak" ./test
184 1.1 kamil }
185 1.1 kamil
186 1.1 kamil
187 1.1 kamil atf_test_case target_not_supported
188 1.1 kamil target_not_supported_head()
189 1.1 kamil {
190 1.1 kamil atf_set "descr" "Test forced skip"
191 1.1 kamil }
192 1.1 kamil
193 1.1 kamil atf_init_test_cases()
194 1.1 kamil {
195 1.1 kamil test_target
196 1.1 kamil test $SUPPORT = 'n' && {
197 1.1 kamil atf_add_test_case target_not_supported
198 1.1 kamil return 0
199 1.1 kamil }
200 1.1 kamil atf_add_test_case thread_leak
201 1.1 kamil atf_add_test_case thread_leak_profile
202 1.1 kamil atf_add_test_case thread_leak_pie
203 1.1 kamil atf_add_test_case thread_leak_pic
204 1.1 kamil }
205