memgraph/tests/unit/dynamic_bitset.cpp
Dominik Gleich eb30ecb6a0 Commit log gc
Summary: Adds a commit log garbage collector, which clears old transactions from the commit log

Reviewers: florijan

Reviewed By: florijan

Subscribers: pullbot

Differential Revision: https://phabricator.memgraph.io/D1310
2018-04-04 10:25:25 +02:00

132 lines
2.9 KiB
C++

#include "gmock/gmock.h"
#include "gtest/gtest.h"
#include "data_structures/bitset/dynamic_bitset.hpp"
namespace {
template <typename T>
class DynamicBitsetTest : public ::testing::Test {};
typedef ::testing::Types<DynamicBitset<>, DynamicBitset<uint8_t, 8>>
DynamicBitsetTypes;
TYPED_TEST_CASE(DynamicBitsetTest, DynamicBitsetTypes);
TYPED_TEST(DynamicBitsetTest, BasicAtAndSet) {
TypeParam db;
EXPECT_EQ(db.at(17, 1), 0);
EXPECT_EQ(db.at(17), false);
db.set(17, 1);
EXPECT_EQ(db.at(17, 1), 1);
EXPECT_EQ(db.at(17), true);
}
TYPED_TEST(DynamicBitsetTest, GroupAt) {
TypeParam db;
db.set(0, 1);
db.set(1, 1);
EXPECT_EQ(db.at(0, 2), 1 | 2);
db.set(3, 1);
EXPECT_EQ(db.at(0, 2), 1 | 2);
EXPECT_EQ(db.at(0, 3), 1 | 2);
EXPECT_EQ(db.at(0, 4), 1 | 2 | 8);
EXPECT_EQ(db.at(1, 1), 1);
EXPECT_EQ(db.at(1, 2), 1);
EXPECT_EQ(db.at(1, 3), 1 | 4);
}
TYPED_TEST(DynamicBitsetTest, GroupSet) {
TypeParam db;
EXPECT_EQ(db.at(0, 3), 0);
db.set(1, 2);
EXPECT_FALSE(db.at(0));
EXPECT_TRUE(db.at(1));
EXPECT_TRUE(db.at(2));
EXPECT_FALSE(db.at(3));
}
class Clear : public ::testing::Test {
protected:
DynamicBitset<> db;
void SetUp() override {
db.set(17, 1);
db.set(18, 1);
EXPECT_EQ(db.at(17), true);
EXPECT_EQ(db.at(18), true);
}
};
TEST_F(Clear, OneElement) {
db.clear(17, 1);
EXPECT_EQ(db.at(17), false);
EXPECT_EQ(db.at(18), true);
}
TEST_F(Clear, Group) {
db.clear(17, 2);
EXPECT_EQ(db.at(17), false);
EXPECT_EQ(db.at(18), false);
}
TEST_F(Clear, EmptyGroup) {
db.clear(17, 0);
EXPECT_EQ(db.at(17), true);
EXPECT_EQ(db.at(18), true);
}
TEST(DynamicBitset, ConstBitset) {
auto const_accepting = [](const DynamicBitset<> &cdbs) {
EXPECT_FALSE(cdbs.at(16));
EXPECT_TRUE(cdbs.at(17));
EXPECT_FALSE(cdbs.at(18));
};
DynamicBitset<> dbs;
dbs.set(17);
const_accepting(dbs);
}
TEST(DynamicBitSet, PrefixDeleteDontDeleteHead) {
DynamicBitset<uint8_t, 8> dbs;
dbs.set(7, 1);
dbs.delete_prefix(8);
EXPECT_EQ(dbs.at(7), 1);
}
// Checks that the block is not deleted when off by one error in interval
// endpoint
TEST(DynamicBitSet, PrefixDeleteDeleteOneBlockOffByOne) {
DynamicBitset<uint8_t, 8> dbs;
dbs.set(7, 1);
// Extends number of blocks
dbs.set(10, 1);
dbs.delete_prefix(7);
EXPECT_EQ(dbs.at(7), 1);
}
TEST(DynamicBitSet, DeletePrefixDeleteOneBlock) {
DynamicBitset<uint8_t, 8> dbs;
dbs.set(7, 1);
// Extends number of blocks
dbs.set(10, 1);
dbs.delete_prefix(8);
EXPECT_DEATH(dbs.at(7), "chunk is nullptr");
EXPECT_EQ(dbs.at(10), 1);
}
TEST(DynamicBitSet, DeletePrefixDeleteMultipleBlocks) {
DynamicBitset<uint8_t, 8> dbs;
dbs.set(7, 1);
dbs.set(15, 1);
dbs.set(23, 1);
dbs.set(31, 1);
dbs.delete_prefix(30);
EXPECT_DEATH(dbs.at(7), "chunk is nullptr");
EXPECT_DEATH(dbs.at(15), "chunk is nullptr");
EXPECT_DEATH(dbs.at(23), "chunk is nullptr");
EXPECT_EQ(dbs.at(31), 1);
}
} // namespace