Aleph-w 3.0
A C++ Library for Data Structures and Algorithms
Loading...
Searching...
No Matches
Classes | Public Types | Public Member Functions | Static Public Attributes | Private Types | Private Member Functions | Static Private Member Functions | Private Attributes | Static Private Attributes | List of all members
Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec > Class Template Reference

Persistent page-managed B-Tree stored in a single binary file. More...

#include <tpl_file_b_tree.H>

Inheritance diagram for Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >:
[legend]
Collaboration diagram for Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >:
[legend]

Classes

struct  Loaded_Image
 
struct  Page
 
struct  Wal_Record
 

Public Types

using key_type = Key
 Stored key type.
 
using tree_type = Gen_B_Tree< Key, Compare, MinDegree >
 Logical in-memory counterpart.
 
using page_id_type = page_id_t
 Type of on-disk page identifiers.
 
using open_mode_type = Paged_File_Open_Mode
 File opening mode type.
 

Public Member Functions

 Gen_File_B_Tree (std::string file_path, const bool auto_sync=true, const Compare &cmp=Compare())
 Open or create a paged persistent B-Tree file for read-write access.
 
 Gen_File_B_Tree (std::string file_path, const Paged_File_Open_Mode open_mode, const bool auto_sync=true, const Compare &cmp=Compare())
 Open a paged persistent B-Tree file with an explicit access mode.
 
 Gen_File_B_Tree (const char *file_path, const bool auto_sync=true, const Compare &cmp=Compare())
 Open or create a paged persistent B-Tree file for read-write access.
 
 Gen_File_B_Tree (const char *file_path, const Paged_File_Open_Mode open_mode, const bool auto_sync=true, const Compare &cmp=Compare())
 Open a paged persistent B-Tree file with an explicit access mode.
 
 Gen_File_B_Tree (const Gen_File_B_Tree &)=delete
 Copying is disabled.
 
Gen_File_B_Tree & operator= (const Gen_File_B_Tree &)=delete
 Assignment is disabled.
 
 Gen_File_B_Tree (Gen_File_B_Tree &&)=delete
 Moving is disabled.
 
Gen_File_B_Tree & operator= (Gen_File_B_Tree &&)=delete
 Move assignment is disabled.
 
 ~Gen_File_B_Tree () noexcept
 Close the backing file.
 
const Compare & key_comp () const noexcept
 Return the comparison object.
 
const Compare & get_compare () const noexcept
 Return the comparison object.
 
const std::string & file_path () const noexcept
 Return the backing file path.
 
const std::string & get_file_path () const noexcept
 Synonym for file_path().
 
Paged_File_Open_Mode open_mode () const noexcept
 Return the access mode used to open the file.
 
bool is_read_only () const noexcept
 Return whether this handle is read-only.
 
bool auto_sync_enabled () const noexcept
 Return whether automatic synchronization is enabled.
 
void set_auto_sync (const bool enabled) noexcept
 Enable or disable automatic flushing of dirty pages.
 
size_t page_size_bytes () const noexcept
 Return the fixed serialized page size.
 
size_t page_count () const noexcept
 Return the number of allocated pages currently tracked.
 
std::uint64_t checkpoint_sequence () const noexcept
 Return the durable checkpoint sequence stored in the backing file.
 
void checkpoint () const
 Synonym for sync().
 
void sync () const
 Flush the current tree image using redo WAL or full-image fallback.
 
void reload ()
 Discard unsynchronized changes and reload pages from disk.
 
bool empty () const noexcept
 Return whether the tree has no keys.
 
bool is_empty () const noexcept
 Synonym for empty().
 
size_t size () const noexcept
 Return the number of stored keys.
 
size_t height () const noexcept
 Return the current height of the paged tree.
 
void clear ()
 Remove every key from the tree.
 
bool contains (const Key &key) const
 Return whether a key is present.
 
bool search (const Key &key) const
 Synonym for contains().
 
bool insert (const Key &key)
 Insert a key if it is not already present.
 
bool insert (Key &&key)
 Insert a key by move if it is not already present.
 
bool remove (const Key &key)
 Remove a key if present.
 
std::optional< Key > min_key () const
 Return the minimum key, if any.
 
std::optional< Key > max_key () const
 Return the maximum key, if any.
 
std::optional< Key > lower_bound (const Key &key) const
 Return the first key not less than key.
 
std::optional< Key > upper_bound (const Key &key) const
 Return the first key strictly greater than key.
 
Array< Key > keys () const
 Materialize the tree contents in sorted order.
 
bool verify () const
 Verify structural B-Tree invariants across cached pages.
 

Static Public Attributes

static constexpr auto Read_Write = Paged_File_Open_Mode::Read_Write
 
static constexpr auto Read_Only = Paged_File_Open_Mode::Read_Only
 

Private Types

enum class  PageKind : std::uint8_t { Free = 0 , Internal = 1 , Leaf = 2 }
 
using page_id_t = std::uint64_t
 

Private Member Functions

detail::Pid_File_Lock_Mode lock_mode () const noexcept
 
bool read_only () const noexcept
 
void ensure_writable (const char *operation) const
 
void init_empty_cache ()
 
void ensure_parent_dir () const
 
void open_storage (const bool truncate=false) const
 
void init_sidecar_paths ()
 
void seekp_to (const std::streamoff offset) const
 
std::streamoff current_page_offset (const page_id_t page_id) const noexcept
 
void write_header_to_storage (const std::uint64_t size, const page_id_t root_page, const std::uint64_t page_count, const page_id_t free_page_head, const std::uint64_t checkpoint_sequence) const
 
void write_current_header_to_storage (const std::uint64_t checkpoint_sequence) const
 
void write_current_page_to_storage (const page_id_t page_id, const Page &page) const
 
size_t dirty_page_count () const noexcept
 
void write_wal_to_path (const std::string &target_path, const std::uint64_t checkpoint_sequence) const
 
void write_full_image (std::ostream &out, const std::string &target_path, const std::uint64_t checkpoint_sequence) const
 
void write_full_image_to_path (const std::string &target_path, const std::uint64_t checkpoint_sequence) const
 
void apply_current_cache_to_storage (const std::uint64_t checkpoint_sequence) const
 
void recover_from_wal ()
 
void recover_if_needed ()
 
Loaded_Image read_image (const std::string &source_path) const
 
void load_from_disk ()
 
void create_empty_file ()
 
bool file_exists () const
 
std::optional< std::uint32_t > storage_format_version_on_disk () const
 
std::optional< Page > read_storage_page_if_current (const page_id_t page_id) const
 
bool has_pending_changes () const noexcept
 
void clear_dirty_state () const noexcept
 
void mark_page_dirty (const page_id_t page_id)
 
void stamp_all_pages_for_checkpoint (const std::uint64_t checkpoint_sequence) noexcept
 
void mark_header_dirty () const noexcept
 
Page & page (const page_id_t page_id)
 
const Page & page (const page_id_t page_id) const
 
bool equals (const Key &lhs, const Key &rhs) const
 
bool strictly_sorted (const Page &page) const
 
size_t lower_bound_index (const Page &page, const Key &key) const
 
size_t upper_bound_index (const Page &page, const Key &key) const
 
page_id_t allocate_page (const PageKind kind)
 
void release_page (const page_id_t page_id)
 
std::optional< Key > min_in (page_id_t page_id) const
 
std::optional< Key > max_in (page_id_t page_id) const
 
void split_child (const page_id_t parent_id, const size_t idx)
 
void insert_nonfull (const page_id_t page_id, const Key &key)
 
void borrow_from_prev (const page_id_t parent_id, const size_t idx)
 
void borrow_from_next (const page_id_t parent_id, const size_t idx)
 
void merge_children (const page_id_t parent_id, const size_t idx)
 
size_t ensure_child_has_extra (const page_id_t parent_id, const size_t idx)
 
bool remove_from (const page_id_t page_id, const Key &key)
 
void collect_keys (const page_id_t page_id, Array< Key > &out) const
 
bool verify_node (const page_id_t page_id, const std::optional< Key > &min_key, const std::optional< Key > &max_key, const size_t depth, size_t &leaf_depth, size_t &counted, Array< unsigned char > &visited) const
 
void sync_if_enabled ()
 

Static Private Member Functions

static constexpr const char * tree_kind () noexcept
 
static constexpr auto file_magic () noexcept
 
static constexpr auto wal_magic () noexcept
 
static constexpr auto wal_trailer_magic () noexcept
 
static constexpr size_t legacy_header_bytes () noexcept
 
static constexpr size_t checksummed_header_bytes () noexcept
 
static constexpr size_t header_bytes () noexcept
 
static constexpr size_t legacy_page_bytes () noexcept
 
static constexpr size_t checksummed_page_bytes () noexcept
 
static constexpr size_t native_page_bytes () noexcept
 
static constexpr size_t portable_page_bytes () noexcept
 
static constexpr size_t page_bytes () noexcept
 
static constexpr size_t serialized_header_bytes (const std::uint32_t version) noexcept
 
static constexpr size_t serialized_page_bytes (const std::uint32_t version) noexcept
 
static constexpr bool version_uses_portable_codec (const std::uint32_t version) noexcept
 
static constexpr std::uint8_t encoding_marker_for_version (const std::uint32_t version) noexcept
 
static constexpr std::uint32_t key_size_for_version (const std::uint32_t version) noexcept
 
static constexpr std::array< char, 7 > reserved_bytes_for_version (const std::uint32_t version) noexcept
 
static constexpr Page make_page (const PageKind kind) noexcept
 
static void ensure_legacy_native_format_supported (const std::string &source_path, const std::uint32_t version)
 
static void ensure_legacy_native_wal_supported (const std::string &source_path, const std::uint32_t wal_version)
 
static constexpr bool is_leaf (const Page &page) noexcept
 
static constexpr bool is_internal (const Page &page) noexcept
 
static constexpr bool is_free (const Page &page) noexcept
 
template<typename T >
static void write_pod (std::ostream &out, const T &value, const std::string &file_path, const char *what)
 
template<typename T >
static T read_pod (std::istream &in, const std::string &file_path, const char *what)
 
static void write_native_key (std::ostream &out, const Key &key, const std::string &file_path, const char *what)
 
static void write_portable_key (std::ostream &out, const Key &key, const std::string &file_path, const char *what)
 
static void write_key (std::ostream &out, const Key &key, const std::string &file_path, const char *what)
 
static Key read_native_key (std::istream &in, const std::string &file_path, const char *what)
 
static Key read_portable_key (std::istream &in, const std::string &file_path, const char *what)
 
static Key read_key (std::istream &in, const std::string &file_path, const char *what, const std::uint32_t version)
 
static std::uint32_t add_key_to_crc (const std::uint32_t crc, const Key &key)
 
static std::uint32_t add_native_key_to_crc (const std::uint32_t crc, const Key &key)
 
static std::uint32_t header_checksum_v2 (const std::uint32_t version, const std::uint64_t size, const page_id_t root_page, const std::uint64_t page_count, const page_id_t free_page_head) noexcept
 
static std::uint32_t header_checksum (const std::uint32_t version, const std::uint64_t size, const page_id_t root_page, const std::uint64_t page_count, const page_id_t free_page_head, const std::uint64_t checkpoint_sequence) noexcept
 
static std::uint32_t page_checksum_v3 (const Page &page)
 
static std::uint32_t page_checksum (const Page &page)
 
static std::uint32_t page_checksum_v4 (const Page &page)
 
static std::uint32_t wal_record_checksum_add (std::uint32_t crc, const page_id_t page_id, const Page &page)
 
static std::uint32_t wal_record_checksum_add_v3 (std::uint32_t crc, const page_id_t page_id, const Page &page)
 
static std::uint32_t wal_record_checksum_add_v2 (std::uint32_t crc, const page_id_t page_id, const Page &page)
 
static void write_page_record (std::ostream &out, const Page &page, const std::string &target_path)
 
static constexpr size_t wal_header_bytes () noexcept
 
static constexpr std::uint32_t wal_record_format_version (const std::uint32_t wal_version) noexcept
 
static constexpr size_t wal_record_bytes (const std::uint32_t wal_version) noexcept
 
static std::uint32_t wal_header_checksum (const std::uint32_t wal_version, const std::uint64_t size, const page_id_t root_page, const std::uint64_t page_count, const page_id_t free_page_head, const std::uint64_t checkpoint_sequence, const std::uint64_t dirty_count) noexcept
 
static constexpr size_t wal_trailer_bytes () noexcept
 
static Page read_page_from_stream (std::istream &in, const std::string &path, const std::uint32_t version)
 
static void insert_key_at (Page &page, const size_t idx, const Key &key)
 
static Key erase_key_at (Page &page, const size_t idx)
 
static void insert_child_at (Page &page, const size_t idx, const page_id_t child_id)
 
static page_id_t erase_child_at (Page &page, const size_t idx)
 

Private Attributes

Compare cmp_
 
std::string file_path_
 
Paged_File_Open_Mode open_mode_ = Paged_File_Open_Mode::Read_Write
 
std::string journal_path_
 
std::string journal_tmp_path_
 
std::string wal_path_
 
std::string wal_tmp_path_
 
std::string lock_path_
 
detail::Pid_File_Lock lock_
 
std::fstream file_
 
Array< Page > pages_
 
Array< unsigned char > dirty_pages_
 
bool header_dirty_ = false
 
bool auto_sync_ = true
 
std::uint32_t storage_format_version_ = FormatVersion
 
std::uint64_t checkpoint_sequence_ = 0
 
size_t size_ = 0
 
page_id_t root_page_ = 0
 
page_id_t free_page_head_ = 0
 

Static Private Attributes

static constexpr size_t MaxKeys = 2 * MinDegree - 1
 
static constexpr size_t MaxChildren = 2 * MinDegree
 
static constexpr size_t MinKeys = MinDegree - 1
 
static constexpr std::uint32_t LegacyFormatVersion = 1
 
static constexpr std::uint32_t ChecksummedFormatVersion = 2
 
static constexpr std::uint32_t HeaderCheckpointFormatVersion = 3
 
static constexpr std::uint32_t NativeCheckpointFormatVersion = 4
 
static constexpr std::uint32_t PortableFormatVersion = 5
 
static constexpr std::uint32_t FormatVersion = PortableFormatVersion
 
static constexpr std::uint32_t EncodedKeySize
 
static constexpr std::uint8_t PortableEncodingMarker = 3
 
static constexpr std::uint8_t EndianMarker
 
static constexpr std::uint32_t LegacyWalVersion = 1
 
static constexpr std::uint32_t CommitTrailerWalVersion = 2
 
static constexpr std::uint32_t NativeWalVersion = 3
 
static constexpr std::uint32_t PortableWalVersion = 4
 
static constexpr std::uint32_t WalVersion = PortableWalVersion
 

Detailed Description

template<typename Key, class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
requires StrictWeakOrder<Compare, Key>
class Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >

Persistent page-managed B-Tree stored in a single binary file.

Gen_File_B_Tree implements a file-backed B-Tree with:

  • fixed-size node pages identified by page ids
  • an on-disk header containing format/version metadata
  • a free-list for recycling pages released by merges or root collapse
  • in-page keys that mirror the classic B-Tree layout, including keys stored in internal pages

The file is cached in memory after opening, but all updates operate directly on the paged representation instead of rebuilding an in-memory B_Tree and snapshotting its sorted keys. This makes the persistent file structurally faithful to a real on-disk B-Tree while keeping the exposed API close to the existing in-memory container.

Template Parameters
KeyStored key type. It must be default-constructible and copyable for the in-memory page layout, and admit a fixed-size codec so keys can be serialized into portable on-disk pages.
CompareStrict weak ordering used to sort keys.
MinDegreeMinimum degree t of the persistent B-Tree. Valid values are t >= 2.
CodecFixed-size codec used to serialize keys in current files.
Persistence Model
The tree file stores:
  • a header with root page id, size, page count, and free-list head
  • one fixed-size record per allocated page
  • a reusable .lock sidecar with an advisory OS lock and pid marker
  • a .wal sidecar used for redo recovery of page-level commits with an explicit commit trailer
  • a .journal sidecar kept as a legacy full-image fallback path
  • checksummed headers and page records in format version 5, using a fixed-size portable little-endian key codec

With auto_sync enabled, successful mutations write a redo WAL with the dirty page images and then checkpoint those changes into the backing file. Files can also be opened in Paged_File_Open_Mode::Read_Only, which acquires a shared lock and rejects any operation that would write or recover the file. Legacy stores being upgraded still use a full-image fallback path. With auto_sync disabled, mutations stay in the in-memory page cache until sync() is called. reload() discards any unsynchronized changes, replays a pending .wal or legacy .journal if present, and rereads the file. Readers accept the legacy native layouts (v1-v4) as well as the current portable v5 layout with per-page checkpoint sequences.

Complexity
  • Search: O(log n)
  • Insert: O(log n)
  • Remove: O(log n)
  • lower_bound()/upper_bound(): O(log n)
  • sync(): O(p_dirty) page serialization for current portable stores, with a full-image fallback when upgrading legacy files
Thread Safety
Instances are not synchronized. Read_Write handles take an exclusive advisory lock on the .lock sidecar, while Read_Only handles take a shared advisory lock on that same sidecar. The process also tracks open paths locally so invalid mixed opens fail even inside one process. Concurrent access through one handle still requires external synchronization.
Exception Safety
Read-only operations do not mutate the page cache. Mutating operations preserve B-Tree invariants in the in-memory cache if comparisons and key copies do not throw in the middle of a structural update. If auto_sync is enabled and file I/O fails after a successful in-memory mutation, the object remains valid but the on-disk file may lag behind until a later successful sync().
Warning
Current files store keys through Codec in a fixed-size portable representation. Reopening a file still requires the same Compare, MinDegree, and Codec::storage_id. Legacy native formats (v1-v4) remain readable only when Key is trivially copyable.

Generic paged persistent B-Tree container.

This class implements a file-backed B-Tree with a page cache. It is optimized for large datasets that cannot fit entirely in RAM, providing persistent sorted storage with O(log n) performance.

Template Parameters
KeyType of stored elements.
CompareStrict weak ordering used to sort keys.
MinDegreeMinimum degree t determining the branching factor.
CodecFixed-size codec used for serialization.

Definition at line 156 of file tpl_file_b_tree.H.

Member Typedef Documentation

◆ key_type

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
using Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::key_type = Key

Stored key type.

Definition at line 2098 of file tpl_file_b_tree.H.

◆ open_mode_type

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
using Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::open_mode_type = Paged_File_Open_Mode

File opening mode type.

Definition at line 2101 of file tpl_file_b_tree.H.

◆ page_id_t

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
using Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page_id_t = std::uint64_t
private

Definition at line 185 of file tpl_file_b_tree.H.

◆ page_id_type

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
using Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page_id_type = page_id_t

Type of on-disk page identifiers.

Definition at line 2100 of file tpl_file_b_tree.H.

◆ tree_type

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
using Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::tree_type = Gen_B_Tree<Key, Compare, MinDegree>

Logical in-memory counterpart.

Definition at line 2099 of file tpl_file_b_tree.H.

Member Enumeration Documentation

◆ PageKind

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
enum class Aleph::Gen_File_B_Tree::PageKind : std::uint8_t
strongprivate
Enumerator
Free 
Internal 
Leaf 

Definition at line 187 of file tpl_file_b_tree.H.

Constructor & Destructor Documentation

◆ Gen_File_B_Tree() [1/6]

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Gen_File_B_Tree ( std::string  file_path,
const bool  auto_sync = true,
const Compare &  cmp = Compare() 
)
inlineexplicit

Open or create a paged persistent B-Tree file for read-write access.

Parameters
file_pathPath to the backing file.
auto_syncIf true, successful mutations flush dirty pages and the header to disk.
cmpComparison functor used to order keys.
Exceptions
std::runtime_errorIf the file cannot be created, opened, read, or validated.
std::bad_allocIf the in-memory page cache cannot be allocated.

Definition at line 2115 of file tpl_file_b_tree.H.

◆ Gen_File_B_Tree() [2/6]

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Gen_File_B_Tree ( std::string  file_path,
const Paged_File_Open_Mode  open_mode,
const bool  auto_sync = true,
const Compare &  cmp = Compare() 
)
inlineexplicit

Open a paged persistent B-Tree file with an explicit access mode.

Parameters
file_pathPath to the backing file.
open_modeRead_Write to allow mutations and recovery, or Read_Only for shared-lock read access to an already clean file.
auto_syncIf true, successful mutations flush dirty pages and the header to disk. Read-only handles always behave as if this were false.
cmpComparison functor used to order keys.
Exceptions
std::runtime_errorIf the file cannot be created, opened, read, or validated, or if a read-only open would require recovery.
std::bad_allocIf the in-memory page cache cannot be allocated.

Definition at line 2133 of file tpl_file_b_tree.H.

References Aleph::detail::Pid_File_Lock::acquire(), ah_runtime_error_unless, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::create_empty_file(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::ensure_writable(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::file_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::file_exists(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::file_path_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::init_sidecar_paths(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::load_from_disk(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::lock_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::lock_mode(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::lock_path_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::open_storage(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_only(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::recover_if_needed(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::tree_kind().

◆ Gen_File_B_Tree() [3/6]

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Gen_File_B_Tree ( const char *  file_path,
const bool  auto_sync = true,
const Compare &  cmp = Compare() 
)
inlineexplicit

Open or create a paged persistent B-Tree file for read-write access.

Parameters
file_pathPath to the backing file.
auto_syncIf true, successful mutations flush dirty pages and the header to disk.
cmpComparison functor used to order keys.
Exceptions
std::runtime_errorIf the file cannot be created, opened, read, or validated.
std::bad_allocIf the in-memory page cache cannot be allocated.

Definition at line 2183 of file tpl_file_b_tree.H.

◆ Gen_File_B_Tree() [4/6]

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Gen_File_B_Tree ( const char *  file_path,
const Paged_File_Open_Mode  open_mode,
const bool  auto_sync = true,
const Compare &  cmp = Compare() 
)
inlineexplicit

Open a paged persistent B-Tree file with an explicit access mode.

Parameters
file_pathPath to the backing file.
open_modeRead_Write to allow mutations and recovery, or Read_Only for shared-lock read access to an already clean file.
auto_syncIf true, successful mutations flush dirty pages and the header to disk. Read-only handles always behave as if this were false.
cmpComparison functor used to order keys.
Exceptions
std::runtime_errorIf the file cannot be created, opened, read, or validated, or if a read-only open would require recovery.
std::bad_allocIf the in-memory page cache cannot be allocated.

Definition at line 2202 of file tpl_file_b_tree.H.

◆ Gen_File_B_Tree() [5/6]

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Gen_File_B_Tree ( const Gen_File_B_Tree< Key, Compare, MinDegree, Codec > &  )
delete

Copying is disabled.

◆ Gen_File_B_Tree() [6/6]

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Gen_File_B_Tree ( Gen_File_B_Tree< Key, Compare, MinDegree, Codec > &&  )
delete

Moving is disabled.

◆ ~Gen_File_B_Tree()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::~Gen_File_B_Tree ( )
inlinenoexcept

Close the backing file.

Exceptions
Nothing.

Definition at line 2225 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::file_.

Member Function Documentation

◆ add_key_to_crc()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
static std::uint32_t Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::add_key_to_crc ( const std::uint32_t  crc,
const Key &  key 
)
inlinestaticprivate

Definition at line 605 of file tpl_file_b_tree.H.

References Aleph::divide_and_conquer_partition_dp().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page_checksum(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::wal_record_checksum_add().

◆ add_native_key_to_crc()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
static std::uint32_t Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::add_native_key_to_crc ( const std::uint32_t  crc,
const Key &  key 
)
inlinestaticprivate

Definition at line 612 of file tpl_file_b_tree.H.

References ah_runtime_error, Aleph::detail::crc32_add_bytes(), and Aleph::divide_and_conquer_partition_dp().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page_checksum_v3(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page_checksum_v4(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::wal_record_checksum_add_v2(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::wal_record_checksum_add_v3().

◆ allocate_page()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
page_id_t Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::allocate_page ( const PageKind  kind)
inlineprivate

Definition at line 1735 of file tpl_file_b_tree.H.

References Aleph::Array< T >::append(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::dirty_pages_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::free_page_head_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::link, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::make_page(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::mark_header_dirty(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::mark_page_dirty(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::pages_.

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::insert(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::split_child().

◆ apply_current_cache_to_storage()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
void Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::apply_current_cache_to_storage ( const std::uint64_t  checkpoint_sequence) const
inlineprivate

Definition at line 1118 of file tpl_file_b_tree.H.

References ah_runtime_error_unless, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::checkpoint_sequence(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::checkpoint_sequence_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::dirty_pages_, Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::file_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::file_exists(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::file_path_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::FormatVersion, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::open_storage(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page(), Aleph::Array< T >::size(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::storage_format_version_, Aleph::detail::sync_file_by_path(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::tree_kind(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_current_header_to_storage(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_current_page_to_storage(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_full_image_to_path().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::sync().

◆ auto_sync_enabled()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
bool Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::auto_sync_enabled ( ) const
inlinenoexcept

Return whether automatic synchronization is enabled.

Returns
true if successful mutations call sync().
Exceptions
Nothing.

Definition at line 2290 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::auto_sync_.

Referenced by Aleph::Gen_File_B_Map< Key, Value, Compare, MinDegree, KeyCodec, ValueCodec >::auto_sync_enabled(), and TEST().

◆ borrow_from_next()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
void Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::borrow_from_next ( const page_id_t  parent_id,
const size_t  idx 
)
inlineprivate

Definition at line 1877 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::child_count, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::children, Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::erase_child_at(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::erase_key_at(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::is_leaf(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::key_count, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::keys, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::mark_page_dirty(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::ensure_child_has_extra().

◆ borrow_from_prev()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
void Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::borrow_from_prev ( const page_id_t  parent_id,
const size_t  idx 
)
inlineprivate

Definition at line 1855 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::children, Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::erase_child_at(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::erase_key_at(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::insert_child_at(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::insert_key_at(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::is_leaf(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::key_count, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::keys(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::keys, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::mark_page_dirty(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::ensure_child_has_extra().

◆ checkpoint()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
void Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::checkpoint ( ) const
inline

Synonym for sync().

Exceptions
std::runtime_errorIf the file cannot be written or flushed.

Definition at line 2334 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::sync().

Referenced by Aleph::Gen_File_B_Map< Key, Value, Compare, MinDegree, KeyCodec, ValueCodec >::checkpoint(), and TEST().

◆ checkpoint_sequence()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
std::uint64_t Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::checkpoint_sequence ( ) const
inlinenoexcept

Return the durable checkpoint sequence stored in the backing file.

Returns
Monotone sequence advanced after each successful checkpoint.
Exceptions
Nothing.

Definition at line 2326 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::checkpoint_sequence_.

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::apply_current_cache_to_storage(), Aleph::Gen_File_B_Map< Key, Value, Compare, MinDegree, KeyCodec, ValueCodec >::checkpoint_sequence(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::header_checksum(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::stamp_all_pages_for_checkpoint(), TEST(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::wal_header_checksum(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_current_header_to_storage(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_full_image(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_full_image_to_path(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_header_to_storage(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_wal_to_path().

◆ checksummed_header_bytes()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
static constexpr size_t Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::checksummed_header_bytes ( )
inlinestaticconstexprprivatenoexcept

Definition at line 293 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::legacy_header_bytes().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::header_bytes(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::serialized_header_bytes().

◆ checksummed_page_bytes()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
static constexpr size_t Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::checksummed_page_bytes ( )
inlinestaticconstexprprivatenoexcept

Definition at line 311 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::legacy_page_bytes().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::serialized_page_bytes().

◆ clear()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
void Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::clear ( )
inline

Remove every key from the tree.

Exceptions
std::runtime_errorIf auto_sync is enabled and flushing fails.

Definition at line 2419 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::ensure_writable(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::init_empty_cache(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::sync_if_enabled().

Referenced by Aleph::Gen_File_B_Map< Key, Value, Compare, MinDegree, KeyCodec, ValueCodec >::clear().

◆ clear_dirty_state()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
void Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::clear_dirty_state ( ) const
inlineprivatenoexcept

Definition at line 1626 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::dirty_pages_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::header_dirty_, and Aleph::Array< T >::size().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::sync().

◆ collect_keys()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
void Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::collect_keys ( const page_id_t  page_id,
Array< Key > &  out 
) const
inlineprivate

Definition at line 1995 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::child_count, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::children, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::collect_keys(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::is_leaf(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::key_count, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::keys, and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::collect_keys(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::keys().

◆ contains()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
bool Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::contains ( const Key &  key) const
inline

Return whether a key is present.

Parameters
keyKey to search.
Returns
true if the key exists, otherwise false.
Exceptions
Anyexception propagated by Compare.

Definition at line 2431 of file tpl_file_b_tree.H.

References Aleph::and, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::children, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::equals(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::is_leaf(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::keys(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::lower_bound_index(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::root_page_.

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::insert(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::search(), and TEST().

◆ create_empty_file()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
void Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::create_empty_file ( )
inlineprivate

Definition at line 1541 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::ensure_writable(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::init_empty_cache(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::open_storage(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::sync().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Gen_File_B_Tree().

◆ current_page_offset()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
std::streamoff Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::current_page_offset ( const page_id_t  page_id) const
inlineprivatenoexcept

Definition at line 817 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::header_bytes(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page_bytes().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_storage_page_if_current(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_current_page_to_storage().

◆ dirty_page_count()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
size_t Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::dirty_page_count ( ) const
inlineprivatenoexcept

Definition at line 873 of file tpl_file_b_tree.H.

References Aleph::count(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::dirty_pages_, and Aleph::Array< T >::size().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_wal_to_path().

◆ empty()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
bool Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::empty ( ) const
inlinenoexcept

Return whether the tree has no keys.

Returns
true if empty, otherwise false.
Exceptions
Nothing.

Definition at line 2385 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::size_.

Referenced by Aleph::Gen_File_B_Map< Key, Value, Compare, MinDegree, KeyCodec, ValueCodec >::empty(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::is_empty().

◆ encoding_marker_for_version()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
static constexpr std::uint8_t Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::encoding_marker_for_version ( const std::uint32_t  version)
inlinestaticconstexprprivatenoexcept

Definition at line 357 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::EndianMarker, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::PortableEncodingMarker, and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::version_uses_portable_codec().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::header_checksum(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::header_checksum_v2(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_image(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::recover_from_wal(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::wal_header_checksum(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_full_image(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_header_to_storage(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_wal_to_path().

◆ ensure_child_has_extra()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
size_t Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::ensure_child_has_extra ( const page_id_t  parent_id,
const size_t  idx 
)
inlineprivate

Definition at line 1920 of file tpl_file_b_tree.H.

References Aleph::and, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::borrow_from_next(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::borrow_from_prev(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::merge_children(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::remove_from().

◆ ensure_legacy_native_format_supported()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
static void Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::ensure_legacy_native_format_supported ( const std::string &  source_path,
const std::uint32_t  version 
)
inlinestaticprivate

Definition at line 395 of file tpl_file_b_tree.H.

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

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_image().

◆ ensure_legacy_native_wal_supported()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
static void Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::ensure_legacy_native_wal_supported ( const std::string &  source_path,
const std::uint32_t  wal_version 
)
inlinestaticprivate

Definition at line 408 of file tpl_file_b_tree.H.

References ah_runtime_error, and Aleph::divide_and_conquer_partition_dp().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::recover_from_wal().

◆ ensure_parent_dir()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
void Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::ensure_parent_dir ( ) const
inlineprivate

Definition at line 449 of file tpl_file_b_tree.H.

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

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::open_storage().

◆ ensure_writable()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
void Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::ensure_writable ( const char *  operation) const
inlineprivate

Definition at line 259 of file tpl_file_b_tree.H.

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

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Gen_File_B_Tree(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::clear(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::create_empty_file(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::insert(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::open_storage(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::remove(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::sync().

◆ equals()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
bool Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::equals ( const Key &  lhs,
const Key &  rhs 
) const
inlineprivate

Definition at line 1665 of file tpl_file_b_tree.H.

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

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::contains(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::remove_from(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::upper_bound_index().

◆ erase_child_at()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
static page_id_t Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::erase_child_at ( Page &  page,
const size_t  idx 
)
inlinestaticprivate

Definition at line 1726 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::child_count, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::children, Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::borrow_from_next(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::borrow_from_prev(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::merge_children().

◆ erase_key_at()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
static Key Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::erase_key_at ( Page &  page,
const size_t  idx 
)
inlinestaticprivate

Definition at line 1708 of file tpl_file_b_tree.H.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::key_count, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::keys, and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::borrow_from_next(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::borrow_from_prev(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::merge_children(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::remove_from().

◆ file_exists()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
bool Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::file_exists ( ) const
inlineprivate

Definition at line 1549 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::file_path_.

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Gen_File_B_Tree(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::apply_current_cache_to_storage(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::recover_from_wal(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::reload(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::storage_format_version_on_disk(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::sync().

◆ file_magic()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
static constexpr auto Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::file_magic ( )
inlinestaticconstexprprivatenoexcept

Definition at line 266 of file tpl_file_b_tree.H.

References Aleph::detail::ordered_tree_snapshot_magic().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_image(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::storage_format_version_on_disk(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_full_image(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_header_to_storage().

◆ file_path()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
const std::string & Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::file_path ( ) const
inlinenoexcept

Return the backing file path.

Returns
Constant reference to the file path passed at construction.
Exceptions
Nothing.

Definition at line 2254 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::file_path_.

Referenced by Aleph::Gen_File_B_Map< Key, Value, Compare, MinDegree, KeyCodec, ValueCodec >::file_path(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::get_file_path(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_key(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_native_key(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_pod(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_portable_key(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_key(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_native_key(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_pod(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_portable_key().

◆ get_compare()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
const Compare & Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::get_compare ( ) const
inlinenoexcept

Return the comparison object.

Returns
Constant reference to the comparison functor.
Exceptions
Nothing.

Definition at line 2245 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::key_comp().

◆ get_file_path()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
const std::string & Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::get_file_path ( ) const
inlinenoexcept

Synonym for file_path().

Returns
Constant reference to the file path passed at construction.
Exceptions
Nothing.

Definition at line 2263 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::file_path().

◆ has_pending_changes()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
bool Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::has_pending_changes ( ) const
inlineprivatenoexcept

Definition at line 1615 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::dirty_pages_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::header_dirty_, and Aleph::Array< T >::size().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::sync().

◆ header_bytes()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
static constexpr size_t Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::header_bytes ( )
inlinestaticconstexprprivatenoexcept

Definition at line 298 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::checksummed_header_bytes().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::current_page_offset(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::serialized_header_bytes().

◆ header_checksum()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
static std::uint32_t Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::header_checksum ( const std::uint32_t  version,
const std::uint64_t  size,
const page_id_t  root_page,
const std::uint64_t  page_count,
const page_id_t  free_page_head,
const std::uint64_t  checkpoint_sequence 
)
inlinestaticprivatenoexcept

Definition at line 648 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::checkpoint_sequence(), Aleph::detail::crc32_add(), Aleph::detail::crc32_add_bytes(), Aleph::detail::crc32_begin(), Aleph::detail::crc32_finish(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::encoding_marker_for_version(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::key_size_for_version(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page_count(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::reserved_bytes_for_version(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::size().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_image(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_full_image(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_header_to_storage().

◆ header_checksum_v2()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
static std::uint32_t Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::header_checksum_v2 ( const std::uint32_t  version,
const std::uint64_t  size,
const page_id_t  root_page,
const std::uint64_t  page_count,
const page_id_t  free_page_head 
)
inlinestaticprivatenoexcept

Definition at line 627 of file tpl_file_b_tree.H.

References Aleph::detail::crc32_add(), Aleph::detail::crc32_add_bytes(), Aleph::detail::crc32_begin(), Aleph::detail::crc32_finish(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::encoding_marker_for_version(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::key_size_for_version(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page_count(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::reserved_bytes_for_version(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::size().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_image().

◆ height()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
size_t Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::height ( ) const
inlinenoexcept

Return the current height of the paged tree.

Returns
0 for an empty tree, otherwise the number of node levels.
Exceptions
Nothing.

Definition at line 2403 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::children, h, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::is_leaf(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::root_page_.

Referenced by Aleph::Gen_File_B_Map< Key, Value, Compare, MinDegree, KeyCodec, ValueCodec >::height().

◆ init_empty_cache()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
void Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::init_empty_cache ( )
inlineprivate

Definition at line 435 of file tpl_file_b_tree.H.

References Aleph::Array< T >::append(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::checkpoint_sequence_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::dirty_pages_, Aleph::Array< T >::empty(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::FormatVersion, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::free_page_head_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::header_dirty_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::pages_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::root_page_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::size_, and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::storage_format_version_.

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::clear(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::create_empty_file().

◆ init_sidecar_paths()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
void Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::init_sidecar_paths ( )
inlineprivate

Definition at line 491 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::file_path_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::journal_path_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::journal_tmp_path_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::lock_path_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::wal_path_, and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::wal_tmp_path_.

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Gen_File_B_Tree().

◆ insert() [1/2]

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
bool Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::insert ( const Key &  key)
inline

Insert a key if it is not already present.

Parameters
keyKey to insert.
Returns
true if insertion happened, false if it was duplicate.
Exceptions
std::bad_allocIf the page cache grows and allocation fails.
std::runtime_errorIf auto_sync is enabled and flushing fails.
Anyexception propagated by Compare or Key copies.

Definition at line 2463 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::allocate_page(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::child_count, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::children, 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 >::ensure_writable(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::insert_nonfull(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Internal, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::key_count, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::keys, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Leaf, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::mark_header_dirty(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::mark_page_dirty(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::MaxKeys, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::root_page_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::size_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::split_child(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::sync_if_enabled().

Referenced by Aleph::Gen_File_B_Map< Key, Value, Compare, MinDegree, KeyCodec, ValueCodec >::insert(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::insert(), Aleph::Gen_File_B_Map< Key, Value, Compare, MinDegree, KeyCodec, ValueCodec >::insert_or_assign(), TEST(), TEST(), TEST(), TEST(), TEST(), TEST(), TEST(), TEST(), TEST(), TEST(), TEST(), TEST(), TEST(), TEST(), TEST(), TEST(), TEST(), and TEST().

◆ insert() [2/2]

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
bool Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::insert ( Key &&  key)
inline

Insert a key by move if it is not already present.

Parameters
keyKey to insert.
Returns
true if insertion happened, false if it was duplicate.
Exceptions
std::bad_allocIf the page cache grows and allocation fails.
std::runtime_errorIf auto_sync is enabled and flushing fails.
Anyexception propagated by Compare or Key copies.

Definition at line 2506 of file tpl_file_b_tree.H.

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

◆ insert_child_at()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
static void Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::insert_child_at ( Page &  page,
const size_t  idx,
const page_id_t  child_id 
)
inlinestaticprivate

Definition at line 1717 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::child_count, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::children, Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::borrow_from_prev(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::split_child().

◆ insert_key_at()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
static void Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::insert_key_at ( Page &  page,
const size_t  idx,
const Key &  key 
)
inlinestaticprivate

Definition at line 1700 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::key_count, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::keys, and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::borrow_from_prev(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::insert_nonfull(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::split_child().

◆ insert_nonfull()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
void Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::insert_nonfull ( const page_id_t  page_id,
const Key &  key 
)
inlineprivate

Definition at line 1834 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::children, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::cmp_, Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::insert_key_at(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::insert_nonfull(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::is_leaf(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::keys(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::lower_bound_index(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::mark_page_dirty(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::MaxKeys, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::split_child().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::insert(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::insert_nonfull().

◆ is_empty()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
bool Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::is_empty ( ) const
inlinenoexcept

Synonym for empty().

Returns
true if empty, otherwise false.
Exceptions
Nothing.

Definition at line 2391 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::empty().

◆ is_free()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
static constexpr bool Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::is_free ( const Page &  page)
inlinestaticconstexprprivatenoexcept

Definition at line 430 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Free, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::kind, and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page().

◆ is_internal()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
static constexpr bool Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::is_internal ( const Page &  page)
inlinestaticconstexprprivatenoexcept

Definition at line 425 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Internal, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::kind, and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::max_in(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::min_in(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::verify_node().

◆ is_leaf()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
static constexpr bool Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::is_leaf ( const Page &  page)
inlinestaticconstexprprivatenoexcept

Definition at line 420 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::kind, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Leaf, and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::borrow_from_next(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::borrow_from_prev(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::collect_keys(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::contains(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::height(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::insert_nonfull(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::lower_bound(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::merge_children(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::remove(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::remove_from(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::split_child(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::upper_bound(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::verify_node().

◆ is_read_only()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
bool Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::is_read_only ( ) const
inlinenoexcept

Return whether this handle is read-only.

Returns
true if opened in Read_Only mode, otherwise false.
Exceptions
Nothing.

Definition at line 2281 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_only().

Referenced by Aleph::Gen_File_B_Map< Key, Value, Compare, MinDegree, KeyCodec, ValueCodec >::is_read_only().

◆ key_comp()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
const Compare & Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::key_comp ( ) const
inlinenoexcept

Return the comparison object.

Returns
Constant reference to the comparison functor.
Note
The comparator is immutable once the tree is persisted; no mutable accessor is provided to prevent callers from replacing the comparator after page splits/merges have been written to disk.
Exceptions
Nothing.

Definition at line 2239 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::cmp_.

Referenced by Aleph::Gen_File_B_Map< Key, Value, Compare, MinDegree, KeyCodec, ValueCodec >::equals_key(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::get_compare(), and Aleph::Gen_File_B_Map< Key, Value, Compare, MinDegree, KeyCodec, ValueCodec >::key_comp().

◆ key_size_for_version()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
static constexpr std::uint32_t Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::key_size_for_version ( const std::uint32_t  version)
inlinestaticconstexprprivatenoexcept

Definition at line 365 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::EncodedKeySize, and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::version_uses_portable_codec().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::header_checksum(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::header_checksum_v2(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_image(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::recover_from_wal(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::wal_header_checksum(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_full_image(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_header_to_storage(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_wal_to_path().

◆ keys()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
Array< Key > Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::keys ( ) const
inline

Materialize the tree contents in sorted order.

Returns
Ordered array containing every stored key.
Exceptions
std::bad_allocIf the result array cannot grow.
Anyexception propagated by Key copy construction.

Definition at line 2627 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::collect_keys(), Aleph::divide_and_conquer_partition_dp(), Aleph::Array< T >::reserve(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::root_page_, and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::size_.

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::borrow_from_prev(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::contains(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::insert_nonfull(), Aleph::Gen_File_B_Map< Key, Value, Compare, MinDegree, KeyCodec, ValueCodec >::items(), Aleph::Gen_File_B_Map< Key, Value, Compare, MinDegree, KeyCodec, ValueCodec >::keys(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::remove_from(), TEST(), TEST(), and Aleph::Gen_File_B_Map< Key, Value, Compare, MinDegree, KeyCodec, ValueCodec >::values().

◆ legacy_header_bytes()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
static constexpr size_t Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::legacy_header_bytes ( )
inlinestaticconstexprprivatenoexcept

Definition at line 287 of file tpl_file_b_tree.H.

References Aleph::detail::Ordered_Tree_Snapshot_Magic_Size.

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::checksummed_header_bytes(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::serialized_header_bytes().

◆ legacy_page_bytes()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
static constexpr size_t Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::legacy_page_bytes ( )
inlinestaticconstexprprivatenoexcept

Definition at line 303 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::MaxChildren, and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::MaxKeys.

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::checksummed_page_bytes(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::native_page_bytes(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::serialized_page_bytes().

◆ load_from_disk()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
void Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::load_from_disk ( )
inlineprivate

Definition at line 1519 of file tpl_file_b_tree.H.

References ah_runtime_error_unless, Aleph::Array< T >::append(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::checkpoint_sequence_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::dirty_pages_, Aleph::divide_and_conquer_partition_dp(), Aleph::Array< T >::empty(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::file_path_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::free_page_head_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::header_dirty_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::open_storage(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::pages_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_image(), Aleph::Array< T >::reserve(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::root_page_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::size_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::storage_format_version_, and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::verify().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Gen_File_B_Tree(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::reload().

◆ lock_mode()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
detail::Pid_File_Lock_Mode Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::lock_mode ( ) const
inlineprivatenoexcept

Definition at line 247 of file tpl_file_b_tree.H.

References Aleph::detail::Exclusive, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::open_mode_, Aleph::Read_Only, and Aleph::detail::Shared.

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Gen_File_B_Tree().

◆ lower_bound()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
std::optional< Key > Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::lower_bound ( const Key &  key) const
inline

Return the first key not less than key.

Parameters
keyProbe key.
Returns
Matching lower bound or std::nullopt if none exists.
Exceptions
Anyexception propagated by Compare or Key.

Definition at line 2581 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::children, Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::is_leaf(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::keys, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::lower_bound_index(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::root_page_.

Referenced by Aleph::Gen_File_B_Map< Key, Value, Compare, MinDegree, KeyCodec, ValueCodec >::find_record(), Aleph::Gen_File_B_Map< Key, Value, Compare, MinDegree, KeyCodec, ValueCodec >::insert_or_assign(), and Aleph::Gen_File_B_Map< Key, Value, Compare, MinDegree, KeyCodec, ValueCodec >::lower_bound().

◆ lower_bound_index()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
size_t Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::lower_bound_index ( const Page &  page,
const Key &  key 
) const
inlineprivate

Definition at line 1681 of file tpl_file_b_tree.H.

References Aleph::and, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::cmp_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::key_count, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::keys, and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::contains(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::insert_nonfull(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::lower_bound(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::remove_from().

◆ make_page()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
static constexpr Page Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::make_page ( const PageKind  kind)
inlinestaticconstexprprivatenoexcept

Definition at line 388 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::kind, and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::allocate_page(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::release_page().

◆ mark_header_dirty()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
void Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::mark_header_dirty ( ) const
inlineprivatenoexcept

Definition at line 1646 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::header_dirty_.

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::allocate_page(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::insert(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::release_page(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::remove().

◆ mark_page_dirty()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
void Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::mark_page_dirty ( const page_id_t  page_id)
inlineprivate

Definition at line 1633 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::checkpoint_sequence, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::checkpoint_sequence_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::dirty_pages_, and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::allocate_page(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::borrow_from_next(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::borrow_from_prev(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::insert(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::insert_nonfull(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::merge_children(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::release_page(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::remove_from(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::split_child().

◆ max_in()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
std::optional< Key > Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::max_in ( page_id_t  page_id) const
inlineprivate

Definition at line 1783 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::child_count, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::children, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::is_internal(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::key_count, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::keys, and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::max_key(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::remove_from().

◆ max_key()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
std::optional< Key > Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::max_key ( ) const
inline

Return the maximum key, if any.

Returns
Largest key in the tree or std::nullopt if empty.
Exceptions
Anyexception propagated by Key copy construction.

Definition at line 2571 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::max_in(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::root_page_.

Referenced by Aleph::Gen_File_B_Map< Key, Value, Compare, MinDegree, KeyCodec, ValueCodec >::max_item(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::verify_node().

◆ merge_children()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
void Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::merge_children ( const page_id_t  parent_id,
const size_t  idx 
)
inlineprivate

Definition at line 1897 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::child_count, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::children, Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::erase_child_at(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::erase_key_at(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::is_leaf(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::key_count, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::keys, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::mark_page_dirty(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::release_page().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::ensure_child_has_extra(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::remove_from().

◆ min_in()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
std::optional< Key > Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::min_in ( page_id_t  page_id) const
inlineprivate

Definition at line 1764 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::child_count, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::children, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::is_internal(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::key_count, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::keys, and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::min_key(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::remove_from().

◆ min_key()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
std::optional< Key > Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::min_key ( ) const
inline

Return the minimum key, if any.

Returns
Smallest key in the tree or std::nullopt if empty.
Exceptions
Anyexception propagated by Key copy construction.

Definition at line 2562 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::min_in(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::root_page_.

Referenced by Aleph::Gen_File_B_Map< Key, Value, Compare, MinDegree, KeyCodec, ValueCodec >::min_item(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::verify_node().

◆ native_page_bytes()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
static constexpr size_t Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::native_page_bytes ( )
inlinestaticconstexprprivatenoexcept

Definition at line 316 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::legacy_page_bytes().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::serialized_page_bytes().

◆ open_mode()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
Paged_File_Open_Mode Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::open_mode ( ) const
inlinenoexcept

Return the access mode used to open the file.

Returns
Read_Write or Read_Only.
Exceptions
Nothing.

Definition at line 2272 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::open_mode_.

Referenced by Aleph::Gen_File_B_Map< Key, Value, Compare, MinDegree, KeyCodec, ValueCodec >::open_mode().

◆ open_storage()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
void Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::open_storage ( const bool  truncate = false) const
inlineprivate

Definition at line 465 of file tpl_file_b_tree.H.

References ah_runtime_error_unless, Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::ensure_parent_dir(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::ensure_writable(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::file_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::file_path_, Aleph::mode(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_only().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Gen_File_B_Tree(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::apply_current_cache_to_storage(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::create_empty_file(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::load_from_disk(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_storage_page_if_current(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::recover_from_wal().

◆ operator=() [1/2]

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
Gen_File_B_Tree & Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::operator= ( const Gen_File_B_Tree< Key, Compare, MinDegree, Codec > &  )
delete

Assignment is disabled.

◆ operator=() [2/2]

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
Gen_File_B_Tree & Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::operator= ( Gen_File_B_Tree< Key, Compare, MinDegree, Codec > &&  )
delete

Move assignment is disabled.

◆ page() [1/2]

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
Page & Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page ( const page_id_t  page_id)
inlineprivate

Definition at line 1651 of file tpl_file_b_tree.H.

References ah_runtime_error_unless, Aleph::and, and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::pages_.

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::allocate_page(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::apply_current_cache_to_storage(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::borrow_from_next(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::borrow_from_prev(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::collect_keys(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::contains(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::ensure_child_has_extra(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::erase_child_at(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::erase_key_at(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::height(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::insert(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::insert_child_at(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::insert_key_at(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::insert_nonfull(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::is_free(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::is_internal(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::is_leaf(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::lower_bound(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::lower_bound_index(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::make_page(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::mark_page_dirty(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::max_in(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::merge_children(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::min_in(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page_checksum(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page_checksum_v3(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page_checksum_v4(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_page_from_stream(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::recover_from_wal(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::release_page(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::remove(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::remove_from(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::split_child(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::stamp_all_pages_for_checkpoint(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::strictly_sorted(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::upper_bound(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::upper_bound_index(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::verify_node(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::wal_record_checksum_add(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::wal_record_checksum_add_v2(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::wal_record_checksum_add_v3(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_current_page_to_storage(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_full_image(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_page_record(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_wal_to_path().

◆ page() [2/2]

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
const Page & Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page ( const page_id_t  page_id) const
inlineprivate

Definition at line 1658 of file tpl_file_b_tree.H.

References ah_runtime_error_unless, Aleph::and, and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::pages_.

◆ page_bytes()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
static constexpr size_t Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page_bytes ( )
inlinestaticconstexprprivatenoexcept

Definition at line 329 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::portable_page_bytes().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::current_page_offset(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page_size_bytes(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_storage_page_if_current().

◆ page_checksum()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
static std::uint32_t Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page_checksum ( const Page &  page)
inlinestaticprivate

Definition at line 687 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::add_key_to_crc(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::checkpoint_sequence, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::child_count, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::children, Aleph::detail::crc32_add(), Aleph::detail::crc32_add_bytes(), Aleph::detail::crc32_begin(), Aleph::detail::crc32_finish(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::key_count, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::keys, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::kind, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::link, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::MaxKeys, and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_page_from_stream(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::wal_record_checksum_add(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_page_record().

◆ page_checksum_v3()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
static std::uint32_t Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page_checksum_v3 ( const Page &  page)
inlinestaticprivate

Definition at line 671 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::add_native_key_to_crc(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::child_count, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::children, Aleph::detail::crc32_add(), Aleph::detail::crc32_add_bytes(), Aleph::detail::crc32_begin(), Aleph::detail::crc32_finish(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::key_count, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::keys, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::kind, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::link, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::MaxKeys, and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_page_from_stream(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::wal_record_checksum_add_v2().

◆ page_checksum_v4()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
static std::uint32_t Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page_checksum_v4 ( const Page &  page)
inlinestaticprivate

Definition at line 704 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::add_native_key_to_crc(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::checkpoint_sequence, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::child_count, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::children, Aleph::detail::crc32_add(), Aleph::detail::crc32_add_bytes(), Aleph::detail::crc32_begin(), Aleph::detail::crc32_finish(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::key_count, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::keys, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::kind, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::link, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::MaxKeys, and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_page_from_stream(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::wal_record_checksum_add_v3().

◆ page_count()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
size_t Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page_count ( ) const
inlinenoexcept

Return the number of allocated pages currently tracked.

Returns
Number of pages in the page cache, excluding page id 0.
Exceptions
Nothing.

Definition at line 2317 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::pages_.

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::header_checksum(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::header_checksum_v2(), Aleph::Gen_File_B_Map< Key, Value, Compare, MinDegree, KeyCodec, ValueCodec >::page_count(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_image(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::wal_header_checksum(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_full_image(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_header_to_storage(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_wal_to_path().

◆ page_size_bytes()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
size_t Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page_size_bytes ( ) const
inlinenoexcept

Return the fixed serialized page size.

Returns
Number of bytes used by each page record in the file.
Exceptions
Nothing.

Definition at line 2308 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page_bytes().

Referenced by Aleph::Gen_File_B_Map< Key, Value, Compare, MinDegree, KeyCodec, ValueCodec >::page_size_bytes().

◆ portable_page_bytes()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
static constexpr size_t Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::portable_page_bytes ( )
inlinestaticconstexprprivatenoexcept

Definition at line 321 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::MaxChildren, and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::MaxKeys.

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page_bytes(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::serialized_page_bytes().

◆ read_image()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
Loaded_Image Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_image ( const std::string &  source_path) const
inlineprivate

Definition at line 1401 of file tpl_file_b_tree.H.

References ah_runtime_error_unless, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::ChecksummedFormatVersion, Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::encoding_marker_for_version(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::ensure_legacy_native_format_supported(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::file_magic(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::FormatVersion, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::header_checksum(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::header_checksum_v2(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::HeaderCheckpointFormatVersion, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::key_size_for_version(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::LegacyFormatVersion, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::NativeCheckpointFormatVersion, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page_count(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::PortableFormatVersion, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_page_from_stream(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::reserved_bytes_for_version(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::serialized_header_bytes(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::serialized_page_bytes(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Loaded_Image::version.

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::load_from_disk(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::recover_from_wal(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::recover_if_needed().

◆ read_key()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
static Key Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_key ( std::istream &  in,
const std::string &  file_path,
const char *  what,
const std::uint32_t  version 
)
inlinestaticprivate

Definition at line 595 of file tpl_file_b_tree.H.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::file_path(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_native_key(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_portable_key(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::version_uses_portable_codec().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_page_from_stream().

◆ read_native_key()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
static Key Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_native_key ( std::istream &  in,
const std::string &  file_path,
const char *  what 
)
inlinestaticprivate

Definition at line 562 of file tpl_file_b_tree.H.

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

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_key().

◆ read_only()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
bool Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_only ( ) const
inlineprivatenoexcept

Definition at line 254 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::open_mode_, and Aleph::Read_Only.

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Gen_File_B_Tree(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::ensure_writable(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::is_read_only(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::open_storage(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::recover_from_wal(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::recover_if_needed(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::set_auto_sync().

◆ read_page_from_stream()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
static Page Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_page_from_stream ( std::istream &  in,
const std::string &  path,
const std::uint32_t  version 
)
inlinestaticprivate

Definition at line 1008 of file tpl_file_b_tree.H.

References ah_runtime_error_unless, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::checkpoint_sequence, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::child_count, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::children, Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::HeaderCheckpointFormatVersion, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::key_count, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::keys, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::kind, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::link, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::MaxChildren, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::MaxKeys, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::NativeCheckpointFormatVersion, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page_checksum(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page_checksum_v3(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page_checksum_v4(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::PortableFormatVersion, and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_key().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_image(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_storage_page_if_current(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::recover_from_wal().

◆ read_pod()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
template<typename T >
static T Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_pod ( std::istream &  in,
const std::string &  file_path,
const char *  what 
)
inlinestaticprivate

Definition at line 512 of file tpl_file_b_tree.H.

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

◆ read_portable_key()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
static Key Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_portable_key ( std::istream &  in,
const std::string &  file_path,
const char *  what 
)
inlinestaticprivate

Definition at line 584 of file tpl_file_b_tree.H.

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

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_key().

◆ read_storage_page_if_current()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
std::optional< Page > Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_storage_page_if_current ( const page_id_t  page_id) const
inlineprivate

Definition at line 1579 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::current_page_offset(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::file_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::file_path_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::FormatVersion, offset, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::open_storage(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page_bytes(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_page_from_stream(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::storage_format_version_on_disk().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::recover_from_wal().

◆ recover_from_wal()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
void Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::recover_from_wal ( )
inlineprivate

Definition at line 1148 of file tpl_file_b_tree.H.

References ah_runtime_error_unless, Aleph::and, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::checkpoint_sequence_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::CommitTrailerWalVersion, Aleph::detail::crc32_begin(), Aleph::detail::crc32_finish(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::encoding_marker_for_version(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::ensure_legacy_native_wal_supported(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::file_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::file_exists(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::file_path_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::FormatVersion, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::key_size_for_version(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::LegacyWalVersion, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::NativeWalVersion, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::open_storage(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::PortableWalVersion, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_image(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_only(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_page_from_stream(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_storage_page_if_current(), Aleph::detail::remove_file_if_exists(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::reserved_bytes_for_version(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::storage_format_version_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::storage_format_version_on_disk(), Aleph::detail::sync_file_by_path(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::tree_kind(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::wal_header_bytes(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::wal_header_checksum(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::wal_magic(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::wal_path_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::wal_record_bytes(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::wal_record_checksum_add(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::wal_record_checksum_add_v2(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::wal_record_checksum_add_v3(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::wal_record_format_version(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::wal_tmp_path_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::wal_trailer_bytes(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::wal_trailer_magic(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::WalVersion, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_current_page_to_storage(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_header_to_storage().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::recover_if_needed().

◆ recover_if_needed()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
void Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::recover_if_needed ( )
inlineprivate

Definition at line 1375 of file tpl_file_b_tree.H.

References ah_runtime_error_unless, Aleph::and, Aleph::detail::copy_file_contents(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::file_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::file_path_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::journal_path_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::journal_tmp_path_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_image(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_only(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::recover_from_wal(), Aleph::detail::remove_file_if_exists(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::tree_kind().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Gen_File_B_Tree(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::reload().

◆ release_page()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
void Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::release_page ( const page_id_t  page_id)
inlineprivate

Definition at line 1754 of file tpl_file_b_tree.H.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Free, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::free_page_head_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::make_page(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::mark_header_dirty(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::mark_page_dirty(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::merge_children(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::remove().

◆ reload()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
void Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::reload ( )
inline

Discard unsynchronized changes and reload pages from disk.

Exceptions
std::runtime_errorIf the file cannot be reopened or validated.
std::bad_allocIf reloading the page cache exhausts memory.

Definition at line 2373 of file tpl_file_b_tree.H.

References ah_runtime_error_unless, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::file_exists(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::file_path_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::load_from_disk(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::recover_if_needed().

Referenced by Aleph::Gen_File_B_Map< Key, Value, Compare, MinDegree, KeyCodec, ValueCodec >::reload(), and TEST().

◆ remove()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
bool Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::remove ( const Key &  key)
inline

Remove a key if present.

Parameters
keyKey to erase.
Returns
true if the key was removed, otherwise false.
Exceptions
std::runtime_errorIf auto_sync is enabled and flushing fails.
Anyexception propagated by Compare or Key assignments.

Definition at line 2518 of file tpl_file_b_tree.H.

References Aleph::and, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::children, Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::ensure_writable(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::is_leaf(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::mark_header_dirty(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::release_page(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::remove_from(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::root_page_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::size_, and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::sync_if_enabled().

Referenced by Aleph::Gen_File_B_Map< Key, Value, Compare, MinDegree, KeyCodec, ValueCodec >::insert_or_assign(), Aleph::Gen_File_B_Map< Key, Value, Compare, MinDegree, KeyCodec, ValueCodec >::remove(), TEST(), TEST(), and TEST().

◆ remove_from()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
bool Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::remove_from ( const page_id_t  page_id,
const Key &  key 
)
inlineprivate

Definition at line 1950 of file tpl_file_b_tree.H.

References Aleph::and, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::children, Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::ensure_child_has_extra(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::equals(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::erase_key_at(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::is_leaf(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::key_count, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::keys(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::keys, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::lower_bound_index(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::mark_page_dirty(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::max_in(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::merge_children(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::min_in(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page(), pred, and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::remove_from().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::remove(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::remove_from().

◆ reserved_bytes_for_version()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
static constexpr std::array< char, 7 > Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::reserved_bytes_for_version ( const std::uint32_t  version)
inlinestaticconstexprprivatenoexcept

Definition at line 374 of file tpl_file_b_tree.H.

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

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::header_checksum(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::header_checksum_v2(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_image(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::recover_from_wal(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::wal_header_checksum(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_full_image(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_header_to_storage(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_wal_to_path().

◆ search()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
bool Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::search ( const Key &  key) const
inline

Synonym for contains().

Parameters
keyKey to search.
Returns
true if the key exists, otherwise false.
Exceptions
Anyexception propagated by Compare.

Definition at line 2451 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::contains().

◆ seekp_to()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
void Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::seekp_to ( const std::streamoff  offset) const
inlineprivate

Definition at line 809 of file tpl_file_b_tree.H.

References ah_runtime_error_unless, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::file_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::file_path_, and offset.

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_current_page_to_storage(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_header_to_storage().

◆ serialized_header_bytes()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
static constexpr size_t Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::serialized_header_bytes ( const std::uint32_t  version)
inlinestaticconstexprprivatenoexcept

Definition at line 334 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::checksummed_header_bytes(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::ChecksummedFormatVersion, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::header_bytes(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::HeaderCheckpointFormatVersion, and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::legacy_header_bytes().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_image().

◆ serialized_page_bytes()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
static constexpr size_t Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::serialized_page_bytes ( const std::uint32_t  version)
inlinestaticconstexprprivatenoexcept

Definition at line 342 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::checksummed_page_bytes(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::HeaderCheckpointFormatVersion, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::legacy_page_bytes(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::native_page_bytes(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::NativeCheckpointFormatVersion, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::portable_page_bytes(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::PortableFormatVersion.

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_image(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::wal_record_bytes().

◆ set_auto_sync()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
void Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::set_auto_sync ( const bool  enabled)
inlinenoexcept

Enable or disable automatic flushing of dirty pages.

Parameters
enabledNew auto-sync mode.
Exceptions
Nothing.

Definition at line 2299 of file tpl_file_b_tree.H.

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

Referenced by Aleph::Gen_File_B_Map< Key, Value, Compare, MinDegree, KeyCodec, ValueCodec >::set_auto_sync(), and TEST().

◆ size()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
size_t Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::size ( ) const
inlinenoexcept

Return the number of stored keys.

Returns
Number of unique keys stored in the file-backed tree.
Exceptions
Nothing.

Definition at line 2397 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::size_.

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::header_checksum(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::header_checksum_v2(), Aleph::Gen_File_B_Map< Key, Value, Compare, MinDegree, KeyCodec, ValueCodec >::size(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::wal_header_checksum(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_full_image(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_header_to_storage(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_wal_to_path().

◆ split_child()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
void Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::split_child ( const page_id_t  parent_id,
const size_t  idx 
)
inlineprivate

Definition at line 1802 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::allocate_page(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::child_count, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::children, Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::insert_child_at(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::insert_key_at(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Internal, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::is_leaf(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::key_count, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::keys, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Leaf, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::mark_page_dirty(), Aleph::median(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::MinKeys, and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::insert(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::insert_nonfull().

◆ stamp_all_pages_for_checkpoint()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
void Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::stamp_all_pages_for_checkpoint ( const std::uint64_t  checkpoint_sequence)
inlineprivatenoexcept

Definition at line 1639 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::checkpoint_sequence, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::checkpoint_sequence(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::pages_.

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::sync().

◆ storage_format_version_on_disk()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
std::optional< std::uint32_t > Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::storage_format_version_on_disk ( ) const
inlineprivate

Definition at line 1554 of file tpl_file_b_tree.H.

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

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_storage_page_if_current(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::recover_from_wal().

◆ strictly_sorted()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
bool Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::strictly_sorted ( const Page &  page) const
inlineprivate

Definition at line 1670 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::cmp_, Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::key_count, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::keys, and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::verify_node().

◆ sync()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
void Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::sync ( ) const
inline

Flush the current tree image using redo WAL or full-image fallback.

Exceptions
std::runtime_errorIf the file cannot be written or flushed.

Definition at line 2342 of file tpl_file_b_tree.H.

References Aleph::and, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::apply_current_cache_to_storage(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::checkpoint_sequence_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::clear_dirty_state(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::ensure_writable(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::file_exists(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::FormatVersion, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::has_pending_changes(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::journal_path_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::journal_tmp_path_, Aleph::detail::remove_file_if_exists(), Aleph::detail::rename_file_atomic(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::stamp_all_pages_for_checkpoint(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::storage_format_version_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::tree_kind(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::wal_path_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::wal_tmp_path_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_full_image_to_path(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_wal_to_path().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::checkpoint(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::create_empty_file(), Aleph::Gen_File_B_Map< Key, Value, Compare, MinDegree, KeyCodec, ValueCodec >::sync(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::sync_if_enabled(), TEST(), TEST(), TEST(), TEST(), TEST(), TEST(), TEST(), TEST(), TEST(), TEST(), TEST(), TEST(), and TEST().

◆ sync_if_enabled()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
void Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::sync_if_enabled ( )
inlineprivate

Definition at line 2091 of file tpl_file_b_tree.H.

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

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::clear(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::insert(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::remove().

◆ tree_kind()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
static constexpr const char * Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::tree_kind ( )
inlinestaticconstexprprivatenoexcept

Definition at line 242 of file tpl_file_b_tree.H.

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Gen_File_B_Tree(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::apply_current_cache_to_storage(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::recover_from_wal(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::recover_if_needed(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::sync(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_full_image_to_path(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_wal_to_path().

◆ upper_bound()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
std::optional< Key > Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::upper_bound ( const Key &  key) const
inline

Return the first key strictly greater than key.

Parameters
keyProbe key.
Returns
Matching upper bound or std::nullopt if none exists.
Exceptions
Anyexception propagated by Compare or Key.

Definition at line 2604 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::children, Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::is_leaf(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::keys, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::root_page_, and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::upper_bound_index().

Referenced by Aleph::Gen_File_B_Map< Key, Value, Compare, MinDegree, KeyCodec, ValueCodec >::upper_bound().

◆ upper_bound_index()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
size_t Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::upper_bound_index ( const Page &  page,
const Key &  key 
) const
inlineprivate

Definition at line 1690 of file tpl_file_b_tree.H.

References Aleph::and, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::cmp_, Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::equals(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::key_count, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::keys, and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::upper_bound().

◆ verify()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
bool Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::verify ( ) const
inline

Verify structural B-Tree invariants across cached pages.

Returns
true if the tree is structurally valid, otherwise false.
Exceptions
Anyexception propagated by Compare or Key.

Definition at line 2639 of file tpl_file_b_tree.H.

References Aleph::and, Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::pages_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::root_page_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::size_, and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::verify_node().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::load_from_disk(), TEST(), TEST(), TEST(), TEST(), and Aleph::Gen_File_B_Map< Key, Value, Compare, MinDegree, KeyCodec, ValueCodec >::verify().

◆ verify_node()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
bool Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::verify_node ( const page_id_t  page_id,
const std::optional< Key > &  min_key,
const std::optional< Key > &  max_key,
const size_t  depth,
size_t &  leaf_depth,
size_t &  counted,
Array< unsigned char > &  visited 
) const
inlineprivate

Definition at line 2016 of file tpl_file_b_tree.H.

References Aleph::and, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::child_count, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::children, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::cmp_, Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::is_internal(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::is_leaf(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::key_count, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::keys, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::max_key(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::MaxKeys, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::min_key(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::MinKeys, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::pages_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::root_page_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::strictly_sorted(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::verify_node().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::verify(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::verify_node().

◆ version_uses_portable_codec()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
static constexpr bool Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::version_uses_portable_codec ( const std::uint32_t  version)
inlinestaticconstexprprivatenoexcept

Definition at line 351 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::PortableFormatVersion.

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::encoding_marker_for_version(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::key_size_for_version(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_key(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::reserved_bytes_for_version().

◆ wal_header_bytes()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
static constexpr size_t Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::wal_header_bytes ( )
inlinestaticconstexprprivatenoexcept

Definition at line 882 of file tpl_file_b_tree.H.

References Aleph::detail::Ordered_Tree_Snapshot_Magic_Size.

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::recover_from_wal().

◆ wal_header_checksum()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
static std::uint32_t Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::wal_header_checksum ( const std::uint32_t  wal_version,
const std::uint64_t  size,
const page_id_t  root_page,
const std::uint64_t  page_count,
const page_id_t  free_page_head,
const std::uint64_t  checkpoint_sequence,
const std::uint64_t  dirty_count 
)
inlinestaticprivatenoexcept

Definition at line 903 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::checkpoint_sequence(), Aleph::detail::crc32_add(), Aleph::detail::crc32_add_bytes(), Aleph::detail::crc32_begin(), Aleph::detail::crc32_finish(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::encoding_marker_for_version(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::key_size_for_version(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page_count(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::reserved_bytes_for_version(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::size(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::wal_record_format_version().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::recover_from_wal(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_wal_to_path().

◆ wal_magic()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
static constexpr auto Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::wal_magic ( )
inlinestaticconstexprprivatenoexcept

Definition at line 271 of file tpl_file_b_tree.H.

References Aleph::detail::ordered_tree_snapshot_magic().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::recover_from_wal(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_wal_to_path().

◆ wal_record_bytes()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
static constexpr size_t Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::wal_record_bytes ( const std::uint32_t  wal_version)
inlinestaticconstexprprivatenoexcept

Definition at line 897 of file tpl_file_b_tree.H.

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

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::recover_from_wal().

◆ wal_record_checksum_add()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
static std::uint32_t Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::wal_record_checksum_add ( std::uint32_t  crc,
const page_id_t  page_id,
const Page &  page 
)
inlinestaticprivate

Definition at line 721 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::add_key_to_crc(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::checkpoint_sequence, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::child_count, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::children, Aleph::detail::crc32_add(), Aleph::detail::crc32_add_bytes(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::key_count, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::keys, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::kind, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::link, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::MaxKeys, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page_checksum().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::recover_from_wal(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_wal_to_path().

◆ wal_record_checksum_add_v2()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
static std::uint32_t Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::wal_record_checksum_add_v2 ( std::uint32_t  crc,
const page_id_t  page_id,
const Page &  page 
)
inlinestaticprivate

Definition at line 763 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::add_native_key_to_crc(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::child_count, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::children, Aleph::detail::crc32_add(), Aleph::detail::crc32_add_bytes(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::key_count, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::keys, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::kind, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::link, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::MaxKeys, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page_checksum_v3().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::recover_from_wal().

◆ wal_record_checksum_add_v3()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
static std::uint32_t Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::wal_record_checksum_add_v3 ( std::uint32_t  crc,
const page_id_t  page_id,
const Page &  page 
)
inlinestaticprivate

Definition at line 742 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::add_native_key_to_crc(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::checkpoint_sequence, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::child_count, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::children, Aleph::detail::crc32_add(), Aleph::detail::crc32_add_bytes(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::key_count, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::keys, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::kind, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::link, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::MaxKeys, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page_checksum_v4().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::recover_from_wal().

◆ wal_record_format_version()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
static constexpr std::uint32_t Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::wal_record_format_version ( const std::uint32_t  wal_version)
inlinestaticconstexprprivatenoexcept

Definition at line 889 of file tpl_file_b_tree.H.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::HeaderCheckpointFormatVersion, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::NativeCheckpointFormatVersion, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::NativeWalVersion, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::PortableFormatVersion, and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::PortableWalVersion.

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::recover_from_wal(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::wal_header_checksum(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::wal_record_bytes().

◆ wal_trailer_bytes()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
static constexpr size_t Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::wal_trailer_bytes ( )
inlinestaticconstexprprivatenoexcept

Definition at line 931 of file tpl_file_b_tree.H.

References Aleph::detail::Ordered_Tree_Snapshot_Magic_Size.

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::recover_from_wal().

◆ wal_trailer_magic()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
static constexpr auto Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::wal_trailer_magic ( )
inlinestaticconstexprprivatenoexcept

Definition at line 276 of file tpl_file_b_tree.H.

References Aleph::detail::ordered_tree_snapshot_magic().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::recover_from_wal(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_wal_to_path().

◆ write_current_header_to_storage()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
void Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_current_header_to_storage ( const std::uint64_t  checkpoint_sequence) const
inlineprivate

Definition at line 859 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::checkpoint_sequence(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::free_page_head_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::pages_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::root_page_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::size_, and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_header_to_storage().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::apply_current_cache_to_storage().

◆ write_current_page_to_storage()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
void Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_current_page_to_storage ( const page_id_t  page_id,
const Page &  page 
) const
inlineprivate

Definition at line 866 of file tpl_file_b_tree.H.

References Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::current_page_offset(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::file_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::file_path_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::seekp_to(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_page_record().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::apply_current_cache_to_storage(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::recover_from_wal().

◆ write_full_image()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
void Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_full_image ( std::ostream &  out,
const std::string &  target_path,
const std::uint64_t  checkpoint_sequence 
) const
inlineprivate

Definition at line 1049 of file tpl_file_b_tree.H.

References ah_runtime_error_unless, 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 >::encoding_marker_for_version(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::file_magic(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::FormatVersion, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::free_page_head_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::header_checksum(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::key_size_for_version(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page_count(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::pages_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::reserved_bytes_for_version(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::root_page_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::size(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::size_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_page_record(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_pod().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_full_image_to_path().

◆ write_full_image_to_path()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
void Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_full_image_to_path ( const std::string &  target_path,
const std::uint64_t  checkpoint_sequence 
) const
inlineprivate

Definition at line 1087 of file tpl_file_b_tree.H.

References ah_runtime_error_unless, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::checkpoint_sequence(), Aleph::divide_and_conquer_partition_dp(), Aleph::detail::sync_file_by_path(), Aleph::detail::sync_parent_directory(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::tree_kind(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_full_image().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::apply_current_cache_to_storage(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::sync().

◆ write_header_to_storage()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
void Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_header_to_storage ( const std::uint64_t  size,
const page_id_t  root_page,
const std::uint64_t  page_count,
const page_id_t  free_page_head,
const std::uint64_t  checkpoint_sequence 
) const
inlineprivate

Definition at line 823 of file tpl_file_b_tree.H.

References ah_runtime_error_unless, 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 >::encoding_marker_for_version(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::file_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::file_magic(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::file_path_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::FormatVersion, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::header_checksum(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::key_size_for_version(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page_count(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::reserved_bytes_for_version(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::seekp_to(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::size(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_pod().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::recover_from_wal(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_current_header_to_storage().

◆ write_key()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
static void Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_key ( std::ostream &  out,
const Key &  key,
const std::string &  file_path,
const char *  what 
)
inlinestaticprivate

Definition at line 554 of file tpl_file_b_tree.H.

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

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_page_record().

◆ write_native_key()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
static void Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_native_key ( std::ostream &  out,
const Key &  key,
const std::string &  file_path,
const char *  what 
)
inlinestaticprivate

Definition at line 523 of file tpl_file_b_tree.H.

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

◆ write_page_record()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
static void Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_page_record ( std::ostream &  out,
const Page &  page,
const std::string &  target_path 
)
inlinestaticprivate

Definition at line 783 of file tpl_file_b_tree.H.

References ah_runtime_error_unless, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::checkpoint_sequence, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::child_count, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::children, Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::key_count, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::keys, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::kind, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Page::link, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::MaxChildren, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::MaxKeys, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page_checksum(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_key(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_pod().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_current_page_to_storage(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_full_image(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_wal_to_path().

◆ write_pod()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
template<typename T >
static void Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_pod ( std::ostream &  out,
const T &  value,
const std::string &  file_path,
const char *  what 
)
inlinestaticprivate

Definition at line 501 of file tpl_file_b_tree.H.

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

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_full_image(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_header_to_storage(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_page_record(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_wal_to_path().

◆ write_portable_key()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
static void Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_portable_key ( std::ostream &  out,
const Key &  key,
const std::string &  file_path,
const char *  what 
)
inlinestaticprivate

Definition at line 542 of file tpl_file_b_tree.H.

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

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_key().

◆ write_wal_to_path()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
void Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_wal_to_path ( const std::string &  target_path,
const std::uint64_t  checkpoint_sequence 
) const
inlineprivate

Definition at line 937 of file tpl_file_b_tree.H.

References ah_runtime_error_unless, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::checkpoint_sequence(), Aleph::detail::crc32_begin(), Aleph::detail::crc32_finish(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::dirty_page_count(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::dirty_pages_, Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::encoding_marker_for_version(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::FormatVersion, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::free_page_head_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::key_size_for_version(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page_count(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::pages_, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::reserved_bytes_for_version(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::root_page_, Aleph::Array< T >::size(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::size(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::size_, Aleph::detail::sync_file_by_path(), Aleph::detail::sync_parent_directory(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::tree_kind(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::wal_header_checksum(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::wal_magic(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::wal_record_checksum_add(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::wal_trailer_magic(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::WalVersion, Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_page_record(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_pod().

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::sync().

Member Data Documentation

◆ auto_sync_

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
bool Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::auto_sync_ = true
private

Definition at line 234 of file tpl_file_b_tree.H.

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::auto_sync_enabled(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::set_auto_sync(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::sync_if_enabled().

◆ checkpoint_sequence_

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
std::uint64_t Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::checkpoint_sequence_ = 0
mutableprivate

Definition at line 236 of file tpl_file_b_tree.H.

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::apply_current_cache_to_storage(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::checkpoint_sequence(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::init_empty_cache(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::load_from_disk(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::mark_page_dirty(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::recover_from_wal(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::sync().

◆ ChecksummedFormatVersion

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
constexpr std::uint32_t Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::ChecksummedFormatVersion = 2
staticconstexprprivate

Definition at line 174 of file tpl_file_b_tree.H.

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_image(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::serialized_header_bytes().

◆ cmp_

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
Compare Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::cmp_
private

Definition at line 221 of file tpl_file_b_tree.H.

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::equals(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::insert_nonfull(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::key_comp(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::lower_bound_index(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::strictly_sorted(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::upper_bound_index(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::verify_node().

◆ CommitTrailerWalVersion

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
constexpr std::uint32_t Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::CommitTrailerWalVersion = 2
staticconstexprprivate

Definition at line 282 of file tpl_file_b_tree.H.

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::recover_from_wal().

◆ dirty_pages_

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
Array<unsigned char> Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::dirty_pages_
mutableprivate

Definition at line 232 of file tpl_file_b_tree.H.

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::allocate_page(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::apply_current_cache_to_storage(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::clear_dirty_state(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::dirty_page_count(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::has_pending_changes(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::init_empty_cache(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::load_from_disk(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::mark_page_dirty(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_wal_to_path().

◆ EncodedKeySize

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
constexpr std::uint32_t Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::EncodedKeySize
staticconstexprprivate
Initial value:
=
static_cast<std::uint32_t>(Codec::encoded_size)

Definition at line 179 of file tpl_file_b_tree.H.

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::key_size_for_version().

◆ EndianMarker

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
constexpr std::uint8_t Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::EndianMarker
staticconstexprprivate
Initial value:
=
std::endian::native == std::endian::little ? 1 : 2

Definition at line 182 of file tpl_file_b_tree.H.

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::encoding_marker_for_version().

◆ file_

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
std::fstream Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::file_
mutableprivate

Definition at line 230 of file tpl_file_b_tree.H.

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Gen_File_B_Tree(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::~Gen_File_B_Tree(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::apply_current_cache_to_storage(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::open_storage(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_storage_page_if_current(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::recover_from_wal(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::recover_if_needed(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::seekp_to(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_current_page_to_storage(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_header_to_storage().

◆ file_path_

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
std::string Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::file_path_
private

Definition at line 222 of file tpl_file_b_tree.H.

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Gen_File_B_Tree(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::apply_current_cache_to_storage(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::ensure_parent_dir(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::file_exists(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::file_path(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::init_sidecar_paths(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::load_from_disk(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::open_storage(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_storage_page_if_current(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::recover_from_wal(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::recover_if_needed(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::reload(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::seekp_to(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::storage_format_version_on_disk(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_current_page_to_storage(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_header_to_storage().

◆ FormatVersion

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
constexpr std::uint32_t Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::FormatVersion = PortableFormatVersion
staticconstexprprivate

Definition at line 178 of file tpl_file_b_tree.H.

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::apply_current_cache_to_storage(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::init_empty_cache(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_image(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_storage_page_if_current(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::recover_from_wal(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::sync(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_full_image(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_header_to_storage(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_wal_to_path().

◆ free_page_head_

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
page_id_t Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::free_page_head_ = 0
private

Definition at line 240 of file tpl_file_b_tree.H.

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::allocate_page(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::init_empty_cache(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::load_from_disk(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::release_page(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_current_header_to_storage(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_full_image(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_wal_to_path().

◆ header_dirty_

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
bool Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::header_dirty_ = false
mutableprivate

Definition at line 233 of file tpl_file_b_tree.H.

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::clear_dirty_state(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::has_pending_changes(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::init_empty_cache(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::load_from_disk(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::mark_header_dirty().

◆ HeaderCheckpointFormatVersion

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
constexpr std::uint32_t Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::HeaderCheckpointFormatVersion = 3
staticconstexprprivate

Definition at line 175 of file tpl_file_b_tree.H.

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_image(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_page_from_stream(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::serialized_header_bytes(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::serialized_page_bytes(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::wal_record_format_version().

◆ journal_path_

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
std::string Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::journal_path_
private

Definition at line 224 of file tpl_file_b_tree.H.

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::init_sidecar_paths(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::recover_if_needed(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::sync().

◆ journal_tmp_path_

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
std::string Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::journal_tmp_path_
private

Definition at line 225 of file tpl_file_b_tree.H.

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::init_sidecar_paths(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::recover_if_needed(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::sync().

◆ LegacyFormatVersion

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
constexpr std::uint32_t Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::LegacyFormatVersion = 1
staticconstexprprivate

Definition at line 173 of file tpl_file_b_tree.H.

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_image().

◆ LegacyWalVersion

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
constexpr std::uint32_t Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::LegacyWalVersion = 1
staticconstexprprivate

Definition at line 281 of file tpl_file_b_tree.H.

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::recover_from_wal().

◆ lock_

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
detail::Pid_File_Lock Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::lock_
mutableprivate

Definition at line 229 of file tpl_file_b_tree.H.

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Gen_File_B_Tree().

◆ lock_path_

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
std::string Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::lock_path_
private

Definition at line 228 of file tpl_file_b_tree.H.

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Gen_File_B_Tree(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::init_sidecar_paths().

◆ MaxChildren

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
constexpr size_t Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::MaxChildren = 2 * MinDegree
staticconstexprprivate

Definition at line 171 of file tpl_file_b_tree.H.

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::legacy_page_bytes(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::portable_page_bytes(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_page_from_stream(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_page_record().

◆ MaxKeys

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
constexpr size_t Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::MaxKeys = 2 * MinDegree - 1
staticconstexprprivate

Definition at line 170 of file tpl_file_b_tree.H.

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::insert(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::insert_nonfull(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::legacy_page_bytes(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page_checksum(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page_checksum_v3(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page_checksum_v4(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::portable_page_bytes(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_page_from_stream(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::verify_node(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::wal_record_checksum_add(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::wal_record_checksum_add_v2(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::wal_record_checksum_add_v3(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_page_record().

◆ MinKeys

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
constexpr size_t Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::MinKeys = MinDegree - 1
staticconstexprprivate

Definition at line 172 of file tpl_file_b_tree.H.

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::split_child(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::verify_node().

◆ NativeCheckpointFormatVersion

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
constexpr std::uint32_t Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::NativeCheckpointFormatVersion = 4
staticconstexprprivate

Definition at line 176 of file tpl_file_b_tree.H.

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_image(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_page_from_stream(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::serialized_page_bytes(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::wal_record_format_version().

◆ NativeWalVersion

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
constexpr std::uint32_t Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::NativeWalVersion = 3
staticconstexprprivate

Definition at line 283 of file tpl_file_b_tree.H.

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::recover_from_wal(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::wal_record_format_version().

◆ open_mode_

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
Paged_File_Open_Mode Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::open_mode_ = Paged_File_Open_Mode::Read_Write
private

Definition at line 223 of file tpl_file_b_tree.H.

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::lock_mode(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::open_mode(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_only().

◆ pages_

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
Array<Page> Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::pages_
private

Definition at line 231 of file tpl_file_b_tree.H.

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::allocate_page(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::init_empty_cache(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::load_from_disk(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::page_count(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::stamp_all_pages_for_checkpoint(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::verify(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::verify_node(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_current_header_to_storage(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_full_image(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_wal_to_path().

◆ PortableEncodingMarker

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
constexpr std::uint8_t Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::PortableEncodingMarker = 3
staticconstexprprivate

Definition at line 181 of file tpl_file_b_tree.H.

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::encoding_marker_for_version().

◆ PortableFormatVersion

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
constexpr std::uint32_t Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::PortableFormatVersion = 5
staticconstexprprivate

Definition at line 177 of file tpl_file_b_tree.H.

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::ensure_legacy_native_format_supported(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_image(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::read_page_from_stream(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::serialized_page_bytes(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::version_uses_portable_codec(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::wal_record_format_version().

◆ PortableWalVersion

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
constexpr std::uint32_t Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::PortableWalVersion = 4
staticconstexprprivate

Definition at line 284 of file tpl_file_b_tree.H.

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::recover_from_wal(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::wal_record_format_version().

◆ Read_Only

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
constexpr auto Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Read_Only = Paged_File_Open_Mode::Read_Only
staticconstexpr

Definition at line 2104 of file tpl_file_b_tree.H.

◆ Read_Write

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
constexpr auto Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::Read_Write = Paged_File_Open_Mode::Read_Write
staticconstexpr

Definition at line 2103 of file tpl_file_b_tree.H.

◆ root_page_

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
page_id_t Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::root_page_ = 0
private

Definition at line 239 of file tpl_file_b_tree.H.

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::contains(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::height(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::init_empty_cache(), 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 >::load_from_disk(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::lower_bound(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::max_key(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::min_key(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::remove(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::upper_bound(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::verify(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::verify_node(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_current_header_to_storage(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_full_image(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_wal_to_path().

◆ size_

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
size_t Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::size_ = 0
private

Definition at line 238 of file tpl_file_b_tree.H.

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::empty(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::init_empty_cache(), 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 >::load_from_disk(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::remove(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::size(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::verify(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_current_header_to_storage(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_full_image(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_wal_to_path().

◆ storage_format_version_

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
std::uint32_t Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::storage_format_version_ = FormatVersion
mutableprivate

Definition at line 235 of file tpl_file_b_tree.H.

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::apply_current_cache_to_storage(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::init_empty_cache(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::load_from_disk(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::recover_from_wal(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::sync().

◆ wal_path_

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
std::string Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::wal_path_
private

Definition at line 226 of file tpl_file_b_tree.H.

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::init_sidecar_paths(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::recover_from_wal(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::sync().

◆ wal_tmp_path_

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
std::string Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::wal_tmp_path_
private

Definition at line 227 of file tpl_file_b_tree.H.

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::init_sidecar_paths(), Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::recover_from_wal(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::sync().

◆ WalVersion

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
constexpr std::uint32_t Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::WalVersion = PortableWalVersion
staticconstexprprivate

Definition at line 285 of file tpl_file_b_tree.H.

Referenced by Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::recover_from_wal(), and Aleph::Gen_File_B_Tree< Key, Compare, MinDegree, Codec >::write_wal_to_path().

The documentation for this class was generated from the following file: