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 544 of file file_bplus_tree_test.cc.

References Aleph::divide_and_conquer_partition_dp(), 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 556 of file file_bplus_tree_test.cc.

References Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::checkpoint(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::checkpoint_sequence(), Aleph::divide_and_conquer_partition_dp(), 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 934 of file file_bplus_tree_test.cc.

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

TEST() [4/20]

TEST	(	FileBPlusTree	,
		LazyIteratorsTraverseLeafChain
	)

Definition at line 480 of file file_bplus_tree_test.cc.

References Aleph::divide_and_conquer_partition_dp(), 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(), and Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::insert().

TEST() [5/20]

TEST	(	FileBPlusTree	,
		ReadOnlyRejectsMutations
	)

Definition at line 617 of file file_bplus_tree_test.cc.

References Aleph::divide_and_conquer_partition_dp(), 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 637 of file file_bplus_tree_test.cc.

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

TEST() [7/20]

TEST	(	FileBPlusTree	,
		ReadOnlySharedLocksWorkAcrossProcesses
	)

Definition at line 660 of file file_bplus_tree_test.cc.

References Aleph::divide_and_conquer_partition_dp(), 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 590 of file file_bplus_tree_test.cc.

References Aleph::divide_and_conquer_partition_dp(), 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(), and Aleph::to_vector().

TEST() [9/20]

TEST	(	FileBPlusTree	,
		RecoversFromJournalImage
	)

Definition at line 785 of file file_bplus_tree_test.cc.

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

TEST() [10/20]

TEST	(	FileBPlusTree	,
		RecoversFromPartiallyCheckpointedWal
	)

Definition at line 879 of file file_bplus_tree_test.cc.

References Aleph::divide_and_conquer_partition_dp(), 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(), and Aleph::to_vector().

TEST() [11/20]

TEST	(	FileBPlusTree	,
		RecoversFromWalImage
	)

Definition at line 814 of file file_bplus_tree_test.cc.

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

TEST() [12/20]

TEST	(	FileBPlusTree	,
		RejectsBTreeSnapshotFormat
	)

Definition at line 741 of file file_bplus_tree_test.cc.

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

TEST() [13/20]

TEST	(	FileBPlusTree	,
		RejectsChecksumCorruption
	)

Definition at line 755 of file file_bplus_tree_test.cc.

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

TEST() [14/20]

TEST	(	FileBPlusTree	,
		RejectsCorruptWalCommitTrailer
	)

Definition at line 840 of file file_bplus_tree_test.cc.

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

TEST() [15/20]

TEST	(	FileBPlusTree	,
		ReloadRestoresPersistedLeafSequence
	)

Definition at line 460 of file file_bplus_tree_test.cc.

References Aleph::divide_and_conquer_partition_dp(), 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(), and Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::verify().

TEST() [16/20]

TEST	(	FileBPlusTree	,
		ReopenAfterSplitsAndMergesPreservesStructure
	)

Definition at line 968 of file file_bplus_tree_test.cc.

References Aleph::divide_and_conquer_partition_dp(), 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(), and Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::verify().

TEST() [17/20]

TEST	(	FileBPlusTree	,
		ReopensAndPreservesRangeQueries
	)

Definition at line 436 of file file_bplus_tree_test.cc.

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

TEST() [18/20]

TEST	(	FileBPlusTree	,
		ReusesStaleLockSidecar
	)

Definition at line 720 of file file_bplus_tree_test.cc.

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

TEST() [19/20]

TEST	(	FileBPlusTree	,
		SecondOpenSameProcessIsRejected
	)

Definition at line 581 of file file_bplus_tree_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [20/20]

TEST	(	FileBPlusTree	,
		SupportsBoundedStringCodec
	)

Definition at line 507 of file file_bplus_tree_test.cc.

References Aleph::divide_and_conquer_partition_dp(), 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().