1 // Macros to enable testing of both variants of the thread safety analysis.
2 
3 #if USE_CAPABILITY
4 #define LOCKABLE                        __attribute__((capability("mutex")))
5 #define ASSERT_EXCLUSIVE_LOCK(...)      __attribute__((assert_capability(__VA_ARGS__)))
6 #define ASSERT_SHARED_LOCK(...)         __attribute__((assert_shared_capability(__VA_ARGS__)))
7 #define EXCLUSIVE_LOCK_FUNCTION(...)    __attribute__((acquire_capability(__VA_ARGS__)))
8 #define SHARED_LOCK_FUNCTION(...)       __attribute__((acquire_shared_capability(__VA_ARGS__)))
9 #define UNLOCK_FUNCTION(...)            __attribute__((release_generic_capability(__VA_ARGS__)))
10 #define EXCLUSIVE_TRYLOCK_FUNCTION(...) __attribute__((try_acquire_capability(__VA_ARGS__)))
11 #define SHARED_TRYLOCK_FUNCTION(...)    __attribute__((try_acquire_shared_capability(__VA_ARGS__)))
12 #define EXCLUSIVE_LOCKS_REQUIRED(...)   __attribute__((requires_capability(__VA_ARGS__)))
13 #define SHARED_LOCKS_REQUIRED(...)      __attribute__((requires_shared_capability(__VA_ARGS__)))
14 #else
15 #define LOCKABLE                        __attribute__((lockable))
16 #define ASSERT_EXCLUSIVE_LOCK(...)      __attribute__((assert_exclusive_lock(__VA_ARGS__)))
17 #define ASSERT_SHARED_LOCK(...)         __attribute__((assert_shared_lock(__VA_ARGS__)))
18 #define EXCLUSIVE_LOCK_FUNCTION(...)    __attribute__((exclusive_lock_function(__VA_ARGS__)))
19 #define SHARED_LOCK_FUNCTION(...)       __attribute__((shared_lock_function(__VA_ARGS__)))
20 #define UNLOCK_FUNCTION(...)            __attribute__((unlock_function(__VA_ARGS__)))
21 #define EXCLUSIVE_TRYLOCK_FUNCTION(...) __attribute__((exclusive_trylock_function(__VA_ARGS__)))
22 #define SHARED_TRYLOCK_FUNCTION(...)    __attribute__((shared_trylock_function(__VA_ARGS__)))
23 #define EXCLUSIVE_LOCKS_REQUIRED(...)   __attribute__((exclusive_locks_required(__VA_ARGS__)))
24 #define SHARED_LOCKS_REQUIRED(...)      __attribute__((shared_locks_required(__VA_ARGS__)))
25 #endif
26 
27 // Lock semantics only
28 #define GUARDED_VAR                     __attribute__((guarded_var))
29 #define PT_GUARDED_VAR                  __attribute__((pt_guarded_var))
30 
31 // Capabilities only
32 #define EXCLUSIVE_UNLOCK_FUNCTION(...)  __attribute__((release_capability(__VA_ARGS__)))
33 #define SHARED_UNLOCK_FUNCTION(...)     __attribute__((release_shared_capability(__VA_ARGS__)))
34 #define GUARDED_BY(x)                   __attribute__((guarded_by(x)))
35 #define PT_GUARDED_BY(x)                __attribute__((pt_guarded_by(x)))
36 
37 // Common
38 #define SCOPED_LOCKABLE                 __attribute__((scoped_lockable))
39 #define ACQUIRED_AFTER(...)             __attribute__((acquired_after(__VA_ARGS__)))
40 #define ACQUIRED_BEFORE(...)            __attribute__((acquired_before(__VA_ARGS__)))
41 #define LOCK_RETURNED(x)                __attribute__((lock_returned(x)))
42 #define LOCKS_EXCLUDED(...)             __attribute__((locks_excluded(__VA_ARGS__)))
43 #define NO_THREAD_SAFETY_ANALYSIS       __attribute__((no_thread_safety_analysis))
44