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
|
/*
* Copyright (C) 2023 Apple Inc. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions
* are met:
* 1. Redistributions of source code must retain the above copyright
* notice, this list of conditions and the following disclaimer.
* 2. Redistributions in binary form must reproduce the above copyright
* notice, this list of conditions and the following disclaimer in the
* documentation and/or other materials provided with the distribution.
*
* THIS SOFTWARE IS PROVIDED BY APPLE INC. AND ITS CONTRIBUTORS ``AS IS''
* AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO,
* THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
* PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL APPLE INC. OR ITS CONTRIBUTORS
* BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
* CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
* SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
* INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
* CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
* ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF
* THE POSSIBILITY OF SUCH DAMAGE.
*/
#include "config.h"
#include "Test.h"
#include <wtf/Scope.h>
#include <wtf/SequenceLocked.h>
#include <wtf/Threading.h>
namespace TestWebKitAPI {
namespace {
class SequenceLockedTest : public testing::Test {
public:
virtual void SetUp()
{
WTF::initializeMainThread();
}
};
struct Tester {
unsigned a;
unsigned b;
unsigned c;
unsigned d;
};
}
// rdar://134447305
#if !defined(NDEBUG)
TEST_F(SequenceLockedTest, DISABLED_Works)
#else
TEST_F(SequenceLockedTest, Works)
#endif
{
SequenceLocked<Tester> tester;
static_assert(sizeof(tester) - sizeof(uint64_t) == sizeof(Tester));
std::atomic<bool> done = false;
auto thread = Thread::create("SequenceLocked test"_s, [&] {
unsigned i = 0;
while (!done) {
tester.store({ i, i, i, i });
++i;
}
}, ThreadType::Audio, Thread::QOS::UserInteractive);
auto threadCleanup = makeScopeExit([&] {
thread->waitForCompletion();
});
unsigned maxValue = 0;
#ifndef NDEBUG
constexpr int iterations = 100000;
#else
constexpr int iterations = 100;
#endif
for (int i = 0; i < iterations; ++i) {
auto t = tester.load();
EXPECT_EQ(t.a, t.b);
EXPECT_EQ(t.b, t.c);
EXPECT_EQ(t.c, t.d);
EXPECT_LE(maxValue, t.a);
maxValue = t.a;
}
done = true;
}
TEST_F(SequenceLockedTest, DISABLED_WithoutSequenceLockedFails)
{
Tester tester;
std::atomic<bool> done = false;
auto thread = Thread::create("SequenceLocked test"_s, [&] {
unsigned i = 0;
while (!done) {
tester = { i, i, i, i };
++i;
}
}, ThreadType::Audio, Thread::QOS::UserInteractive);
auto threadCleanup = makeScopeExit([&] {
thread->waitForCompletion();
});
unsigned maxValue = 0;
for (int i = 0; i < 10000000; ++i) {
auto t = tester;
EXPECT_EQ(t.a, t.b) << "a:" << t.a << " b:" << t.b << " c:" << t.c << " d:" << t.d;
EXPECT_EQ(t.b, t.c) << "a:" << t.a << " b:" << t.b << " c:" << t.c << " d:" << t.d;
EXPECT_EQ(t.c, t.d) << "a:" << t.a << " b:" << t.b << " c:" << t.c << " d:" << t.d;
EXPECT_LE(maxValue, t.a);
maxValue = t.a;
}
done = true;
}
}
|
