|
// Copyright (c) 2012 The LevelDB Authors. All rights reserved.
|
|
// Use of this source code is governed by a BSD-style license that can be
|
|
// found in the LICENSE file. See the AUTHORS file for names of contributors.
|
|
|
|
#ifndef STORAGE_LEVELDB_PORT_THREAD_ANNOTATIONS_H_
|
|
#define STORAGE_LEVELDB_PORT_THREAD_ANNOTATIONS_H_
|
|
|
|
// Use Clang's thread safety analysis annotations when available. In other
|
|
// environments, the macros receive empty definitions.
|
|
// Usage documentation: https://clang.llvm.org/docs/ThreadSafetyAnalysis.html
|
|
|
|
#if !defined(THREAD_ANNOTATION_ATTRIBUTE__)
|
|
|
|
#if defined(__clang__)
|
|
|
|
#define THREAD_ANNOTATION_ATTRIBUTE__(x) __attribute__((x))
|
|
#else
|
|
#define THREAD_ANNOTATION_ATTRIBUTE__(x) // no-op
|
|
#endif
|
|
|
|
#endif // !defined(THREAD_ANNOTATION_ATTRIBUTE__)
|
|
|
|
#ifndef GUARDED_BY
|
|
#define GUARDED_BY(x) THREAD_ANNOTATION_ATTRIBUTE__(guarded_by(x))
|
|
#endif
|
|
|
|
#ifndef PT_GUARDED_BY
|
|
#define PT_GUARDED_BY(x) THREAD_ANNOTATION_ATTRIBUTE__(pt_guarded_by(x))
|
|
#endif
|
|
|
|
#ifndef ACQUIRED_AFTER
|
|
#define ACQUIRED_AFTER(...) \
|
|
THREAD_ANNOTATION_ATTRIBUTE__(acquired_after(__VA_ARGS__))
|
|
#endif
|
|
|
|
#ifndef ACQUIRED_BEFORE
|
|
#define ACQUIRED_BEFORE(...) \
|
|
THREAD_ANNOTATION_ATTRIBUTE__(acquired_before(__VA_ARGS__))
|
|
#endif
|
|
|
|
#ifndef EXCLUSIVE_LOCKS_REQUIRED
|
|
#define EXCLUSIVE_LOCKS_REQUIRED(...) \
|
|
THREAD_ANNOTATION_ATTRIBUTE__(exclusive_locks_required(__VA_ARGS__))
|
|
#endif
|
|
|
|
#ifndef SHARED_LOCKS_REQUIRED
|
|
#define SHARED_LOCKS_REQUIRED(...) \
|
|
THREAD_ANNOTATION_ATTRIBUTE__(shared_locks_required(__VA_ARGS__))
|
|
#endif
|
|
|
|
#ifndef LOCKS_EXCLUDED
|
|
#define LOCKS_EXCLUDED(...) \
|
|
THREAD_ANNOTATION_ATTRIBUTE__(locks_excluded(__VA_ARGS__))
|
|
#endif
|
|
|
|
#ifndef LOCK_RETURNED
|
|
#define LOCK_RETURNED(x) \
|
|
THREAD_ANNOTATION_ATTRIBUTE__(lock_returned(x))
|
|
#endif
|
|
|
|
#ifndef LOCKABLE
|
|
#define LOCKABLE \
|
|
THREAD_ANNOTATION_ATTRIBUTE__(lockable)
|
|
#endif
|
|
|
|
#ifndef SCOPED_LOCKABLE
|
|
#define SCOPED_LOCKABLE \
|
|
THREAD_ANNOTATION_ATTRIBUTE__(scoped_lockable)
|
|
#endif
|
|
|
|
#ifndef EXCLUSIVE_LOCK_FUNCTION
|
|
#define EXCLUSIVE_LOCK_FUNCTION(...) \
|
|
THREAD_ANNOTATION_ATTRIBUTE__(exclusive_lock_function(__VA_ARGS__))
|
|
#endif
|
|
|
|
#ifndef SHARED_LOCK_FUNCTION
|
|
#define SHARED_LOCK_FUNCTION(...) \
|
|
THREAD_ANNOTATION_ATTRIBUTE__(shared_lock_function(__VA_ARGS__))
|
|
#endif
|
|
|
|
#ifndef EXCLUSIVE_TRYLOCK_FUNCTION
|
|
#define EXCLUSIVE_TRYLOCK_FUNCTION(...) \
|
|
THREAD_ANNOTATION_ATTRIBUTE__(exclusive_trylock_function(__VA_ARGS__))
|
|
#endif
|
|
|
|
#ifndef SHARED_TRYLOCK_FUNCTION
|
|
#define SHARED_TRYLOCK_FUNCTION(...) \
|
|
THREAD_ANNOTATION_ATTRIBUTE__(shared_trylock_function(__VA_ARGS__))
|
|
#endif
|
|
|
|
#ifndef UNLOCK_FUNCTION
|
|
#define UNLOCK_FUNCTION(...) \
|
|
THREAD_ANNOTATION_ATTRIBUTE__(unlock_function(__VA_ARGS__))
|
|
#endif
|
|
|
|
#ifndef NO_THREAD_SAFETY_ANALYSIS
|
|
#define NO_THREAD_SAFETY_ANALYSIS \
|
|
THREAD_ANNOTATION_ATTRIBUTE__(no_thread_safety_analysis)
|
|
#endif
|
|
|
|
#ifndef ASSERT_EXCLUSIVE_LOCK
|
|
#define ASSERT_EXCLUSIVE_LOCK(...) \
|
|
THREAD_ANNOTATION_ATTRIBUTE__(assert_exclusive_lock(__VA_ARGS__))
|
|
#endif
|
|
|
|
#ifndef ASSERT_SHARED_LOCK
|
|
#define ASSERT_SHARED_LOCK(...) \
|
|
THREAD_ANNOTATION_ATTRIBUTE__(assert_shared_lock(__VA_ARGS__))
|
|
#endif
|
|
|
|
#endif // STORAGE_LEVELDB_PORT_THREAD_ANNOTATIONS_H_
|