2015-03-17 22:22:09 +01:00
|
|
|
/*
|
|
|
|
* 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.
|
|
|
|
*/
|
2018-10-25 20:00:00 +02:00
|
|
|
|
|
|
|
#pragma once
|
2015-03-17 22:22:09 +01:00
|
|
|
|
|
|
|
#include <stdatomic.h>
|
|
|
|
#include "private/bionic_futex.h"
|
2015-11-18 01:03:18 +01:00
|
|
|
#include "private/bionic_macros.h"
|
2015-03-17 22:22:09 +01:00
|
|
|
|
2015-10-23 05:07:56 +02:00
|
|
|
// 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.
|
2015-03-17 22:22:09 +01:00
|
|
|
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;
|
|
|
|
}
|
|
|
|
|
2015-11-18 01:03:18 +01:00
|
|
|
bool trylock() {
|
|
|
|
LockState old_state = Unlocked;
|
|
|
|
return __predict_true(atomic_compare_exchange_strong_explicit(&state, &old_state,
|
|
|
|
LockedWithoutWaiter, memory_order_acquire, memory_order_relaxed));
|
|
|
|
}
|
|
|
|
|
2015-03-17 22:22:09 +01:00
|
|
|
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.
|
2017-08-17 22:18:52 +02:00
|
|
|
__futex_wait_ex(&state, process_shared, LockedWithWaiter);
|
2015-03-17 22:22:09 +01:00
|
|
|
}
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
void unlock() {
|
|
|
|
if (atomic_exchange_explicit(&state, Unlocked, memory_order_release) == LockedWithWaiter) {
|
|
|
|
__futex_wake_ex(&state, process_shared, 1);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2018-02-03 01:10:07 +01:00
|
|
|
class LockGuard {
|
|
|
|
public:
|
|
|
|
LockGuard(Lock& lock) : lock_(lock) {
|
|
|
|
lock_.lock();
|
|
|
|
}
|
|
|
|
~LockGuard() {
|
|
|
|
lock_.unlock();
|
|
|
|
}
|
|
|
|
|
2018-10-25 20:00:00 +02:00
|
|
|
BIONIC_DISALLOW_COPY_AND_ASSIGN(LockGuard);
|
2018-02-03 01:10:07 +01:00
|
|
|
|
|
|
|
private:
|
|
|
|
Lock& lock_;
|
|
|
|
};
|