blob: 469981c351762e1e509bbfa909e67e3dd296e877 [file] [log] [blame]
Dmitry Vyukovc04d8b32012-06-29 17:10:08 +00001//===-- sanitizer_mutex.h ---------------------------------------*- C++ -*-===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
Dmitry Vyukova3eca812012-06-29 17:32:18 +00009//
10// This file is a part of ThreadSanitizer/AddressSanitizer runtime.
11//
12//===----------------------------------------------------------------------===//
Dmitry Vyukovc04d8b32012-06-29 17:10:08 +000013
14#ifndef SANITIZER_MUTEX_H
15#define SANITIZER_MUTEX_H
16
Dmitry Vyukovc04d8b32012-06-29 17:10:08 +000017#include "sanitizer_atomic.h"
Dmitry Vyukov8d993182012-07-02 07:09:21 +000018#include "sanitizer_internal_defs.h"
19#include "sanitizer_libc.h"
Dmitry Vyukovc04d8b32012-06-29 17:10:08 +000020
21namespace __sanitizer {
22
Dmitry Vyukov1b370172012-08-30 10:02:48 +000023class StaticSpinMutex {
Dmitry Vyukova3eca812012-06-29 17:32:18 +000024 public:
Dmitry Vyukov1b370172012-08-30 10:02:48 +000025 void Init() {
Dmitry Vyukova3eca812012-06-29 17:32:18 +000026 atomic_store(&state_, 0, memory_order_relaxed);
27 }
28
29 void Lock() {
Dmitry Vyukova61ec812013-01-11 11:03:35 +000030 if (TryLock())
Dmitry Vyukov8d993182012-07-02 07:09:21 +000031 return;
32 LockSlow();
Dmitry Vyukova3eca812012-06-29 17:32:18 +000033 }
34
Dmitry Vyukova61ec812013-01-11 11:03:35 +000035 bool TryLock() {
36 return atomic_exchange(&state_, 1, memory_order_acquire) == 0;
37 }
38
Dmitry Vyukova3eca812012-06-29 17:32:18 +000039 void Unlock() {
40 atomic_store(&state_, 0, memory_order_release);
41 }
42
43 private:
44 atomic_uint8_t state_;
45
Dmitry Vyukov8d993182012-07-02 07:09:21 +000046 void NOINLINE LockSlow() {
47 for (int i = 0;; i++) {
48 if (i < 10)
49 proc_yield(10);
50 else
51 internal_sched_yield();
52 if (atomic_load(&state_, memory_order_relaxed) == 0
53 && atomic_exchange(&state_, 1, memory_order_acquire) == 0)
54 return;
55 }
56 }
Dmitry Vyukov1b370172012-08-30 10:02:48 +000057};
Dmitry Vyukov8d993182012-07-02 07:09:21 +000058
Dmitry Vyukov1b370172012-08-30 10:02:48 +000059class SpinMutex : public StaticSpinMutex {
60 public:
61 SpinMutex() {
62 Init();
63 }
64
65 private:
Dmitry Vyukova3eca812012-06-29 17:32:18 +000066 SpinMutex(const SpinMutex&);
67 void operator=(const SpinMutex&);
68};
69
Dmitry Vyukovf4f51f22013-01-14 07:51:39 +000070class BlockingMutex {
71 public:
72 explicit BlockingMutex(LinkerInitialized);
Alexey Samsonov93af5942013-03-14 13:30:56 +000073 BlockingMutex();
Dmitry Vyukovf4f51f22013-01-14 07:51:39 +000074 void Lock();
75 void Unlock();
Alexey Samsonovce700972013-03-11 15:45:20 +000076 void CheckLocked();
Dmitry Vyukovf4f51f22013-01-14 07:51:39 +000077 private:
78 uptr opaque_storage_[10];
Dmitry Vyukov48526012013-01-14 08:01:58 +000079 uptr owner_; // for debugging
Dmitry Vyukovf4f51f22013-01-14 07:51:39 +000080};
81
Dmitry Vyukovc04d8b32012-06-29 17:10:08 +000082template<typename MutexType>
83class GenericScopedLock {
84 public:
85 explicit GenericScopedLock(MutexType *mu)
86 : mu_(mu) {
87 mu_->Lock();
88 }
89
90 ~GenericScopedLock() {
91 mu_->Unlock();
92 }
93
94 private:
95 MutexType *mu_;
96
97 GenericScopedLock(const GenericScopedLock&);
98 void operator=(const GenericScopedLock&);
99};
100
101template<typename MutexType>
102class GenericScopedReadLock {
103 public:
104 explicit GenericScopedReadLock(MutexType *mu)
105 : mu_(mu) {
106 mu_->ReadLock();
107 }
108
109 ~GenericScopedReadLock() {
110 mu_->ReadUnlock();
111 }
112
113 private:
114 MutexType *mu_;
115
116 GenericScopedReadLock(const GenericScopedReadLock&);
117 void operator=(const GenericScopedReadLock&);
118};
119
Dmitry Vyukov1b370172012-08-30 10:02:48 +0000120typedef GenericScopedLock<StaticSpinMutex> SpinMutexLock;
Dmitry Vyukovf4f51f22013-01-14 07:51:39 +0000121typedef GenericScopedLock<BlockingMutex> BlockingMutexLock;
Dmitry Vyukove088e162012-07-02 06:54:24 +0000122
Dmitry Vyukovc04d8b32012-06-29 17:10:08 +0000123} // namespace __sanitizer
124
125#endif // SANITIZER_MUTEX_H