file_bplus_tree_test.cc File Reference

Tests for page-managed File_BPlus_Tree. More...

#include <gtest/gtest.h>
#include <array>
#include <atomic>
#include <bit>
#include <chrono>
#include <cstdint>
#include <filesystem>
#include <fstream>
#include <string>
#include <vector>
#include <tpl_file_b_tree.H>
#include <tpl_file_bplus_tree.H>

Include dependency graph for file_bplus_tree_test.cc:

Go to the source code of this file.

Functions
	TEST (FileBPlusTree, ReopensAndPreservesRangeQueries)
	TEST (FileBPlusTree, ReloadRestoresPersistedLeafSequence)
	TEST (FileBPlusTree, LazyIteratorsTraverseLeafChain)
	TEST (FileBPlusTree, SupportsBoundedStringCodec)
	TEST (FileBPlusTree, BoundedStringCodecRejectsOversizedKeys)
	TEST (FileBPlusTree, CheckpointSequenceAdvancesAndPersists)
	TEST (FileBPlusTree, SecondOpenSameProcessIsRejected)
	TEST (FileBPlusTree, ReadOnlySharedOpensAreAllowedAndBlockWriter)
	TEST (FileBPlusTree, ReadOnlyRejectsMutations)
	TEST (FileBPlusTree, ReadOnlyRejectsPendingRecoverySidecars)
	TEST (FileBPlusTree, ReadOnlySharedLocksWorkAcrossProcesses)
	TEST (FileBPlusTree, ReusesStaleLockSidecar)
	TEST (FileBPlusTree, RejectsBTreeSnapshotFormat)
	TEST (FileBPlusTree, RejectsChecksumCorruption)
	TEST (FileBPlusTree, RecoversFromJournalImage)
	TEST (FileBPlusTree, RecoversFromWalImage)
	TEST (FileBPlusTree, RejectsCorruptWalCommitTrailer)
	TEST (FileBPlusTree, RecoversFromPartiallyCheckpointedWal)
	TEST (FileBPlusTree, IgnoresStaleWalWhenMainFileIsNewer)
	TEST (FileBPlusTree, ReopenAfterSplitsAndMergesPreservesStructure)

Detailed Description

Tests for page-managed File_BPlus_Tree.

Definition in file file_bplus_tree_test.cc.

Function Documentation

TEST() [1/20]

TEST	(	FileBPlusTree	,
		BoundedStringCodecRejectsOversizedKeys
	)

Definition at line 565 of file file_bplus_tree_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::insert(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::sync(), and Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::verify().

TEST() [2/20]

TEST	(	FileBPlusTree	,
		CheckpointSequenceAdvancesAndPersists
	)

Definition at line 577 of file file_bplus_tree_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::checkpoint(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::checkpoint_sequence(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::insert(), and Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::sync().

TEST() [3/20]

TEST	(	FileBPlusTree	,
		IgnoresStaleWalWhenMainFileIsNewer
	)

Definition at line 955 of file file_bplus_tree_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::insert(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::sync(), Aleph::to_vector(), and value.

TEST() [4/20]

TEST	(	FileBPlusTree	,
		LazyIteratorsTraverseLeafChain
	)

Definition at line 501 of file file_bplus_tree_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::get_it(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::get_range_it(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Iterator::has_curr(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::insert(), and value.

TEST() [5/20]

TEST	(	FileBPlusTree	,
		ReadOnlyRejectsMutations
	)

Definition at line 638 of file file_bplus_tree_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::insert(), Aleph::Read_Only, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::sync(), and Aleph::to_vector().

TEST() [6/20]

TEST	(	FileBPlusTree	,
		ReadOnlyRejectsPendingRecoverySidecars
	)

Definition at line 658 of file file_bplus_tree_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::insert(), out, Aleph::Read_Only, and Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::sync().

TEST() [7/20]

TEST	(	FileBPlusTree	,
		ReadOnlySharedLocksWorkAcrossProcesses
	)

Definition at line 681 of file file_bplus_tree_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::insert(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::range(), Aleph::Read_Only, Aleph::Read_Write, Aleph::Array< T >::size(), and Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::sync().

TEST() [8/20]

TEST	(	FileBPlusTree	,
		ReadOnlySharedOpensAreAllowedAndBlockWriter
	)

Definition at line 611 of file file_bplus_tree_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::insert(), Aleph::Read_Only, Aleph::Read_Write, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::sync(), Aleph::to_vector(), and value.

TEST() [9/20]

TEST	(	FileBPlusTree	,
		RecoversFromJournalImage
	)

Definition at line 806 of file file_bplus_tree_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::insert(), out, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::sync(), Aleph::to_vector(), and value.

TEST() [10/20]

TEST	(	FileBPlusTree	,
		RecoversFromPartiallyCheckpointedWal
	)

Definition at line 900 of file file_bplus_tree_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::insert(), Aleph::detail::Ordered_Tree_Snapshot_Magic_Size, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::remove(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::sync(), Aleph::to_vector(), and value.

TEST() [11/20]

TEST	(	FileBPlusTree	,
		RecoversFromWalImage
	)

Definition at line 835 of file file_bplus_tree_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::insert(), out, Aleph::to_vector(), and value.

TEST() [12/20]

TEST	(	FileBPlusTree	,
		RejectsBTreeSnapshotFormat
	)

Definition at line 762 of file file_bplus_tree_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::insert().

TEST() [13/20]

TEST	(	FileBPlusTree	,
		RejectsChecksumCorruption
	)

Definition at line 776 of file file_bplus_tree_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::insert(), and value.

TEST() [14/20]

TEST	(	FileBPlusTree	,
		RejectsCorruptWalCommitTrailer
	)

Definition at line 861 of file file_bplus_tree_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::insert(), out, and value.

TEST() [15/20]

TEST	(	FileBPlusTree	,
		ReloadRestoresPersistedLeafSequence
	)

Definition at line 481 of file file_bplus_tree_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::insert(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::range(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::reload(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::remove(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::sync(), Aleph::to_vector(), value, and Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::verify().

TEST() [16/20]

TEST	(	FileBPlusTree	,
		ReopenAfterSplitsAndMergesPreservesStructure
	)

Definition at line 989 of file file_bplus_tree_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::insert(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::remove(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::sync(), Aleph::to_vector(), value, and Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::verify().

TEST() [17/20]

TEST	(	FileBPlusTree	,
		ReopensAndPreservesRangeQueries
	)

Definition at line 457 of file file_bplus_tree_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::insert(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::range(), Aleph::to_vector(), value, and Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::verify().

TEST() [18/20]

TEST	(	FileBPlusTree	,
		ReusesStaleLockSidecar
	)

Definition at line 741 of file file_bplus_tree_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::insert(), out, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::sync(), and Aleph::to_vector().

TEST() [19/20]

TEST	(	FileBPlusTree	,
		SecondOpenSameProcessIsRejected
	)

Definition at line 602 of file file_bplus_tree_test.cc.

References Aleph::blossom_maximum_cardinality_matching().

TEST() [20/20]

TEST	(	FileBPlusTree	,
		SupportsBoundedStringCodec
	)

Definition at line 528 of file file_bplus_tree_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::insert(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::range(), Aleph::Read_Only, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::sync(), Aleph::to_vector(), and Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::verify().