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