-
Notifications
You must be signed in to change notification settings - Fork 1
/
SpinLock.cc
163 lines (148 loc) · 4.31 KB
/
SpinLock.cc
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
/* Copyright (c) 2011-2015 Stanford University
*
* Permission to use, copy, modify, and distribute this software for any purpose
* with or without fee is hereby granted, provided that the above copyright
* notice and this permission notice appear in all copies.
*
* THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR(S) DISCLAIM ALL WARRANTIES
* WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
* MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL AUTHORS BE LIABLE FOR ANY
* SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES WHATSOEVER
* RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION OF
* CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN
* CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
*/
#include <mutex>
#include <unordered_set>
#include "Common.h"
#include "Cycles.h"
#include "Fence.h"
#include "SpinLock.h"
namespace RAMCloud {
/// This namespace is used to keep track of all of the SpinLocks currently
/// in existence, so that we can enumerate them to monitor lock contention.
namespace SpinLockTable {
/**
* Returns a structure containing the addresses of all SpinLocks
* currently in existence.
*
* There is a function wrapper around this variable to force
* initialization before usage. This is relevant when SpinLock is
* initialized in the constructor of a statically declared object.
*/
std::unordered_set<SpinLock*>* allLocks() {
static std::unordered_set<SpinLock*> map;
return ↦
}
/**
* This mutex protects the map pointed to by "allLocks()".
*
* See the comment above for why this is a function and not a variable.
*/
std::mutex* lock() {
static std::mutex mutex;
return &mutex;
}
} // namespace SpinLockTable
/**
* Construct a new SpinLock and give it the provided name.
*/
SpinLock::SpinLock(string name)
: mutex(0)
, name(name)
, acquisitions(0)
, contendedAcquisitions(0)
, contendedTicks(0)
, logWaits(false)
{
std::lock_guard<std::mutex> lock(*SpinLockTable::lock());
SpinLockTable::allLocks()->insert(this);
}
SpinLock::~SpinLock()
{
std::lock_guard<std::mutex> lock(*SpinLockTable::lock());
SpinLockTable::allLocks()->erase(this);
}
/**
* Acquire the SpinLock; blocks the thread (by continuously polling the lock)
* until the lock has been acquired.
*/
void
SpinLock::lock()
{
uint64_t startOfContention = 0;
while (mutex.exchange(1) != 0) {
if (startOfContention == 0) {
startOfContention = Cycles::rdtsc();
if (logWaits) {
LOG(DEBUG, "Waiting on SpinLock");
}
} else {
uint64_t now = Cycles::rdtsc();
if (Cycles::toSeconds(now - startOfContention) > 1.0) {
LOG(WARNING,
"%s SpinLock locked for one second; deadlock?",
name.c_str());
contendedTicks += now - startOfContention;
startOfContention = now;
}
}
}
Fence::enter();
if (startOfContention != 0) {
contendedTicks += (Cycles::rdtsc() - startOfContention);
contendedAcquisitions++;
}
acquisitions++;
}
/**
* Try to acquire the SpinLock; does not block the thread and returns
* immediately.
*
* \return
* True if the lock was successfully acquired, false if it was already
* owned by some other thread.
*/
bool
SpinLock::try_lock()
{
int old = mutex.exchange(1);
if (old == 0) {
Fence::enter();
return true;
}
return false;
}
/**
* Release the SpinLock. The caller must previously have acquired the
* lock with a call to #lock or #try_lock.
*/
void
SpinLock::unlock()
{
Fence::leave();
mutex.store(0);
}
/**
* Change the name of the SpinLock. The name is intended to give some hint as
* to the purpose of the lock, where it was declared, etc.
*
* \param name
* The string name to give this lock.
*/
void
SpinLock::setName(string name)
{
this->name = name;
}
/**
* Return the total of SpinLocks currently in existence; intended
* primarily for testing.
*/
int
SpinLock::numLocks()
{
std::lock_guard<std::mutex> lock(*SpinLockTable::lock());
return downCast<int>(SpinLockTable::allLocks()->size());
}
} // namespace RAMCloud