blob: e9eb507a1b69b0e261c03f9f26542d5f79026833 [file] [log] [blame]
Elliott Hughesbfeab1b2012-09-05 17:47:37 -07001/*
2 * Copyright (C) 2012 The Android Open Source Project
3 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 * http://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
16
17#include <gtest/gtest.h>
18
19#include <errno.h>
Elliott Hughes5b9310e2013-10-02 16:59:05 -070020#include <inttypes.h>
Elliott Hughesb95cf0d2013-07-15 14:51:07 -070021#include <limits.h>
Elliott Hughes04620a32014-03-07 17:59:05 -080022#include <malloc.h>
Elliott Hughesbfeab1b2012-09-05 17:47:37 -070023#include <pthread.h>
Christopher Ferrisf04935c2013-12-20 18:43:21 -080024#include <signal.h>
Yabin Cui140f3672015-02-03 10:32:00 -080025#include <stdio.h>
Elliott Hughes70b24b12013-11-15 11:51:07 -080026#include <sys/mman.h>
Elliott Hughes4d098ca2016-04-11 12:43:05 -070027#include <sys/prctl.h>
Elliott Hughes57b7a612014-08-25 17:26:50 -070028#include <sys/syscall.h>
Narayan Kamath51e6cb32014-03-03 15:38:51 +000029#include <time.h>
Elliott Hughes4d014e12012-09-07 16:47:54 -070030#include <unistd.h>
Yabin Cui33ac04a2015-09-22 11:16:15 -070031#include <unwind.h>
Elliott Hughesbfeab1b2012-09-05 17:47:37 -070032
Yabin Cui08ee8d22015-02-11 17:04:36 -080033#include <atomic>
Yabin Cuib5845722015-03-16 22:46:42 -070034#include <vector>
Yabin Cui08ee8d22015-02-11 17:04:36 -080035
Yabin Cui6b9c85b2018-01-23 12:56:18 -080036#include <android-base/parseint.h>
Tom Cherryb8ab6182017-04-05 16:20:29 -070037#include <android-base/scopeguard.h>
Yabin Cui6b9c85b2018-01-23 12:56:18 -080038#include <android-base/strings.h>
Tom Cherryb8ab6182017-04-05 16:20:29 -070039
Yabin Cuic9a659c2015-11-05 15:36:08 -080040#include "private/bionic_constants.h"
Yabin Cui17393b02015-03-21 15:08:25 -070041#include "private/bionic_macros.h"
Yabin Cui17393b02015-03-21 15:08:25 -070042#include "BionicDeathTest.h"
Elliott Hughes71ba5892018-02-07 12:44:45 -080043#include "SignalUtils.h"
Elliott Hughes15dfd632015-09-22 16:40:14 -070044#include "utils.h"
45
Elliott Hughesbfeab1b2012-09-05 17:47:37 -070046TEST(pthread, pthread_key_create) {
47 pthread_key_t key;
48 ASSERT_EQ(0, pthread_key_create(&key, NULL));
49 ASSERT_EQ(0, pthread_key_delete(key));
50 // Can't delete a key that's already been deleted.
51 ASSERT_EQ(EINVAL, pthread_key_delete(key));
52}
Elliott Hughes4d014e12012-09-07 16:47:54 -070053
Dan Albertc4bcc752014-09-30 11:48:24 -070054TEST(pthread, pthread_keys_max) {
Yabin Cui6c238f22014-12-11 20:50:41 -080055 // POSIX says PTHREAD_KEYS_MAX should be at least _POSIX_THREAD_KEYS_MAX.
56 ASSERT_GE(PTHREAD_KEYS_MAX, _POSIX_THREAD_KEYS_MAX);
Dan Albertc4bcc752014-09-30 11:48:24 -070057}
Elliott Hughes718a5b52014-01-28 17:02:03 -080058
Yabin Cui6c238f22014-12-11 20:50:41 -080059TEST(pthread, sysconf_SC_THREAD_KEYS_MAX_eq_PTHREAD_KEYS_MAX) {
Dan Albertc4bcc752014-09-30 11:48:24 -070060 int sysconf_max = sysconf(_SC_THREAD_KEYS_MAX);
Yabin Cui6c238f22014-12-11 20:50:41 -080061 ASSERT_EQ(sysconf_max, PTHREAD_KEYS_MAX);
Dan Albertc4bcc752014-09-30 11:48:24 -070062}
63
64TEST(pthread, pthread_key_many_distinct) {
Yabin Cui6c238f22014-12-11 20:50:41 -080065 // As gtest uses pthread keys, we can't allocate exactly PTHREAD_KEYS_MAX
66 // pthread keys, but We should be able to allocate at least this many keys.
67 int nkeys = PTHREAD_KEYS_MAX / 2;
Dan Albertc4bcc752014-09-30 11:48:24 -070068 std::vector<pthread_key_t> keys;
69
Tom Cherryb8ab6182017-04-05 16:20:29 -070070 auto scope_guard = android::base::make_scope_guard([&keys] {
Elliott Hughes0b2acdf2015-10-02 18:25:19 -070071 for (const auto& key : keys) {
Dan Albertc4bcc752014-09-30 11:48:24 -070072 EXPECT_EQ(0, pthread_key_delete(key));
73 }
74 });
75
76 for (int i = 0; i < nkeys; ++i) {
77 pthread_key_t key;
Elliott Hughes61706932015-03-31 10:56:58 -070078 // If this fails, it's likely that LIBC_PTHREAD_KEY_RESERVED_COUNT is wrong.
Dan Albertc4bcc752014-09-30 11:48:24 -070079 ASSERT_EQ(0, pthread_key_create(&key, NULL)) << i << " of " << nkeys;
80 keys.push_back(key);
81 ASSERT_EQ(0, pthread_setspecific(key, reinterpret_cast<void*>(i)));
82 }
83
84 for (int i = keys.size() - 1; i >= 0; --i) {
85 ASSERT_EQ(reinterpret_cast<void*>(i), pthread_getspecific(keys.back()));
86 pthread_key_t key = keys.back();
87 keys.pop_back();
88 ASSERT_EQ(0, pthread_key_delete(key));
89 }
90}
91
Yabin Cui6c238f22014-12-11 20:50:41 -080092TEST(pthread, pthread_key_not_exceed_PTHREAD_KEYS_MAX) {
Elliott Hughes44b53ad2013-02-11 20:18:47 +000093 std::vector<pthread_key_t> keys;
Dan Albertc4bcc752014-09-30 11:48:24 -070094 int rv = 0;
Yabin Cui6c238f22014-12-11 20:50:41 -080095
96 // Pthread keys are used by gtest, so PTHREAD_KEYS_MAX should
97 // be more than we are allowed to allocate now.
98 for (int i = 0; i < PTHREAD_KEYS_MAX; i++) {
Elliott Hughes44b53ad2013-02-11 20:18:47 +000099 pthread_key_t key;
Dan Albertc4bcc752014-09-30 11:48:24 -0700100 rv = pthread_key_create(&key, NULL);
101 if (rv == EAGAIN) {
102 break;
103 }
104 EXPECT_EQ(0, rv);
Elliott Hughes44b53ad2013-02-11 20:18:47 +0000105 keys.push_back(key);
106 }
107
Dan Albertc4bcc752014-09-30 11:48:24 -0700108 // Don't leak keys.
Elliott Hughes0b2acdf2015-10-02 18:25:19 -0700109 for (const auto& key : keys) {
Dan Albertc4bcc752014-09-30 11:48:24 -0700110 EXPECT_EQ(0, pthread_key_delete(key));
Elliott Hughes44b53ad2013-02-11 20:18:47 +0000111 }
Dan Albertc4bcc752014-09-30 11:48:24 -0700112 keys.clear();
113
114 // We should have eventually reached the maximum number of keys and received
115 // EAGAIN.
116 ASSERT_EQ(EAGAIN, rv);
Elliott Hughes44b53ad2013-02-11 20:18:47 +0000117}
118
Elliott Hughesebb770f2014-06-25 13:46:46 -0700119TEST(pthread, pthread_key_delete) {
120 void* expected = reinterpret_cast<void*>(1234);
121 pthread_key_t key;
122 ASSERT_EQ(0, pthread_key_create(&key, NULL));
123 ASSERT_EQ(0, pthread_setspecific(key, expected));
124 ASSERT_EQ(expected, pthread_getspecific(key));
125 ASSERT_EQ(0, pthread_key_delete(key));
126 // After deletion, pthread_getspecific returns NULL.
127 ASSERT_EQ(NULL, pthread_getspecific(key));
128 // And you can't use pthread_setspecific with the deleted key.
129 ASSERT_EQ(EINVAL, pthread_setspecific(key, expected));
130}
131
Elliott Hughes40a52172014-07-30 14:48:10 -0700132TEST(pthread, pthread_key_fork) {
133 void* expected = reinterpret_cast<void*>(1234);
134 pthread_key_t key;
135 ASSERT_EQ(0, pthread_key_create(&key, NULL));
136 ASSERT_EQ(0, pthread_setspecific(key, expected));
137 ASSERT_EQ(expected, pthread_getspecific(key));
138
139 pid_t pid = fork();
140 ASSERT_NE(-1, pid) << strerror(errno);
141
142 if (pid == 0) {
143 // The surviving thread inherits all the forking thread's TLS values...
144 ASSERT_EQ(expected, pthread_getspecific(key));
145 _exit(99);
146 }
147
Elliott Hughes33697a02016-01-26 13:04:57 -0800148 AssertChildExited(pid, 99);
Elliott Hughes40a52172014-07-30 14:48:10 -0700149
150 ASSERT_EQ(expected, pthread_getspecific(key));
Dan Albert1d53ae22014-09-02 15:24:26 -0700151 ASSERT_EQ(0, pthread_key_delete(key));
Elliott Hughes40a52172014-07-30 14:48:10 -0700152}
153
154static void* DirtyKeyFn(void* key) {
155 return pthread_getspecific(*reinterpret_cast<pthread_key_t*>(key));
156}
157
158TEST(pthread, pthread_key_dirty) {
159 pthread_key_t key;
160 ASSERT_EQ(0, pthread_key_create(&key, NULL));
161
Yabin Cuia36158a2015-11-16 21:06:16 -0800162 size_t stack_size = 640 * 1024;
Elliott Hughes40a52172014-07-30 14:48:10 -0700163 void* stack = mmap(NULL, stack_size, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, -1, 0);
164 ASSERT_NE(MAP_FAILED, stack);
165 memset(stack, 0xff, stack_size);
166
167 pthread_attr_t attr;
168 ASSERT_EQ(0, pthread_attr_init(&attr));
169 ASSERT_EQ(0, pthread_attr_setstack(&attr, stack, stack_size));
170
171 pthread_t t;
172 ASSERT_EQ(0, pthread_create(&t, &attr, DirtyKeyFn, &key));
173
174 void* result;
175 ASSERT_EQ(0, pthread_join(t, &result));
176 ASSERT_EQ(nullptr, result); // Not ~0!
177
178 ASSERT_EQ(0, munmap(stack, stack_size));
Dan Albert1d53ae22014-09-02 15:24:26 -0700179 ASSERT_EQ(0, pthread_key_delete(key));
Elliott Hughes40a52172014-07-30 14:48:10 -0700180}
181
Yabin Cui5ddbb3f2015-03-05 20:35:32 -0800182TEST(pthread, static_pthread_key_used_before_creation) {
183#if defined(__BIONIC__)
184 // See http://b/19625804. The bug is about a static/global pthread key being used before creation.
185 // So here tests if the static/global default value 0 can be detected as invalid key.
186 static pthread_key_t key;
187 ASSERT_EQ(nullptr, pthread_getspecific(key));
188 ASSERT_EQ(EINVAL, pthread_setspecific(key, nullptr));
189 ASSERT_EQ(EINVAL, pthread_key_delete(key));
190#else
191 GTEST_LOG_(INFO) << "This test tests bionic pthread key implementation detail.\n";
192#endif
193}
194
Elliott Hughes4d014e12012-09-07 16:47:54 -0700195static void* IdFn(void* arg) {
196 return arg;
197}
198
Yabin Cui63481602014-12-01 17:41:04 -0800199class SpinFunctionHelper {
200 public:
201 SpinFunctionHelper() {
202 SpinFunctionHelper::spin_flag_ = true;
Sergey Melnikov10ce9692012-10-26 14:06:43 +0400203 }
Elliott Hughes0bd9d132017-11-02 13:11:13 -0700204
Yabin Cui63481602014-12-01 17:41:04 -0800205 ~SpinFunctionHelper() {
206 UnSpin();
207 }
Elliott Hughes0bd9d132017-11-02 13:11:13 -0700208
Yabin Cui63481602014-12-01 17:41:04 -0800209 auto GetFunction() -> void* (*)(void*) {
210 return SpinFunctionHelper::SpinFn;
211 }
212
213 void UnSpin() {
214 SpinFunctionHelper::spin_flag_ = false;
215 }
216
217 private:
218 static void* SpinFn(void*) {
219 while (spin_flag_) {}
220 return NULL;
221 }
Yabin Cuia36158a2015-11-16 21:06:16 -0800222 static std::atomic<bool> spin_flag_;
Yabin Cui63481602014-12-01 17:41:04 -0800223};
224
225// It doesn't matter if spin_flag_ is used in several tests,
226// because it is always set to false after each test. Each thread
227// loops on spin_flag_ can find it becomes false at some time.
Yabin Cuia36158a2015-11-16 21:06:16 -0800228std::atomic<bool> SpinFunctionHelper::spin_flag_;
Sergey Melnikov10ce9692012-10-26 14:06:43 +0400229
Elliott Hughes4d014e12012-09-07 16:47:54 -0700230static void* JoinFn(void* arg) {
231 return reinterpret_cast<void*>(pthread_join(reinterpret_cast<pthread_t>(arg), NULL));
232}
233
Sergey Melnikov10ce9692012-10-26 14:06:43 +0400234static void AssertDetached(pthread_t t, bool is_detached) {
235 pthread_attr_t attr;
236 ASSERT_EQ(0, pthread_getattr_np(t, &attr));
237 int detach_state;
238 ASSERT_EQ(0, pthread_attr_getdetachstate(&attr, &detach_state));
239 pthread_attr_destroy(&attr);
240 ASSERT_EQ(is_detached, (detach_state == PTHREAD_CREATE_DETACHED));
241}
242
Elliott Hughes7484c212017-02-02 02:41:38 +0000243static void MakeDeadThread(pthread_t& t) {
244 ASSERT_EQ(0, pthread_create(&t, NULL, IdFn, NULL));
245 ASSERT_EQ(0, pthread_join(t, NULL));
246}
247
Elliott Hughes4d014e12012-09-07 16:47:54 -0700248TEST(pthread, pthread_create) {
249 void* expected_result = reinterpret_cast<void*>(123);
250 // Can we create a thread?
251 pthread_t t;
252 ASSERT_EQ(0, pthread_create(&t, NULL, IdFn, expected_result));
253 // If we join, do we get the expected value back?
254 void* result;
255 ASSERT_EQ(0, pthread_join(t, &result));
256 ASSERT_EQ(expected_result, result);
257}
258
Elliott Hughes3e898472013-02-12 16:40:24 +0000259TEST(pthread, pthread_create_EAGAIN) {
260 pthread_attr_t attributes;
261 ASSERT_EQ(0, pthread_attr_init(&attributes));
262 ASSERT_EQ(0, pthread_attr_setstacksize(&attributes, static_cast<size_t>(-1) & ~(getpagesize() - 1)));
263
264 pthread_t t;
265 ASSERT_EQ(EAGAIN, pthread_create(&t, &attributes, IdFn, NULL));
266}
267
Elliott Hughes4d014e12012-09-07 16:47:54 -0700268TEST(pthread, pthread_no_join_after_detach) {
Elliott Hughes725b2a92016-03-23 11:20:47 -0700269 SpinFunctionHelper spin_helper;
Yabin Cui63481602014-12-01 17:41:04 -0800270
Elliott Hughes4d014e12012-09-07 16:47:54 -0700271 pthread_t t1;
Elliott Hughes725b2a92016-03-23 11:20:47 -0700272 ASSERT_EQ(0, pthread_create(&t1, NULL, spin_helper.GetFunction(), NULL));
Elliott Hughes4d014e12012-09-07 16:47:54 -0700273
274 // After a pthread_detach...
275 ASSERT_EQ(0, pthread_detach(t1));
Sergey Melnikov10ce9692012-10-26 14:06:43 +0400276 AssertDetached(t1, true);
Elliott Hughes4d014e12012-09-07 16:47:54 -0700277
278 // ...pthread_join should fail.
Elliott Hughes34c987a2014-09-22 16:01:26 -0700279 ASSERT_EQ(EINVAL, pthread_join(t1, NULL));
Elliott Hughes4d014e12012-09-07 16:47:54 -0700280}
281
282TEST(pthread, pthread_no_op_detach_after_join) {
Elliott Hughes725b2a92016-03-23 11:20:47 -0700283 SpinFunctionHelper spin_helper;
Sergey Melnikov10ce9692012-10-26 14:06:43 +0400284
Elliott Hughes4d014e12012-09-07 16:47:54 -0700285 pthread_t t1;
Elliott Hughes725b2a92016-03-23 11:20:47 -0700286 ASSERT_EQ(0, pthread_create(&t1, NULL, spin_helper.GetFunction(), NULL));
Elliott Hughes4d014e12012-09-07 16:47:54 -0700287
288 // If thread 2 is already waiting to join thread 1...
289 pthread_t t2;
290 ASSERT_EQ(0, pthread_create(&t2, NULL, JoinFn, reinterpret_cast<void*>(t1)));
291
Sergey Melnikov10ce9692012-10-26 14:06:43 +0400292 sleep(1); // (Give t2 a chance to call pthread_join.)
Elliott Hughes4d014e12012-09-07 16:47:54 -0700293
Yabin Cuibbb04322015-03-19 15:19:25 -0700294#if defined(__BIONIC__)
295 ASSERT_EQ(EINVAL, pthread_detach(t1));
296#else
Sergey Melnikov10ce9692012-10-26 14:06:43 +0400297 ASSERT_EQ(0, pthread_detach(t1));
Yabin Cuibbb04322015-03-19 15:19:25 -0700298#endif
Sergey Melnikov10ce9692012-10-26 14:06:43 +0400299 AssertDetached(t1, false);
300
Elliott Hughes725b2a92016-03-23 11:20:47 -0700301 spin_helper.UnSpin();
Sergey Melnikov10ce9692012-10-26 14:06:43 +0400302
303 // ...but t2's join on t1 still goes ahead (which we can tell because our join on t2 finishes).
Elliott Hughes4d014e12012-09-07 16:47:54 -0700304 void* join_result;
305 ASSERT_EQ(0, pthread_join(t2, &join_result));
Elliott Hughes5b9310e2013-10-02 16:59:05 -0700306 ASSERT_EQ(0U, reinterpret_cast<uintptr_t>(join_result));
Elliott Hughes4d014e12012-09-07 16:47:54 -0700307}
Elliott Hughes14f19592012-10-29 10:19:44 -0700308
309TEST(pthread, pthread_join_self) {
Elliott Hughes34c987a2014-09-22 16:01:26 -0700310 ASSERT_EQ(EDEADLK, pthread_join(pthread_self(), NULL));
Elliott Hughes14f19592012-10-29 10:19:44 -0700311}
Elliott Hughes4f251be2012-11-01 16:33:29 -0700312
Elliott Hughes877ec6d2013-11-15 17:40:18 -0800313struct TestBug37410 {
314 pthread_t main_thread;
315 pthread_mutex_t mutex;
Elliott Hughes4f251be2012-11-01 16:33:29 -0700316
Elliott Hughes877ec6d2013-11-15 17:40:18 -0800317 static void main() {
318 TestBug37410 data;
319 data.main_thread = pthread_self();
320 ASSERT_EQ(0, pthread_mutex_init(&data.mutex, NULL));
321 ASSERT_EQ(0, pthread_mutex_lock(&data.mutex));
322
323 pthread_t t;
324 ASSERT_EQ(0, pthread_create(&t, NULL, TestBug37410::thread_fn, reinterpret_cast<void*>(&data)));
325
326 // Wait for the thread to be running...
327 ASSERT_EQ(0, pthread_mutex_lock(&data.mutex));
328 ASSERT_EQ(0, pthread_mutex_unlock(&data.mutex));
329
330 // ...and exit.
331 pthread_exit(NULL);
332 }
333
334 private:
335 static void* thread_fn(void* arg) {
336 TestBug37410* data = reinterpret_cast<TestBug37410*>(arg);
337
338 // Let the main thread know we're running.
339 pthread_mutex_unlock(&data->mutex);
340
341 // And wait for the main thread to exit.
342 pthread_join(data->main_thread, NULL);
343
344 return NULL;
345 }
346};
Elliott Hughes4f251be2012-11-01 16:33:29 -0700347
Elliott Hughes7fd803c2013-02-14 16:33:52 -0800348// Even though this isn't really a death test, we have to say "DeathTest" here so gtest knows to
349// run this test (which exits normally) in its own process.
Yabin Cui9df70402014-11-05 18:01:01 -0800350
351class pthread_DeathTest : public BionicDeathTest {};
352
353TEST_F(pthread_DeathTest, pthread_bug_37410) {
Elliott Hughes4f251be2012-11-01 16:33:29 -0700354 // http://code.google.com/p/android/issues/detail?id=37410
Elliott Hughes877ec6d2013-11-15 17:40:18 -0800355 ASSERT_EXIT(TestBug37410::main(), ::testing::ExitedWithCode(0), "");
Elliott Hughes4f251be2012-11-01 16:33:29 -0700356}
Elliott Hughesc5d028f2013-01-10 14:42:14 -0800357
358static void* SignalHandlerFn(void* arg) {
Elliott Hughes5905d6f2018-01-30 15:09:51 -0800359 sigset64_t wait_set;
360 sigfillset64(&wait_set);
361 return reinterpret_cast<void*>(sigwait64(&wait_set, reinterpret_cast<int*>(arg)));
Elliott Hughesc5d028f2013-01-10 14:42:14 -0800362}
363
364TEST(pthread, pthread_sigmask) {
Elliott Hughes19e62322013-10-15 11:23:57 -0700365 // Check that SIGUSR1 isn't blocked.
366 sigset_t original_set;
367 sigemptyset(&original_set);
368 ASSERT_EQ(0, pthread_sigmask(SIG_BLOCK, NULL, &original_set));
369 ASSERT_FALSE(sigismember(&original_set, SIGUSR1));
370
Elliott Hughesc5d028f2013-01-10 14:42:14 -0800371 // Block SIGUSR1.
372 sigset_t set;
373 sigemptyset(&set);
374 sigaddset(&set, SIGUSR1);
375 ASSERT_EQ(0, pthread_sigmask(SIG_BLOCK, &set, NULL));
376
Elliott Hughes19e62322013-10-15 11:23:57 -0700377 // Check that SIGUSR1 is blocked.
378 sigset_t final_set;
379 sigemptyset(&final_set);
380 ASSERT_EQ(0, pthread_sigmask(SIG_BLOCK, NULL, &final_set));
381 ASSERT_TRUE(sigismember(&final_set, SIGUSR1));
382 // ...and that sigprocmask agrees with pthread_sigmask.
383 sigemptyset(&final_set);
384 ASSERT_EQ(0, sigprocmask(SIG_BLOCK, NULL, &final_set));
385 ASSERT_TRUE(sigismember(&final_set, SIGUSR1));
386
Elliott Hughesc5d028f2013-01-10 14:42:14 -0800387 // Spawn a thread that calls sigwait and tells us what it received.
388 pthread_t signal_thread;
389 int received_signal = -1;
390 ASSERT_EQ(0, pthread_create(&signal_thread, NULL, SignalHandlerFn, &received_signal));
391
392 // Send that thread SIGUSR1.
393 pthread_kill(signal_thread, SIGUSR1);
394
395 // See what it got.
396 void* join_result;
397 ASSERT_EQ(0, pthread_join(signal_thread, &join_result));
398 ASSERT_EQ(SIGUSR1, received_signal);
Elliott Hughes5b9310e2013-10-02 16:59:05 -0700399 ASSERT_EQ(0U, reinterpret_cast<uintptr_t>(join_result));
Elliott Hughes19e62322013-10-15 11:23:57 -0700400
401 // Restore the original signal mask.
402 ASSERT_EQ(0, pthread_sigmask(SIG_SETMASK, &original_set, NULL));
Elliott Hughesc5d028f2013-01-10 14:42:14 -0800403}
Elliott Hughes5e3fc432013-02-11 16:36:48 -0800404
Elliott Hughes5905d6f2018-01-30 15:09:51 -0800405TEST(pthread, pthread_sigmask64_SIGTRMIN) {
406 // Check that SIGRTMIN isn't blocked.
407 sigset64_t original_set;
408 sigemptyset64(&original_set);
409 ASSERT_EQ(0, pthread_sigmask64(SIG_BLOCK, NULL, &original_set));
410 ASSERT_FALSE(sigismember64(&original_set, SIGRTMIN));
411
412 // Block SIGRTMIN.
413 sigset64_t set;
414 sigemptyset64(&set);
415 sigaddset64(&set, SIGRTMIN);
416 ASSERT_EQ(0, pthread_sigmask64(SIG_BLOCK, &set, NULL));
417
418 // Check that SIGRTMIN is blocked.
419 sigset64_t final_set;
420 sigemptyset64(&final_set);
421 ASSERT_EQ(0, pthread_sigmask64(SIG_BLOCK, NULL, &final_set));
422 ASSERT_TRUE(sigismember64(&final_set, SIGRTMIN));
423 // ...and that sigprocmask64 agrees with pthread_sigmask64.
424 sigemptyset64(&final_set);
425 ASSERT_EQ(0, sigprocmask64(SIG_BLOCK, NULL, &final_set));
426 ASSERT_TRUE(sigismember64(&final_set, SIGRTMIN));
427
428 // Spawn a thread that calls sigwait64 and tells us what it received.
429 pthread_t signal_thread;
430 int received_signal = -1;
431 ASSERT_EQ(0, pthread_create(&signal_thread, NULL, SignalHandlerFn, &received_signal));
432
433 // Send that thread SIGRTMIN.
434 pthread_kill(signal_thread, SIGRTMIN);
435
436 // See what it got.
437 void* join_result;
438 ASSERT_EQ(0, pthread_join(signal_thread, &join_result));
439 ASSERT_EQ(SIGRTMIN, received_signal);
440 ASSERT_EQ(0U, reinterpret_cast<uintptr_t>(join_result));
441
442 // Restore the original signal mask.
443 ASSERT_EQ(0, pthread_sigmask64(SIG_SETMASK, &original_set, NULL));
444}
445
Elliott Hughes725b2a92016-03-23 11:20:47 -0700446static void test_pthread_setname_np__pthread_getname_np(pthread_t t) {
447 ASSERT_EQ(0, pthread_setname_np(t, "short"));
448 char name[32];
449 ASSERT_EQ(0, pthread_getname_np(t, name, sizeof(name)));
450 ASSERT_STREQ("short", name);
451
Elliott Hughesd1aea302015-04-25 10:05:24 -0700452 // The limit is 15 characters --- the kernel's buffer is 16, but includes a NUL.
Elliott Hughes725b2a92016-03-23 11:20:47 -0700453 ASSERT_EQ(0, pthread_setname_np(t, "123456789012345"));
454 ASSERT_EQ(0, pthread_getname_np(t, name, sizeof(name)));
455 ASSERT_STREQ("123456789012345", name);
456
457 ASSERT_EQ(ERANGE, pthread_setname_np(t, "1234567890123456"));
458
459 // The passed-in buffer should be at least 16 bytes.
460 ASSERT_EQ(0, pthread_getname_np(t, name, 16));
461 ASSERT_EQ(ERANGE, pthread_getname_np(t, name, 15));
Elliott Hughes3e898472013-02-12 16:40:24 +0000462}
463
Elliott Hughes725b2a92016-03-23 11:20:47 -0700464TEST(pthread, pthread_setname_np__pthread_getname_np__self) {
465 test_pthread_setname_np__pthread_getname_np(pthread_self());
Elliott Hughes3e898472013-02-12 16:40:24 +0000466}
467
Elliott Hughes725b2a92016-03-23 11:20:47 -0700468TEST(pthread, pthread_setname_np__pthread_getname_np__other) {
469 SpinFunctionHelper spin_helper;
Yabin Cui63481602014-12-01 17:41:04 -0800470
Elliott Hughes725b2a92016-03-23 11:20:47 -0700471 pthread_t t;
Elliott Hughes4d098ca2016-04-11 12:43:05 -0700472 ASSERT_EQ(0, pthread_create(&t, nullptr, spin_helper.GetFunction(), nullptr));
473 test_pthread_setname_np__pthread_getname_np(t);
474 spin_helper.UnSpin();
475 ASSERT_EQ(0, pthread_join(t, nullptr));
476}
477
478// http://b/28051133: a kernel misfeature means that you can't change the
479// name of another thread if you've set PR_SET_DUMPABLE to 0.
480TEST(pthread, pthread_setname_np__pthread_getname_np__other_PR_SET_DUMPABLE) {
481 ASSERT_EQ(0, prctl(PR_SET_DUMPABLE, 0)) << strerror(errno);
482
483 SpinFunctionHelper spin_helper;
484
485 pthread_t t;
486 ASSERT_EQ(0, pthread_create(&t, nullptr, spin_helper.GetFunction(), nullptr));
Elliott Hughes725b2a92016-03-23 11:20:47 -0700487 test_pthread_setname_np__pthread_getname_np(t);
488 spin_helper.UnSpin();
489 ASSERT_EQ(0, pthread_join(t, nullptr));
Elliott Hughes3e898472013-02-12 16:40:24 +0000490}
491
Elliott Hughes11859d42017-02-13 17:59:29 -0800492TEST_F(pthread_DeathTest, pthread_setname_np__no_such_thread) {
Elliott Hughesbcb15292017-02-07 21:05:30 +0000493 pthread_t dead_thread;
494 MakeDeadThread(dead_thread);
495
Elliott Hughes6ce686c2017-02-21 13:15:20 -0800496 EXPECT_DEATH(pthread_setname_np(dead_thread, "short 3"), "invalid pthread_t");
497}
498
499TEST_F(pthread_DeathTest, pthread_setname_np__null_thread) {
500 pthread_t null_thread = 0;
501 EXPECT_EQ(ENOENT, pthread_setname_np(null_thread, "short 3"));
Elliott Hughes11859d42017-02-13 17:59:29 -0800502}
503
504TEST_F(pthread_DeathTest, pthread_getname_np__no_such_thread) {
505 pthread_t dead_thread;
506 MakeDeadThread(dead_thread);
507
Elliott Hughesbcb15292017-02-07 21:05:30 +0000508 char name[64];
Elliott Hughes6ce686c2017-02-21 13:15:20 -0800509 EXPECT_DEATH(pthread_getname_np(dead_thread, name, sizeof(name)), "invalid pthread_t");
510}
511
512TEST_F(pthread_DeathTest, pthread_getname_np__null_thread) {
513 pthread_t null_thread = 0;
514
515 char name[64];
516 EXPECT_EQ(ENOENT, pthread_getname_np(null_thread, name, sizeof(name)));
Elliott Hughesbcb15292017-02-07 21:05:30 +0000517}
518
Elliott Hughes9d23e042013-02-15 19:21:51 -0800519TEST(pthread, pthread_kill__0) {
520 // Signal 0 just tests that the thread exists, so it's safe to call on ourselves.
521 ASSERT_EQ(0, pthread_kill(pthread_self(), 0));
522}
523
524TEST(pthread, pthread_kill__invalid_signal) {
525 ASSERT_EQ(EINVAL, pthread_kill(pthread_self(), -1));
526}
527
Elliott Hughesfae89fc2013-02-21 11:22:23 -0800528static void pthread_kill__in_signal_handler_helper(int signal_number) {
529 static int count = 0;
530 ASSERT_EQ(SIGALRM, signal_number);
531 if (++count == 1) {
532 // Can we call pthread_kill from a signal handler?
533 ASSERT_EQ(0, pthread_kill(pthread_self(), SIGALRM));
534 }
535}
536
537TEST(pthread, pthread_kill__in_signal_handler) {
Elliott Hughes4b558f52014-03-04 15:58:02 -0800538 ScopedSignalHandler ssh(SIGALRM, pthread_kill__in_signal_handler_helper);
Elliott Hughesfae89fc2013-02-21 11:22:23 -0800539 ASSERT_EQ(0, pthread_kill(pthread_self(), SIGALRM));
540}
541
Elliott Hughes11859d42017-02-13 17:59:29 -0800542TEST_F(pthread_DeathTest, pthread_detach__no_such_thread) {
Elliott Hughes7484c212017-02-02 02:41:38 +0000543 pthread_t dead_thread;
544 MakeDeadThread(dead_thread);
545
Elliott Hughes6ce686c2017-02-21 13:15:20 -0800546 EXPECT_DEATH(pthread_detach(dead_thread), "invalid pthread_t");
547}
548
549TEST_F(pthread_DeathTest, pthread_detach__null_thread) {
550 pthread_t null_thread = 0;
551 EXPECT_EQ(ESRCH, pthread_detach(null_thread));
Elliott Hughes7484c212017-02-02 02:41:38 +0000552}
553
Jeff Hao9b06cc32013-08-15 14:51:16 -0700554TEST(pthread, pthread_getcpuclockid__clock_gettime) {
Elliott Hughes725b2a92016-03-23 11:20:47 -0700555 SpinFunctionHelper spin_helper;
Yabin Cui63481602014-12-01 17:41:04 -0800556
Jeff Hao9b06cc32013-08-15 14:51:16 -0700557 pthread_t t;
Elliott Hughes725b2a92016-03-23 11:20:47 -0700558 ASSERT_EQ(0, pthread_create(&t, NULL, spin_helper.GetFunction(), NULL));
Jeff Hao9b06cc32013-08-15 14:51:16 -0700559
560 clockid_t c;
561 ASSERT_EQ(0, pthread_getcpuclockid(t, &c));
562 timespec ts;
563 ASSERT_EQ(0, clock_gettime(c, &ts));
Elliott Hughes725b2a92016-03-23 11:20:47 -0700564 spin_helper.UnSpin();
Yabin Cuia36158a2015-11-16 21:06:16 -0800565 ASSERT_EQ(0, pthread_join(t, nullptr));
Jeff Hao9b06cc32013-08-15 14:51:16 -0700566}
567
Elliott Hughes11859d42017-02-13 17:59:29 -0800568TEST_F(pthread_DeathTest, pthread_getcpuclockid__no_such_thread) {
Elliott Hughesbcb15292017-02-07 21:05:30 +0000569 pthread_t dead_thread;
570 MakeDeadThread(dead_thread);
571
572 clockid_t c;
Elliott Hughes6ce686c2017-02-21 13:15:20 -0800573 EXPECT_DEATH(pthread_getcpuclockid(dead_thread, &c), "invalid pthread_t");
574}
575
576TEST_F(pthread_DeathTest, pthread_getcpuclockid__null_thread) {
577 pthread_t null_thread = 0;
578 clockid_t c;
579 EXPECT_EQ(ESRCH, pthread_getcpuclockid(null_thread, &c));
Elliott Hughesbcb15292017-02-07 21:05:30 +0000580}
581
Elliott Hughes11859d42017-02-13 17:59:29 -0800582TEST_F(pthread_DeathTest, pthread_getschedparam__no_such_thread) {
Elliott Hughesbcb15292017-02-07 21:05:30 +0000583 pthread_t dead_thread;
584 MakeDeadThread(dead_thread);
585
586 int policy;
587 sched_param param;
Elliott Hughes6ce686c2017-02-21 13:15:20 -0800588 EXPECT_DEATH(pthread_getschedparam(dead_thread, &policy, &param), "invalid pthread_t");
589}
590
591TEST_F(pthread_DeathTest, pthread_getschedparam__null_thread) {
592 pthread_t null_thread = 0;
593 int policy;
594 sched_param param;
595 EXPECT_EQ(ESRCH, pthread_getschedparam(null_thread, &policy, &param));
Elliott Hughesbcb15292017-02-07 21:05:30 +0000596}
597
Elliott Hughes11859d42017-02-13 17:59:29 -0800598TEST_F(pthread_DeathTest, pthread_setschedparam__no_such_thread) {
Elliott Hughesbcb15292017-02-07 21:05:30 +0000599 pthread_t dead_thread;
600 MakeDeadThread(dead_thread);
601
602 int policy = 0;
603 sched_param param;
Elliott Hughes6ce686c2017-02-21 13:15:20 -0800604 EXPECT_DEATH(pthread_setschedparam(dead_thread, policy, &param), "invalid pthread_t");
605}
606
607TEST_F(pthread_DeathTest, pthread_setschedparam__null_thread) {
608 pthread_t null_thread = 0;
609 int policy = 0;
610 sched_param param;
611 EXPECT_EQ(ESRCH, pthread_setschedparam(null_thread, policy, &param));
Elliott Hughesbcb15292017-02-07 21:05:30 +0000612}
613
Elliott Hughesdff08ce2017-10-16 09:58:45 -0700614TEST_F(pthread_DeathTest, pthread_setschedprio__no_such_thread) {
615 pthread_t dead_thread;
616 MakeDeadThread(dead_thread);
617
618 EXPECT_DEATH(pthread_setschedprio(dead_thread, 123), "invalid pthread_t");
619}
620
621TEST_F(pthread_DeathTest, pthread_setschedprio__null_thread) {
622 pthread_t null_thread = 0;
623 EXPECT_EQ(ESRCH, pthread_setschedprio(null_thread, 123));
624}
625
Elliott Hughes11859d42017-02-13 17:59:29 -0800626TEST_F(pthread_DeathTest, pthread_join__no_such_thread) {
Elliott Hughes7484c212017-02-02 02:41:38 +0000627 pthread_t dead_thread;
628 MakeDeadThread(dead_thread);
629
Elliott Hughes6ce686c2017-02-21 13:15:20 -0800630 EXPECT_DEATH(pthread_join(dead_thread, NULL), "invalid pthread_t");
631}
632
633TEST_F(pthread_DeathTest, pthread_join__null_thread) {
634 pthread_t null_thread = 0;
635 EXPECT_EQ(ESRCH, pthread_join(null_thread, NULL));
Elliott Hughes7484c212017-02-02 02:41:38 +0000636}
637
Elliott Hughes11859d42017-02-13 17:59:29 -0800638TEST_F(pthread_DeathTest, pthread_kill__no_such_thread) {
Elliott Hughes7484c212017-02-02 02:41:38 +0000639 pthread_t dead_thread;
640 MakeDeadThread(dead_thread);
641
Elliott Hughes6ce686c2017-02-21 13:15:20 -0800642 EXPECT_DEATH(pthread_kill(dead_thread, 0), "invalid pthread_t");
643}
644
645TEST_F(pthread_DeathTest, pthread_kill__null_thread) {
646 pthread_t null_thread = 0;
647 EXPECT_EQ(ESRCH, pthread_kill(null_thread, 0));
Elliott Hughes7484c212017-02-02 02:41:38 +0000648}
649
msg5550f020d12013-06-06 14:59:28 -0400650TEST(pthread, pthread_join__multijoin) {
Elliott Hughes725b2a92016-03-23 11:20:47 -0700651 SpinFunctionHelper spin_helper;
msg5550f020d12013-06-06 14:59:28 -0400652
653 pthread_t t1;
Elliott Hughes725b2a92016-03-23 11:20:47 -0700654 ASSERT_EQ(0, pthread_create(&t1, NULL, spin_helper.GetFunction(), NULL));
msg5550f020d12013-06-06 14:59:28 -0400655
656 pthread_t t2;
657 ASSERT_EQ(0, pthread_create(&t2, NULL, JoinFn, reinterpret_cast<void*>(t1)));
658
659 sleep(1); // (Give t2 a chance to call pthread_join.)
660
661 // Multiple joins to the same thread should fail.
662 ASSERT_EQ(EINVAL, pthread_join(t1, NULL));
663
Elliott Hughes725b2a92016-03-23 11:20:47 -0700664 spin_helper.UnSpin();
msg5550f020d12013-06-06 14:59:28 -0400665
666 // ...but t2's join on t1 still goes ahead (which we can tell because our join on t2 finishes).
667 void* join_result;
668 ASSERT_EQ(0, pthread_join(t2, &join_result));
Elliott Hughes5b9310e2013-10-02 16:59:05 -0700669 ASSERT_EQ(0U, reinterpret_cast<uintptr_t>(join_result));
msg5550f020d12013-06-06 14:59:28 -0400670}
Elliott Hughesb95cf0d2013-07-15 14:51:07 -0700671
Elliott Hughes70b24b12013-11-15 11:51:07 -0800672TEST(pthread, pthread_join__race) {
673 // http://b/11693195 --- pthread_join could return before the thread had actually exited.
674 // If the joiner unmapped the thread's stack, that could lead to SIGSEGV in the thread.
675 for (size_t i = 0; i < 1024; ++i) {
Yabin Cuia36158a2015-11-16 21:06:16 -0800676 size_t stack_size = 640*1024;
Elliott Hughes70b24b12013-11-15 11:51:07 -0800677 void* stack = mmap(NULL, stack_size, PROT_READ|PROT_WRITE, MAP_ANON|MAP_PRIVATE, -1, 0);
678
679 pthread_attr_t a;
680 pthread_attr_init(&a);
681 pthread_attr_setstack(&a, stack, stack_size);
682
683 pthread_t t;
684 ASSERT_EQ(0, pthread_create(&t, &a, IdFn, NULL));
685 ASSERT_EQ(0, pthread_join(t, NULL));
686 ASSERT_EQ(0, munmap(stack, stack_size));
687 }
688}
689
Elliott Hughesb95cf0d2013-07-15 14:51:07 -0700690static void* GetActualGuardSizeFn(void* arg) {
691 pthread_attr_t attributes;
692 pthread_getattr_np(pthread_self(), &attributes);
693 pthread_attr_getguardsize(&attributes, reinterpret_cast<size_t*>(arg));
694 return NULL;
695}
696
697static size_t GetActualGuardSize(const pthread_attr_t& attributes) {
698 size_t result;
699 pthread_t t;
700 pthread_create(&t, &attributes, GetActualGuardSizeFn, &result);
Elliott Hughes34c987a2014-09-22 16:01:26 -0700701 pthread_join(t, NULL);
Elliott Hughesb95cf0d2013-07-15 14:51:07 -0700702 return result;
703}
704
705static void* GetActualStackSizeFn(void* arg) {
706 pthread_attr_t attributes;
707 pthread_getattr_np(pthread_self(), &attributes);
708 pthread_attr_getstacksize(&attributes, reinterpret_cast<size_t*>(arg));
709 return NULL;
710}
711
712static size_t GetActualStackSize(const pthread_attr_t& attributes) {
713 size_t result;
714 pthread_t t;
715 pthread_create(&t, &attributes, GetActualStackSizeFn, &result);
Elliott Hughes34c987a2014-09-22 16:01:26 -0700716 pthread_join(t, NULL);
Elliott Hughesb95cf0d2013-07-15 14:51:07 -0700717 return result;
718}
719
Elliott Hughesd6c678c2017-06-27 17:01:57 -0700720TEST(pthread, pthread_attr_setguardsize_tiny) {
Elliott Hughesb95cf0d2013-07-15 14:51:07 -0700721 pthread_attr_t attributes;
722 ASSERT_EQ(0, pthread_attr_init(&attributes));
723
Elliott Hughesb95cf0d2013-07-15 14:51:07 -0700724 // No such thing as too small: will be rounded up to one page by pthread_create.
725 ASSERT_EQ(0, pthread_attr_setguardsize(&attributes, 128));
726 size_t guard_size;
727 ASSERT_EQ(0, pthread_attr_getguardsize(&attributes, &guard_size));
728 ASSERT_EQ(128U, guard_size);
729 ASSERT_EQ(4096U, GetActualGuardSize(attributes));
Elliott Hughesd6c678c2017-06-27 17:01:57 -0700730}
731
732TEST(pthread, pthread_attr_setguardsize_reasonable) {
733 pthread_attr_t attributes;
734 ASSERT_EQ(0, pthread_attr_init(&attributes));
Elliott Hughesb95cf0d2013-07-15 14:51:07 -0700735
736 // Large enough and a multiple of the page size.
737 ASSERT_EQ(0, pthread_attr_setguardsize(&attributes, 32*1024));
Elliott Hughesd6c678c2017-06-27 17:01:57 -0700738 size_t guard_size;
Elliott Hughesb95cf0d2013-07-15 14:51:07 -0700739 ASSERT_EQ(0, pthread_attr_getguardsize(&attributes, &guard_size));
740 ASSERT_EQ(32*1024U, guard_size);
Elliott Hughesd6c678c2017-06-27 17:01:57 -0700741 ASSERT_EQ(32*1024U, GetActualGuardSize(attributes));
742}
Elliott Hughesb95cf0d2013-07-15 14:51:07 -0700743
Elliott Hughesd6c678c2017-06-27 17:01:57 -0700744TEST(pthread, pthread_attr_setguardsize_needs_rounding) {
745 pthread_attr_t attributes;
746 ASSERT_EQ(0, pthread_attr_init(&attributes));
747
748 // Large enough but not a multiple of the page size.
Elliott Hughesb95cf0d2013-07-15 14:51:07 -0700749 ASSERT_EQ(0, pthread_attr_setguardsize(&attributes, 32*1024 + 1));
Elliott Hughesd6c678c2017-06-27 17:01:57 -0700750 size_t guard_size;
Elliott Hughesb95cf0d2013-07-15 14:51:07 -0700751 ASSERT_EQ(0, pthread_attr_getguardsize(&attributes, &guard_size));
752 ASSERT_EQ(32*1024U + 1, guard_size);
Elliott Hughesd6c678c2017-06-27 17:01:57 -0700753 ASSERT_EQ(36*1024U, GetActualGuardSize(attributes));
754}
755
756TEST(pthread, pthread_attr_setguardsize_enormous) {
757 pthread_attr_t attributes;
758 ASSERT_EQ(0, pthread_attr_init(&attributes));
759
760 // Larger than the stack itself. (Historically we mistakenly carved
761 // the guard out of the stack itself, rather than adding it after the
762 // end.)
763 ASSERT_EQ(0, pthread_attr_setguardsize(&attributes, 32*1024*1024));
764 size_t guard_size;
765 ASSERT_EQ(0, pthread_attr_getguardsize(&attributes, &guard_size));
766 ASSERT_EQ(32*1024*1024U, guard_size);
767 ASSERT_EQ(32*1024*1024U, GetActualGuardSize(attributes));
Elliott Hughesb95cf0d2013-07-15 14:51:07 -0700768}
769
770TEST(pthread, pthread_attr_setstacksize) {
771 pthread_attr_t attributes;
772 ASSERT_EQ(0, pthread_attr_init(&attributes));
773
774 // Get the default stack size.
775 size_t default_stack_size;
776 ASSERT_EQ(0, pthread_attr_getstacksize(&attributes, &default_stack_size));
777
778 // Too small.
779 ASSERT_EQ(EINVAL, pthread_attr_setstacksize(&attributes, 128));
780 size_t stack_size;
781 ASSERT_EQ(0, pthread_attr_getstacksize(&attributes, &stack_size));
782 ASSERT_EQ(default_stack_size, stack_size);
783 ASSERT_GE(GetActualStackSize(attributes), default_stack_size);
784
Yabin Cui917d3902015-01-08 12:32:42 -0800785 // Large enough and a multiple of the page size; may be rounded up by pthread_create.
Elliott Hughesb95cf0d2013-07-15 14:51:07 -0700786 ASSERT_EQ(0, pthread_attr_setstacksize(&attributes, 32*1024));
787 ASSERT_EQ(0, pthread_attr_getstacksize(&attributes, &stack_size));
788 ASSERT_EQ(32*1024U, stack_size);
Yabin Cui917d3902015-01-08 12:32:42 -0800789 ASSERT_GE(GetActualStackSize(attributes), 32*1024U);
Elliott Hughesb95cf0d2013-07-15 14:51:07 -0700790
Yabin Cui917d3902015-01-08 12:32:42 -0800791 // Large enough but not aligned; will be rounded up by pthread_create.
Elliott Hughesb95cf0d2013-07-15 14:51:07 -0700792 ASSERT_EQ(0, pthread_attr_setstacksize(&attributes, 32*1024 + 1));
793 ASSERT_EQ(0, pthread_attr_getstacksize(&attributes, &stack_size));
794 ASSERT_EQ(32*1024U + 1, stack_size);
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800795#if defined(__BIONIC__)
Yabin Cui917d3902015-01-08 12:32:42 -0800796 ASSERT_GT(GetActualStackSize(attributes), 32*1024U + 1);
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800797#else // __BIONIC__
Elliott Hughesb95cf0d2013-07-15 14:51:07 -0700798 // glibc rounds down, in violation of POSIX. They document this in their BUGS section.
799 ASSERT_EQ(GetActualStackSize(attributes), 32*1024U);
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800800#endif // __BIONIC__
Elliott Hughesb95cf0d2013-07-15 14:51:07 -0700801}
Elliott Hughesc3f11402013-10-30 14:40:09 -0700802
Yabin Cui76615da2015-03-17 14:22:09 -0700803TEST(pthread, pthread_rwlockattr_smoke) {
804 pthread_rwlockattr_t attr;
805 ASSERT_EQ(0, pthread_rwlockattr_init(&attr));
806
807 int pshared_value_array[] = {PTHREAD_PROCESS_PRIVATE, PTHREAD_PROCESS_SHARED};
808 for (size_t i = 0; i < sizeof(pshared_value_array) / sizeof(pshared_value_array[0]); ++i) {
809 ASSERT_EQ(0, pthread_rwlockattr_setpshared(&attr, pshared_value_array[i]));
810 int pshared;
811 ASSERT_EQ(0, pthread_rwlockattr_getpshared(&attr, &pshared));
812 ASSERT_EQ(pshared_value_array[i], pshared);
813 }
814
815 int kind_array[] = {PTHREAD_RWLOCK_PREFER_READER_NP,
816 PTHREAD_RWLOCK_PREFER_WRITER_NONRECURSIVE_NP};
817 for (size_t i = 0; i < sizeof(kind_array) / sizeof(kind_array[0]); ++i) {
818 ASSERT_EQ(0, pthread_rwlockattr_setkind_np(&attr, kind_array[i]));
819 int kind;
820 ASSERT_EQ(0, pthread_rwlockattr_getkind_np(&attr, &kind));
821 ASSERT_EQ(kind_array[i], kind);
822 }
823
824 ASSERT_EQ(0, pthread_rwlockattr_destroy(&attr));
825}
826
827TEST(pthread, pthread_rwlock_init_same_as_PTHREAD_RWLOCK_INITIALIZER) {
828 pthread_rwlock_t lock1 = PTHREAD_RWLOCK_INITIALIZER;
829 pthread_rwlock_t lock2;
830 ASSERT_EQ(0, pthread_rwlock_init(&lock2, NULL));
831 ASSERT_EQ(0, memcmp(&lock1, &lock2, sizeof(lock1)));
832}
833
Elliott Hughesc3f11402013-10-30 14:40:09 -0700834TEST(pthread, pthread_rwlock_smoke) {
835 pthread_rwlock_t l;
836 ASSERT_EQ(0, pthread_rwlock_init(&l, NULL));
837
Calin Juravle76f352e2014-05-19 13:41:10 +0100838 // Single read lock
Elliott Hughesc3f11402013-10-30 14:40:09 -0700839 ASSERT_EQ(0, pthread_rwlock_rdlock(&l));
840 ASSERT_EQ(0, pthread_rwlock_unlock(&l));
841
Calin Juravle76f352e2014-05-19 13:41:10 +0100842 // Multiple read lock
843 ASSERT_EQ(0, pthread_rwlock_rdlock(&l));
844 ASSERT_EQ(0, pthread_rwlock_rdlock(&l));
845 ASSERT_EQ(0, pthread_rwlock_unlock(&l));
846 ASSERT_EQ(0, pthread_rwlock_unlock(&l));
847
848 // Write lock
Calin Juravle92687e42014-05-22 19:21:22 +0100849 ASSERT_EQ(0, pthread_rwlock_wrlock(&l));
850 ASSERT_EQ(0, pthread_rwlock_unlock(&l));
Calin Juravle76f352e2014-05-19 13:41:10 +0100851
852 // Try writer lock
853 ASSERT_EQ(0, pthread_rwlock_trywrlock(&l));
854 ASSERT_EQ(EBUSY, pthread_rwlock_trywrlock(&l));
855 ASSERT_EQ(EBUSY, pthread_rwlock_tryrdlock(&l));
856 ASSERT_EQ(0, pthread_rwlock_unlock(&l));
857
858 // Try reader lock
859 ASSERT_EQ(0, pthread_rwlock_tryrdlock(&l));
860 ASSERT_EQ(0, pthread_rwlock_tryrdlock(&l));
861 ASSERT_EQ(EBUSY, pthread_rwlock_trywrlock(&l));
862 ASSERT_EQ(0, pthread_rwlock_unlock(&l));
863 ASSERT_EQ(0, pthread_rwlock_unlock(&l));
864
865 // Try writer lock after unlock
Elliott Hughesc3f11402013-10-30 14:40:09 -0700866 ASSERT_EQ(0, pthread_rwlock_wrlock(&l));
867 ASSERT_EQ(0, pthread_rwlock_unlock(&l));
868
Calin Juravle76f352e2014-05-19 13:41:10 +0100869 // EDEADLK in "read after write"
870 ASSERT_EQ(0, pthread_rwlock_wrlock(&l));
871 ASSERT_EQ(EDEADLK, pthread_rwlock_rdlock(&l));
872 ASSERT_EQ(0, pthread_rwlock_unlock(&l));
873
874 // EDEADLK in "write after write"
875 ASSERT_EQ(0, pthread_rwlock_wrlock(&l));
876 ASSERT_EQ(EDEADLK, pthread_rwlock_wrlock(&l));
877 ASSERT_EQ(0, pthread_rwlock_unlock(&l));
Calin Juravle76f352e2014-05-19 13:41:10 +0100878
Elliott Hughesc3f11402013-10-30 14:40:09 -0700879 ASSERT_EQ(0, pthread_rwlock_destroy(&l));
880}
881
Yabin Cui08ee8d22015-02-11 17:04:36 -0800882struct RwlockWakeupHelperArg {
883 pthread_rwlock_t lock;
884 enum Progress {
885 LOCK_INITIALIZED,
886 LOCK_WAITING,
887 LOCK_RELEASED,
Yabin Cuic9a659c2015-11-05 15:36:08 -0800888 LOCK_ACCESSED,
889 LOCK_TIMEDOUT,
Yabin Cui08ee8d22015-02-11 17:04:36 -0800890 };
891 std::atomic<Progress> progress;
Yabin Cuif7969852015-04-02 17:47:48 -0700892 std::atomic<pid_t> tid;
Yabin Cuic9a659c2015-11-05 15:36:08 -0800893 std::function<int (pthread_rwlock_t*)> trylock_function;
894 std::function<int (pthread_rwlock_t*)> lock_function;
895 std::function<int (pthread_rwlock_t*, const timespec*)> timed_lock_function;
Yabin Cui08ee8d22015-02-11 17:04:36 -0800896};
897
Yabin Cuic9a659c2015-11-05 15:36:08 -0800898static void pthread_rwlock_wakeup_helper(RwlockWakeupHelperArg* arg) {
Yabin Cuif7969852015-04-02 17:47:48 -0700899 arg->tid = gettid();
Yabin Cui08ee8d22015-02-11 17:04:36 -0800900 ASSERT_EQ(RwlockWakeupHelperArg::LOCK_INITIALIZED, arg->progress);
901 arg->progress = RwlockWakeupHelperArg::LOCK_WAITING;
902
Yabin Cuic9a659c2015-11-05 15:36:08 -0800903 ASSERT_EQ(EBUSY, arg->trylock_function(&arg->lock));
904 ASSERT_EQ(0, arg->lock_function(&arg->lock));
Yabin Cui08ee8d22015-02-11 17:04:36 -0800905 ASSERT_EQ(RwlockWakeupHelperArg::LOCK_RELEASED, arg->progress);
906 ASSERT_EQ(0, pthread_rwlock_unlock(&arg->lock));
907
908 arg->progress = RwlockWakeupHelperArg::LOCK_ACCESSED;
909}
910
Yabin Cuic9a659c2015-11-05 15:36:08 -0800911static void test_pthread_rwlock_reader_wakeup_writer(std::function<int (pthread_rwlock_t*)> lock_function) {
Yabin Cui08ee8d22015-02-11 17:04:36 -0800912 RwlockWakeupHelperArg wakeup_arg;
913 ASSERT_EQ(0, pthread_rwlock_init(&wakeup_arg.lock, NULL));
914 ASSERT_EQ(0, pthread_rwlock_rdlock(&wakeup_arg.lock));
915 wakeup_arg.progress = RwlockWakeupHelperArg::LOCK_INITIALIZED;
Yabin Cuif7969852015-04-02 17:47:48 -0700916 wakeup_arg.tid = 0;
Tom Cherry60ddedf2018-02-20 15:40:02 -0800917 wakeup_arg.trylock_function = &pthread_rwlock_trywrlock;
Yabin Cuic9a659c2015-11-05 15:36:08 -0800918 wakeup_arg.lock_function = lock_function;
Yabin Cui08ee8d22015-02-11 17:04:36 -0800919
920 pthread_t thread;
921 ASSERT_EQ(0, pthread_create(&thread, NULL,
Yabin Cuic9a659c2015-11-05 15:36:08 -0800922 reinterpret_cast<void* (*)(void*)>(pthread_rwlock_wakeup_helper), &wakeup_arg));
Yabin Cuif7969852015-04-02 17:47:48 -0700923 WaitUntilThreadSleep(wakeup_arg.tid);
924 ASSERT_EQ(RwlockWakeupHelperArg::LOCK_WAITING, wakeup_arg.progress);
925
Yabin Cui08ee8d22015-02-11 17:04:36 -0800926 wakeup_arg.progress = RwlockWakeupHelperArg::LOCK_RELEASED;
927 ASSERT_EQ(0, pthread_rwlock_unlock(&wakeup_arg.lock));
928
929 ASSERT_EQ(0, pthread_join(thread, NULL));
930 ASSERT_EQ(RwlockWakeupHelperArg::LOCK_ACCESSED, wakeup_arg.progress);
931 ASSERT_EQ(0, pthread_rwlock_destroy(&wakeup_arg.lock));
932}
933
Yabin Cuic9a659c2015-11-05 15:36:08 -0800934TEST(pthread, pthread_rwlock_reader_wakeup_writer) {
935 test_pthread_rwlock_reader_wakeup_writer(pthread_rwlock_wrlock);
Yabin Cui08ee8d22015-02-11 17:04:36 -0800936}
937
Yabin Cuic9a659c2015-11-05 15:36:08 -0800938TEST(pthread, pthread_rwlock_reader_wakeup_writer_timedwait) {
939 timespec ts;
940 ASSERT_EQ(0, clock_gettime(CLOCK_REALTIME, &ts));
941 ts.tv_sec += 1;
942 test_pthread_rwlock_reader_wakeup_writer([&](pthread_rwlock_t* lock) {
943 return pthread_rwlock_timedwrlock(lock, &ts);
944 });
945}
946
947static void test_pthread_rwlock_writer_wakeup_reader(std::function<int (pthread_rwlock_t*)> lock_function) {
Yabin Cui08ee8d22015-02-11 17:04:36 -0800948 RwlockWakeupHelperArg wakeup_arg;
949 ASSERT_EQ(0, pthread_rwlock_init(&wakeup_arg.lock, NULL));
950 ASSERT_EQ(0, pthread_rwlock_wrlock(&wakeup_arg.lock));
951 wakeup_arg.progress = RwlockWakeupHelperArg::LOCK_INITIALIZED;
Yabin Cuif7969852015-04-02 17:47:48 -0700952 wakeup_arg.tid = 0;
Tom Cherry60ddedf2018-02-20 15:40:02 -0800953 wakeup_arg.trylock_function = &pthread_rwlock_tryrdlock;
Yabin Cuic9a659c2015-11-05 15:36:08 -0800954 wakeup_arg.lock_function = lock_function;
Yabin Cui08ee8d22015-02-11 17:04:36 -0800955
956 pthread_t thread;
957 ASSERT_EQ(0, pthread_create(&thread, NULL,
Yabin Cuic9a659c2015-11-05 15:36:08 -0800958 reinterpret_cast<void* (*)(void*)>(pthread_rwlock_wakeup_helper), &wakeup_arg));
Yabin Cuif7969852015-04-02 17:47:48 -0700959 WaitUntilThreadSleep(wakeup_arg.tid);
960 ASSERT_EQ(RwlockWakeupHelperArg::LOCK_WAITING, wakeup_arg.progress);
961
Yabin Cui08ee8d22015-02-11 17:04:36 -0800962 wakeup_arg.progress = RwlockWakeupHelperArg::LOCK_RELEASED;
963 ASSERT_EQ(0, pthread_rwlock_unlock(&wakeup_arg.lock));
964
965 ASSERT_EQ(0, pthread_join(thread, NULL));
966 ASSERT_EQ(RwlockWakeupHelperArg::LOCK_ACCESSED, wakeup_arg.progress);
967 ASSERT_EQ(0, pthread_rwlock_destroy(&wakeup_arg.lock));
968}
969
Yabin Cuic9a659c2015-11-05 15:36:08 -0800970TEST(pthread, pthread_rwlock_writer_wakeup_reader) {
971 test_pthread_rwlock_writer_wakeup_reader(pthread_rwlock_rdlock);
972}
973
974TEST(pthread, pthread_rwlock_writer_wakeup_reader_timedwait) {
975 timespec ts;
976 ASSERT_EQ(0, clock_gettime(CLOCK_REALTIME, &ts));
977 ts.tv_sec += 1;
978 test_pthread_rwlock_writer_wakeup_reader([&](pthread_rwlock_t* lock) {
979 return pthread_rwlock_timedrdlock(lock, &ts);
980 });
981}
982
983static void pthread_rwlock_wakeup_timeout_helper(RwlockWakeupHelperArg* arg) {
984 arg->tid = gettid();
985 ASSERT_EQ(RwlockWakeupHelperArg::LOCK_INITIALIZED, arg->progress);
986 arg->progress = RwlockWakeupHelperArg::LOCK_WAITING;
987
988 ASSERT_EQ(EBUSY, arg->trylock_function(&arg->lock));
989
990 timespec ts;
991 ASSERT_EQ(0, clock_gettime(CLOCK_REALTIME, &ts));
992 ASSERT_EQ(ETIMEDOUT, arg->timed_lock_function(&arg->lock, &ts));
993 ts.tv_nsec = -1;
994 ASSERT_EQ(EINVAL, arg->timed_lock_function(&arg->lock, &ts));
995 ts.tv_nsec = NS_PER_S;
996 ASSERT_EQ(EINVAL, arg->timed_lock_function(&arg->lock, &ts));
997 ts.tv_nsec = NS_PER_S - 1;
998 ts.tv_sec = -1;
999 ASSERT_EQ(ETIMEDOUT, arg->timed_lock_function(&arg->lock, &ts));
1000 ASSERT_EQ(0, clock_gettime(CLOCK_REALTIME, &ts));
1001 ts.tv_sec += 1;
1002 ASSERT_EQ(ETIMEDOUT, arg->timed_lock_function(&arg->lock, &ts));
1003 ASSERT_EQ(RwlockWakeupHelperArg::LOCK_WAITING, arg->progress);
1004 arg->progress = RwlockWakeupHelperArg::LOCK_TIMEDOUT;
1005}
1006
1007TEST(pthread, pthread_rwlock_timedrdlock_timeout) {
1008 RwlockWakeupHelperArg wakeup_arg;
1009 ASSERT_EQ(0, pthread_rwlock_init(&wakeup_arg.lock, nullptr));
1010 ASSERT_EQ(0, pthread_rwlock_wrlock(&wakeup_arg.lock));
1011 wakeup_arg.progress = RwlockWakeupHelperArg::LOCK_INITIALIZED;
1012 wakeup_arg.tid = 0;
Tom Cherry60ddedf2018-02-20 15:40:02 -08001013 wakeup_arg.trylock_function = &pthread_rwlock_tryrdlock;
1014 wakeup_arg.timed_lock_function = &pthread_rwlock_timedrdlock;
Yabin Cuic9a659c2015-11-05 15:36:08 -08001015
1016 pthread_t thread;
1017 ASSERT_EQ(0, pthread_create(&thread, nullptr,
1018 reinterpret_cast<void* (*)(void*)>(pthread_rwlock_wakeup_timeout_helper), &wakeup_arg));
1019 WaitUntilThreadSleep(wakeup_arg.tid);
1020 ASSERT_EQ(RwlockWakeupHelperArg::LOCK_WAITING, wakeup_arg.progress);
1021
1022 ASSERT_EQ(0, pthread_join(thread, nullptr));
1023 ASSERT_EQ(RwlockWakeupHelperArg::LOCK_TIMEDOUT, wakeup_arg.progress);
1024 ASSERT_EQ(0, pthread_rwlock_unlock(&wakeup_arg.lock));
1025 ASSERT_EQ(0, pthread_rwlock_destroy(&wakeup_arg.lock));
1026}
1027
1028TEST(pthread, pthread_rwlock_timedwrlock_timeout) {
1029 RwlockWakeupHelperArg wakeup_arg;
1030 ASSERT_EQ(0, pthread_rwlock_init(&wakeup_arg.lock, nullptr));
1031 ASSERT_EQ(0, pthread_rwlock_rdlock(&wakeup_arg.lock));
1032 wakeup_arg.progress = RwlockWakeupHelperArg::LOCK_INITIALIZED;
1033 wakeup_arg.tid = 0;
Tom Cherry60ddedf2018-02-20 15:40:02 -08001034 wakeup_arg.trylock_function = &pthread_rwlock_trywrlock;
1035 wakeup_arg.timed_lock_function = &pthread_rwlock_timedwrlock;
Yabin Cuic9a659c2015-11-05 15:36:08 -08001036
1037 pthread_t thread;
1038 ASSERT_EQ(0, pthread_create(&thread, nullptr,
1039 reinterpret_cast<void* (*)(void*)>(pthread_rwlock_wakeup_timeout_helper), &wakeup_arg));
1040 WaitUntilThreadSleep(wakeup_arg.tid);
1041 ASSERT_EQ(RwlockWakeupHelperArg::LOCK_WAITING, wakeup_arg.progress);
1042
1043 ASSERT_EQ(0, pthread_join(thread, nullptr));
1044 ASSERT_EQ(RwlockWakeupHelperArg::LOCK_TIMEDOUT, wakeup_arg.progress);
1045 ASSERT_EQ(0, pthread_rwlock_unlock(&wakeup_arg.lock));
1046 ASSERT_EQ(0, pthread_rwlock_destroy(&wakeup_arg.lock));
1047}
1048
Yabin Cui76615da2015-03-17 14:22:09 -07001049class RwlockKindTestHelper {
1050 private:
1051 struct ThreadArg {
1052 RwlockKindTestHelper* helper;
1053 std::atomic<pid_t>& tid;
1054
1055 ThreadArg(RwlockKindTestHelper* helper, std::atomic<pid_t>& tid)
1056 : helper(helper), tid(tid) { }
1057 };
1058
1059 public:
1060 pthread_rwlock_t lock;
1061
1062 public:
Chih-Hung Hsieh62e3a072016-05-03 12:08:05 -07001063 explicit RwlockKindTestHelper(int kind_type) {
Yabin Cui76615da2015-03-17 14:22:09 -07001064 InitRwlock(kind_type);
1065 }
1066
1067 ~RwlockKindTestHelper() {
1068 DestroyRwlock();
1069 }
1070
1071 void CreateWriterThread(pthread_t& thread, std::atomic<pid_t>& tid) {
1072 tid = 0;
1073 ThreadArg* arg = new ThreadArg(this, tid);
1074 ASSERT_EQ(0, pthread_create(&thread, NULL,
1075 reinterpret_cast<void* (*)(void*)>(WriterThreadFn), arg));
1076 }
1077
1078 void CreateReaderThread(pthread_t& thread, std::atomic<pid_t>& tid) {
1079 tid = 0;
1080 ThreadArg* arg = new ThreadArg(this, tid);
1081 ASSERT_EQ(0, pthread_create(&thread, NULL,
1082 reinterpret_cast<void* (*)(void*)>(ReaderThreadFn), arg));
1083 }
1084
1085 private:
1086 void InitRwlock(int kind_type) {
1087 pthread_rwlockattr_t attr;
1088 ASSERT_EQ(0, pthread_rwlockattr_init(&attr));
1089 ASSERT_EQ(0, pthread_rwlockattr_setkind_np(&attr, kind_type));
1090 ASSERT_EQ(0, pthread_rwlock_init(&lock, &attr));
1091 ASSERT_EQ(0, pthread_rwlockattr_destroy(&attr));
1092 }
1093
1094 void DestroyRwlock() {
1095 ASSERT_EQ(0, pthread_rwlock_destroy(&lock));
1096 }
1097
1098 static void WriterThreadFn(ThreadArg* arg) {
1099 arg->tid = gettid();
1100
1101 RwlockKindTestHelper* helper = arg->helper;
1102 ASSERT_EQ(0, pthread_rwlock_wrlock(&helper->lock));
1103 ASSERT_EQ(0, pthread_rwlock_unlock(&helper->lock));
1104 delete arg;
1105 }
1106
1107 static void ReaderThreadFn(ThreadArg* arg) {
1108 arg->tid = gettid();
1109
1110 RwlockKindTestHelper* helper = arg->helper;
1111 ASSERT_EQ(0, pthread_rwlock_rdlock(&helper->lock));
1112 ASSERT_EQ(0, pthread_rwlock_unlock(&helper->lock));
1113 delete arg;
1114 }
1115};
1116
1117TEST(pthread, pthread_rwlock_kind_PTHREAD_RWLOCK_PREFER_READER_NP) {
1118 RwlockKindTestHelper helper(PTHREAD_RWLOCK_PREFER_READER_NP);
1119 ASSERT_EQ(0, pthread_rwlock_rdlock(&helper.lock));
1120
1121 pthread_t writer_thread;
1122 std::atomic<pid_t> writer_tid;
1123 helper.CreateWriterThread(writer_thread, writer_tid);
1124 WaitUntilThreadSleep(writer_tid);
1125
1126 pthread_t reader_thread;
1127 std::atomic<pid_t> reader_tid;
1128 helper.CreateReaderThread(reader_thread, reader_tid);
1129 ASSERT_EQ(0, pthread_join(reader_thread, NULL));
1130
1131 ASSERT_EQ(0, pthread_rwlock_unlock(&helper.lock));
1132 ASSERT_EQ(0, pthread_join(writer_thread, NULL));
1133}
1134
1135TEST(pthread, pthread_rwlock_kind_PTHREAD_RWLOCK_PREFER_WRITER_NONRECURSIVE_NP) {
1136 RwlockKindTestHelper helper(PTHREAD_RWLOCK_PREFER_WRITER_NONRECURSIVE_NP);
1137 ASSERT_EQ(0, pthread_rwlock_rdlock(&helper.lock));
1138
1139 pthread_t writer_thread;
1140 std::atomic<pid_t> writer_tid;
1141 helper.CreateWriterThread(writer_thread, writer_tid);
1142 WaitUntilThreadSleep(writer_tid);
1143
1144 pthread_t reader_thread;
1145 std::atomic<pid_t> reader_tid;
1146 helper.CreateReaderThread(reader_thread, reader_tid);
1147 WaitUntilThreadSleep(reader_tid);
1148
1149 ASSERT_EQ(0, pthread_rwlock_unlock(&helper.lock));
1150 ASSERT_EQ(0, pthread_join(writer_thread, NULL));
1151 ASSERT_EQ(0, pthread_join(reader_thread, NULL));
1152}
1153
Elliott Hughes1728b232014-05-14 10:02:03 -07001154static int g_once_fn_call_count = 0;
Elliott Hughesc3f11402013-10-30 14:40:09 -07001155static void OnceFn() {
Elliott Hughes1728b232014-05-14 10:02:03 -07001156 ++g_once_fn_call_count;
Elliott Hughesc3f11402013-10-30 14:40:09 -07001157}
1158
1159TEST(pthread, pthread_once_smoke) {
1160 pthread_once_t once_control = PTHREAD_ONCE_INIT;
1161 ASSERT_EQ(0, pthread_once(&once_control, OnceFn));
1162 ASSERT_EQ(0, pthread_once(&once_control, OnceFn));
Elliott Hughes1728b232014-05-14 10:02:03 -07001163 ASSERT_EQ(1, g_once_fn_call_count);
Elliott Hughesc3f11402013-10-30 14:40:09 -07001164}
1165
Elliott Hughes3694ec62014-05-14 11:46:08 -07001166static std::string pthread_once_1934122_result = "";
1167
1168static void Routine2() {
1169 pthread_once_1934122_result += "2";
1170}
1171
1172static void Routine1() {
1173 pthread_once_t once_control_2 = PTHREAD_ONCE_INIT;
1174 pthread_once_1934122_result += "1";
1175 pthread_once(&once_control_2, &Routine2);
1176}
1177
1178TEST(pthread, pthread_once_1934122) {
1179 // Very old versions of Android couldn't call pthread_once from a
1180 // pthread_once init routine. http://b/1934122.
1181 pthread_once_t once_control_1 = PTHREAD_ONCE_INIT;
1182 ASSERT_EQ(0, pthread_once(&once_control_1, &Routine1));
1183 ASSERT_EQ("12", pthread_once_1934122_result);
1184}
1185
Elliott Hughes1728b232014-05-14 10:02:03 -07001186static int g_atfork_prepare_calls = 0;
Dmitriy Ivanovea295f62014-11-20 20:47:02 -08001187static void AtForkPrepare1() { g_atfork_prepare_calls = (g_atfork_prepare_calls * 10) + 1; }
1188static void AtForkPrepare2() { g_atfork_prepare_calls = (g_atfork_prepare_calls * 10) + 2; }
Elliott Hughes1728b232014-05-14 10:02:03 -07001189static int g_atfork_parent_calls = 0;
Dmitriy Ivanovea295f62014-11-20 20:47:02 -08001190static void AtForkParent1() { g_atfork_parent_calls = (g_atfork_parent_calls * 10) + 1; }
1191static void AtForkParent2() { g_atfork_parent_calls = (g_atfork_parent_calls * 10) + 2; }
Elliott Hughes1728b232014-05-14 10:02:03 -07001192static int g_atfork_child_calls = 0;
Dmitriy Ivanovea295f62014-11-20 20:47:02 -08001193static void AtForkChild1() { g_atfork_child_calls = (g_atfork_child_calls * 10) + 1; }
1194static void AtForkChild2() { g_atfork_child_calls = (g_atfork_child_calls * 10) + 2; }
Elliott Hughesc3f11402013-10-30 14:40:09 -07001195
Dmitriy Ivanov00e37812014-11-20 16:53:47 -08001196TEST(pthread, pthread_atfork_smoke) {
Dmitriy Ivanovcb0443c2015-03-16 14:15:46 -07001197 ASSERT_EQ(0, pthread_atfork(AtForkPrepare1, AtForkParent1, AtForkChild1));
1198 ASSERT_EQ(0, pthread_atfork(AtForkPrepare2, AtForkParent2, AtForkChild2));
Elliott Hughesc3f11402013-10-30 14:40:09 -07001199
Elliott Hughes33697a02016-01-26 13:04:57 -08001200 pid_t pid = fork();
Dmitriy Ivanovcb0443c2015-03-16 14:15:46 -07001201 ASSERT_NE(-1, pid) << strerror(errno);
Elliott Hughesc3f11402013-10-30 14:40:09 -07001202
Dmitriy Ivanovcb0443c2015-03-16 14:15:46 -07001203 // Child and parent calls are made in the order they were registered.
1204 if (pid == 0) {
Dmitriy Ivanovea295f62014-11-20 20:47:02 -08001205 ASSERT_EQ(12, g_atfork_child_calls);
Dmitriy Ivanovcb0443c2015-03-16 14:15:46 -07001206 _exit(0);
1207 }
Dmitriy Ivanovea295f62014-11-20 20:47:02 -08001208 ASSERT_EQ(12, g_atfork_parent_calls);
Elliott Hughesc3f11402013-10-30 14:40:09 -07001209
Dmitriy Ivanovcb0443c2015-03-16 14:15:46 -07001210 // Prepare calls are made in the reverse order.
Dmitriy Ivanovea295f62014-11-20 20:47:02 -08001211 ASSERT_EQ(21, g_atfork_prepare_calls);
Elliott Hughes33697a02016-01-26 13:04:57 -08001212 AssertChildExited(pid, 0);
Dmitriy Ivanovea295f62014-11-20 20:47:02 -08001213}
1214
Elliott Hughesc3f11402013-10-30 14:40:09 -07001215TEST(pthread, pthread_attr_getscope) {
1216 pthread_attr_t attr;
1217 ASSERT_EQ(0, pthread_attr_init(&attr));
1218
1219 int scope;
1220 ASSERT_EQ(0, pthread_attr_getscope(&attr, &scope));
1221 ASSERT_EQ(PTHREAD_SCOPE_SYSTEM, scope);
1222}
Narayan Kamath51e6cb32014-03-03 15:38:51 +00001223
1224TEST(pthread, pthread_condattr_init) {
1225 pthread_condattr_t attr;
1226 pthread_condattr_init(&attr);
1227
1228 clockid_t clock;
1229 ASSERT_EQ(0, pthread_condattr_getclock(&attr, &clock));
1230 ASSERT_EQ(CLOCK_REALTIME, clock);
1231
1232 int pshared;
1233 ASSERT_EQ(0, pthread_condattr_getpshared(&attr, &pshared));
1234 ASSERT_EQ(PTHREAD_PROCESS_PRIVATE, pshared);
1235}
1236
1237TEST(pthread, pthread_condattr_setclock) {
1238 pthread_condattr_t attr;
1239 pthread_condattr_init(&attr);
1240
1241 ASSERT_EQ(0, pthread_condattr_setclock(&attr, CLOCK_REALTIME));
1242 clockid_t clock;
1243 ASSERT_EQ(0, pthread_condattr_getclock(&attr, &clock));
1244 ASSERT_EQ(CLOCK_REALTIME, clock);
1245
1246 ASSERT_EQ(0, pthread_condattr_setclock(&attr, CLOCK_MONOTONIC));
1247 ASSERT_EQ(0, pthread_condattr_getclock(&attr, &clock));
1248 ASSERT_EQ(CLOCK_MONOTONIC, clock);
1249
1250 ASSERT_EQ(EINVAL, pthread_condattr_setclock(&attr, CLOCK_PROCESS_CPUTIME_ID));
1251}
1252
1253TEST(pthread, pthread_cond_broadcast__preserves_condattr_flags) {
Yabin Cui32651b82015-03-13 20:30:00 -07001254#if defined(__BIONIC__)
Narayan Kamath51e6cb32014-03-03 15:38:51 +00001255 pthread_condattr_t attr;
1256 pthread_condattr_init(&attr);
1257
1258 ASSERT_EQ(0, pthread_condattr_setclock(&attr, CLOCK_MONOTONIC));
1259 ASSERT_EQ(0, pthread_condattr_setpshared(&attr, PTHREAD_PROCESS_SHARED));
1260
1261 pthread_cond_t cond_var;
1262 ASSERT_EQ(0, pthread_cond_init(&cond_var, &attr));
1263
1264 ASSERT_EQ(0, pthread_cond_signal(&cond_var));
1265 ASSERT_EQ(0, pthread_cond_broadcast(&cond_var));
1266
Yabin Cui32651b82015-03-13 20:30:00 -07001267 attr = static_cast<pthread_condattr_t>(*reinterpret_cast<uint32_t*>(cond_var.__private));
Narayan Kamath51e6cb32014-03-03 15:38:51 +00001268 clockid_t clock;
1269 ASSERT_EQ(0, pthread_condattr_getclock(&attr, &clock));
1270 ASSERT_EQ(CLOCK_MONOTONIC, clock);
1271 int pshared;
1272 ASSERT_EQ(0, pthread_condattr_getpshared(&attr, &pshared));
1273 ASSERT_EQ(PTHREAD_PROCESS_SHARED, pshared);
Yabin Cui32651b82015-03-13 20:30:00 -07001274#else // !defined(__BIONIC__)
1275 GTEST_LOG_(INFO) << "This tests a bionic implementation detail.\n";
1276#endif // !defined(__BIONIC__)
1277}
1278
1279class pthread_CondWakeupTest : public ::testing::Test {
1280 protected:
1281 pthread_mutex_t mutex;
1282 pthread_cond_t cond;
1283
1284 enum Progress {
1285 INITIALIZED,
1286 WAITING,
1287 SIGNALED,
1288 FINISHED,
1289 };
1290 std::atomic<Progress> progress;
1291 pthread_t thread;
Yabin Cuic9a659c2015-11-05 15:36:08 -08001292 std::function<int (pthread_cond_t* cond, pthread_mutex_t* mutex)> wait_function;
Yabin Cui32651b82015-03-13 20:30:00 -07001293
1294 protected:
Yabin Cuic9a659c2015-11-05 15:36:08 -08001295 void SetUp() override {
1296 ASSERT_EQ(0, pthread_mutex_init(&mutex, nullptr));
1297 }
1298
1299 void InitCond(clockid_t clock=CLOCK_REALTIME) {
1300 pthread_condattr_t attr;
1301 ASSERT_EQ(0, pthread_condattr_init(&attr));
1302 ASSERT_EQ(0, pthread_condattr_setclock(&attr, clock));
1303 ASSERT_EQ(0, pthread_cond_init(&cond, &attr));
1304 ASSERT_EQ(0, pthread_condattr_destroy(&attr));
1305 }
1306
1307 void StartWaitingThread(std::function<int (pthread_cond_t* cond, pthread_mutex_t* mutex)> wait_function) {
Yabin Cui32651b82015-03-13 20:30:00 -07001308 progress = INITIALIZED;
Yabin Cuic9a659c2015-11-05 15:36:08 -08001309 this->wait_function = wait_function;
1310 ASSERT_EQ(0, pthread_create(&thread, NULL, reinterpret_cast<void* (*)(void*)>(WaitThreadFn), this));
1311 while (progress != WAITING) {
Yabin Cui32651b82015-03-13 20:30:00 -07001312 usleep(5000);
1313 }
1314 usleep(5000);
1315 }
1316
Yabin Cuic9a659c2015-11-05 15:36:08 -08001317 void TearDown() override {
1318 ASSERT_EQ(0, pthread_join(thread, nullptr));
1319 ASSERT_EQ(FINISHED, progress);
1320 ASSERT_EQ(0, pthread_cond_destroy(&cond));
1321 ASSERT_EQ(0, pthread_mutex_destroy(&mutex));
1322 }
1323
Yabin Cui32651b82015-03-13 20:30:00 -07001324 private:
1325 static void WaitThreadFn(pthread_CondWakeupTest* test) {
1326 ASSERT_EQ(0, pthread_mutex_lock(&test->mutex));
1327 test->progress = WAITING;
1328 while (test->progress == WAITING) {
Yabin Cuic9a659c2015-11-05 15:36:08 -08001329 ASSERT_EQ(0, test->wait_function(&test->cond, &test->mutex));
Yabin Cui32651b82015-03-13 20:30:00 -07001330 }
1331 ASSERT_EQ(SIGNALED, test->progress);
1332 test->progress = FINISHED;
1333 ASSERT_EQ(0, pthread_mutex_unlock(&test->mutex));
1334 }
1335};
1336
Yabin Cuic9a659c2015-11-05 15:36:08 -08001337TEST_F(pthread_CondWakeupTest, signal_wait) {
1338 InitCond();
1339 StartWaitingThread([](pthread_cond_t* cond, pthread_mutex_t* mutex) {
1340 return pthread_cond_wait(cond, mutex);
1341 });
Yabin Cui32651b82015-03-13 20:30:00 -07001342 progress = SIGNALED;
Yabin Cuic9a659c2015-11-05 15:36:08 -08001343 ASSERT_EQ(0, pthread_cond_signal(&cond));
Yabin Cui32651b82015-03-13 20:30:00 -07001344}
1345
Yabin Cuic9a659c2015-11-05 15:36:08 -08001346TEST_F(pthread_CondWakeupTest, broadcast_wait) {
1347 InitCond();
1348 StartWaitingThread([](pthread_cond_t* cond, pthread_mutex_t* mutex) {
1349 return pthread_cond_wait(cond, mutex);
1350 });
Yabin Cui32651b82015-03-13 20:30:00 -07001351 progress = SIGNALED;
Yabin Cuic9a659c2015-11-05 15:36:08 -08001352 ASSERT_EQ(0, pthread_cond_broadcast(&cond));
Narayan Kamath51e6cb32014-03-03 15:38:51 +00001353}
Elliott Hughes0e714a52014-03-03 16:42:47 -08001354
Yabin Cuic9a659c2015-11-05 15:36:08 -08001355TEST_F(pthread_CondWakeupTest, signal_timedwait_CLOCK_REALTIME) {
1356 InitCond(CLOCK_REALTIME);
Elliott Hughes0e714a52014-03-03 16:42:47 -08001357 timespec ts;
1358 ASSERT_EQ(0, clock_gettime(CLOCK_REALTIME, &ts));
Yabin Cuic9a659c2015-11-05 15:36:08 -08001359 ts.tv_sec += 1;
1360 StartWaitingThread([&](pthread_cond_t* cond, pthread_mutex_t* mutex) {
1361 return pthread_cond_timedwait(cond, mutex, &ts);
1362 });
1363 progress = SIGNALED;
1364 ASSERT_EQ(0, pthread_cond_signal(&cond));
1365}
Elliott Hughes0e714a52014-03-03 16:42:47 -08001366
Yabin Cuic9a659c2015-11-05 15:36:08 -08001367TEST_F(pthread_CondWakeupTest, signal_timedwait_CLOCK_MONOTONIC) {
1368 InitCond(CLOCK_MONOTONIC);
1369 timespec ts;
1370 ASSERT_EQ(0, clock_gettime(CLOCK_MONOTONIC, &ts));
1371 ts.tv_sec += 1;
1372 StartWaitingThread([&](pthread_cond_t* cond, pthread_mutex_t* mutex) {
1373 return pthread_cond_timedwait(cond, mutex, &ts);
1374 });
1375 progress = SIGNALED;
1376 ASSERT_EQ(0, pthread_cond_signal(&cond));
1377}
Elliott Hughes0e714a52014-03-03 16:42:47 -08001378
Yabin Cuic9a659c2015-11-05 15:36:08 -08001379TEST(pthread, pthread_cond_timedwait_timeout) {
1380 pthread_mutex_t mutex;
1381 ASSERT_EQ(0, pthread_mutex_init(&mutex, nullptr));
1382 pthread_cond_t cond;
1383 ASSERT_EQ(0, pthread_cond_init(&cond, nullptr));
1384 ASSERT_EQ(0, pthread_mutex_lock(&mutex));
1385 timespec ts;
Elliott Hughes0e714a52014-03-03 16:42:47 -08001386 ASSERT_EQ(0, clock_gettime(CLOCK_REALTIME, &ts));
Yabin Cuic9a659c2015-11-05 15:36:08 -08001387 ASSERT_EQ(ETIMEDOUT, pthread_cond_timedwait(&cond, &mutex, &ts));
1388 ts.tv_nsec = -1;
1389 ASSERT_EQ(EINVAL, pthread_cond_timedwait(&cond, &mutex, &ts));
1390 ts.tv_nsec = NS_PER_S;
1391 ASSERT_EQ(EINVAL, pthread_cond_timedwait(&cond, &mutex, &ts));
1392 ts.tv_nsec = NS_PER_S - 1;
1393 ts.tv_sec = -1;
1394 ASSERT_EQ(ETIMEDOUT, pthread_cond_timedwait(&cond, &mutex, &ts));
1395 ASSERT_EQ(0, pthread_mutex_unlock(&mutex));
Elliott Hughes0e714a52014-03-03 16:42:47 -08001396}
Elliott Hughes57b7a612014-08-25 17:26:50 -07001397
1398TEST(pthread, pthread_attr_getstack__main_thread) {
1399 // This test is only meaningful for the main thread, so make sure we're running on it!
1400 ASSERT_EQ(getpid(), syscall(__NR_gettid));
1401
1402 // Get the main thread's attributes.
1403 pthread_attr_t attributes;
1404 ASSERT_EQ(0, pthread_getattr_np(pthread_self(), &attributes));
1405
1406 // Check that we correctly report that the main thread has no guard page.
1407 size_t guard_size;
1408 ASSERT_EQ(0, pthread_attr_getguardsize(&attributes, &guard_size));
1409 ASSERT_EQ(0U, guard_size); // The main thread has no guard page.
1410
1411 // Get the stack base and the stack size (both ways).
1412 void* stack_base;
1413 size_t stack_size;
1414 ASSERT_EQ(0, pthread_attr_getstack(&attributes, &stack_base, &stack_size));
1415 size_t stack_size2;
1416 ASSERT_EQ(0, pthread_attr_getstacksize(&attributes, &stack_size2));
1417
1418 // The two methods of asking for the stack size should agree.
1419 EXPECT_EQ(stack_size, stack_size2);
1420
Yabin Cuib0c6f2db2015-05-19 15:09:23 -07001421#if defined(__BIONIC__)
dimitry6dfa5b52018-01-30 13:24:28 +01001422 // Find stack in /proc/self/maps using a pointer to the stack.
1423 //
1424 // We do not use "[stack]" label because in native-bridge environment it is not
1425 // guaranteed to point to the right stack. A native bridge implementation may
1426 // keep separate stack for the guest code.
Elliott Hughes9e4ffa72014-08-27 15:32:01 -07001427 void* maps_stack_hi = NULL;
Elliott Hughes15dfd632015-09-22 16:40:14 -07001428 std::vector<map_record> maps;
1429 ASSERT_TRUE(Maps::parse_maps(&maps));
dimitry6dfa5b52018-01-30 13:24:28 +01001430 uintptr_t stack_address = reinterpret_cast<uintptr_t>(&maps_stack_hi);
Elliott Hughes0b2acdf2015-10-02 18:25:19 -07001431 for (const auto& map : maps) {
dimitry6dfa5b52018-01-30 13:24:28 +01001432 if (map.addr_start <= stack_address && map.addr_end > stack_address){
Elliott Hughes15dfd632015-09-22 16:40:14 -07001433 maps_stack_hi = reinterpret_cast<void*>(map.addr_end);
Elliott Hughes57b7a612014-08-25 17:26:50 -07001434 break;
1435 }
1436 }
Elliott Hughes57b7a612014-08-25 17:26:50 -07001437
dimitry6dfa5b52018-01-30 13:24:28 +01001438 // The high address of the /proc/self/maps stack region should equal stack_base + stack_size.
Yabin Cuib0c6f2db2015-05-19 15:09:23 -07001439 // Remember that the stack grows down (and is mapped in on demand), so the low address of the
1440 // region isn't very interesting.
1441 EXPECT_EQ(maps_stack_hi, reinterpret_cast<uint8_t*>(stack_base) + stack_size);
1442
Elliott Hughes9e4ffa72014-08-27 15:32:01 -07001443 // The stack size should correspond to RLIMIT_STACK.
Elliott Hughes57b7a612014-08-25 17:26:50 -07001444 rlimit rl;
Elliott Hughes9e4ffa72014-08-27 15:32:01 -07001445 ASSERT_EQ(0, getrlimit(RLIMIT_STACK, &rl));
Elliott Hughes27a9aed2014-09-04 16:09:25 -07001446 uint64_t original_rlim_cur = rl.rlim_cur;
Elliott Hughes27a9aed2014-09-04 16:09:25 -07001447 if (rl.rlim_cur == RLIM_INFINITY) {
1448 rl.rlim_cur = 8 * 1024 * 1024; // Bionic reports unlimited stacks as 8MiB.
1449 }
Elliott Hughes9e4ffa72014-08-27 15:32:01 -07001450 EXPECT_EQ(rl.rlim_cur, stack_size);
1451
Tom Cherryb8ab6182017-04-05 16:20:29 -07001452 auto guard = android::base::make_scope_guard([&rl, original_rlim_cur]() {
Elliott Hughes27a9aed2014-09-04 16:09:25 -07001453 rl.rlim_cur = original_rlim_cur;
1454 ASSERT_EQ(0, setrlimit(RLIMIT_STACK, &rl));
1455 });
1456
Elliott Hughes9e4ffa72014-08-27 15:32:01 -07001457 //
1458 // What if RLIMIT_STACK is smaller than the stack's current extent?
1459 //
Elliott Hughes57b7a612014-08-25 17:26:50 -07001460 rl.rlim_cur = rl.rlim_max = 1024; // 1KiB. We know the stack must be at least a page already.
1461 rl.rlim_max = RLIM_INFINITY;
1462 ASSERT_EQ(0, setrlimit(RLIMIT_STACK, &rl));
1463
1464 ASSERT_EQ(0, pthread_getattr_np(pthread_self(), &attributes));
1465 ASSERT_EQ(0, pthread_attr_getstack(&attributes, &stack_base, &stack_size));
1466 ASSERT_EQ(0, pthread_attr_getstacksize(&attributes, &stack_size2));
1467
1468 EXPECT_EQ(stack_size, stack_size2);
1469 ASSERT_EQ(1024U, stack_size);
1470
1471 //
Elliott Hughes9e4ffa72014-08-27 15:32:01 -07001472 // What if RLIMIT_STACK isn't a whole number of pages?
Elliott Hughes57b7a612014-08-25 17:26:50 -07001473 //
1474 rl.rlim_cur = rl.rlim_max = 6666; // Not a whole number of pages.
1475 rl.rlim_max = RLIM_INFINITY;
1476 ASSERT_EQ(0, setrlimit(RLIMIT_STACK, &rl));
1477
1478 ASSERT_EQ(0, pthread_getattr_np(pthread_self(), &attributes));
1479 ASSERT_EQ(0, pthread_attr_getstack(&attributes, &stack_base, &stack_size));
1480 ASSERT_EQ(0, pthread_attr_getstacksize(&attributes, &stack_size2));
1481
1482 EXPECT_EQ(stack_size, stack_size2);
1483 ASSERT_EQ(6666U, stack_size);
Yabin Cuib0c6f2db2015-05-19 15:09:23 -07001484#endif
Elliott Hughes57b7a612014-08-25 17:26:50 -07001485}
Elliott Hughes8fb639c2014-09-12 14:43:07 -07001486
Mor-sarid, Nitzan56933322015-09-11 05:31:36 +00001487struct GetStackSignalHandlerArg {
1488 volatile bool done;
Chih-Hung Hsieh9af13d22016-06-02 14:40:09 -07001489 void* signal_stack_base;
1490 size_t signal_stack_size;
Mor-sarid, Nitzan56933322015-09-11 05:31:36 +00001491 void* main_stack_base;
1492 size_t main_stack_size;
1493};
1494
1495static GetStackSignalHandlerArg getstack_signal_handler_arg;
1496
1497static void getstack_signal_handler(int sig) {
1498 ASSERT_EQ(SIGUSR1, sig);
1499 // Use sleep() to make current thread be switched out by the kernel to provoke the error.
1500 sleep(1);
1501 pthread_attr_t attr;
1502 ASSERT_EQ(0, pthread_getattr_np(pthread_self(), &attr));
1503 void* stack_base;
1504 size_t stack_size;
1505 ASSERT_EQ(0, pthread_attr_getstack(&attr, &stack_base, &stack_size));
Chih-Hung Hsieh9af13d22016-06-02 14:40:09 -07001506
1507 // Verify if the stack used by the signal handler is the alternate stack just registered.
1508 ASSERT_LE(getstack_signal_handler_arg.signal_stack_base, &attr);
1509 ASSERT_LT(static_cast<void*>(&attr),
1510 static_cast<char*>(getstack_signal_handler_arg.signal_stack_base) +
1511 getstack_signal_handler_arg.signal_stack_size);
1512
1513 // Verify if the main thread's stack got in the signal handler is correct.
1514 ASSERT_EQ(getstack_signal_handler_arg.main_stack_base, stack_base);
1515 ASSERT_LE(getstack_signal_handler_arg.main_stack_size, stack_size);
1516
Mor-sarid, Nitzan56933322015-09-11 05:31:36 +00001517 getstack_signal_handler_arg.done = true;
1518}
1519
1520// The previous code obtained the main thread's stack by reading the entry in
1521// /proc/self/task/<pid>/maps that was labeled [stack]. Unfortunately, on x86/x86_64, the kernel
1522// relies on sp0 in task state segment(tss) to label the stack map with [stack]. If the kernel
1523// switches a process while the main thread is in an alternate stack, then the kernel will label
1524// the wrong map with [stack]. This test verifies that when the above situation happens, the main
1525// thread's stack is found correctly.
1526TEST(pthread, pthread_attr_getstack_in_signal_handler) {
Yabin Cui61e4d462016-03-07 17:44:58 -08001527 // This test is only meaningful for the main thread, so make sure we're running on it!
1528 ASSERT_EQ(getpid(), syscall(__NR_gettid));
1529
Mor-sarid, Nitzan56933322015-09-11 05:31:36 +00001530 const size_t sig_stack_size = 16 * 1024;
1531 void* sig_stack = mmap(NULL, sig_stack_size, PROT_READ | PROT_WRITE, MAP_PRIVATE | MAP_ANONYMOUS,
1532 -1, 0);
1533 ASSERT_NE(MAP_FAILED, sig_stack);
1534 stack_t ss;
1535 ss.ss_sp = sig_stack;
1536 ss.ss_size = sig_stack_size;
1537 ss.ss_flags = 0;
1538 stack_t oss;
1539 ASSERT_EQ(0, sigaltstack(&ss, &oss));
1540
Yabin Cui61e4d462016-03-07 17:44:58 -08001541 pthread_attr_t attr;
1542 ASSERT_EQ(0, pthread_getattr_np(pthread_self(), &attr));
1543 void* main_stack_base;
1544 size_t main_stack_size;
1545 ASSERT_EQ(0, pthread_attr_getstack(&attr, &main_stack_base, &main_stack_size));
1546
Mor-sarid, Nitzan56933322015-09-11 05:31:36 +00001547 ScopedSignalHandler handler(SIGUSR1, getstack_signal_handler, SA_ONSTACK);
1548 getstack_signal_handler_arg.done = false;
Chih-Hung Hsieh9af13d22016-06-02 14:40:09 -07001549 getstack_signal_handler_arg.signal_stack_base = sig_stack;
1550 getstack_signal_handler_arg.signal_stack_size = sig_stack_size;
1551 getstack_signal_handler_arg.main_stack_base = main_stack_base;
1552 getstack_signal_handler_arg.main_stack_size = main_stack_size;
Mor-sarid, Nitzan56933322015-09-11 05:31:36 +00001553 kill(getpid(), SIGUSR1);
1554 ASSERT_EQ(true, getstack_signal_handler_arg.done);
1555
Mor-sarid, Nitzan56933322015-09-11 05:31:36 +00001556 ASSERT_EQ(0, sigaltstack(&oss, nullptr));
1557 ASSERT_EQ(0, munmap(sig_stack, sig_stack_size));
1558}
1559
Yabin Cui917d3902015-01-08 12:32:42 -08001560static void pthread_attr_getstack_18908062_helper(void*) {
1561 char local_variable;
1562 pthread_attr_t attributes;
1563 pthread_getattr_np(pthread_self(), &attributes);
1564 void* stack_base;
1565 size_t stack_size;
1566 pthread_attr_getstack(&attributes, &stack_base, &stack_size);
1567
1568 // Test whether &local_variable is in [stack_base, stack_base + stack_size).
1569 ASSERT_LE(reinterpret_cast<char*>(stack_base), &local_variable);
1570 ASSERT_LT(&local_variable, reinterpret_cast<char*>(stack_base) + stack_size);
1571}
1572
1573// Check whether something on stack is in the range of
1574// [stack_base, stack_base + stack_size). see b/18908062.
1575TEST(pthread, pthread_attr_getstack_18908062) {
1576 pthread_t t;
1577 ASSERT_EQ(0, pthread_create(&t, NULL,
1578 reinterpret_cast<void* (*)(void*)>(pthread_attr_getstack_18908062_helper),
1579 NULL));
Elliott Hughes8aecba72017-10-17 15:34:41 -07001580 ASSERT_EQ(0, pthread_join(t, NULL));
Yabin Cui917d3902015-01-08 12:32:42 -08001581}
1582
Elliott Hughes8fb639c2014-09-12 14:43:07 -07001583#if defined(__BIONIC__)
Elliott Hughesf2083612015-11-11 13:32:28 -08001584static pthread_mutex_t pthread_gettid_np_mutex = PTHREAD_MUTEX_INITIALIZER;
1585
Elliott Hughes8fb639c2014-09-12 14:43:07 -07001586static void* pthread_gettid_np_helper(void* arg) {
1587 *reinterpret_cast<pid_t*>(arg) = gettid();
Elliott Hughesf2083612015-11-11 13:32:28 -08001588
1589 // Wait for our parent to call pthread_gettid_np on us before exiting.
1590 pthread_mutex_lock(&pthread_gettid_np_mutex);
1591 pthread_mutex_unlock(&pthread_gettid_np_mutex);
Elliott Hughes8fb639c2014-09-12 14:43:07 -07001592 return NULL;
1593}
1594#endif
1595
1596TEST(pthread, pthread_gettid_np) {
1597#if defined(__BIONIC__)
1598 ASSERT_EQ(gettid(), pthread_gettid_np(pthread_self()));
1599
Elliott Hughesf2083612015-11-11 13:32:28 -08001600 // Ensure the other thread doesn't exit until after we've called
1601 // pthread_gettid_np on it.
1602 pthread_mutex_lock(&pthread_gettid_np_mutex);
1603
Elliott Hughes8fb639c2014-09-12 14:43:07 -07001604 pid_t t_gettid_result;
1605 pthread_t t;
1606 pthread_create(&t, NULL, pthread_gettid_np_helper, &t_gettid_result);
1607
1608 pid_t t_pthread_gettid_np_result = pthread_gettid_np(t);
1609
Elliott Hughesf2083612015-11-11 13:32:28 -08001610 // Release the other thread and wait for it to exit.
1611 pthread_mutex_unlock(&pthread_gettid_np_mutex);
Elliott Hughes8aecba72017-10-17 15:34:41 -07001612 ASSERT_EQ(0, pthread_join(t, NULL));
Elliott Hughes8fb639c2014-09-12 14:43:07 -07001613
1614 ASSERT_EQ(t_gettid_result, t_pthread_gettid_np_result);
1615#else
1616 GTEST_LOG_(INFO) << "This test does nothing.\n";
1617#endif
1618}
Elliott Hughes34c987a2014-09-22 16:01:26 -07001619
1620static size_t cleanup_counter = 0;
1621
Derek Xue41996952014-09-25 11:05:32 +01001622static void AbortCleanupRoutine(void*) {
Elliott Hughes34c987a2014-09-22 16:01:26 -07001623 abort();
1624}
1625
Derek Xue41996952014-09-25 11:05:32 +01001626static void CountCleanupRoutine(void*) {
Elliott Hughes34c987a2014-09-22 16:01:26 -07001627 ++cleanup_counter;
1628}
1629
Derek Xue41996952014-09-25 11:05:32 +01001630static void PthreadCleanupTester() {
Elliott Hughes34c987a2014-09-22 16:01:26 -07001631 pthread_cleanup_push(CountCleanupRoutine, NULL);
1632 pthread_cleanup_push(CountCleanupRoutine, NULL);
1633 pthread_cleanup_push(AbortCleanupRoutine, NULL);
1634
1635 pthread_cleanup_pop(0); // Pop the abort without executing it.
1636 pthread_cleanup_pop(1); // Pop one count while executing it.
1637 ASSERT_EQ(1U, cleanup_counter);
1638 // Exit while the other count is still on the cleanup stack.
1639 pthread_exit(NULL);
1640
1641 // Calls to pthread_cleanup_pop/pthread_cleanup_push must always be balanced.
1642 pthread_cleanup_pop(0);
1643}
1644
Derek Xue41996952014-09-25 11:05:32 +01001645static void* PthreadCleanupStartRoutine(void*) {
Elliott Hughes34c987a2014-09-22 16:01:26 -07001646 PthreadCleanupTester();
1647 return NULL;
1648}
1649
1650TEST(pthread, pthread_cleanup_push__pthread_cleanup_pop) {
1651 pthread_t t;
1652 ASSERT_EQ(0, pthread_create(&t, NULL, PthreadCleanupStartRoutine, NULL));
Elliott Hughes8aecba72017-10-17 15:34:41 -07001653 ASSERT_EQ(0, pthread_join(t, NULL));
Elliott Hughes34c987a2014-09-22 16:01:26 -07001654 ASSERT_EQ(2U, cleanup_counter);
1655}
Derek Xue41996952014-09-25 11:05:32 +01001656
1657TEST(pthread, PTHREAD_MUTEX_DEFAULT_is_PTHREAD_MUTEX_NORMAL) {
1658 ASSERT_EQ(PTHREAD_MUTEX_NORMAL, PTHREAD_MUTEX_DEFAULT);
1659}
1660
1661TEST(pthread, pthread_mutexattr_gettype) {
1662 pthread_mutexattr_t attr;
1663 ASSERT_EQ(0, pthread_mutexattr_init(&attr));
1664
1665 int attr_type;
1666
1667 ASSERT_EQ(0, pthread_mutexattr_settype(&attr, PTHREAD_MUTEX_NORMAL));
1668 ASSERT_EQ(0, pthread_mutexattr_gettype(&attr, &attr_type));
1669 ASSERT_EQ(PTHREAD_MUTEX_NORMAL, attr_type);
1670
1671 ASSERT_EQ(0, pthread_mutexattr_settype(&attr, PTHREAD_MUTEX_ERRORCHECK));
1672 ASSERT_EQ(0, pthread_mutexattr_gettype(&attr, &attr_type));
1673 ASSERT_EQ(PTHREAD_MUTEX_ERRORCHECK, attr_type);
1674
1675 ASSERT_EQ(0, pthread_mutexattr_settype(&attr, PTHREAD_MUTEX_RECURSIVE));
1676 ASSERT_EQ(0, pthread_mutexattr_gettype(&attr, &attr_type));
1677 ASSERT_EQ(PTHREAD_MUTEX_RECURSIVE, attr_type);
Yabin Cui5b8e7cd2015-03-04 17:36:59 -08001678
1679 ASSERT_EQ(0, pthread_mutexattr_destroy(&attr));
1680}
1681
Yabin Cui6b9c85b2018-01-23 12:56:18 -08001682TEST(pthread, pthread_mutexattr_protocol) {
1683 pthread_mutexattr_t attr;
1684 ASSERT_EQ(0, pthread_mutexattr_init(&attr));
1685
1686 int protocol;
1687 ASSERT_EQ(0, pthread_mutexattr_getprotocol(&attr, &protocol));
1688 ASSERT_EQ(PTHREAD_PRIO_NONE, protocol);
1689 for (size_t repeat = 0; repeat < 2; ++repeat) {
1690 for (int set_protocol : {PTHREAD_PRIO_NONE, PTHREAD_PRIO_INHERIT}) {
1691 ASSERT_EQ(0, pthread_mutexattr_setprotocol(&attr, set_protocol));
1692 ASSERT_EQ(0, pthread_mutexattr_getprotocol(&attr, &protocol));
1693 ASSERT_EQ(protocol, set_protocol);
1694 }
1695 }
1696}
1697
Yabin Cui17393b02015-03-21 15:08:25 -07001698struct PthreadMutex {
1699 pthread_mutex_t lock;
1700
Yabin Cui6b9c85b2018-01-23 12:56:18 -08001701 explicit PthreadMutex(int mutex_type, int protocol = PTHREAD_PRIO_NONE) {
1702 init(mutex_type, protocol);
Yabin Cui17393b02015-03-21 15:08:25 -07001703 }
1704
1705 ~PthreadMutex() {
1706 destroy();
1707 }
1708
1709 private:
Yabin Cui6b9c85b2018-01-23 12:56:18 -08001710 void init(int mutex_type, int protocol) {
Yabin Cui17393b02015-03-21 15:08:25 -07001711 pthread_mutexattr_t attr;
1712 ASSERT_EQ(0, pthread_mutexattr_init(&attr));
1713 ASSERT_EQ(0, pthread_mutexattr_settype(&attr, mutex_type));
Yabin Cui6b9c85b2018-01-23 12:56:18 -08001714 ASSERT_EQ(0, pthread_mutexattr_setprotocol(&attr, protocol));
Yabin Cui17393b02015-03-21 15:08:25 -07001715 ASSERT_EQ(0, pthread_mutex_init(&lock, &attr));
1716 ASSERT_EQ(0, pthread_mutexattr_destroy(&attr));
1717 }
1718
1719 void destroy() {
1720 ASSERT_EQ(0, pthread_mutex_destroy(&lock));
1721 }
1722
1723 DISALLOW_COPY_AND_ASSIGN(PthreadMutex);
1724};
Derek Xue41996952014-09-25 11:05:32 +01001725
Yabin Cui6b9c85b2018-01-23 12:56:18 -08001726static void TestPthreadMutexLockNormal(int protocol) {
1727 PthreadMutex m(PTHREAD_MUTEX_NORMAL, protocol);
Derek Xue41996952014-09-25 11:05:32 +01001728
Yabin Cui17393b02015-03-21 15:08:25 -07001729 ASSERT_EQ(0, pthread_mutex_lock(&m.lock));
1730 ASSERT_EQ(0, pthread_mutex_unlock(&m.lock));
Elliott Hughesd31d4c12015-12-14 17:35:10 -08001731 ASSERT_EQ(0, pthread_mutex_trylock(&m.lock));
1732 ASSERT_EQ(EBUSY, pthread_mutex_trylock(&m.lock));
1733 ASSERT_EQ(0, pthread_mutex_unlock(&m.lock));
Derek Xue41996952014-09-25 11:05:32 +01001734}
1735
Yabin Cui6b9c85b2018-01-23 12:56:18 -08001736static void TestPthreadMutexLockErrorCheck(int protocol) {
1737 PthreadMutex m(PTHREAD_MUTEX_ERRORCHECK, protocol);
Derek Xue41996952014-09-25 11:05:32 +01001738
Yabin Cui17393b02015-03-21 15:08:25 -07001739 ASSERT_EQ(0, pthread_mutex_lock(&m.lock));
1740 ASSERT_EQ(EDEADLK, pthread_mutex_lock(&m.lock));
1741 ASSERT_EQ(0, pthread_mutex_unlock(&m.lock));
1742 ASSERT_EQ(0, pthread_mutex_trylock(&m.lock));
Yabin Cui6b9c85b2018-01-23 12:56:18 -08001743 if (protocol == PTHREAD_PRIO_NONE) {
1744 ASSERT_EQ(EBUSY, pthread_mutex_trylock(&m.lock));
1745 } else {
1746 ASSERT_EQ(EDEADLK, pthread_mutex_trylock(&m.lock));
1747 }
Yabin Cui17393b02015-03-21 15:08:25 -07001748 ASSERT_EQ(0, pthread_mutex_unlock(&m.lock));
1749 ASSERT_EQ(EPERM, pthread_mutex_unlock(&m.lock));
Derek Xue41996952014-09-25 11:05:32 +01001750}
1751
Yabin Cui6b9c85b2018-01-23 12:56:18 -08001752static void TestPthreadMutexLockRecursive(int protocol) {
1753 PthreadMutex m(PTHREAD_MUTEX_RECURSIVE, protocol);
Derek Xue41996952014-09-25 11:05:32 +01001754
Yabin Cui17393b02015-03-21 15:08:25 -07001755 ASSERT_EQ(0, pthread_mutex_lock(&m.lock));
1756 ASSERT_EQ(0, pthread_mutex_lock(&m.lock));
1757 ASSERT_EQ(0, pthread_mutex_unlock(&m.lock));
1758 ASSERT_EQ(0, pthread_mutex_unlock(&m.lock));
1759 ASSERT_EQ(0, pthread_mutex_trylock(&m.lock));
Elliott Hughesd31d4c12015-12-14 17:35:10 -08001760 ASSERT_EQ(0, pthread_mutex_trylock(&m.lock));
1761 ASSERT_EQ(0, pthread_mutex_unlock(&m.lock));
Yabin Cui17393b02015-03-21 15:08:25 -07001762 ASSERT_EQ(0, pthread_mutex_unlock(&m.lock));
1763 ASSERT_EQ(EPERM, pthread_mutex_unlock(&m.lock));
1764}
1765
Yabin Cui6b9c85b2018-01-23 12:56:18 -08001766TEST(pthread, pthread_mutex_lock_NORMAL) {
1767 TestPthreadMutexLockNormal(PTHREAD_PRIO_NONE);
1768}
1769
1770TEST(pthread, pthread_mutex_lock_ERRORCHECK) {
1771 TestPthreadMutexLockErrorCheck(PTHREAD_PRIO_NONE);
1772}
1773
1774TEST(pthread, pthread_mutex_lock_RECURSIVE) {
1775 TestPthreadMutexLockRecursive(PTHREAD_PRIO_NONE);
1776}
1777
1778TEST(pthread, pthread_mutex_lock_pi) {
Yabin Cui6b9c85b2018-01-23 12:56:18 -08001779 TestPthreadMutexLockNormal(PTHREAD_PRIO_INHERIT);
1780 TestPthreadMutexLockErrorCheck(PTHREAD_PRIO_INHERIT);
1781 TestPthreadMutexLockRecursive(PTHREAD_PRIO_INHERIT);
1782}
1783
Yabin Cui5a00ba72018-01-26 17:32:31 -08001784TEST(pthread, pthread_mutex_pi_count_limit) {
1785#if defined(__BIONIC__) && !defined(__LP64__)
1786 // Bionic only supports 65536 pi mutexes in 32-bit programs.
1787 pthread_mutexattr_t attr;
1788 ASSERT_EQ(0, pthread_mutexattr_init(&attr));
1789 ASSERT_EQ(0, pthread_mutexattr_setprotocol(&attr, PTHREAD_PRIO_INHERIT));
1790 std::vector<pthread_mutex_t> mutexes(65536);
1791 // Test if we can use 65536 pi mutexes at the same time.
1792 // Run 2 times to check if freed pi mutexes can be recycled.
1793 for (int repeat = 0; repeat < 2; ++repeat) {
1794 for (auto& m : mutexes) {
1795 ASSERT_EQ(0, pthread_mutex_init(&m, &attr));
1796 }
1797 pthread_mutex_t m;
1798 ASSERT_EQ(ENOMEM, pthread_mutex_init(&m, &attr));
1799 for (auto& m : mutexes) {
1800 ASSERT_EQ(0, pthread_mutex_lock(&m));
1801 }
1802 for (auto& m : mutexes) {
1803 ASSERT_EQ(0, pthread_mutex_unlock(&m));
1804 }
1805 for (auto& m : mutexes) {
1806 ASSERT_EQ(0, pthread_mutex_destroy(&m));
1807 }
1808 }
1809 ASSERT_EQ(0, pthread_mutexattr_destroy(&attr));
1810#else
1811 GTEST_LOG_(INFO) << "This test does nothing as pi mutex count isn't limited.\n";
1812#endif
1813}
1814
Yabin Cui17393b02015-03-21 15:08:25 -07001815TEST(pthread, pthread_mutex_init_same_as_static_initializers) {
1816 pthread_mutex_t lock_normal = PTHREAD_MUTEX_INITIALIZER;
1817 PthreadMutex m1(PTHREAD_MUTEX_NORMAL);
1818 ASSERT_EQ(0, memcmp(&lock_normal, &m1.lock, sizeof(pthread_mutex_t)));
1819 pthread_mutex_destroy(&lock_normal);
1820
1821 pthread_mutex_t lock_errorcheck = PTHREAD_ERRORCHECK_MUTEX_INITIALIZER_NP;
1822 PthreadMutex m2(PTHREAD_MUTEX_ERRORCHECK);
1823 ASSERT_EQ(0, memcmp(&lock_errorcheck, &m2.lock, sizeof(pthread_mutex_t)));
1824 pthread_mutex_destroy(&lock_errorcheck);
1825
1826 pthread_mutex_t lock_recursive = PTHREAD_RECURSIVE_MUTEX_INITIALIZER_NP;
1827 PthreadMutex m3(PTHREAD_MUTEX_RECURSIVE);
1828 ASSERT_EQ(0, memcmp(&lock_recursive, &m3.lock, sizeof(pthread_mutex_t)));
1829 ASSERT_EQ(0, pthread_mutex_destroy(&lock_recursive));
Derek Xue41996952014-09-25 11:05:32 +01001830}
Yabin Cui5a00ba72018-01-26 17:32:31 -08001831
Yabin Cui5b8e7cd2015-03-04 17:36:59 -08001832class MutexWakeupHelper {
1833 private:
Yabin Cui17393b02015-03-21 15:08:25 -07001834 PthreadMutex m;
Yabin Cui5b8e7cd2015-03-04 17:36:59 -08001835 enum Progress {
1836 LOCK_INITIALIZED,
1837 LOCK_WAITING,
1838 LOCK_RELEASED,
1839 LOCK_ACCESSED
1840 };
1841 std::atomic<Progress> progress;
Yabin Cuif7969852015-04-02 17:47:48 -07001842 std::atomic<pid_t> tid;
Yabin Cui5b8e7cd2015-03-04 17:36:59 -08001843
1844 static void thread_fn(MutexWakeupHelper* helper) {
Yabin Cuif7969852015-04-02 17:47:48 -07001845 helper->tid = gettid();
Yabin Cui5b8e7cd2015-03-04 17:36:59 -08001846 ASSERT_EQ(LOCK_INITIALIZED, helper->progress);
1847 helper->progress = LOCK_WAITING;
1848
Yabin Cui17393b02015-03-21 15:08:25 -07001849 ASSERT_EQ(0, pthread_mutex_lock(&helper->m.lock));
Yabin Cui5b8e7cd2015-03-04 17:36:59 -08001850 ASSERT_EQ(LOCK_RELEASED, helper->progress);
Yabin Cui17393b02015-03-21 15:08:25 -07001851 ASSERT_EQ(0, pthread_mutex_unlock(&helper->m.lock));
Yabin Cui5b8e7cd2015-03-04 17:36:59 -08001852
1853 helper->progress = LOCK_ACCESSED;
1854 }
1855
1856 public:
Chih-Hung Hsieh62e3a072016-05-03 12:08:05 -07001857 explicit MutexWakeupHelper(int mutex_type) : m(mutex_type) {
Yabin Cui17393b02015-03-21 15:08:25 -07001858 }
1859
1860 void test() {
1861 ASSERT_EQ(0, pthread_mutex_lock(&m.lock));
Yabin Cui5b8e7cd2015-03-04 17:36:59 -08001862 progress = LOCK_INITIALIZED;
Yabin Cuif7969852015-04-02 17:47:48 -07001863 tid = 0;
Yabin Cui5b8e7cd2015-03-04 17:36:59 -08001864
1865 pthread_t thread;
1866 ASSERT_EQ(0, pthread_create(&thread, NULL,
1867 reinterpret_cast<void* (*)(void*)>(MutexWakeupHelper::thread_fn), this));
1868
Yabin Cuif7969852015-04-02 17:47:48 -07001869 WaitUntilThreadSleep(tid);
1870 ASSERT_EQ(LOCK_WAITING, progress);
1871
Yabin Cui5b8e7cd2015-03-04 17:36:59 -08001872 progress = LOCK_RELEASED;
Yabin Cui17393b02015-03-21 15:08:25 -07001873 ASSERT_EQ(0, pthread_mutex_unlock(&m.lock));
Yabin Cui5b8e7cd2015-03-04 17:36:59 -08001874
1875 ASSERT_EQ(0, pthread_join(thread, NULL));
1876 ASSERT_EQ(LOCK_ACCESSED, progress);
Yabin Cui5b8e7cd2015-03-04 17:36:59 -08001877 }
1878};
1879
1880TEST(pthread, pthread_mutex_NORMAL_wakeup) {
Yabin Cui17393b02015-03-21 15:08:25 -07001881 MutexWakeupHelper helper(PTHREAD_MUTEX_NORMAL);
1882 helper.test();
Yabin Cui5b8e7cd2015-03-04 17:36:59 -08001883}
1884
1885TEST(pthread, pthread_mutex_ERRORCHECK_wakeup) {
Yabin Cui17393b02015-03-21 15:08:25 -07001886 MutexWakeupHelper helper(PTHREAD_MUTEX_ERRORCHECK);
1887 helper.test();
Yabin Cui5b8e7cd2015-03-04 17:36:59 -08001888}
1889
1890TEST(pthread, pthread_mutex_RECURSIVE_wakeup) {
Yabin Cui17393b02015-03-21 15:08:25 -07001891 MutexWakeupHelper helper(PTHREAD_MUTEX_RECURSIVE);
1892 helper.test();
Yabin Cui5b8e7cd2015-03-04 17:36:59 -08001893}
1894
Yabin Cui6b9c85b2018-01-23 12:56:18 -08001895static int GetThreadPriority(pid_t tid) {
1896 // sched_getparam() returns the static priority of a thread, which can't reflect a thread's
1897 // priority after priority inheritance. So read /proc/<pid>/stat to get the dynamic priority.
1898 std::string filename = android::base::StringPrintf("/proc/%d/stat", tid);
1899 std::string content;
1900 int result = INT_MAX;
1901 if (!android::base::ReadFileToString(filename, &content)) {
1902 return result;
1903 }
1904 std::vector<std::string> strs = android::base::Split(content, " ");
1905 if (strs.size() < 18) {
1906 return result;
1907 }
1908 if (!android::base::ParseInt(strs[17], &result)) {
1909 return INT_MAX;
1910 }
1911 return result;
1912}
1913
1914class PIMutexWakeupHelper {
1915private:
1916 PthreadMutex m;
1917 int protocol;
1918 enum Progress {
1919 LOCK_INITIALIZED,
1920 LOCK_CHILD_READY,
1921 LOCK_WAITING,
1922 LOCK_RELEASED,
1923 };
1924 std::atomic<Progress> progress;
1925 std::atomic<pid_t> main_tid;
1926 std::atomic<pid_t> child_tid;
1927 PthreadMutex start_thread_m;
1928
1929 static void thread_fn(PIMutexWakeupHelper* helper) {
1930 helper->child_tid = gettid();
1931 ASSERT_EQ(LOCK_INITIALIZED, helper->progress);
1932 ASSERT_EQ(0, setpriority(PRIO_PROCESS, gettid(), 1));
1933 ASSERT_EQ(21, GetThreadPriority(gettid()));
1934 ASSERT_EQ(0, pthread_mutex_lock(&helper->m.lock));
1935 helper->progress = LOCK_CHILD_READY;
1936 ASSERT_EQ(0, pthread_mutex_lock(&helper->start_thread_m.lock));
1937
1938 ASSERT_EQ(0, pthread_mutex_unlock(&helper->start_thread_m.lock));
1939 WaitUntilThreadSleep(helper->main_tid);
1940 ASSERT_EQ(LOCK_WAITING, helper->progress);
1941
1942 if (helper->protocol == PTHREAD_PRIO_INHERIT) {
1943 ASSERT_EQ(20, GetThreadPriority(gettid()));
1944 } else {
1945 ASSERT_EQ(21, GetThreadPriority(gettid()));
1946 }
1947 helper->progress = LOCK_RELEASED;
1948 ASSERT_EQ(0, pthread_mutex_unlock(&helper->m.lock));
1949 }
1950
1951public:
1952 explicit PIMutexWakeupHelper(int mutex_type, int protocol)
1953 : m(mutex_type, protocol), protocol(protocol), start_thread_m(PTHREAD_MUTEX_NORMAL) {
1954 }
1955
1956 void test() {
1957 ASSERT_EQ(0, pthread_mutex_lock(&start_thread_m.lock));
1958 main_tid = gettid();
1959 ASSERT_EQ(20, GetThreadPriority(main_tid));
1960 progress = LOCK_INITIALIZED;
1961 child_tid = 0;
1962
1963 pthread_t thread;
1964 ASSERT_EQ(0, pthread_create(&thread, NULL,
1965 reinterpret_cast<void* (*)(void*)>(PIMutexWakeupHelper::thread_fn), this));
1966
1967 WaitUntilThreadSleep(child_tid);
1968 ASSERT_EQ(LOCK_CHILD_READY, progress);
1969 ASSERT_EQ(0, pthread_mutex_unlock(&start_thread_m.lock));
1970 progress = LOCK_WAITING;
1971 ASSERT_EQ(0, pthread_mutex_lock(&m.lock));
1972
1973 ASSERT_EQ(LOCK_RELEASED, progress);
1974 ASSERT_EQ(0, pthread_mutex_unlock(&m.lock));
1975 ASSERT_EQ(0, pthread_join(thread, nullptr));
1976 }
1977};
1978
1979TEST(pthread, pthread_mutex_pi_wakeup) {
Yabin Cui6b9c85b2018-01-23 12:56:18 -08001980 for (int type : {PTHREAD_MUTEX_NORMAL, PTHREAD_MUTEX_RECURSIVE, PTHREAD_MUTEX_ERRORCHECK}) {
1981 for (int protocol : {PTHREAD_PRIO_INHERIT}) {
1982 PIMutexWakeupHelper helper(type, protocol);
1983 helper.test();
1984 }
1985 }
1986}
1987
Yabin Cui140f3672015-02-03 10:32:00 -08001988TEST(pthread, pthread_mutex_owner_tid_limit) {
Yabin Cuie69c2452015-02-13 16:21:25 -08001989#if defined(__BIONIC__) && !defined(__LP64__)
Yabin Cui140f3672015-02-03 10:32:00 -08001990 FILE* fp = fopen("/proc/sys/kernel/pid_max", "r");
1991 ASSERT_TRUE(fp != NULL);
1992 long pid_max;
1993 ASSERT_EQ(1, fscanf(fp, "%ld", &pid_max));
1994 fclose(fp);
Yabin Cuie69c2452015-02-13 16:21:25 -08001995 // Bionic's pthread_mutex implementation on 32-bit devices uses 16 bits to represent owner tid.
Yabin Cui140f3672015-02-03 10:32:00 -08001996 ASSERT_LE(pid_max, 65536);
Yabin Cuie69c2452015-02-13 16:21:25 -08001997#else
1998 GTEST_LOG_(INFO) << "This test does nothing as 32-bit tid is supported by pthread_mutex.\n";
1999#endif
Yabin Cui140f3672015-02-03 10:32:00 -08002000}
Yabin Cuib5845722015-03-16 22:46:42 -07002001
Yabin Cuic9a659c2015-11-05 15:36:08 -08002002TEST(pthread, pthread_mutex_timedlock) {
2003 pthread_mutex_t m;
2004 ASSERT_EQ(0, pthread_mutex_init(&m, nullptr));
2005
2006 // If the mutex is already locked, pthread_mutex_timedlock should time out.
2007 ASSERT_EQ(0, pthread_mutex_lock(&m));
2008
2009 timespec ts;
2010 ASSERT_EQ(0, clock_gettime(CLOCK_REALTIME, &ts));
2011 ASSERT_EQ(ETIMEDOUT, pthread_mutex_timedlock(&m, &ts));
2012 ts.tv_nsec = -1;
2013 ASSERT_EQ(EINVAL, pthread_mutex_timedlock(&m, &ts));
2014 ts.tv_nsec = NS_PER_S;
2015 ASSERT_EQ(EINVAL, pthread_mutex_timedlock(&m, &ts));
2016 ts.tv_nsec = NS_PER_S - 1;
2017 ts.tv_sec = -1;
2018 ASSERT_EQ(ETIMEDOUT, pthread_mutex_timedlock(&m, &ts));
2019
2020 // If the mutex is unlocked, pthread_mutex_timedlock should succeed.
2021 ASSERT_EQ(0, pthread_mutex_unlock(&m));
2022
2023 ASSERT_EQ(0, clock_gettime(CLOCK_REALTIME, &ts));
2024 ts.tv_sec += 1;
2025 ASSERT_EQ(0, pthread_mutex_timedlock(&m, &ts));
2026
2027 ASSERT_EQ(0, pthread_mutex_unlock(&m));
2028 ASSERT_EQ(0, pthread_mutex_destroy(&m));
2029}
2030
Yabin Cui6b9c85b2018-01-23 12:56:18 -08002031TEST(pthread, pthread_mutex_timedlock_pi) {
Yabin Cui6b9c85b2018-01-23 12:56:18 -08002032 PthreadMutex m(PTHREAD_MUTEX_NORMAL, PTHREAD_PRIO_INHERIT);
2033 timespec ts;
2034 clock_gettime(CLOCK_REALTIME, &ts);
2035 ts.tv_sec += 1;
2036 ASSERT_EQ(0, pthread_mutex_timedlock(&m.lock, &ts));
2037
2038 auto ThreadFn = [](void* arg) -> void* {
2039 PthreadMutex& m = *static_cast<PthreadMutex*>(arg);
2040 timespec ts;
2041 clock_gettime(CLOCK_REALTIME, &ts);
2042 ts.tv_sec += 1;
2043 intptr_t result = pthread_mutex_timedlock(&m.lock, &ts);
2044 return reinterpret_cast<void*>(result);
2045 };
2046
2047 pthread_t thread;
2048 ASSERT_EQ(0, pthread_create(&thread, NULL, ThreadFn, &m));
2049 void* result;
2050 ASSERT_EQ(0, pthread_join(thread, &result));
2051 ASSERT_EQ(ETIMEDOUT, reinterpret_cast<intptr_t>(result));
2052 ASSERT_EQ(0, pthread_mutex_unlock(&m.lock));
2053}
2054
Yabin Cui9651fdf2018-03-14 12:02:21 -07002055TEST(pthread, pthread_mutex_using_destroyed_mutex) {
2056#if defined(__BIONIC__)
2057 pthread_mutex_t m;
2058 ASSERT_EQ(0, pthread_mutex_init(&m, nullptr));
2059 ASSERT_EQ(0, pthread_mutex_destroy(&m));
2060 ASSERT_EXIT(pthread_mutex_lock(&m), ::testing::KilledBySignal(SIGABRT),
2061 "pthread_mutex_lock called on a destroyed mutex");
2062 ASSERT_EXIT(pthread_mutex_unlock(&m), ::testing::KilledBySignal(SIGABRT),
2063 "pthread_mutex_unlock called on a destroyed mutex");
2064 ASSERT_EXIT(pthread_mutex_trylock(&m), ::testing::KilledBySignal(SIGABRT),
2065 "pthread_mutex_trylock called on a destroyed mutex");
2066 timespec ts;
2067 ASSERT_EXIT(pthread_mutex_timedlock(&m, &ts), ::testing::KilledBySignal(SIGABRT),
2068 "pthread_mutex_timedlock called on a destroyed mutex");
2069 ASSERT_EXIT(pthread_mutex_destroy(&m), ::testing::KilledBySignal(SIGABRT),
2070 "pthread_mutex_destroy called on a destroyed mutex");
2071#else
2072 GTEST_LOG_(INFO) << "This test tests bionic pthread mutex implementation details.";
2073#endif
2074}
2075
Yabin Cuib5845722015-03-16 22:46:42 -07002076class StrictAlignmentAllocator {
2077 public:
2078 void* allocate(size_t size, size_t alignment) {
2079 char* p = new char[size + alignment * 2];
2080 allocated_array.push_back(p);
2081 while (!is_strict_aligned(p, alignment)) {
2082 ++p;
2083 }
2084 return p;
2085 }
2086
2087 ~StrictAlignmentAllocator() {
Elliott Hughes0b2acdf2015-10-02 18:25:19 -07002088 for (const auto& p : allocated_array) {
2089 delete[] p;
Yabin Cuib5845722015-03-16 22:46:42 -07002090 }
2091 }
2092
2093 private:
2094 bool is_strict_aligned(char* p, size_t alignment) {
2095 return (reinterpret_cast<uintptr_t>(p) % (alignment * 2)) == alignment;
2096 }
2097
2098 std::vector<char*> allocated_array;
2099};
2100
2101TEST(pthread, pthread_types_allow_four_bytes_alignment) {
2102#if defined(__BIONIC__)
2103 // For binary compatibility with old version, we need to allow 4-byte aligned data for pthread types.
2104 StrictAlignmentAllocator allocator;
2105 pthread_mutex_t* mutex = reinterpret_cast<pthread_mutex_t*>(
2106 allocator.allocate(sizeof(pthread_mutex_t), 4));
2107 ASSERT_EQ(0, pthread_mutex_init(mutex, NULL));
2108 ASSERT_EQ(0, pthread_mutex_lock(mutex));
2109 ASSERT_EQ(0, pthread_mutex_unlock(mutex));
2110 ASSERT_EQ(0, pthread_mutex_destroy(mutex));
2111
2112 pthread_cond_t* cond = reinterpret_cast<pthread_cond_t*>(
2113 allocator.allocate(sizeof(pthread_cond_t), 4));
2114 ASSERT_EQ(0, pthread_cond_init(cond, NULL));
2115 ASSERT_EQ(0, pthread_cond_signal(cond));
2116 ASSERT_EQ(0, pthread_cond_broadcast(cond));
2117 ASSERT_EQ(0, pthread_cond_destroy(cond));
2118
2119 pthread_rwlock_t* rwlock = reinterpret_cast<pthread_rwlock_t*>(
2120 allocator.allocate(sizeof(pthread_rwlock_t), 4));
2121 ASSERT_EQ(0, pthread_rwlock_init(rwlock, NULL));
2122 ASSERT_EQ(0, pthread_rwlock_rdlock(rwlock));
2123 ASSERT_EQ(0, pthread_rwlock_unlock(rwlock));
2124 ASSERT_EQ(0, pthread_rwlock_wrlock(rwlock));
2125 ASSERT_EQ(0, pthread_rwlock_unlock(rwlock));
2126 ASSERT_EQ(0, pthread_rwlock_destroy(rwlock));
2127
2128#else
2129 GTEST_LOG_(INFO) << "This test tests bionic implementation details.";
2130#endif
2131}
Christopher Ferris60907c72015-06-09 18:46:15 -07002132
2133TEST(pthread, pthread_mutex_lock_null_32) {
2134#if defined(__BIONIC__) && !defined(__LP64__)
Dan Albertbaa2a972015-08-13 16:58:50 -07002135 // For LP32, the pthread lock/unlock functions allow a NULL mutex and return
2136 // EINVAL in that case: http://b/19995172.
2137 //
2138 // We decorate the public defintion with _Nonnull so that people recompiling
2139 // their code with get a warning and might fix their bug, but need to pass
2140 // NULL here to test that we remain compatible.
2141 pthread_mutex_t* null_value = nullptr;
2142 ASSERT_EQ(EINVAL, pthread_mutex_lock(null_value));
Christopher Ferris60907c72015-06-09 18:46:15 -07002143#else
2144 GTEST_LOG_(INFO) << "This test tests bionic implementation details on 32 bit devices.";
2145#endif
2146}
2147
2148TEST(pthread, pthread_mutex_unlock_null_32) {
2149#if defined(__BIONIC__) && !defined(__LP64__)
Dan Albertbaa2a972015-08-13 16:58:50 -07002150 // For LP32, the pthread lock/unlock functions allow a NULL mutex and return
2151 // EINVAL in that case: http://b/19995172.
2152 //
2153 // We decorate the public defintion with _Nonnull so that people recompiling
2154 // their code with get a warning and might fix their bug, but need to pass
2155 // NULL here to test that we remain compatible.
2156 pthread_mutex_t* null_value = nullptr;
2157 ASSERT_EQ(EINVAL, pthread_mutex_unlock(null_value));
Christopher Ferris60907c72015-06-09 18:46:15 -07002158#else
2159 GTEST_LOG_(INFO) << "This test tests bionic implementation details on 32 bit devices.";
2160#endif
2161}
2162
2163TEST_F(pthread_DeathTest, pthread_mutex_lock_null_64) {
2164#if defined(__BIONIC__) && defined(__LP64__)
2165 pthread_mutex_t* null_value = nullptr;
2166 ASSERT_EXIT(pthread_mutex_lock(null_value), testing::KilledBySignal(SIGSEGV), "");
2167#else
2168 GTEST_LOG_(INFO) << "This test tests bionic implementation details on 64 bit devices.";
2169#endif
2170}
2171
2172TEST_F(pthread_DeathTest, pthread_mutex_unlock_null_64) {
2173#if defined(__BIONIC__) && defined(__LP64__)
2174 pthread_mutex_t* null_value = nullptr;
2175 ASSERT_EXIT(pthread_mutex_unlock(null_value), testing::KilledBySignal(SIGSEGV), "");
2176#else
2177 GTEST_LOG_(INFO) << "This test tests bionic implementation details on 64 bit devices.";
2178#endif
2179}
Yabin Cui33ac04a2015-09-22 11:16:15 -07002180
2181extern _Unwind_Reason_Code FrameCounter(_Unwind_Context* ctx, void* arg);
2182
2183static volatile bool signal_handler_on_altstack_done;
2184
Josh Gao61db9ac2017-03-15 19:42:05 -07002185__attribute__((__noinline__))
2186static void signal_handler_backtrace() {
2187 // Check if we have enough stack space for unwinding.
2188 int count = 0;
2189 _Unwind_Backtrace(FrameCounter, &count);
2190 ASSERT_GT(count, 0);
2191}
2192
2193__attribute__((__noinline__))
2194static void signal_handler_logging() {
2195 // Check if we have enough stack space for logging.
2196 std::string s(2048, '*');
2197 GTEST_LOG_(INFO) << s;
2198 signal_handler_on_altstack_done = true;
2199}
2200
2201__attribute__((__noinline__))
2202static void signal_handler_snprintf() {
2203 // Check if we have enough stack space for snprintf to a PATH_MAX buffer, plus some extra.
2204 char buf[PATH_MAX + 2048];
2205 ASSERT_GT(snprintf(buf, sizeof(buf), "/proc/%d/status", getpid()), 0);
2206}
2207
Yabin Cui33ac04a2015-09-22 11:16:15 -07002208static void SignalHandlerOnAltStack(int signo, siginfo_t*, void*) {
2209 ASSERT_EQ(SIGUSR1, signo);
Josh Gao61db9ac2017-03-15 19:42:05 -07002210 signal_handler_backtrace();
2211 signal_handler_logging();
2212 signal_handler_snprintf();
Yabin Cui33ac04a2015-09-22 11:16:15 -07002213}
2214
Josh Gao415daa82017-03-06 17:45:33 -08002215TEST(pthread, big_enough_signal_stack) {
Yabin Cui33ac04a2015-09-22 11:16:15 -07002216 signal_handler_on_altstack_done = false;
2217 ScopedSignalHandler handler(SIGUSR1, SignalHandlerOnAltStack, SA_SIGINFO | SA_ONSTACK);
2218 kill(getpid(), SIGUSR1);
2219 ASSERT_TRUE(signal_handler_on_altstack_done);
2220}
Yabin Cuie7c2fff2015-11-05 22:06:09 -08002221
2222TEST(pthread, pthread_barrierattr_smoke) {
2223 pthread_barrierattr_t attr;
2224 ASSERT_EQ(0, pthread_barrierattr_init(&attr));
2225 int pshared;
2226 ASSERT_EQ(0, pthread_barrierattr_getpshared(&attr, &pshared));
2227 ASSERT_EQ(PTHREAD_PROCESS_PRIVATE, pshared);
2228 ASSERT_EQ(0, pthread_barrierattr_setpshared(&attr, PTHREAD_PROCESS_SHARED));
2229 ASSERT_EQ(0, pthread_barrierattr_getpshared(&attr, &pshared));
2230 ASSERT_EQ(PTHREAD_PROCESS_SHARED, pshared);
2231 ASSERT_EQ(0, pthread_barrierattr_destroy(&attr));
2232}
2233
Yabin Cui81d27972016-03-22 13:45:55 -07002234struct BarrierTestHelperData {
2235 size_t thread_count;
2236 pthread_barrier_t barrier;
2237 std::atomic<int> finished_mask;
2238 std::atomic<int> serial_thread_count;
Yabin Cuie7c2fff2015-11-05 22:06:09 -08002239 size_t iteration_count;
Yabin Cui81d27972016-03-22 13:45:55 -07002240 std::atomic<size_t> finished_iteration_count;
2241
2242 BarrierTestHelperData(size_t thread_count, size_t iteration_count)
2243 : thread_count(thread_count), finished_mask(0), serial_thread_count(0),
2244 iteration_count(iteration_count), finished_iteration_count(0) {
2245 }
2246};
2247
2248struct BarrierTestHelperArg {
2249 int id;
2250 BarrierTestHelperData* data;
Yabin Cuie7c2fff2015-11-05 22:06:09 -08002251};
2252
2253static void BarrierTestHelper(BarrierTestHelperArg* arg) {
Yabin Cui81d27972016-03-22 13:45:55 -07002254 for (size_t i = 0; i < arg->data->iteration_count; ++i) {
2255 int result = pthread_barrier_wait(&arg->data->barrier);
2256 if (result == PTHREAD_BARRIER_SERIAL_THREAD) {
2257 arg->data->serial_thread_count++;
2258 } else {
2259 ASSERT_EQ(0, result);
2260 }
Yabin Cuid5c04c52017-05-02 12:57:39 -07002261 int mask = arg->data->finished_mask.fetch_or(1 << arg->id);
Yabin Cuiab4cddc2017-05-02 16:18:13 -07002262 mask |= 1 << arg->id;
Yabin Cuid5c04c52017-05-02 12:57:39 -07002263 if (mask == ((1 << arg->data->thread_count) - 1)) {
Yabin Cui81d27972016-03-22 13:45:55 -07002264 ASSERT_EQ(1, arg->data->serial_thread_count);
2265 arg->data->finished_iteration_count++;
2266 arg->data->finished_mask = 0;
2267 arg->data->serial_thread_count = 0;
2268 }
Yabin Cuie7c2fff2015-11-05 22:06:09 -08002269 }
2270}
2271
2272TEST(pthread, pthread_barrier_smoke) {
2273 const size_t BARRIER_ITERATION_COUNT = 10;
2274 const size_t BARRIER_THREAD_COUNT = 10;
Yabin Cui81d27972016-03-22 13:45:55 -07002275 BarrierTestHelperData data(BARRIER_THREAD_COUNT, BARRIER_ITERATION_COUNT);
2276 ASSERT_EQ(0, pthread_barrier_init(&data.barrier, nullptr, data.thread_count));
2277 std::vector<pthread_t> threads(data.thread_count);
Yabin Cuie7c2fff2015-11-05 22:06:09 -08002278 std::vector<BarrierTestHelperArg> args(threads.size());
2279 for (size_t i = 0; i < threads.size(); ++i) {
Yabin Cui81d27972016-03-22 13:45:55 -07002280 args[i].id = i;
2281 args[i].data = &data;
Yabin Cuie7c2fff2015-11-05 22:06:09 -08002282 ASSERT_EQ(0, pthread_create(&threads[i], nullptr,
2283 reinterpret_cast<void* (*)(void*)>(BarrierTestHelper), &args[i]));
2284 }
Yabin Cuie7c2fff2015-11-05 22:06:09 -08002285 for (size_t i = 0; i < threads.size(); ++i) {
2286 ASSERT_EQ(0, pthread_join(threads[i], nullptr));
2287 }
Yabin Cui81d27972016-03-22 13:45:55 -07002288 ASSERT_EQ(data.iteration_count, data.finished_iteration_count);
2289 ASSERT_EQ(0, pthread_barrier_destroy(&data.barrier));
2290}
2291
2292struct BarrierDestroyTestArg {
2293 std::atomic<int> tid;
2294 pthread_barrier_t* barrier;
2295};
2296
2297static void BarrierDestroyTestHelper(BarrierDestroyTestArg* arg) {
2298 arg->tid = gettid();
2299 ASSERT_EQ(0, pthread_barrier_wait(arg->barrier));
Yabin Cuie7c2fff2015-11-05 22:06:09 -08002300}
2301
2302TEST(pthread, pthread_barrier_destroy) {
2303 pthread_barrier_t barrier;
2304 ASSERT_EQ(0, pthread_barrier_init(&barrier, nullptr, 2));
2305 pthread_t thread;
Yabin Cui81d27972016-03-22 13:45:55 -07002306 BarrierDestroyTestArg arg;
Yabin Cuie7c2fff2015-11-05 22:06:09 -08002307 arg.tid = 0;
2308 arg.barrier = &barrier;
Yabin Cuie7c2fff2015-11-05 22:06:09 -08002309 ASSERT_EQ(0, pthread_create(&thread, nullptr,
Yabin Cui81d27972016-03-22 13:45:55 -07002310 reinterpret_cast<void* (*)(void*)>(BarrierDestroyTestHelper), &arg));
Yabin Cuie7c2fff2015-11-05 22:06:09 -08002311 WaitUntilThreadSleep(arg.tid);
2312 ASSERT_EQ(EBUSY, pthread_barrier_destroy(&barrier));
2313 ASSERT_EQ(PTHREAD_BARRIER_SERIAL_THREAD, pthread_barrier_wait(&barrier));
2314 // Verify if the barrier can be destroyed directly after pthread_barrier_wait().
2315 ASSERT_EQ(0, pthread_barrier_destroy(&barrier));
2316 ASSERT_EQ(0, pthread_join(thread, nullptr));
2317#if defined(__BIONIC__)
2318 ASSERT_EQ(EINVAL, pthread_barrier_destroy(&barrier));
2319#endif
2320}
2321
2322struct BarrierOrderingTestHelperArg {
2323 pthread_barrier_t* barrier;
2324 size_t* array;
2325 size_t array_length;
2326 size_t id;
2327};
2328
2329void BarrierOrderingTestHelper(BarrierOrderingTestHelperArg* arg) {
2330 const size_t ITERATION_COUNT = 10000;
2331 for (size_t i = 1; i <= ITERATION_COUNT; ++i) {
2332 arg->array[arg->id] = i;
Yabin Cuic9a659c2015-11-05 15:36:08 -08002333 int result = pthread_barrier_wait(arg->barrier);
2334 ASSERT_TRUE(result == 0 || result == PTHREAD_BARRIER_SERIAL_THREAD);
Yabin Cuie7c2fff2015-11-05 22:06:09 -08002335 for (size_t j = 0; j < arg->array_length; ++j) {
2336 ASSERT_EQ(i, arg->array[j]);
2337 }
Yabin Cuic9a659c2015-11-05 15:36:08 -08002338 result = pthread_barrier_wait(arg->barrier);
2339 ASSERT_TRUE(result == 0 || result == PTHREAD_BARRIER_SERIAL_THREAD);
Yabin Cuie7c2fff2015-11-05 22:06:09 -08002340 }
2341}
2342
2343TEST(pthread, pthread_barrier_check_ordering) {
2344 const size_t THREAD_COUNT = 4;
2345 pthread_barrier_t barrier;
2346 ASSERT_EQ(0, pthread_barrier_init(&barrier, nullptr, THREAD_COUNT));
2347 size_t array[THREAD_COUNT];
2348 std::vector<pthread_t> threads(THREAD_COUNT);
2349 std::vector<BarrierOrderingTestHelperArg> args(THREAD_COUNT);
2350 for (size_t i = 0; i < THREAD_COUNT; ++i) {
2351 args[i].barrier = &barrier;
2352 args[i].array = array;
2353 args[i].array_length = THREAD_COUNT;
2354 args[i].id = i;
2355 ASSERT_EQ(0, pthread_create(&threads[i], nullptr,
2356 reinterpret_cast<void* (*)(void*)>(BarrierOrderingTestHelper),
2357 &args[i]));
2358 }
2359 for (size_t i = 0; i < THREAD_COUNT; ++i) {
2360 ASSERT_EQ(0, pthread_join(threads[i], nullptr));
2361 }
2362}
Yabin Cuife3a83a2015-11-17 16:03:18 -08002363
2364TEST(pthread, pthread_spinlock_smoke) {
2365 pthread_spinlock_t lock;
2366 ASSERT_EQ(0, pthread_spin_init(&lock, 0));
2367 ASSERT_EQ(0, pthread_spin_trylock(&lock));
2368 ASSERT_EQ(0, pthread_spin_unlock(&lock));
2369 ASSERT_EQ(0, pthread_spin_lock(&lock));
2370 ASSERT_EQ(EBUSY, pthread_spin_trylock(&lock));
2371 ASSERT_EQ(0, pthread_spin_unlock(&lock));
2372 ASSERT_EQ(0, pthread_spin_destroy(&lock));
2373}
Elliott Hughes53dc9dd2017-09-19 14:02:50 -07002374
Elliott Hughes8aecba72017-10-17 15:34:41 -07002375TEST(pthread, pthread_attr_getdetachstate__pthread_attr_setdetachstate) {
Elliott Hughes53dc9dd2017-09-19 14:02:50 -07002376 pthread_attr_t attr;
2377 ASSERT_EQ(0, pthread_attr_init(&attr));
2378
Elliott Hughes8aecba72017-10-17 15:34:41 -07002379 int state;
Elliott Hughes53dc9dd2017-09-19 14:02:50 -07002380 ASSERT_EQ(0, pthread_attr_setdetachstate(&attr, PTHREAD_CREATE_DETACHED));
Elliott Hughes8aecba72017-10-17 15:34:41 -07002381 ASSERT_EQ(0, pthread_attr_getdetachstate(&attr, &state));
2382 ASSERT_EQ(PTHREAD_CREATE_DETACHED, state);
2383
Elliott Hughes53dc9dd2017-09-19 14:02:50 -07002384 ASSERT_EQ(0, pthread_attr_setdetachstate(&attr, PTHREAD_CREATE_JOINABLE));
Elliott Hughes8aecba72017-10-17 15:34:41 -07002385 ASSERT_EQ(0, pthread_attr_getdetachstate(&attr, &state));
2386 ASSERT_EQ(PTHREAD_CREATE_JOINABLE, state);
2387
Elliott Hughes53dc9dd2017-09-19 14:02:50 -07002388 ASSERT_EQ(EINVAL, pthread_attr_setdetachstate(&attr, 123));
Elliott Hughes8aecba72017-10-17 15:34:41 -07002389 ASSERT_EQ(0, pthread_attr_getdetachstate(&attr, &state));
2390 ASSERT_EQ(PTHREAD_CREATE_JOINABLE, state);
Elliott Hughes53dc9dd2017-09-19 14:02:50 -07002391}
2392
2393TEST(pthread, pthread_create__mmap_failures) {
2394 pthread_attr_t attr;
2395 ASSERT_EQ(0, pthread_attr_init(&attr));
2396 ASSERT_EQ(0, pthread_attr_setdetachstate(&attr, PTHREAD_CREATE_DETACHED));
2397
2398 const auto kPageSize = sysconf(_SC_PAGE_SIZE);
2399
Elliott Hughes57512982017-10-02 22:49:18 -07002400 // Use up all the VMAs. By default this is 64Ki (though some will already be in use).
Elliott Hughes53dc9dd2017-09-19 14:02:50 -07002401 std::vector<void*> pages;
Elliott Hughes57512982017-10-02 22:49:18 -07002402 pages.reserve(64 * 1024);
Elliott Hughes53dc9dd2017-09-19 14:02:50 -07002403 int prot = PROT_NONE;
2404 while (true) {
2405 void* page = mmap(nullptr, kPageSize, prot, MAP_ANON|MAP_PRIVATE, -1, 0);
2406 if (page == MAP_FAILED) break;
2407 pages.push_back(page);
2408 prot = (prot == PROT_NONE) ? PROT_READ : PROT_NONE;
2409 }
2410
2411 // Try creating threads, freeing up a page each time we fail.
2412 size_t EAGAIN_count = 0;
2413 size_t i = 0;
2414 for (; i < pages.size(); ++i) {
2415 pthread_t t;
2416 int status = pthread_create(&t, &attr, IdFn, nullptr);
2417 if (status != EAGAIN) break;
2418 ++EAGAIN_count;
2419 ASSERT_EQ(0, munmap(pages[i], kPageSize));
2420 }
2421
2422 // Creating a thread uses at least six VMAs: the stack, the TLS, and a guard each side of both.
2423 // So we should have seen at least six failures.
2424 ASSERT_GE(EAGAIN_count, 6U);
2425
2426 for (; i < pages.size(); ++i) {
2427 ASSERT_EQ(0, munmap(pages[i], kPageSize));
2428 }
2429}
Elliott Hughesdff08ce2017-10-16 09:58:45 -07002430
2431TEST(pthread, pthread_setschedparam) {
2432 sched_param p = { .sched_priority = INT_MIN };
2433 ASSERT_EQ(EINVAL, pthread_setschedparam(pthread_self(), INT_MIN, &p));
2434}
2435
2436TEST(pthread, pthread_setschedprio) {
2437 ASSERT_EQ(EINVAL, pthread_setschedprio(pthread_self(), INT_MIN));
2438}
Elliott Hughes8aecba72017-10-17 15:34:41 -07002439
2440TEST(pthread, pthread_attr_getinheritsched__pthread_attr_setinheritsched) {
2441 pthread_attr_t attr;
2442 ASSERT_EQ(0, pthread_attr_init(&attr));
2443
2444 int state;
2445 ASSERT_EQ(0, pthread_attr_setinheritsched(&attr, PTHREAD_INHERIT_SCHED));
2446 ASSERT_EQ(0, pthread_attr_getinheritsched(&attr, &state));
2447 ASSERT_EQ(PTHREAD_INHERIT_SCHED, state);
2448
2449 ASSERT_EQ(0, pthread_attr_setinheritsched(&attr, PTHREAD_EXPLICIT_SCHED));
2450 ASSERT_EQ(0, pthread_attr_getinheritsched(&attr, &state));
2451 ASSERT_EQ(PTHREAD_EXPLICIT_SCHED, state);
2452
2453 ASSERT_EQ(EINVAL, pthread_attr_setinheritsched(&attr, 123));
2454 ASSERT_EQ(0, pthread_attr_getinheritsched(&attr, &state));
2455 ASSERT_EQ(PTHREAD_EXPLICIT_SCHED, state);
2456}
2457
2458TEST(pthread, pthread_attr_setinheritsched__PTHREAD_INHERIT_SCHED__PTHREAD_EXPLICIT_SCHED) {
2459 pthread_attr_t attr;
2460 ASSERT_EQ(0, pthread_attr_init(&attr));
2461
2462 // If we set invalid scheduling attributes but choose to inherit, everything's fine...
2463 sched_param param = { .sched_priority = sched_get_priority_max(SCHED_FIFO) + 1 };
2464 ASSERT_EQ(0, pthread_attr_setschedparam(&attr, &param));
2465 ASSERT_EQ(0, pthread_attr_setschedpolicy(&attr, SCHED_FIFO));
2466 ASSERT_EQ(0, pthread_attr_setinheritsched(&attr, PTHREAD_INHERIT_SCHED));
2467
2468 pthread_t t;
2469 ASSERT_EQ(0, pthread_create(&t, &attr, IdFn, nullptr));
2470 ASSERT_EQ(0, pthread_join(t, nullptr));
2471
Elliott Hughes7a660662017-10-30 09:26:06 -07002472#if defined(__LP64__)
2473 // If we ask to use them, though, we'll see a failure...
Elliott Hughes8aecba72017-10-17 15:34:41 -07002474 ASSERT_EQ(0, pthread_attr_setinheritsched(&attr, PTHREAD_EXPLICIT_SCHED));
2475 ASSERT_EQ(EINVAL, pthread_create(&t, &attr, IdFn, nullptr));
Elliott Hughes7a660662017-10-30 09:26:06 -07002476#else
2477 // For backwards compatibility with broken apps, we just ignore failures
2478 // to set scheduler attributes on LP32.
2479#endif
Elliott Hughes8aecba72017-10-17 15:34:41 -07002480}
2481
2482TEST(pthread, pthread_attr_setinheritsched_PTHREAD_INHERIT_SCHED_takes_effect) {
2483 sched_param param = { .sched_priority = sched_get_priority_min(SCHED_FIFO) };
2484 int rc = pthread_setschedparam(pthread_self(), SCHED_FIFO, &param);
2485 if (rc == EPERM) {
2486 GTEST_LOG_(INFO) << "pthread_setschedparam failed with EPERM, skipping test\n";
2487 return;
2488 }
2489 ASSERT_EQ(0, rc);
2490
2491 pthread_attr_t attr;
2492 ASSERT_EQ(0, pthread_attr_init(&attr));
2493 ASSERT_EQ(0, pthread_attr_setinheritsched(&attr, PTHREAD_INHERIT_SCHED));
2494
Elliott Hughes0bd9d132017-11-02 13:11:13 -07002495 SpinFunctionHelper spin_helper;
Elliott Hughes8aecba72017-10-17 15:34:41 -07002496 pthread_t t;
Elliott Hughes0bd9d132017-11-02 13:11:13 -07002497 ASSERT_EQ(0, pthread_create(&t, &attr, spin_helper.GetFunction(), nullptr));
Elliott Hughes8aecba72017-10-17 15:34:41 -07002498 int actual_policy;
2499 sched_param actual_param;
2500 ASSERT_EQ(0, pthread_getschedparam(t, &actual_policy, &actual_param));
2501 ASSERT_EQ(SCHED_FIFO, actual_policy);
Elliott Hughes0bd9d132017-11-02 13:11:13 -07002502 spin_helper.UnSpin();
Elliott Hughes8aecba72017-10-17 15:34:41 -07002503 ASSERT_EQ(0, pthread_join(t, nullptr));
2504}
2505
2506TEST(pthread, pthread_attr_setinheritsched_PTHREAD_EXPLICIT_SCHED_takes_effect) {
2507 sched_param param = { .sched_priority = sched_get_priority_min(SCHED_FIFO) };
2508 int rc = pthread_setschedparam(pthread_self(), SCHED_FIFO, &param);
2509 if (rc == EPERM) {
2510 GTEST_LOG_(INFO) << "pthread_setschedparam failed with EPERM, skipping test\n";
2511 return;
2512 }
2513 ASSERT_EQ(0, rc);
2514
2515 pthread_attr_t attr;
2516 ASSERT_EQ(0, pthread_attr_init(&attr));
2517 ASSERT_EQ(0, pthread_attr_setinheritsched(&attr, PTHREAD_EXPLICIT_SCHED));
2518 ASSERT_EQ(0, pthread_attr_setschedpolicy(&attr, SCHED_OTHER));
2519
Elliott Hughes0bd9d132017-11-02 13:11:13 -07002520 SpinFunctionHelper spin_helper;
Elliott Hughes8aecba72017-10-17 15:34:41 -07002521 pthread_t t;
Elliott Hughes0bd9d132017-11-02 13:11:13 -07002522 ASSERT_EQ(0, pthread_create(&t, &attr, spin_helper.GetFunction(), nullptr));
Elliott Hughes8aecba72017-10-17 15:34:41 -07002523 int actual_policy;
2524 sched_param actual_param;
2525 ASSERT_EQ(0, pthread_getschedparam(t, &actual_policy, &actual_param));
2526 ASSERT_EQ(SCHED_OTHER, actual_policy);
Elliott Hughes0bd9d132017-11-02 13:11:13 -07002527 spin_helper.UnSpin();
Elliott Hughes8aecba72017-10-17 15:34:41 -07002528 ASSERT_EQ(0, pthread_join(t, nullptr));
2529}
2530
2531TEST(pthread, pthread_attr_setinheritsched__takes_effect_despite_SCHED_RESET_ON_FORK) {
2532 sched_param param = { .sched_priority = sched_get_priority_min(SCHED_FIFO) };
2533 int rc = pthread_setschedparam(pthread_self(), SCHED_FIFO | SCHED_RESET_ON_FORK, &param);
2534 if (rc == EPERM) {
2535 GTEST_LOG_(INFO) << "pthread_setschedparam failed with EPERM, skipping test\n";
2536 return;
2537 }
2538 ASSERT_EQ(0, rc);
2539
2540 pthread_attr_t attr;
2541 ASSERT_EQ(0, pthread_attr_init(&attr));
2542 ASSERT_EQ(0, pthread_attr_setinheritsched(&attr, PTHREAD_INHERIT_SCHED));
2543
Elliott Hughes0bd9d132017-11-02 13:11:13 -07002544 SpinFunctionHelper spin_helper;
Elliott Hughes8aecba72017-10-17 15:34:41 -07002545 pthread_t t;
Elliott Hughes0bd9d132017-11-02 13:11:13 -07002546 ASSERT_EQ(0, pthread_create(&t, &attr, spin_helper.GetFunction(), nullptr));
Elliott Hughes8aecba72017-10-17 15:34:41 -07002547 int actual_policy;
2548 sched_param actual_param;
2549 ASSERT_EQ(0, pthread_getschedparam(t, &actual_policy, &actual_param));
2550 ASSERT_EQ(SCHED_FIFO | SCHED_RESET_ON_FORK, actual_policy);
Elliott Hughes0bd9d132017-11-02 13:11:13 -07002551 spin_helper.UnSpin();
Elliott Hughes8aecba72017-10-17 15:34:41 -07002552 ASSERT_EQ(0, pthread_join(t, nullptr));
2553}