aca110173f
Add a couple of comments explaining that a mutex can be freed during the unlock call, immediately after the unlock's atomic exchange call but before its futex wakeup call. Bug: http://b/129744706 Test: bionic unit tests Change-Id: I2d290ebde880f46866098d022720896039e7022e
99 lines
3.6 KiB
C++
99 lines
3.6 KiB
C++
/*
|
|
* Copyright (C) 2015 The Android Open Source Project
|
|
* All rights reserved.
|
|
*
|
|
* Redistribution and use in source and binary forms, with or without
|
|
* modification, are permitted provided that the following conditions
|
|
* are met:
|
|
* * Redistributions of source code must retain the above copyright
|
|
* notice, this list of conditions and the following disclaimer.
|
|
* * Redistributions in binary form must reproduce the above copyright
|
|
* notice, this list of conditions and the following disclaimer in
|
|
* the documentation and/or other materials provided with the
|
|
* distribution.
|
|
*
|
|
* THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
|
|
* "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
|
|
* LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
|
|
* FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
|
|
* COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
|
|
* INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
|
|
* BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS
|
|
* OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED
|
|
* AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
|
|
* OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT
|
|
* OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
|
|
* SUCH DAMAGE.
|
|
*/
|
|
|
|
#pragma once
|
|
|
|
#include <stdatomic.h>
|
|
#include "private/bionic_futex.h"
|
|
#include "private/bionic_macros.h"
|
|
|
|
// Lock is used in places like pthread_rwlock_t, which can be initialized without calling
|
|
// an initialization function. So make sure Lock can be initialized by setting its memory to 0.
|
|
class Lock {
|
|
private:
|
|
enum LockState {
|
|
Unlocked = 0,
|
|
LockedWithoutWaiter,
|
|
LockedWithWaiter,
|
|
};
|
|
_Atomic(LockState) state;
|
|
bool process_shared;
|
|
|
|
public:
|
|
void init(bool process_shared) {
|
|
atomic_init(&state, Unlocked);
|
|
this->process_shared = process_shared;
|
|
}
|
|
|
|
bool trylock() {
|
|
LockState old_state = Unlocked;
|
|
return __predict_true(atomic_compare_exchange_strong_explicit(&state, &old_state,
|
|
LockedWithoutWaiter, memory_order_acquire, memory_order_relaxed));
|
|
}
|
|
|
|
void lock() {
|
|
LockState old_state = Unlocked;
|
|
if (__predict_true(atomic_compare_exchange_strong_explicit(&state, &old_state,
|
|
LockedWithoutWaiter, memory_order_acquire, memory_order_relaxed))) {
|
|
return;
|
|
}
|
|
while (atomic_exchange_explicit(&state, LockedWithWaiter, memory_order_acquire) != Unlocked) {
|
|
// TODO: As the critical section is brief, it is a better choice to spin a few times befor sleeping.
|
|
__futex_wait_ex(&state, process_shared, LockedWithWaiter);
|
|
}
|
|
return;
|
|
}
|
|
|
|
void unlock() {
|
|
bool shared = process_shared; /* cache to local variable */
|
|
if (atomic_exchange_explicit(&state, Unlocked, memory_order_release) == LockedWithWaiter) {
|
|
// The Lock object may have been deallocated between the atomic exchange and the futex wake
|
|
// call, so avoid accessing any fields of Lock here. In that case, the wake call may target
|
|
// unmapped memory or trigger a spurious futex wakeup. The same situation happens with
|
|
// pthread mutexes. References:
|
|
// - https://lkml.org/lkml/2014/11/27/472
|
|
// - http://austingroupbugs.net/view.php?id=811#c2267
|
|
__futex_wake_ex(&state, shared, 1);
|
|
}
|
|
}
|
|
};
|
|
|
|
class LockGuard {
|
|
public:
|
|
explicit LockGuard(Lock& lock) : lock_(lock) {
|
|
lock_.lock();
|
|
}
|
|
~LockGuard() {
|
|
lock_.unlock();
|
|
}
|
|
|
|
BIONIC_DISALLOW_COPY_AND_ASSIGN(LockGuard);
|
|
|
|
private:
|
|
Lock& lock_;
|
|
};
|