blob: 71b0ba8436809d55affc152662c67f0d1b62cef0 [file] [log] [blame]
Elliott Hughes8daa0922011-09-11 13:46:25 -07001/*
2 * Copyright (C) 2011 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 "mutex.h"
18
19#include <errno.h>
20
Elliott Hughes8daa0922011-09-11 13:46:25 -070021#include "logging.h"
Elliott Hughes6b355752012-01-13 16:49:08 -080022#include "runtime.h"
Elliott Hughesffb465f2012-03-01 18:46:05 -080023#include "thread.h"
24#include "utils.h"
Elliott Hughes8daa0922011-09-11 13:46:25 -070025
Elliott Hughes8d768a92011-09-14 16:35:25 -070026#define CHECK_MUTEX_CALL(call, args) CHECK_PTHREAD_CALL(call, args, name_)
27
Elliott Hughes8daa0922011-09-11 13:46:25 -070028namespace art {
29
Elliott Hughesf1498432012-03-28 19:34:27 -070030// This works on Mac OS 10.7, but hasn't been tested on older releases.
31struct __attribute__((__may_alias__)) darwin_pthread_mutex_t {
32 uint32_t padding0[2];
33 uint32_t value;
34 uint32_t padding1[5];
35 uint64_t owner_tid;
36 // ...other stuff we don't care about.
37};
38
39struct __attribute__((__may_alias__)) glibc_pthread_mutex_t {
40 int lock;
41 unsigned int count;
42 int owner;
43 // ...other stuff we don't care about.
44};
45
Elliott Hughes76e36942012-03-16 13:44:56 -070046static inline void CheckSafeToLockOrUnlock(MutexRank rank, bool is_locking) {
Elliott Hughes67d92002012-03-26 15:08:51 -070047 if (!kIsDebugBuild) {
48 return;
49 }
Elliott Hughesffb465f2012-03-01 18:46:05 -080050 if (rank == -1) {
51 return;
52 }
53 Thread* self = Thread::Current();
54 if (self != NULL) {
Elliott Hughesa4060e52012-03-02 16:51:35 -080055 self->CheckSafeToLockOrUnlock(rank, is_locking);
56 }
Elliott Hughesa4060e52012-03-02 16:51:35 -080057}
58
Elliott Hughes76e36942012-03-16 13:44:56 -070059static inline void CheckSafeToWait(MutexRank rank) {
Elliott Hughes67d92002012-03-26 15:08:51 -070060 if (!kIsDebugBuild) {
61 return;
62 }
Elliott Hughesa4060e52012-03-02 16:51:35 -080063 Thread* self = Thread::Current();
64 if (self != NULL) {
65 self->CheckSafeToWait(rank);
Elliott Hughesffb465f2012-03-01 18:46:05 -080066 }
Elliott Hughesffb465f2012-03-01 18:46:05 -080067}
68
69Mutex::Mutex(const char* name, MutexRank rank) : name_(name), rank_(rank) {
Elliott Hughesbbd9d832011-11-07 14:40:00 -080070 // Like Java, we use recursive mutexes.
71 pthread_mutexattr_t attributes;
72 CHECK_MUTEX_CALL(pthread_mutexattr_init, (&attributes));
73 CHECK_MUTEX_CALL(pthread_mutexattr_settype, (&attributes, PTHREAD_MUTEX_RECURSIVE));
74 CHECK_MUTEX_CALL(pthread_mutex_init, (&mutex_, &attributes));
75 CHECK_MUTEX_CALL(pthread_mutexattr_destroy, (&attributes));
Elliott Hughes8daa0922011-09-11 13:46:25 -070076}
77
78Mutex::~Mutex() {
Elliott Hughes6b355752012-01-13 16:49:08 -080079 int rc = pthread_mutex_destroy(&mutex_);
80 if (rc != 0) {
81 errno = rc;
Elliott Hughesb3bd5f02012-03-08 21:05:27 -080082 // TODO: should we just not log at all if shutting down? this could be the logging mutex!
Elliott Hughes6b355752012-01-13 16:49:08 -080083 bool shutting_down = Runtime::Current()->IsShuttingDown();
84 PLOG(shutting_down ? WARNING : FATAL) << "pthread_mutex_destroy failed for " << name_;
85 }
Elliott Hughes8daa0922011-09-11 13:46:25 -070086}
87
88void Mutex::Lock() {
Elliott Hughesa4060e52012-03-02 16:51:35 -080089 CheckSafeToLockOrUnlock(rank_, true);
Elliott Hughes8d768a92011-09-14 16:35:25 -070090 CHECK_MUTEX_CALL(pthread_mutex_lock, (&mutex_));
Ian Rogers105245c2012-01-27 11:42:43 -080091 AssertHeld();
Elliott Hughes8daa0922011-09-11 13:46:25 -070092}
93
94bool Mutex::TryLock() {
95 int result = pthread_mutex_trylock(&mutex_);
96 if (result == EBUSY) {
97 return false;
98 }
99 if (result != 0) {
100 errno = result;
Elliott Hughes8d768a92011-09-14 16:35:25 -0700101 PLOG(FATAL) << "pthread_mutex_trylock failed for " << name_;
Elliott Hughes8daa0922011-09-11 13:46:25 -0700102 }
Elliott Hughesa4060e52012-03-02 16:51:35 -0800103 CheckSafeToLockOrUnlock(rank_, true);
Ian Rogers105245c2012-01-27 11:42:43 -0800104 AssertHeld();
Elliott Hughes8daa0922011-09-11 13:46:25 -0700105 return true;
106}
107
108void Mutex::Unlock() {
Ian Rogers105245c2012-01-27 11:42:43 -0800109 AssertHeld();
Elliott Hughesa4060e52012-03-02 16:51:35 -0800110 CheckSafeToLockOrUnlock(rank_, false);
Elliott Hughes8d768a92011-09-14 16:35:25 -0700111 CHECK_MUTEX_CALL(pthread_mutex_unlock, (&mutex_));
Elliott Hughes8daa0922011-09-11 13:46:25 -0700112}
113
Elliott Hughesf1498432012-03-28 19:34:27 -0700114#if !defined(NDEBUG)
115void Mutex::AssertHeld() {
116 DCHECK_EQ(GetOwner(), static_cast<uint64_t>(GetTid()));
117}
118
119void Mutex::AssertNotHeld() {
120 DCHECK_NE(GetOwner(), static_cast<uint64_t>(GetTid()));
121}
122#endif
123
124uint64_t Mutex::GetOwner() {
Elliott Hughes3147a232011-10-12 15:55:07 -0700125#if defined(__BIONIC__)
Elliott Hughesf1498432012-03-28 19:34:27 -0700126 return static_cast<uint64_t>((mutex_.value >> 16) & 0xffff);
Elliott Hughes3147a232011-10-12 15:55:07 -0700127#elif defined(__GLIBC__)
Elliott Hughesf1498432012-03-28 19:34:27 -0700128 return reinterpret_cast<glibc_pthread_mutex_t*>(&mutex_)->owner;
Elliott Hughescf044312012-01-23 18:48:51 -0800129#elif defined(__APPLE__)
Elliott Hughesf1498432012-03-28 19:34:27 -0700130 return reinterpret_cast<darwin_pthread_mutex_t*>(&mutex_)->owner_tid;
Elliott Hughes8daa0922011-09-11 13:46:25 -0700131#else
Elliott Hughesf1498432012-03-28 19:34:27 -0700132#error unsupported C library
Elliott Hughes8daa0922011-09-11 13:46:25 -0700133#endif
134}
135
Brian Carlstromcd74c4b2012-01-23 13:21:00 -0800136uint32_t Mutex::GetDepth() {
Elliott Hughesf1498432012-03-28 19:34:27 -0700137 bool held = (GetOwner() == static_cast<uint64_t>(GetTid()));
Brian Carlstromcd74c4b2012-01-23 13:21:00 -0800138 if (!held) {
139 return 0;
140 }
141 uint32_t depth;
142#if defined(__BIONIC__)
143 depth = static_cast<uint32_t>((mutex_.value >> 2) & 0x7ff) + 1;
144#elif defined(__GLIBC__)
Elliott Hughesf1498432012-03-28 19:34:27 -0700145 depth = reinterpret_cast<glibc_pthread_mutex_t*>(&mutex_)->count;
Brian Carlstromcd74c4b2012-01-23 13:21:00 -0800146#elif defined(__APPLE__)
Elliott Hughesf1498432012-03-28 19:34:27 -0700147 darwin_pthread_mutex_t* darwin_mutex = reinterpret_cast<darwin_pthread_mutex_t*>(&mutex_);
148 depth = ((darwin_mutex->value >> 16) & 0xffff);
Brian Carlstromcd74c4b2012-01-23 13:21:00 -0800149#else
Elliott Hughesf1498432012-03-28 19:34:27 -0700150#error unsupported C library
Brian Carlstromcd74c4b2012-01-23 13:21:00 -0800151#endif
Elliott Hughesf1498432012-03-28 19:34:27 -0700152 CHECK_NE(depth, 0U) << "owner=" << GetOwner() << " tid=" << GetTid();
Brian Carlstromcd74c4b2012-01-23 13:21:00 -0800153 return depth;
154}
155
Elliott Hughes5f791332011-09-15 17:45:30 -0700156ConditionVariable::ConditionVariable(const std::string& name) : name_(name) {
157 CHECK_MUTEX_CALL(pthread_cond_init, (&cond_, NULL));
158}
159
160ConditionVariable::~ConditionVariable() {
161 CHECK_MUTEX_CALL(pthread_cond_destroy, (&cond_));
162}
163
164void ConditionVariable::Broadcast() {
165 CHECK_MUTEX_CALL(pthread_cond_broadcast, (&cond_));
166}
167
168void ConditionVariable::Signal() {
169 CHECK_MUTEX_CALL(pthread_cond_signal, (&cond_));
170}
171
172void ConditionVariable::Wait(Mutex& mutex) {
Elliott Hughesf1498432012-03-28 19:34:27 -0700173 CheckSafeToWait(mutex.rank_);
174 CHECK_MUTEX_CALL(pthread_cond_wait, (&cond_, &mutex.mutex_));
Elliott Hughes5f791332011-09-15 17:45:30 -0700175}
176
177void ConditionVariable::TimedWait(Mutex& mutex, const timespec& ts) {
178#ifdef HAVE_TIMEDWAIT_MONOTONIC
179#define TIMEDWAIT pthread_cond_timedwait_monotonic
180#else
181#define TIMEDWAIT pthread_cond_timedwait
182#endif
Elliott Hughesf1498432012-03-28 19:34:27 -0700183 CheckSafeToWait(mutex.rank_);
184 int rc = TIMEDWAIT(&cond_, &mutex.mutex_, &ts);
Elliott Hughes5f791332011-09-15 17:45:30 -0700185 if (rc != 0 && rc != ETIMEDOUT) {
186 errno = rc;
187 PLOG(FATAL) << "TimedWait failed for " << name_;
188 }
189}
190
Elliott Hughesffb465f2012-03-01 18:46:05 -0800191std::ostream& operator<<(std::ostream& os, const MutexRank& rhs) {
192 switch (rhs) {
193 case kHeapLock: os << "HeapLock"; break;
194 case kThreadListLock: os << "ThreadListLock"; break;
195 case kThreadSuspendCountLock: os << "ThreadSuspendCountLock"; break;
196 default: os << "MutexRank[" << static_cast<int>(rhs) << "]"; break;
197 }
198 return os;
199}
200
Elliott Hughes8daa0922011-09-11 13:46:25 -0700201} // namespace