1 // Copyright (c) 2012-2017 The Bitcoin Core developers
2 // Distributed under the MIT software license, see the accompanying
3 // file COPYING or http://www.opensource.org/licenses/mit-license.php.
7 #include <validation.h>
9 #include <test/test_bitcoin.h>
10 #include <checkqueue.h>
11 #include <boost/test/unit_test.hpp>
12 #include <boost/thread.hpp>
17 #include <condition_variable>
19 #include <unordered_set>
23 // BasicTestingSetup not sufficient because nScriptCheckThreads is not set
25 BOOST_FIXTURE_TEST_SUITE(checkqueue_tests
, TestingSetup
)
27 static const unsigned int QUEUE_BATCH_SIZE
= 128;
34 void swap(FakeCheck
& x
){};
37 struct FakeCheckCheckCompletion
{
38 static std::atomic
<size_t> n_calls
;
41 n_calls
.fetch_add(1, std::memory_order_relaxed
);
44 void swap(FakeCheckCheckCompletion
& x
){};
49 FailingCheck(bool _fails
) : fails(_fails
){};
50 FailingCheck() : fails(true){};
55 void swap(FailingCheck
& x
)
57 std::swap(fails
, x
.fails
);
63 static std::unordered_multiset
<size_t> results
;
65 UniqueCheck(size_t check_id_in
) : check_id(check_id_in
){};
66 UniqueCheck() : check_id(0){};
69 std::lock_guard
<std::mutex
> l(m
);
70 results
.insert(check_id
);
73 void swap(UniqueCheck
& x
) { std::swap(x
.check_id
, check_id
); };
78 static std::atomic
<size_t> fake_allocated_memory
;
85 MemoryCheck(const MemoryCheck
& x
)
87 // We have to do this to make sure that destructor calls are paired
89 // Really, copy constructor should be deletable, but CCheckQueue breaks
90 // if it is deleted because of internal push_back.
91 fake_allocated_memory
.fetch_add(b
, std::memory_order_relaxed
);
93 MemoryCheck(bool b_
) : b(b_
)
95 fake_allocated_memory
.fetch_add(b
, std::memory_order_relaxed
);
99 fake_allocated_memory
.fetch_sub(b
, std::memory_order_relaxed
);
101 void swap(MemoryCheck
& x
) { std::swap(b
, x
.b
); };
104 struct FrozenCleanupCheck
{
105 static std::atomic
<uint64_t> nFrozen
;
106 static std::condition_variable cv
;
108 // Freezing can't be the default initialized behavior given how the queue
109 // swaps in default initialized Checks.
110 bool should_freeze
{false};
115 FrozenCleanupCheck() {}
116 ~FrozenCleanupCheck()
119 std::unique_lock
<std::mutex
> l(m
);
120 nFrozen
.store(1, std::memory_order_relaxed
);
122 cv
.wait(l
, []{ return nFrozen
.load(std::memory_order_relaxed
) == 0;});
125 void swap(FrozenCleanupCheck
& x
){std::swap(should_freeze
, x
.should_freeze
);};
128 // Static Allocations
129 std::mutex
FrozenCleanupCheck::m
{};
130 std::atomic
<uint64_t> FrozenCleanupCheck::nFrozen
{0};
131 std::condition_variable
FrozenCleanupCheck::cv
{};
132 std::mutex
UniqueCheck::m
;
133 std::unordered_multiset
<size_t> UniqueCheck::results
;
134 std::atomic
<size_t> FakeCheckCheckCompletion::n_calls
{0};
135 std::atomic
<size_t> MemoryCheck::fake_allocated_memory
{0};
138 typedef CCheckQueue
<FakeCheckCheckCompletion
> Correct_Queue
;
139 typedef CCheckQueue
<FakeCheck
> Standard_Queue
;
140 typedef CCheckQueue
<FailingCheck
> Failing_Queue
;
141 typedef CCheckQueue
<UniqueCheck
> Unique_Queue
;
142 typedef CCheckQueue
<MemoryCheck
> Memory_Queue
;
143 typedef CCheckQueue
<FrozenCleanupCheck
> FrozenCleanup_Queue
;
146 /** This test case checks that the CCheckQueue works properly
147 * with each specified size_t Checks pushed.
149 void Correct_Queue_range(std::vector
<size_t> range
)
151 auto small_queue
= std::unique_ptr
<Correct_Queue
>(new Correct_Queue
{QUEUE_BATCH_SIZE
});
152 boost::thread_group tg
;
153 for (auto x
= 0; x
< nScriptCheckThreads
; ++x
) {
154 tg
.create_thread([&]{small_queue
->Thread();});
156 // Make vChecks here to save on malloc (this test can be slow...)
157 std::vector
<FakeCheckCheckCompletion
> vChecks
;
158 for (auto i
: range
) {
160 FakeCheckCheckCompletion::n_calls
= 0;
161 CCheckQueueControl
<FakeCheckCheckCompletion
> control(small_queue
.get());
163 vChecks
.resize(std::min(total
, (size_t) InsecureRandRange(10)));
164 total
-= vChecks
.size();
165 control
.Add(vChecks
);
167 BOOST_REQUIRE(control
.Wait());
168 if (FakeCheckCheckCompletion::n_calls
!= i
) {
169 BOOST_REQUIRE_EQUAL(FakeCheckCheckCompletion::n_calls
, i
);
170 BOOST_TEST_MESSAGE("Failure on trial " << i
<< " expected, got " << FakeCheckCheckCompletion::n_calls
);
177 /** Test that 0 checks is correct
179 BOOST_AUTO_TEST_CASE(test_CheckQueue_Correct_Zero
)
181 std::vector
<size_t> range
;
182 range
.push_back((size_t)0);
183 Correct_Queue_range(range
);
185 /** Test that 1 check is correct
187 BOOST_AUTO_TEST_CASE(test_CheckQueue_Correct_One
)
189 std::vector
<size_t> range
;
190 range
.push_back((size_t)1);
191 Correct_Queue_range(range
);
193 /** Test that MAX check is correct
195 BOOST_AUTO_TEST_CASE(test_CheckQueue_Correct_Max
)
197 std::vector
<size_t> range
;
198 range
.push_back(100000);
199 Correct_Queue_range(range
);
201 /** Test that random numbers of checks are correct
203 BOOST_AUTO_TEST_CASE(test_CheckQueue_Correct_Random
)
205 std::vector
<size_t> range
;
206 range
.reserve(100000/1000);
207 for (size_t i
= 2; i
< 100000; i
+= std::max((size_t)1, (size_t)InsecureRandRange(std::min((size_t)1000, ((size_t)100000) - i
))))
209 Correct_Queue_range(range
);
213 /** Test that failing checks are caught */
214 BOOST_AUTO_TEST_CASE(test_CheckQueue_Catches_Failure
)
216 auto fail_queue
= std::unique_ptr
<Failing_Queue
>(new Failing_Queue
{QUEUE_BATCH_SIZE
});
218 boost::thread_group tg
;
219 for (auto x
= 0; x
< nScriptCheckThreads
; ++x
) {
220 tg
.create_thread([&]{fail_queue
->Thread();});
223 for (size_t i
= 0; i
< 1001; ++i
) {
224 CCheckQueueControl
<FailingCheck
> control(fail_queue
.get());
225 size_t remaining
= i
;
227 size_t r
= InsecureRandRange(10);
229 std::vector
<FailingCheck
> vChecks
;
231 for (size_t k
= 0; k
< r
&& remaining
; k
++, remaining
--)
232 vChecks
.emplace_back(remaining
== 1);
233 control
.Add(vChecks
);
235 bool success
= control
.Wait();
237 BOOST_REQUIRE(!success
);
239 BOOST_REQUIRE(success
);
245 // Test that a block validation which fails does not interfere with
246 // future blocks, ie, the bad state is cleared.
247 BOOST_AUTO_TEST_CASE(test_CheckQueue_Recovers_From_Failure
)
249 auto fail_queue
= std::unique_ptr
<Failing_Queue
>(new Failing_Queue
{QUEUE_BATCH_SIZE
});
250 boost::thread_group tg
;
251 for (auto x
= 0; x
< nScriptCheckThreads
; ++x
) {
252 tg
.create_thread([&]{fail_queue
->Thread();});
255 for (auto times
= 0; times
< 10; ++times
) {
256 for (bool end_fails
: {true, false}) {
257 CCheckQueueControl
<FailingCheck
> control(fail_queue
.get());
259 std::vector
<FailingCheck
> vChecks
;
260 vChecks
.resize(100, false);
261 vChecks
[99] = end_fails
;
262 control
.Add(vChecks
);
264 bool r
=control
.Wait();
265 BOOST_REQUIRE(r
!= end_fails
);
272 // Test that unique checks are actually all called individually, rather than
273 // just one check being called repeatedly. Test that checks are not called
274 // more than once as well
275 BOOST_AUTO_TEST_CASE(test_CheckQueue_UniqueCheck
)
277 auto queue
= std::unique_ptr
<Unique_Queue
>(new Unique_Queue
{QUEUE_BATCH_SIZE
});
278 boost::thread_group tg
;
279 for (auto x
= 0; x
< nScriptCheckThreads
; ++x
) {
280 tg
.create_thread([&]{queue
->Thread();});
284 size_t COUNT
= 100000;
285 size_t total
= COUNT
;
287 CCheckQueueControl
<UniqueCheck
> control(queue
.get());
289 size_t r
= InsecureRandRange(10);
290 std::vector
<UniqueCheck
> vChecks
;
291 for (size_t k
= 0; k
< r
&& total
; k
++)
292 vChecks
.emplace_back(--total
);
293 control
.Add(vChecks
);
297 BOOST_REQUIRE_EQUAL(UniqueCheck::results
.size(), COUNT
);
298 for (size_t i
= 0; i
< COUNT
; ++i
)
299 r
= r
&& UniqueCheck::results
.count(i
) == 1;
306 // Test that blocks which might allocate lots of memory free their memory aggressively.
308 // This test attempts to catch a pathological case where by lazily freeing
309 // checks might mean leaving a check un-swapped out, and decreasing by 1 each
310 // time could leave the data hanging across a sequence of blocks.
311 BOOST_AUTO_TEST_CASE(test_CheckQueue_Memory
)
313 auto queue
= std::unique_ptr
<Memory_Queue
>(new Memory_Queue
{QUEUE_BATCH_SIZE
});
314 boost::thread_group tg
;
315 for (auto x
= 0; x
< nScriptCheckThreads
; ++x
) {
316 tg
.create_thread([&]{queue
->Thread();});
318 for (size_t i
= 0; i
< 1000; ++i
) {
321 CCheckQueueControl
<MemoryCheck
> control(queue
.get());
323 size_t r
= InsecureRandRange(10);
324 std::vector
<MemoryCheck
> vChecks
;
325 for (size_t k
= 0; k
< r
&& total
; k
++) {
327 // Each iteration leaves data at the front, back, and middle
328 // to catch any sort of deallocation failure
329 vChecks
.emplace_back(total
== 0 || total
== i
|| total
== i
/2);
331 control
.Add(vChecks
);
334 BOOST_REQUIRE_EQUAL(MemoryCheck::fake_allocated_memory
, 0);
340 // Test that a new verification cannot occur until all checks
341 // have been destructed
342 BOOST_AUTO_TEST_CASE(test_CheckQueue_FrozenCleanup
)
344 auto queue
= std::unique_ptr
<FrozenCleanup_Queue
>(new FrozenCleanup_Queue
{QUEUE_BATCH_SIZE
});
345 boost::thread_group tg
;
347 for (auto x
= 0; x
< nScriptCheckThreads
; ++x
) {
348 tg
.create_thread([&]{queue
->Thread();});
350 std::thread
t0([&]() {
351 CCheckQueueControl
<FrozenCleanupCheck
> control(queue
.get());
352 std::vector
<FrozenCleanupCheck
> vChecks(1);
353 // Freezing can't be the default initialized behavior given how the queue
354 // swaps in default initialized Checks (otherwise freezing destructor
355 // would get called twice).
356 vChecks
[0].should_freeze
= true;
357 control
.Add(vChecks
);
358 control
.Wait(); // Hangs here
361 std::unique_lock
<std::mutex
> l(FrozenCleanupCheck::m
);
362 // Wait until the queue has finished all jobs and frozen
363 FrozenCleanupCheck::cv
.wait(l
, [](){return FrozenCleanupCheck::nFrozen
== 1;});
365 // Try to get control of the queue a bunch of times
366 for (auto x
= 0; x
< 100 && !fails
; ++x
) {
367 fails
= queue
->ControlMutex
.try_lock();
370 // Unfreeze (we need lock n case of spurious wakeup)
371 std::unique_lock
<std::mutex
> l(FrozenCleanupCheck::m
);
372 FrozenCleanupCheck::nFrozen
= 0;
374 // Awaken frozen destructor
375 FrozenCleanupCheck::cv
.notify_one();
376 // Wait for control to finish
380 BOOST_REQUIRE(!fails
);
384 /** Test that CCheckQueueControl is threadsafe */
385 BOOST_AUTO_TEST_CASE(test_CheckQueueControl_Locks
)
387 auto queue
= std::unique_ptr
<Standard_Queue
>(new Standard_Queue
{QUEUE_BATCH_SIZE
});
389 boost::thread_group tg
;
390 std::atomic
<int> nThreads
{0};
391 std::atomic
<int> fails
{0};
392 for (size_t i
= 0; i
< 3; ++i
) {
395 CCheckQueueControl
<FakeCheck
> control(queue
.get());
396 // While sleeping, no other thread should execute to this point
397 auto observed
= ++nThreads
;
399 fails
+= observed
!= nThreads
;
403 BOOST_REQUIRE_EQUAL(fails
, 0);
406 boost::thread_group tg
;
408 std::condition_variable cv
;
410 bool has_lock
{false};
411 bool has_tried
{false};
413 bool done_ack
{false};
414 std::unique_lock
<std::mutex
> l(m
);
415 tg
.create_thread([&]{
416 CCheckQueueControl
<FakeCheck
> control(queue
.get());
417 std::unique_lock
<std::mutex
> ll(m
);
420 cv
.wait(ll
, [&]{return has_tried
;});
423 // Wait until the done is acknowledged
425 cv
.wait(ll
, [&]{return done_ack
;});
427 // Wait for thread to get the lock
428 cv
.wait(l
, [&](){return has_lock
;});
430 for (auto x
= 0; x
< 100 && !fails
; ++x
) {
431 fails
= queue
->ControlMutex
.try_lock();
435 cv
.wait(l
, [&](){return done
;});
436 // Acknowledge the done
439 BOOST_REQUIRE(!fails
);
444 BOOST_AUTO_TEST_SUITE_END()