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
| //===-- tsan_mutexset_test.cpp --------------------------------------------===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//
//
// This file is a part of ThreadSanitizer (TSan), a race detector.
//
//===----------------------------------------------------------------------===//
#include "tsan_mutexset.h"
#include "gtest/gtest.h"
namespace __tsan {
static void Expect(const MutexSet &mset, uptr i, u64 id, bool write, u64 epoch,
int count) {
MutexSet::Desc d = mset.Get(i);
EXPECT_EQ(id, d.id);
EXPECT_EQ(write, d.write);
EXPECT_EQ(epoch, d.epoch);
EXPECT_EQ(count, d.count);
}
TEST(MutexSet, Basic) {
MutexSet mset;
EXPECT_EQ(mset.Size(), (uptr)0);
mset.Add(1, true, 2);
EXPECT_EQ(mset.Size(), (uptr)1);
Expect(mset, 0, 1, true, 2, 1);
mset.Del(1, true);
EXPECT_EQ(mset.Size(), (uptr)0);
mset.Add(3, true, 4);
mset.Add(5, false, 6);
EXPECT_EQ(mset.Size(), (uptr)2);
Expect(mset, 0, 3, true, 4, 1);
Expect(mset, 1, 5, false, 6, 1);
mset.Del(3, true);
EXPECT_EQ(mset.Size(), (uptr)1);
mset.Del(5, false);
EXPECT_EQ(mset.Size(), (uptr)0);
}
TEST(MutexSet, DoubleAdd) {
MutexSet mset;
mset.Add(1, true, 2);
EXPECT_EQ(mset.Size(), (uptr)1);
Expect(mset, 0, 1, true, 2, 1);
mset.Add(1, true, 2);
EXPECT_EQ(mset.Size(), (uptr)1);
Expect(mset, 0, 1, true, 2, 2);
mset.Del(1, true);
EXPECT_EQ(mset.Size(), (uptr)1);
Expect(mset, 0, 1, true, 2, 1);
mset.Del(1, true);
EXPECT_EQ(mset.Size(), (uptr)0);
}
TEST(MutexSet, DoubleDel) {
MutexSet mset;
mset.Add(1, true, 2);
EXPECT_EQ(mset.Size(), (uptr)1);
mset.Del(1, true);
EXPECT_EQ(mset.Size(), (uptr)0);
mset.Del(1, true);
EXPECT_EQ(mset.Size(), (uptr)0);
}
TEST(MutexSet, Remove) {
MutexSet mset;
mset.Add(1, true, 2);
mset.Add(1, true, 2);
mset.Add(3, true, 4);
mset.Add(3, true, 4);
EXPECT_EQ(mset.Size(), (uptr)2);
mset.Remove(1);
EXPECT_EQ(mset.Size(), (uptr)1);
Expect(mset, 0, 3, true, 4, 2);
}
TEST(MutexSet, Full) {
MutexSet mset;
for (uptr i = 0; i < MutexSet::kMaxSize; i++) {
mset.Add(i, true, i + 1);
}
EXPECT_EQ(mset.Size(), MutexSet::kMaxSize);
for (uptr i = 0; i < MutexSet::kMaxSize; i++) {
Expect(mset, i, i, true, i + 1, 1);
}
for (uptr i = 0; i < MutexSet::kMaxSize; i++) {
mset.Add(i, true, i + 1);
}
EXPECT_EQ(mset.Size(), MutexSet::kMaxSize);
for (uptr i = 0; i < MutexSet::kMaxSize; i++) {
Expect(mset, i, i, true, i + 1, 2);
}
}
TEST(MutexSet, Overflow) {
MutexSet mset;
for (uptr i = 0; i < MutexSet::kMaxSize; i++) {
mset.Add(i, true, i + 1);
mset.Add(i, true, i + 1);
}
mset.Add(100, true, 200);
EXPECT_EQ(mset.Size(), MutexSet::kMaxSize);
for (uptr i = 0; i < MutexSet::kMaxSize; i++) {
if (i == 0)
Expect(mset, i, MutexSet::kMaxSize - 1,
true, MutexSet::kMaxSize, 2);
else if (i == MutexSet::kMaxSize - 1)
Expect(mset, i, 100, true, 200, 1);
else
Expect(mset, i, i, true, i + 1, 2);
}
}
} // namespace __tsan
|