thread_safety.hpp

Go to the documentation of this file.

#pragma once
 
#include "common.hpp"
 
 
#if ein_has_attribute(no_thread_safety_analysis)
  #define ein_no_thread_safety_analysis __attribute__((no_thread_safety_analysis))
#else
  #define ein_no_thread_safety_analysis
#endif
 
#if ein_has_attribute(lockable)
  #define ein_lockable __attribute__((lockable))
#else
  #define ein_lockable
#endif
 
#if ein_has_attribute(scoped_lockable)
  #define ein_scoped_lockable __attribute__((scoped_lockable))
#else
  #define ein_scoped_lockable
#endif
 
#if ein_has_attribute(guarded_var)
  #define ein_guarded_var __attribute__((guarded_var))
#else
  #define ein_guarded_var
#endif
 
#if ein_has_attribute(pt_guarded_var)
  #define ein_pt_guarded_var __attribute__((pt_guarded_var))
#else
  #define ein_pt_guarded_var
#endif
 
#if ein_has_attribute(guarded_by)
  #define ein_guarded_by(x) __attribute__((guarded_by(x)))
#else
  #define ein_guarded_by(x)
#endif
 
#if ein_has_attribute(pt_guarded_by)
  #define ein_pt_guarded_by(x) __attribute__((pt_guarded_by(x)))
#else
  #define ein_pt_guarded_by(x)
#endif
 
#if ein_has_attribute(acquired_before)
  #define ein_acquired_before(...) __attribute__((acquired_before(__VA_ARGS__)))
#else
  #define ein_acquired_before(...)
#endif
 
#if ein_has_attribute(acquired_after)
  #define ein_acquired_after(...) __attribute__((acquired_after(__VA_ARGS__)))
#else
  #define ein_acquired_after(...)
#endif
 
#if ein_has_attribute(exclusive_lock_function)
  #define ein_exclusive_lock_function(...) __attribute__((exclusive_lock_function(__VA_ARGS__)))
#else
  #define ein_exclusive_lock_function(...)
#endif
 
#if ein_has_attribute(shared_trylock_function)
  #define ein_shared_trylock_function(...) __attribute__((shared_trylock_function(__VA_ARGS__)))
#else
  #define ein_shared_trylock_function(...)
#endif
 
#if ein_has_attribute(unlock_function)
  #define ein_unlock_function(...) __attribute__((unlock_function(__VA_ARGS__)))
#else
  #define ein_unlock_function(...)
#endif
 
#if ein_has_attribute(lock_returned)
  #define ein_lock_returned(__x) __attribute__((lock_returned(__x)))
#else
  #define ein_lock_returned(__x)
#endif
 
#if ein_has_attribute(locks_excluded)
  #define ein_locks_excluded(...) __attribute__((locks_excluded(__VA_ARGS__)))
#else
  #define ein_locks_excluded(...)
#endif
 
#if ein_has_attribute(exclusive_locks_required)
  #define ein_exclusive_locks_required(...) __attribute__((exclusive_locks_required(__VA_ARGS__)))
#else
  #define ein_exclusive_locks_required(...)
#endif
 
#if ein_has_attribute(shared_locks_required)
  #define ein_shared_locks_required(...) __attribute__((shared_locks_required(__VA_ARGS__)))
#else
  #define ein_shared_locks_required(...)
#endif