file_b_tree_test.cc File Reference

Tests for page-managed File_B_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_bplus_tree.H>
#include <tpl_file_b_tree.H>

Include dependency graph for file_b_tree_test.cc:

Go to the source code of this file.

Functions
	TEST (FileBTree, ReopensPersistedKeys)
	TEST (FileBTree, AutoSyncCanBeDisabledAndForced)
	TEST (FileBTree, CheckpointSequenceAdvancesAndPersists)
	TEST (FileBTree, SupportsBoundedStringCodec)
	TEST (FileBTree, SecondOpenSameProcessIsRejected)
	TEST (FileBTree, ReadOnlySharedOpensAreAllowedAndBlockWriter)
	TEST (FileBTree, ReadOnlyRejectsMutations)
	TEST (FileBTree, ReadOnlyRejectsPendingRecoverySidecars)
	TEST (FileBTree, ReadOnlySharedLocksWorkAcrossProcesses)
	TEST (FileBTree, ReusesStaleLockSidecar)
	TEST (FileBTree, ReloadDiscardsUnsyncedChanges)
	TEST (FileBTree, RejectsCorruptSnapshot)
	TEST (FileBTree, RejectsChecksumCorruption)
	TEST (FileBTree, RecoversFromJournalImage)
	TEST (FileBTree, RecoversFromWalImage)
	TEST (FileBTree, RejectsCorruptWalCommitTrailer)
	TEST (FileBTree, RecoversFromPartiallyCheckpointedWal)
	TEST (FileBTree, IgnoresStaleWalWhenMainFileIsNewer)
	TEST (FileBTree, RejectsBPlusTreeFormat)
	TEST (FileBTree, ReopenAfterSplitsAndMergesPreservesStructure)

Detailed Description

Tests for page-managed File_B_Tree.

Definition in file file_b_tree_test.cc.

Function Documentation

TEST() [1/20]

TEST	(	FileBTree	,
		AutoSyncCanBeDisabledAndForced
	)

Definition at line 488 of file file_b_tree_test.cc.

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

TEST() [2/20]

TEST	(	FileBTree	,
		CheckpointSequenceAdvancesAndPersists
	)

Definition at line 516 of file file_b_tree_test.cc.

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

TEST() [3/20]

TEST	(	FileBTree	,
		IgnoresStaleWalWhenMainFileIsNewer
	)

Definition at line 941 of file file_b_tree_test.cc.

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

TEST() [4/20]

TEST	(	FileBTree	,
		ReadOnlyRejectsMutations
	)

Definition at line 606 of file file_b_tree_test.cc.

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

TEST() [5/20]

TEST	(	FileBTree	,
		ReadOnlyRejectsPendingRecoverySidecars
	)

Definition at line 626 of file file_b_tree_test.cc.

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

TEST() [6/20]

TEST	(	FileBTree	,
		ReadOnlySharedLocksWorkAcrossProcesses
	)

Definition at line 649 of file file_b_tree_test.cc.

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

TEST() [7/20]

TEST	(	FileBTree	,
		ReadOnlySharedOpensAreAllowedAndBlockWriter
	)

Definition at line 580 of file file_b_tree_test.cc.

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

TEST() [8/20]

TEST	(	FileBTree	,
		RecoversFromJournalImage
	)

Definition at line 790 of file file_b_tree_test.cc.

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

TEST() [9/20]

TEST	(	FileBTree	,
		RecoversFromPartiallyCheckpointedWal
	)

Definition at line 884 of file file_b_tree_test.cc.

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

TEST() [10/20]

TEST	(	FileBTree	,
		RecoversFromWalImage
	)

Definition at line 819 of file file_b_tree_test.cc.

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

TEST() [11/20]

TEST	(	FileBTree	,
		RejectsBPlusTreeFormat
	)

Definition at line 975 of file file_b_tree_test.cc.

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

TEST() [12/20]

TEST	(	FileBTree	,
		RejectsChecksumCorruption
	)

Definition at line 760 of file file_b_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	(	FileBTree	,
		RejectsCorruptSnapshot
	)

Definition at line 747 of file file_b_tree_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [14/20]

TEST	(	FileBTree	,
		RejectsCorruptWalCommitTrailer
	)

Definition at line 845 of file file_b_tree_test.cc.

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

TEST() [15/20]

TEST	(	FileBTree	,
		ReloadDiscardsUnsyncedChanges
	)

Definition at line 729 of file file_b_tree_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::insert(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::keys(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::reload(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::remove(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::sync(), Aleph::to_vector(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::verify().

TEST() [16/20]

TEST	(	FileBTree	,
		ReopenAfterSplitsAndMergesPreservesStructure
	)

Definition at line 989 of file file_b_tree_test.cc.

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

TEST() [17/20]

TEST	(	FileBTree	,
		ReopensPersistedKeys
	)

Definition at line 466 of file file_b_tree_test.cc.

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

TEST() [18/20]

TEST	(	FileBTree	,
		ReusesStaleLockSidecar
	)

Definition at line 708 of file file_b_tree_test.cc.

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

TEST() [19/20]

TEST	(	FileBTree	,
		SecondOpenSameProcessIsRejected
	)

Definition at line 571 of file file_b_tree_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [20/20]

TEST	(	FileBTree	,
		SupportsBoundedStringCodec
	)

Definition at line 541 of file file_b_tree_test.cc.

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