blob: 1de984c192bd814e019f76b1366c1a9b6ce7e219 [file] [log] [blame]
/*
* Copyright (c) 2018-2020 Apple Inc. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions
* are met:
* 1. Redistributions of source code must retain the above copyright
* notice, this list of conditions and the following disclaimer.
* 2. 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 APPLE INC. ``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 APPLE INC. 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.
*/
#ifndef PAS_LOCK_H
#define PAS_LOCK_H
#include "pas_log.h"
#include "pas_race_test_hooks.h"
#include "pas_utils.h"
#include <pthread.h>
PAS_BEGIN_EXTERN_C;
enum pas_lock_hold_mode {
pas_lock_is_not_held,
pas_lock_is_held
};
typedef enum pas_lock_hold_mode pas_lock_hold_mode;
enum pas_lock_lock_mode {
pas_lock_lock_mode_try_lock,
pas_lock_lock_mode_lock,
};
typedef enum pas_lock_lock_mode pas_lock_lock_mode;
#define PAS_LOCK_VERBOSE 0
PAS_END_EXTERN_C;
#if PAS_USE_SPINLOCKS
PAS_BEGIN_EXTERN_C;
struct pas_lock;
typedef struct pas_lock pas_lock;
struct pas_lock {
bool lock;
bool is_spinning;
};
#define PAS_LOCK_INITIALIZER ((pas_lock){ .lock = false, .is_spinning = false })
static inline void pas_lock_construct(pas_lock* lock)
{
*lock = PAS_LOCK_INITIALIZER;
}
static inline void pas_lock_construct_disabled(pas_lock* lock)
{
*lock = PAS_LOCK_INITIALIZER;
lock->lock = true; /* This isn't great; it'll just mean that if we use the lock wrong then
we'll infinite loop. But we test in a mode where we don't use this
code path. */
}
PAS_API void pas_lock_lock_slow(pas_lock* lock);
static inline void pas_lock_lock(pas_lock* lock)
{
pas_race_test_will_lock(lock);
if (!pas_compare_and_swap_bool_weak(&lock->lock, false, true))
pas_lock_lock_slow(lock);
pas_race_test_did_lock(lock);
}
static inline bool pas_lock_try_lock(pas_lock* lock)
{
bool result;
result = !pas_compare_and_swap_bool_strong(&lock->lock, false, true);
if (result)
pas_race_test_did_try_lock(lock);
return result;
}
static inline void pas_lock_unlock(pas_lock* lock)
{
pas_race_test_will_unlock(lock);
__c11_atomic_store((_Atomic bool*)&lock->lock, false, __ATOMIC_SEQ_CST);
}
static inline void pas_lock_assert_held(pas_lock* lock)
{
PAS_ASSERT(lock->lock);
}
static inline void pas_lock_testing_assert_held(pas_lock* lock)
{
PAS_TESTING_ASSERT(lock->lock);
}
PAS_END_EXTERN_C;
#else /* !PAS_USE_SPINLOCKS */
#if defined(__has_include) && __has_include(<os/lock_private.h>) && (defined(LIBPAS) || defined(PAS_BMALLOC)) && (!defined(OS_UNFAIR_LOCK_INLINE) || OS_UNFAIR_LOCK_INLINE)
#ifndef OS_UNFAIR_LOCK_INLINE
#define OS_UNFAIR_LOCK_INLINE 1
#endif
#include <os/lock_private.h>
#else
#include <os/lock.h>
#define os_unfair_lock_lock_inline os_unfair_lock_lock
#define os_unfair_lock_trylock_inline os_unfair_lock_trylock
#define os_unfair_lock_unlock_inline os_unfair_lock_unlock
#endif
PAS_BEGIN_EXTERN_C;
struct pas_lock;
typedef struct pas_lock pas_lock;
struct pas_lock {
os_unfair_lock lock;
};
#define PAS_LOCK_INITIALIZER ((pas_lock){ .lock = OS_UNFAIR_LOCK_INIT })
static inline void pas_lock_construct(pas_lock* lock)
{
*lock = PAS_LOCK_INITIALIZER;
}
static inline void pas_lock_construct_disabled(pas_lock* lock)
{
pas_zero_memory(lock, sizeof(pas_lock));
}
static inline void pas_lock_lock(pas_lock* lock)
{
if (PAS_LOCK_VERBOSE)
pas_log("Thread %p Locking lock %p\n", pthread_self(), lock);
pas_race_test_will_lock(lock);
os_unfair_lock_lock_inline(&lock->lock);
pas_race_test_did_lock(lock);
}
static inline bool pas_lock_try_lock(pas_lock* lock)
{
bool result;
if (PAS_LOCK_VERBOSE)
pas_log("Thread %p Trylocking lock %p\n", pthread_self(), lock);
result = os_unfair_lock_trylock_inline(&lock->lock);
if (result)
pas_race_test_did_try_lock(lock);
return result;
}
static inline void pas_lock_unlock(pas_lock* lock)
{
if (PAS_LOCK_VERBOSE)
pas_log("Thread %p Unlocking lock %p\n", pthread_self(), lock);
pas_race_test_will_unlock(lock);
os_unfair_lock_unlock_inline(&lock->lock);
}
static inline void pas_lock_assert_held(pas_lock* lock)
{
os_unfair_lock_assert_owner(&lock->lock);
}
static inline void pas_lock_testing_assert_held(pas_lock* lock)
{
if (PAS_ENABLE_TESTING)
os_unfair_lock_assert_owner(&lock->lock);
}
PAS_END_EXTERN_C;
#endif /* !PAS_USE_SPINLOCKS */
PAS_BEGIN_EXTERN_C;
#define PAS_DECLARE_LOCK(name) \
PAS_API extern pas_lock name##_lock; \
\
PAS_UNUSED static inline void name##_lock_lock(void) \
{ \
pas_lock_lock(&name##_lock); \
} \
\
PAS_UNUSED static inline bool name##_lock_try_lock(void) \
{ \
return pas_lock_try_lock(&name##_lock); \
} \
\
PAS_UNUSED static inline void name##_lock_unlock(void) \
{ \
pas_lock_unlock(&name##_lock); \
} \
\
PAS_UNUSED static inline void name##_lock_assert_held(void) \
{ \
pas_lock_assert_held(&name##_lock); \
} \
\
PAS_UNUSED static inline void name##_lock_testing_assert_held(void) \
{ \
pas_lock_testing_assert_held(&name##_lock); \
} \
\
PAS_UNUSED static inline void name##_lock_lock_conditionally(pas_lock_hold_mode hold_mode) \
{ \
if (hold_mode == pas_lock_is_not_held) \
name##_lock_lock(); \
pas_compiler_fence(); \
} \
\
PAS_UNUSED static inline bool name##_lock_try_lock_conditionally(pas_lock_hold_mode hold_mode) \
{ \
if (hold_mode == pas_lock_is_not_held) { \
if (!name##_lock_try_lock()) \
return false; \
} \
pas_compiler_fence(); \
return true; \
} \
\
PAS_UNUSED static inline void name##_lock_lock_dependently(unsigned token) \
{ \
pas_lock_lock(&name##_lock + token); \
} \
\
PAS_UNUSED static inline void name##_lock_unlock_conditionally(pas_lock_hold_mode hold_mode) \
{ \
pas_compiler_fence(); \
if (hold_mode == pas_lock_is_not_held) \
name##_lock_unlock(); \
} \
struct pas_dummy
#define PAS_DEFINE_LOCK(name) \
pas_lock name##_lock = PAS_LOCK_INITIALIZER; \
struct pas_dummy
static inline bool pas_lock_lock_with_mode(pas_lock* lock,
pas_lock_lock_mode mode)
{
switch (mode) {
case pas_lock_lock_mode_try_lock:
return pas_lock_try_lock(lock);
case pas_lock_lock_mode_lock:
pas_lock_lock(lock);
return true;
}
PAS_ASSERT(!"Should not be reached");
return false;
}
static PAS_ALWAYS_INLINE bool pas_lock_switch_with_mode(pas_lock** held_lock,
pas_lock* lock,
pas_lock_lock_mode mode)
{
bool result;
pas_compiler_fence();
if (PAS_LIKELY(lock == *held_lock))
return true;
if (*held_lock)
pas_lock_unlock(*held_lock);
if (lock)
result = pas_lock_lock_with_mode(lock, mode);
else
result = true;
if (result)
*held_lock = lock;
else
*held_lock = NULL;
pas_compiler_fence();
return result;
}
static PAS_ALWAYS_INLINE void pas_lock_switch(pas_lock** held_lock, pas_lock* lock)
{
bool result;
result = pas_lock_switch_with_mode(held_lock, lock, pas_lock_lock_mode_lock);
PAS_ASSERT(result);
}
static inline void pas_lock_lock_conditionally(pas_lock* lock,
pas_lock_hold_mode hold_mode)
{
if (hold_mode == pas_lock_is_not_held)
pas_lock_lock(lock);
pas_compiler_fence();
}
static inline void pas_lock_unlock_conditionally(pas_lock* lock,
pas_lock_hold_mode hold_mode)
{
pas_compiler_fence();
if (hold_mode == pas_lock_is_not_held)
pas_lock_unlock(lock);
}
static PAS_ALWAYS_INLINE pas_lock* pas_lock_for_switch_conditionally(pas_lock* lock,
pas_lock_hold_mode hold_mode)
{
switch (hold_mode) {
case pas_lock_is_held:
return NULL;
case pas_lock_is_not_held:
return lock;
}
PAS_ASSERT(!"Should not be reached");
return NULL;
}
static PAS_ALWAYS_INLINE void pas_lock_switch_conditionally(pas_lock** held_lock,
pas_lock* lock,
pas_lock_hold_mode hold_mode)
{
pas_lock_switch(held_lock, pas_lock_for_switch_conditionally(lock, hold_mode));
}
PAS_END_EXTERN_C;
#endif /* PAS_LOCK_H */