xref: /openbsd-src/gnu/llvm/compiler-rt/lib/tsan/dd/dd_rtl.h (revision 810390e339a5425391477d5d41c78d7cab2424ac)
13cab2bb3Spatrick //===-- dd_rtl.h ----------------------------------------------------------===//
23cab2bb3Spatrick //
33cab2bb3Spatrick // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
43cab2bb3Spatrick // See https://llvm.org/LICENSE.txt for license information.
53cab2bb3Spatrick // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
63cab2bb3Spatrick //
73cab2bb3Spatrick //===----------------------------------------------------------------------===//
83cab2bb3Spatrick #ifndef DD_RTL_H
93cab2bb3Spatrick #define DD_RTL_H
103cab2bb3Spatrick 
113cab2bb3Spatrick #include "sanitizer_common/sanitizer_internal_defs.h"
123cab2bb3Spatrick #include "sanitizer_common/sanitizer_deadlock_detector_interface.h"
133cab2bb3Spatrick #include "sanitizer_common/sanitizer_flags.h"
143cab2bb3Spatrick #include "sanitizer_common/sanitizer_allocator_internal.h"
153cab2bb3Spatrick #include "sanitizer_common/sanitizer_addrhashmap.h"
163cab2bb3Spatrick #include "sanitizer_common/sanitizer_mutex.h"
173cab2bb3Spatrick 
183cab2bb3Spatrick namespace __dsan {
193cab2bb3Spatrick 
203cab2bb3Spatrick typedef DDFlags Flags;
213cab2bb3Spatrick 
22*810390e3Srobert struct UserMutex {
233cab2bb3Spatrick   DDMutex dd;
243cab2bb3Spatrick };
253cab2bb3Spatrick 
263cab2bb3Spatrick struct Thread {
273cab2bb3Spatrick   DDPhysicalThread *dd_pt;
283cab2bb3Spatrick   DDLogicalThread *dd_lt;
293cab2bb3Spatrick 
303cab2bb3Spatrick   bool ignore_interceptors;
313cab2bb3Spatrick };
323cab2bb3Spatrick 
33d89ec533Spatrick struct Callback final : public DDCallback {
343cab2bb3Spatrick   Thread *thr;
353cab2bb3Spatrick 
363cab2bb3Spatrick   Callback(Thread *thr);
373cab2bb3Spatrick   u32 Unwind() override;
383cab2bb3Spatrick };
393cab2bb3Spatrick 
40*810390e3Srobert typedef AddrHashMap<UserMutex, 31051> MutexHashMap;
413cab2bb3Spatrick 
423cab2bb3Spatrick struct Context {
433cab2bb3Spatrick   DDetector *dd;
443cab2bb3Spatrick 
45*810390e3Srobert   Mutex report_mutex;
463cab2bb3Spatrick   MutexHashMap mutex_map;
473cab2bb3Spatrick };
483cab2bb3Spatrick 
flags()493cab2bb3Spatrick inline Flags* flags() {
503cab2bb3Spatrick   static Flags flags;
513cab2bb3Spatrick   return &flags;
523cab2bb3Spatrick }
533cab2bb3Spatrick 
543cab2bb3Spatrick void Initialize();
553cab2bb3Spatrick void InitializeInterceptors();
563cab2bb3Spatrick 
573cab2bb3Spatrick void ThreadInit(Thread *thr);
583cab2bb3Spatrick void ThreadDestroy(Thread *thr);
593cab2bb3Spatrick 
603cab2bb3Spatrick void MutexBeforeLock(Thread *thr, uptr m, bool writelock);
613cab2bb3Spatrick void MutexAfterLock(Thread *thr, uptr m, bool writelock, bool trylock);
623cab2bb3Spatrick void MutexBeforeUnlock(Thread *thr, uptr m, bool writelock);
633cab2bb3Spatrick void MutexDestroy(Thread *thr, uptr m);
643cab2bb3Spatrick 
653cab2bb3Spatrick }  // namespace __dsan
663cab2bb3Spatrick #endif  // DD_RTL_H
67