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
|
#include <xenium/reclamation/lock_free_ref_count.hpp>
#include <xenium/reclamation/hazard_pointer.hpp>
#include <xenium/reclamation/hazard_eras.hpp>
#include <xenium/reclamation/quiescent_state_based.hpp>
#include <xenium/reclamation/generic_epoch_based.hpp>
#include <xenium/reclamation/stamp_it.hpp>
#include <xenium/michael_scott_queue.hpp>
#include <gtest/gtest.h>
#include <vector>
#include <thread>
namespace {
template <typename Reclaimer>
struct MichaelScottQueue : testing::Test {};
using Reclaimers = ::testing::Types<
xenium::reclamation::lock_free_ref_count<>,
xenium::reclamation::hazard_pointer<>::with<
xenium::policy::allocation_strategy<xenium::reclamation::hp_allocation::static_strategy<2>>>,
xenium::reclamation::hazard_eras<>::with<
xenium::policy::allocation_strategy<xenium::reclamation::he_allocation::static_strategy<2>>>,
xenium::reclamation::quiescent_state_based,
xenium::reclamation::stamp_it,
xenium::reclamation::epoch_based<>::with<xenium::policy::scan_frequency<10>>,
xenium::reclamation::new_epoch_based<>::with<xenium::policy::scan_frequency<10>>,
xenium::reclamation::debra<>::with<xenium::policy::scan_frequency<10>>
>;
TYPED_TEST_CASE(MichaelScottQueue, Reclaimers);
TYPED_TEST(MichaelScottQueue, push_try_pop_returns_pushed_element)
{
xenium::michael_scott_queue<int, xenium::policy::reclaimer<TypeParam>> queue;
queue.push(42);
int elem;
EXPECT_TRUE(queue.try_pop(elem));
EXPECT_EQ(42, elem);
}
TYPED_TEST(MichaelScottQueue, push_two_items_pop_them_in_FIFO_order)
{
xenium::michael_scott_queue<int, xenium::policy::reclaimer<TypeParam>> queue;
queue.push(42);
queue.push(43);
int elem1, elem2;
EXPECT_TRUE(queue.try_pop(elem1));
EXPECT_TRUE(queue.try_pop(elem2));
EXPECT_EQ(42, elem1);
EXPECT_EQ(43, elem2);
}
TYPED_TEST(MichaelScottQueue, supports_move_only_types)
{
xenium::michael_scott_queue<std::unique_ptr<int>, xenium::policy::reclaimer<TypeParam>> queue;
queue.push(std::unique_ptr<int>(new int(42)));
std::unique_ptr<int> elem;
ASSERT_TRUE(queue.try_pop(elem));
ASSERT_NE(nullptr, elem);
EXPECT_EQ(42, *elem);
}
TYPED_TEST(MichaelScottQueue, parallel_usage)
{
using Reclaimer = TypeParam;
xenium::michael_scott_queue<int, xenium::policy::reclaimer<Reclaimer>> queue;
std::vector<std::thread> threads;
for (int i = 0; i < 4; ++i)
{
threads.push_back(std::thread([i, &queue]
{
#ifdef DEBUG
const int MaxIterations = 1000;
#else
const int MaxIterations = 10000;
#endif
for (int j = 0; j < MaxIterations; ++j)
{
[[maybe_unused]] typename Reclaimer::region_guard guard{};
queue.push(i);
int v;
EXPECT_TRUE(queue.try_pop(v));
}
}));
}
for (auto& thread : threads)
thread.join();
}
}
|
