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_BPlus_Tree< Key, Compare, MinDegree, Codec > Class Template Reference

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

#include <tpl_file_bplus_tree.H>

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

Classes

class  Iterator
 Lazy iterator over ordered keys stored in leaf pages. More...
 
struct  Loaded_Image
 
struct  Page
 
struct  Wal_Record
 

Public Types

using key_type = Key
 Stored key type.
 
using tree_type = Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >
 Concrete persistent tree type.
 
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_BPlus_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_BPlus_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_BPlus_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_BPlus_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_BPlus_Tree (const Gen_File_BPlus_Tree &)=delete
 Copying is disabled.
 
Gen_File_BPlus_Tree & operator= (const Gen_File_BPlus_Tree &)=delete
 Assignment is disabled.
 
 Gen_File_BPlus_Tree (Gen_File_BPlus_Tree &&)=delete
 Moving is disabled.
 
Gen_File_BPlus_Tree & operator= (Gen_File_BPlus_Tree &&)=delete
 Move assignment is disabled.
 
 ~Gen_File_BPlus_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.
 
Iterator get_it () const noexcept
 Return a lazy iterator over the full key order.
 
Iterator get_range_it (const Key &first, const Key &last) const
 Return a lazy iterator over an inclusive key range.
 
Array< Key > range (const Key &first, const Key &last) const
 Collect all keys in the inclusive range [first, last].
 
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 page_id_t first_leaf_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
 
size_t child_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)
 
Key subtree_min (const page_id_t page_id) const
 
void rebuild_separators (const page_id_t page_id)
 
page_id_t leftmost_leaf_page (page_id_t page_id) const
 
page_id_t rightmost_leaf_page (page_id_t page_id) const
 
page_id_t find_leaf_page (const Key &key) 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 left_idx)
 
void fix_underflow (const page_id_t parent_id, const size_t idx)
 
bool remove_from (const page_id_t page_id, const Key &key)
 
bool verify_leaf_chain () 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) 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 page_id_t first_leaf_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 page_id_t first_leaf_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 page_id_t first_leaf_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 void 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 void 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 first_leaf_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_BPlus_Tree< Key, Compare, MinDegree, Codec >

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

Gen_File_BPlus_Tree implements a file-backed B+ Tree with:

  • fixed-size node pages identified by page ids
  • an on-disk header containing format/version metadata
  • linked leaves for ordered scans and range queries
  • a free-list for recycling pages released by merges or root collapse

The whole file is cached in memory after opening, but all mutations are performed against the paged representation itself rather than by reconstructing an in-memory BPlus_Tree and snapshotting sorted keys. This makes the persistent format structurally faithful to a real on-disk B+ Tree, while keeping the implementation and API practical.

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, first-leaf page id, size, 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)
  • range(): O(log n + k), where k is the number of reported keys
  • 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. B+ Trees store all keys in leaf nodes which are linked together, providing efficient range scans in addition to O(log n) point access.

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_bplus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::key_type = Key

Stored key type.

Definition at line 2146 of file tpl_file_bplus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::open_mode_type = Paged_File_Open_Mode

File opening mode type.

Definition at line 2149 of file tpl_file_bplus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::page_id_t = std::uint64_t
private

Definition at line 185 of file tpl_file_bplus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::page_id_type = page_id_t

Type of on-disk page identifiers.

Definition at line 2148 of file tpl_file_bplus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::tree_type = Gen_File_BPlus_Tree<Key, Compare, MinDegree, Codec>

Concrete persistent tree type.

Definition at line 2147 of file tpl_file_bplus_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_BPlus_Tree::PageKind : std::uint8_t
strongprivate
Enumerator
Free 
Internal 
Leaf 

Definition at line 187 of file tpl_file_bplus_tree.H.

Constructor & Destructor Documentation

◆ Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::Gen_File_BPlus_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 2293 of file tpl_file_bplus_tree.H.

◆ Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::Gen_File_BPlus_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 2312 of file tpl_file_bplus_tree.H.

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

◆ Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::Gen_File_BPlus_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 2362 of file tpl_file_bplus_tree.H.

◆ Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::Gen_File_BPlus_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 2381 of file tpl_file_bplus_tree.H.

◆ Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::Gen_File_BPlus_Tree ( const Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec > &  )
delete

Copying is disabled.

◆ Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::Gen_File_BPlus_Tree ( Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec > &&  )
delete

Moving is disabled.

◆ ~Gen_File_BPlus_Tree()

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

Close the backing file.

Exceptions
Nothing.

Definition at line 2404 of file tpl_file_bplus_tree.H.

References Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::add_key_to_crc ( const std::uint32_t  crc,
const Key &  key 
)
inlinestaticprivate

Definition at line 611 of file tpl_file_bplus_tree.H.

References Aleph::divide_and_conquer_partition_dp().

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::page_checksum(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::add_native_key_to_crc ( const std::uint32_t  crc,
const Key &  key 
)
inlinestaticprivate

Definition at line 618 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::page_checksum_v3(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::page_checksum_v4(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::wal_record_checksum_add_v2(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::allocate_page ( const PageKind  kind)
inlineprivate

Definition at line 1753 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::insert(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::apply_current_cache_to_storage ( const std::uint64_t  checkpoint_sequence) const
inlineprivate

Definition at line 1140 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_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_BPlus_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 2469 of file tpl_file_bplus_tree.H.

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

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

◆ 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_BPlus_Tree< Key, Compare, MinDegree, Codec >::borrow_from_next ( const page_id_t  parent_id,
const size_t  idx 
)
inlineprivate

Definition at line 1918 of file tpl_file_bplus_tree.H.

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

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

◆ 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_BPlus_Tree< Key, Compare, MinDegree, Codec >::borrow_from_prev ( const page_id_t  parent_id,
const size_t  idx 
)
inlineprivate

Definition at line 1892 of file tpl_file_bplus_tree.H.

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

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

◆ checkpoint()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
void Aleph::Gen_File_BPlus_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 2513 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_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_BPlus_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 2505 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::apply_current_cache_to_storage(), Aleph::Gen_File_BPlus_Map< Key, Value, Compare, MinDegree, KeyCodec, ValueCodec >::checkpoint_sequence(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::header_checksum(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::stamp_all_pages_for_checkpoint(), TEST(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::wal_header_checksum(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::write_current_header_to_storage(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::write_full_image(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::write_full_image_to_path(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::write_header_to_storage(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::checksummed_header_bytes ( )
inlinestaticconstexprprivatenoexcept

Definition at line 295 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::header_bytes(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::checksummed_page_bytes ( )
inlinestaticconstexprprivatenoexcept

Definition at line 313 of file tpl_file_bplus_tree.H.

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

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

◆ child_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::child_index ( const Page &  page,
const Key &  key 
) const
inlineprivate

Definition at line 1717 of file tpl_file_bplus_tree.H.

References Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::page(), and Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::upper_bound_index().

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::find_leaf_page(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::insert_nonfull(), and Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::remove_from().

◆ clear()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
void Aleph::Gen_File_BPlus_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 2598 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::clear_dirty_state ( ) const
inlineprivatenoexcept

Definition at line 1643 of file tpl_file_bplus_tree.H.

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

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

◆ contains()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
bool Aleph::Gen_File_BPlus_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 2610 of file tpl_file_bplus_tree.H.

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

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

◆ 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_BPlus_Tree< Key, Compare, MinDegree, Codec >::create_empty_file ( )
inlineprivate

Definition at line 1558 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::current_page_offset ( const page_id_t  page_id) const
inlineprivatenoexcept

Definition at line 827 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::read_storage_page_if_current(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::dirty_page_count ( ) const
inlineprivatenoexcept

Definition at line 888 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_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_BPlus_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 2564 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_Map< Key, Value, Compare, MinDegree, KeyCodec, ValueCodec >::empty(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::encoding_marker_for_version ( const std::uint32_t  version)
inlinestaticconstexprprivatenoexcept

Definition at line 359 of file tpl_file_bplus_tree.H.

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

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

◆ 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_BPlus_Tree< Key, Compare, MinDegree, Codec >::ensure_legacy_native_format_supported ( const std::string &  source_path,
const std::uint32_t  version 
)
inlinestaticprivate

Definition at line 397 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_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_BPlus_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 410 of file tpl_file_bplus_tree.H.

References ah_runtime_error, and Aleph::divide_and_conquer_partition_dp().

Referenced by Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::ensure_parent_dir ( ) const
inlineprivate

Definition at line 452 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::ensure_writable ( const char *  operation) const
inlineprivate

Definition at line 261 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Gen_File_BPlus_Tree(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::clear(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::create_empty_file(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::insert(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::open_storage(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::remove(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::equals ( const Key &  lhs,
const Key &  rhs 
) const
inlineprivate

Definition at line 1682 of file tpl_file_bplus_tree.H.

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

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

◆ erase_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::erase_child_at ( Page &  page,
const size_t  idx 
)
inlinestaticprivate

Definition at line 1746 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::borrow_from_next(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::borrow_from_prev(), and Aleph::Gen_File_BPlus_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 void Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::erase_key_at ( Page &  page,
const size_t  idx 
)
inlinestaticprivate

Definition at line 1730 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::borrow_from_next(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::borrow_from_prev(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::file_exists ( ) const
inlineprivate

Definition at line 1566 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Gen_File_BPlus_Tree(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::apply_current_cache_to_storage(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::recover_from_wal(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::reload(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::storage_format_version_on_disk(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::file_magic ( )
inlinestaticconstexprprivatenoexcept

Definition at line 268 of file tpl_file_bplus_tree.H.

References Aleph::detail::ordered_tree_snapshot_magic().

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::read_image(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::storage_format_version_on_disk(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::write_full_image(), and Aleph::Gen_File_BPlus_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_BPlus_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 2433 of file tpl_file_bplus_tree.H.

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

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

◆ find_leaf_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::find_leaf_page ( const Key &  key) const
inlineprivate

Definition at line 1823 of file tpl_file_bplus_tree.H.

References Aleph::and, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::child_index(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::children, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::is_internal(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::page(), and Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::root_page_.

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Iterator::Iterator(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::contains(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::lower_bound(), and Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::upper_bound().

◆ fix_underflow()

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

Definition at line 1977 of file tpl_file_bplus_tree.H.

References Aleph::and, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::borrow_from_next(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::borrow_from_prev(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::children, Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::merge_children(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::MinKeys, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::page(), and Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::rebuild_separators().

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

◆ 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_BPlus_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 2424 of file tpl_file_bplus_tree.H.

References Aleph::Gen_File_BPlus_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_BPlus_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 2442 of file tpl_file_bplus_tree.H.

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

◆ get_it()

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

Return a lazy iterator over the full key order.

Returns
Iterator positioned at the first key, or exhausted if empty.
Exceptions
Nothing.

Definition at line 2800 of file tpl_file_bplus_tree.H.

Referenced by Aleph::Gen_File_BPlus_Map< Key, Value, Compare, MinDegree, KeyCodec, ValueCodec >::get_it(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::keys(), and TEST().

◆ get_range_it()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
Iterator Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::get_range_it ( const Key &  first,
const Key &  last 
) const
inline

Return a lazy iterator over an inclusive key range.

Parameters
firstLower endpoint, inclusive.
lastUpper endpoint, inclusive.
Returns
Iterator positioned at the first key in the range.
Exceptions
std::invalid_argumentIf last < first.
Anyexception propagated by Compare.

Definition at line 2812 of file tpl_file_bplus_tree.H.

Referenced by Aleph::Gen_File_BPlus_Map< Key, Value, Compare, MinDegree, KeyCodec, ValueCodec >::get_range_it(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::range(), and TEST().

◆ 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_BPlus_Tree< Key, Compare, MinDegree, Codec >::has_pending_changes ( ) const
inlineprivatenoexcept

Definition at line 1632 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::header_bytes ( )
inlinestaticconstexprprivatenoexcept

Definition at line 300 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::current_page_offset(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::header_checksum ( const std::uint32_t  version,
const std::uint64_t  size,
const page_id_t  root_page,
const page_id_t  first_leaf_page,
const std::uint64_t  page_count,
const page_id_t  free_page_head,
const std::uint64_t  checkpoint_sequence 
)
inlinestaticprivatenoexcept

Definition at line 656 of file tpl_file_bplus_tree.H.

References Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::encoding_marker_for_version(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::key_size_for_version(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::page_count(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::reserved_bytes_for_version(), and Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::size().

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::read_image(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::write_full_image(), and Aleph::Gen_File_BPlus_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_BPlus_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 page_id_t  first_leaf_page,
const std::uint64_t  page_count,
const page_id_t  free_page_head 
)
inlinestaticprivatenoexcept

Definition at line 633 of file tpl_file_bplus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::encoding_marker_for_version(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::key_size_for_version(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::page_count(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::reserved_bytes_for_version(), and Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::size().

Referenced by Aleph::Gen_File_BPlus_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_BPlus_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 2582 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::init_empty_cache ( )
inlineprivate

Definition at line 437 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::clear(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::init_sidecar_paths ( )
inlineprivate

Definition at line 494 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Gen_File_BPlus_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_BPlus_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 2638 of file tpl_file_bplus_tree.H.

References Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::allocate_page(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::child_count, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::children, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::contains(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::ensure_writable(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::first_leaf_page_, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::insert_nonfull(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Internal, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::key_count, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::keys, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Leaf, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::mark_header_dirty(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::mark_page_dirty(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::MaxKeys, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::page(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::root_page_, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::size_, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::split_child(), and Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::sync_if_enabled().

Referenced by Aleph::Gen_File_BPlus_Map< Key, Value, Compare, MinDegree, KeyCodec, ValueCodec >::insert(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::insert(), Aleph::Gen_File_BPlus_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(), 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_BPlus_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 2682 of file tpl_file_bplus_tree.H.

References Aleph::copy(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::insert_child_at ( Page &  page,
const size_t  idx,
const page_id_t  child_id 
)
inlinestaticprivate

Definition at line 1737 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::borrow_from_prev(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::insert_key_at ( Page &  page,
const size_t  idx,
const Key &  key 
)
inlinestaticprivate

Definition at line 1722 of file tpl_file_bplus_tree.H.

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

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

◆ 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_BPlus_Tree< Key, Compare, MinDegree, Codec >::insert_nonfull ( const page_id_t  page_id,
const Key &  key 
)
inlineprivate

Definition at line 1870 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::insert(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::is_empty ( ) const
inlinenoexcept

Synonym for empty().

Returns
true if empty, otherwise false.
Exceptions
Nothing.

Definition at line 2570 of file tpl_file_bplus_tree.H.

References Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::is_free ( const Page &  page)
inlinestaticconstexprprivatenoexcept

Definition at line 432 of file tpl_file_bplus_tree.H.

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

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

◆ 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_BPlus_Tree< Key, Compare, MinDegree, Codec >::is_internal ( const Page &  page)
inlinestaticconstexprprivatenoexcept

Definition at line 427 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::find_leaf_page(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::leftmost_leaf_page(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::rebuild_separators(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::remove(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::rightmost_leaf_page(), and Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::subtree_min().

◆ 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_BPlus_Tree< Key, Compare, MinDegree, Codec >::is_leaf ( const Page &  page)
inlinestaticconstexprprivatenoexcept

Definition at line 422 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::borrow_from_next(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::borrow_from_prev(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::height(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::insert_nonfull(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::merge_children(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::remove(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::remove_from(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::split_child(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::subtree_min(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::verify_leaf_chain(), and Aleph::Gen_File_BPlus_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_BPlus_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 2460 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_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_BPlus_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 2418 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_Map< Key, Value, Compare, MinDegree, KeyCodec, ValueCodec >::equals_key(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::get_compare(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::key_size_for_version ( const std::uint32_t  version)
inlinestaticconstexprprivatenoexcept

Definition at line 367 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::header_checksum(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::header_checksum_v2(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::read_image(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::recover_from_wal(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::wal_header_checksum(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::write_full_image(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::write_header_to_storage(), and Aleph::Gen_File_BPlus_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_BPlus_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 2840 of file tpl_file_bplus_tree.H.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::get_it(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Iterator::has_curr(), Aleph::Array< T >::reserve(), and Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::size_.

Referenced by Aleph::Gen_File_BPlus_Map< Key, Value, Compare, MinDegree, KeyCodec, ValueCodec >::items(), Aleph::Gen_File_BPlus_Map< Key, Value, Compare, MinDegree, KeyCodec, ValueCodec >::keys(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::remove_from(), and Aleph::Gen_File_BPlus_Map< Key, Value, Compare, MinDegree, KeyCodec, ValueCodec >::values().

◆ leftmost_leaf_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::leftmost_leaf_page ( page_id_t  page_id) const
inlineprivate

Definition at line 1809 of file tpl_file_bplus_tree.H.

References Aleph::and, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::children, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::is_internal(), and Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::page().

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

◆ 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_BPlus_Tree< Key, Compare, MinDegree, Codec >::legacy_header_bytes ( )
inlinestaticconstexprprivatenoexcept

Definition at line 289 of file tpl_file_bplus_tree.H.

References Aleph::detail::Ordered_Tree_Snapshot_Magic_Size.

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::checksummed_header_bytes(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::legacy_page_bytes ( )
inlinestaticconstexprprivatenoexcept

Definition at line 305 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::checksummed_page_bytes(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::native_page_bytes(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::load_from_disk ( )
inlineprivate

Definition at line 1535 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Gen_File_BPlus_Tree(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::lock_mode ( ) const
inlineprivatenoexcept

Definition at line 249 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Gen_File_BPlus_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_BPlus_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 2753 of file tpl_file_bplus_tree.H.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::find_leaf_page(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::key_count, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::keys, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::link, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::lower_bound_index(), and Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::page().

Referenced by Aleph::Gen_File_BPlus_Map< Key, Value, Compare, MinDegree, KeyCodec, ValueCodec >::find_record(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::lower_bound_index ( const Page &  page,
const Key &  key 
) const
inlineprivate

Definition at line 1698 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Iterator::Iterator(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::contains(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::insert_nonfull(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::lower_bound(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::make_page ( const PageKind  kind)
inlinestaticconstexprprivatenoexcept

Definition at line 390 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::allocate_page(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::mark_header_dirty ( ) const
inlineprivatenoexcept

Definition at line 1663 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::allocate_page(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::insert(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::merge_children(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::release_page(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::mark_page_dirty ( const page_id_t  page_id)
inlineprivate

Definition at line 1650 of file tpl_file_bplus_tree.H.

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

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

◆ 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_BPlus_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 2740 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_Map< Key, Value, Compare, MinDegree, KeyCodec, ValueCodec >::max_item(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::merge_children ( const page_id_t  parent_id,
const size_t  left_idx 
)
inlineprivate

Definition at line 1941 of file tpl_file_bplus_tree.H.

References Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::child_count, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::children, Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::erase_child_at(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::first_leaf_page_, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::is_leaf(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::key_count, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::keys, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::link, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::mark_header_dirty(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::mark_page_dirty(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::page(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::rebuild_separators(), and Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::release_page().

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

◆ 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_BPlus_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 2729 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_Map< Key, Value, Compare, MinDegree, KeyCodec, ValueCodec >::min_item(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::native_page_bytes ( )
inlinestaticconstexprprivatenoexcept

Definition at line 318 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_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_BPlus_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 2451 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::open_storage ( const bool  truncate = false) const
inlineprivate

Definition at line 468 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Gen_File_BPlus_Tree(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::apply_current_cache_to_storage(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::create_empty_file(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::load_from_disk(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::read_storage_page_if_current(), and Aleph::Gen_File_BPlus_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_BPlus_Tree & Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::operator= ( const Gen_File_BPlus_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_BPlus_Tree & Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::operator= ( Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::page ( const page_id_t  page_id)
inlineprivate

Definition at line 1668 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Iterator::Iterator(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::allocate_page(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::apply_current_cache_to_storage(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::borrow_from_next(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::borrow_from_prev(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::child_index(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::contains(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::erase_child_at(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::erase_key_at(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::find_leaf_page(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::fix_underflow(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Iterator::get_curr(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::height(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::insert(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::insert_child_at(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::insert_key_at(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::insert_nonfull(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::is_free(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::is_internal(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::is_leaf(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::leftmost_leaf_page(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::lower_bound(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::lower_bound_index(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::make_page(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::mark_page_dirty(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::max_key(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::merge_children(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::min_key(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::page_checksum(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::page_checksum_v3(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::page_checksum_v4(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::read_page_from_stream(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::rebuild_separators(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::recover_from_wal(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::release_page(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::remove(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::remove_from(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::rightmost_leaf_page(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Iterator::skip_past_end(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::split_child(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::stamp_all_pages_for_checkpoint(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::strictly_sorted(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::subtree_min(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::upper_bound(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::upper_bound_index(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::verify_leaf_chain(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::verify_node(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::wal_record_checksum_add(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::wal_record_checksum_add_v2(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::wal_record_checksum_add_v3(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::write_current_page_to_storage(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::write_full_image(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::write_page_record(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::page ( const page_id_t  page_id) const
inlineprivate

Definition at line 1675 of file tpl_file_bplus_tree.H.

References ah_runtime_error_unless, Aleph::and, and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::page_bytes ( )
inlinestaticconstexprprivatenoexcept

Definition at line 331 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::current_page_offset(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::page_size_bytes(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::page_checksum ( const Page &  page)
inlinestaticprivate

Definition at line 697 of file tpl_file_bplus_tree.H.

References Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::add_key_to_crc(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::checkpoint_sequence, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::child_count, Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::key_count, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::keys, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::kind, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::link, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::MaxKeys, and Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::page().

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::read_page_from_stream(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::wal_record_checksum_add(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::page_checksum_v3 ( const Page &  page)
inlinestaticprivate

Definition at line 681 of file tpl_file_bplus_tree.H.

References Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::add_native_key_to_crc(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::child_count, Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::key_count, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::keys, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::kind, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::link, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::MaxKeys, and Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::page().

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::read_page_from_stream(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::page_checksum_v4 ( const Page &  page)
inlinestaticprivate

Definition at line 714 of file tpl_file_bplus_tree.H.

References Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::add_native_key_to_crc(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::checkpoint_sequence, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::child_count, Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::key_count, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::keys, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::kind, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::link, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::MaxKeys, and Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::page().

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::read_page_from_stream(), and Aleph::Gen_File_BPlus_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_BPlus_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 2496 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::header_checksum(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::header_checksum_v2(), Aleph::Gen_File_BPlus_Map< Key, Value, Compare, MinDegree, KeyCodec, ValueCodec >::page_count(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::read_image(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::wal_header_checksum(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::write_full_image(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::write_header_to_storage(), and Aleph::Gen_File_BPlus_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_BPlus_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 2487 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::portable_page_bytes ( )
inlinestaticconstexprprivatenoexcept

Definition at line 323 of file tpl_file_bplus_tree.H.

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

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

◆ range()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
Array< Key > Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::range ( const Key &  first,
const Key &  last 
) const
inline

Collect all keys in the inclusive range [first, last].

Parameters
firstLower endpoint, inclusive.
lastUpper endpoint, inclusive.
Returns
Ordered array with every key in the requested range.
Exceptions
std::invalid_argumentif last < first according to Compare.
std::bad_allocif the result array cannot grow.
Anyexception propagated by Compare or Key copies.

Definition at line 2825 of file tpl_file_bplus_tree.H.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::get_range_it(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Iterator::has_curr(), and Aleph::Array< T >::reserve().

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

◆ 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_BPlus_Tree< Key, Compare, MinDegree, Codec >::read_image ( const std::string &  source_path) const
inlineprivate

Definition at line 1412 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::load_from_disk(), and Aleph::Gen_File_BPlus_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_BPlus_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 601 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::read_native_key ( std::istream &  in,
const std::string &  file_path,
const char *  what 
)
inlinestaticprivate

Definition at line 566 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::read_only ( ) const
inlineprivatenoexcept

Definition at line 256 of file tpl_file_bplus_tree.H.

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

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

◆ 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_BPlus_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 1027 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::read_image(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::read_storage_page_if_current(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::read_pod ( std::istream &  in,
const std::string &  file_path,
const char *  what 
)
inlinestaticprivate

Definition at line 515 of file tpl_file_bplus_tree.H.

References ah_runtime_error_unless, Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::read_portable_key ( std::istream &  in,
const std::string &  file_path,
const char *  what 
)
inlinestaticprivate

Definition at line 590 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::read_storage_page_if_current ( const page_id_t  page_id) const
inlineprivate

Definition at line 1596 of file tpl_file_bplus_tree.H.

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

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

◆ rebuild_separators()

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

Definition at line 1793 of file tpl_file_bplus_tree.H.

References ah_runtime_error_unless, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::child_count, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::children, Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::is_internal(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::key_count, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::keys, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::mark_page_dirty(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::page(), and Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::subtree_min().

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::borrow_from_next(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::borrow_from_prev(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::fix_underflow(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::insert_nonfull(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::merge_children(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::remove_from(), and Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::split_child().

◆ 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_BPlus_Tree< Key, Compare, MinDegree, Codec >::recover_from_wal ( )
inlineprivate

Definition at line 1170 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::recover_if_needed ( )
inlineprivate

Definition at line 1386 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Gen_File_BPlus_Tree(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::release_page ( const page_id_t  page_id)
inlineprivate

Definition at line 1772 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::merge_children(), and Aleph::Gen_File_BPlus_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_BPlus_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 2552 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_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_BPlus_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 2694 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_Map< Key, Value, Compare, MinDegree, KeyCodec, ValueCodec >::insert_or_assign(), Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::remove_from ( const page_id_t  page_id,
const Key &  key 
)
inlineprivate

Definition at line 2006 of file tpl_file_bplus_tree.H.

References Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::child_index(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::children, Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::equals(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::erase_key_at(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::fix_underflow(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::is_leaf(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::keys(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::lower_bound_index(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::mark_page_dirty(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::page(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::rebuild_separators(), and Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::remove_from().

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::remove(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::reserved_bytes_for_version ( const std::uint32_t  version)
inlinestaticconstexprprivatenoexcept

Definition at line 376 of file tpl_file_bplus_tree.H.

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

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

◆ rightmost_leaf_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::rightmost_leaf_page ( page_id_t  page_id) const
inlineprivate

Definition at line 1816 of file tpl_file_bplus_tree.H.

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

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

◆ search()

template<typename Key , class Compare = Aleph::less<Key>, size_t MinDegree = 16, typename Codec = detail::Paged_Value_Codec<Key>>
bool Aleph::Gen_File_BPlus_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 2626 of file tpl_file_bplus_tree.H.

References Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::seekp_to ( const std::streamoff  offset) const
inlineprivate

Definition at line 819 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::write_current_page_to_storage(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::serialized_header_bytes ( const std::uint32_t  version)
inlinestaticconstexprprivatenoexcept

Definition at line 336 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::serialized_page_bytes ( const std::uint32_t  version)
inlinestaticconstexprprivatenoexcept

Definition at line 344 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::read_image(), and Aleph::Gen_File_BPlus_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_BPlus_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 2478 of file tpl_file_bplus_tree.H.

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

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

◆ 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_BPlus_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 2576 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::header_checksum(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::header_checksum_v2(), Aleph::Gen_File_BPlus_Map< Key, Value, Compare, MinDegree, KeyCodec, ValueCodec >::size(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::wal_header_checksum(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::write_full_image(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::write_header_to_storage(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::split_child ( const page_id_t  parent_id,
const size_t  idx 
)
inlineprivate

Definition at line 1831 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::insert(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::stamp_all_pages_for_checkpoint ( const std::uint64_t  checkpoint_sequence)
inlineprivatenoexcept

Definition at line 1656 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::storage_format_version_on_disk ( ) const
inlineprivate

Definition at line 1571 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::read_storage_page_if_current(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::strictly_sorted ( const Page &  page) const
inlineprivate

Definition at line 1687 of file tpl_file_bplus_tree.H.

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

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

◆ subtree_min()

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

Definition at line 1782 of file tpl_file_bplus_tree.H.

References ah_runtime_error_unless, Aleph::and, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::children, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::is_internal(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::is_leaf(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::keys, and Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::page().

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::rebuild_separators(), and Aleph::Gen_File_BPlus_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_BPlus_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 2521 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::checkpoint(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::create_empty_file(), Aleph::Gen_File_BPlus_Map< Key, Value, Compare, MinDegree, KeyCodec, ValueCodec >::sync(), Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::sync_if_enabled ( )
inlineprivate

Definition at line 2139 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::clear(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::insert(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::tree_kind ( )
inlinestaticconstexprprivatenoexcept

Definition at line 244 of file tpl_file_bplus_tree.H.

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Gen_File_BPlus_Tree(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::apply_current_cache_to_storage(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::recover_from_wal(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::recover_if_needed(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::sync(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::write_full_image_to_path(), and Aleph::Gen_File_BPlus_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_BPlus_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 2777 of file tpl_file_bplus_tree.H.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::find_leaf_page(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::key_count, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::keys, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::link, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::page(), and Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::upper_bound_index().

Referenced by Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::upper_bound_index ( const Page &  page,
const Key &  key 
) const
inlineprivate

Definition at line 1707 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::child_index(), and Aleph::Gen_File_BPlus_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_BPlus_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 2854 of file tpl_file_bplus_tree.H.

References Aleph::and, Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::first_leaf_page_, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::leftmost_leaf_page(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::pages_, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::root_page_, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::size_, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::verify_leaf_chain(), and Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::verify_node().

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

◆ verify_leaf_chain()

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

Definition at line 2029 of file tpl_file_bplus_tree.H.

References Aleph::and, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::child_count, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::cmp_, Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::first_leaf_page_, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::is_leaf(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::key_count, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::keys, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::link, Aleph::next(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::page(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::pages_, and Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::size_.

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::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_BPlus_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 
) const
inlineprivate

Definition at line 2074 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::verify(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::version_uses_portable_codec ( const std::uint32_t  version)
inlinestaticconstexprprivatenoexcept

Definition at line 353 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::encoding_marker_for_version(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::key_size_for_version(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::read_key(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::wal_header_bytes ( )
inlinestaticconstexprprivatenoexcept

Definition at line 897 of file tpl_file_bplus_tree.H.

References Aleph::detail::Ordered_Tree_Snapshot_Magic_Size.

Referenced by Aleph::Gen_File_BPlus_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_BPlus_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 page_id_t  first_leaf_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 918 of file tpl_file_bplus_tree.H.

References Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::encoding_marker_for_version(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::key_size_for_version(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::page_count(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::reserved_bytes_for_version(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::size(), and Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::wal_record_format_version().

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::recover_from_wal(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::wal_magic ( )
inlinestaticconstexprprivatenoexcept

Definition at line 273 of file tpl_file_bplus_tree.H.

References Aleph::detail::ordered_tree_snapshot_magic().

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::recover_from_wal(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::wal_record_bytes ( const std::uint32_t  wal_version)
inlinestaticconstexprprivatenoexcept

Definition at line 912 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_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_BPlus_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 731 of file tpl_file_bplus_tree.H.

References Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::add_key_to_crc(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::checkpoint_sequence, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::child_count, Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::key_count, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::keys, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::kind, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::link, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::MaxKeys, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::page(), and Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::page_checksum().

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::recover_from_wal(), and Aleph::Gen_File_BPlus_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_BPlus_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 773 of file tpl_file_bplus_tree.H.

References Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::add_native_key_to_crc(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::child_count, Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::key_count, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::keys, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::kind, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::link, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::MaxKeys, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::page(), and Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::page_checksum_v3().

Referenced by Aleph::Gen_File_BPlus_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_BPlus_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 752 of file tpl_file_bplus_tree.H.

References Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::add_native_key_to_crc(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::checkpoint_sequence, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::child_count, Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::key_count, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::keys, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::kind, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Page::link, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::MaxKeys, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::page(), and Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::page_checksum_v4().

Referenced by Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::wal_record_format_version ( const std::uint32_t  wal_version)
inlinestaticconstexprprivatenoexcept

Definition at line 904 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::recover_from_wal(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::wal_header_checksum(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::wal_trailer_bytes ( )
inlinestaticconstexprprivatenoexcept

Definition at line 948 of file tpl_file_bplus_tree.H.

References Aleph::detail::Ordered_Tree_Snapshot_Magic_Size.

Referenced by Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::wal_trailer_magic ( )
inlinestaticconstexprprivatenoexcept

Definition at line 278 of file tpl_file_bplus_tree.H.

References Aleph::detail::ordered_tree_snapshot_magic().

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::recover_from_wal(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::write_current_header_to_storage ( const std::uint64_t  checkpoint_sequence) const
inlineprivate

Definition at line 873 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::write_current_page_to_storage ( const page_id_t  page_id,
const Page &  page 
) const
inlineprivate

Definition at line 881 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::apply_current_cache_to_storage(), and Aleph::Gen_File_BPlus_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_BPlus_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 1068 of file tpl_file_bplus_tree.H.

References ah_runtime_error_unless, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::checkpoint_sequence(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::encoding_marker_for_version(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::file_magic(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::first_leaf_page_, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::FormatVersion, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::free_page_head_, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::header_checksum(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::key_size_for_version(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::page(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::page_count(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::pages_, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::reserved_bytes_for_version(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::root_page_, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::size(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::size_, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::write_page_record(), and Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::write_pod().

Referenced by Aleph::Gen_File_BPlus_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_BPlus_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 1109 of file tpl_file_bplus_tree.H.

References ah_runtime_error_unless, Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::tree_kind(), and Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::write_full_image().

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::apply_current_cache_to_storage(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::write_header_to_storage ( const std::uint64_t  size,
const page_id_t  root_page,
const page_id_t  first_leaf_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 833 of file tpl_file_bplus_tree.H.

References ah_runtime_error_unless, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::checkpoint_sequence(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::encoding_marker_for_version(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::file_, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::file_magic(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::file_path_, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::FormatVersion, Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::header_checksum(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::key_size_for_version(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::page_count(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::reserved_bytes_for_version(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::seekp_to(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::size(), and Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::write_pod().

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::recover_from_wal(), and Aleph::Gen_File_BPlus_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_BPlus_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 558 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_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_BPlus_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 526 of file tpl_file_bplus_tree.H.

References ah_runtime_error, ah_runtime_error_unless, Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::write_page_record ( std::ostream &  out,
const Page &  page,
const std::string &  target_path 
)
inlinestaticprivate

Definition at line 793 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::write_current_page_to_storage(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::write_full_image(), and Aleph::Gen_File_BPlus_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_BPlus_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 504 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::write_full_image(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::write_header_to_storage(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::write_page_record(), and Aleph::Gen_File_BPlus_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_BPlus_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 546 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_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_BPlus_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 954 of file tpl_file_bplus_tree.H.

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

Referenced by Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::auto_sync_ = true
private

Definition at line 235 of file tpl_file_bplus_tree.H.

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::auto_sync_enabled(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::set_auto_sync(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::checkpoint_sequence_ = 0
mutableprivate

Definition at line 237 of file tpl_file_bplus_tree.H.

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::apply_current_cache_to_storage(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::checkpoint_sequence(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::init_empty_cache(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::load_from_disk(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::mark_page_dirty(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::recover_from_wal(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::ChecksummedFormatVersion = 2
staticconstexprprivate

Definition at line 174 of file tpl_file_bplus_tree.H.

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::read_image(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::cmp_
private

Definition at line 222 of file tpl_file_bplus_tree.H.

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Iterator::Iterator(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::equals(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::key_comp(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::lower_bound_index(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Iterator::skip_past_end(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::strictly_sorted(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::upper_bound_index(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::verify_leaf_chain(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::CommitTrailerWalVersion = 2
staticconstexprprivate

Definition at line 284 of file tpl_file_bplus_tree.H.

Referenced by Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::dirty_pages_
mutableprivate

Definition at line 233 of file tpl_file_bplus_tree.H.

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::allocate_page(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::apply_current_cache_to_storage(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::clear_dirty_state(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::dirty_page_count(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::has_pending_changes(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::init_empty_cache(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::load_from_disk(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::mark_page_dirty(), and Aleph::Gen_File_BPlus_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_BPlus_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_bplus_tree.H.

Referenced by Aleph::Gen_File_BPlus_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_BPlus_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_bplus_tree.H.

Referenced by Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::file_
mutableprivate

Definition at line 231 of file tpl_file_bplus_tree.H.

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Gen_File_BPlus_Tree(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::~Gen_File_BPlus_Tree(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::apply_current_cache_to_storage(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::open_storage(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::read_storage_page_if_current(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::recover_from_wal(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::recover_if_needed(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::seekp_to(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::write_current_page_to_storage(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::file_path_
private

Definition at line 223 of file tpl_file_bplus_tree.H.

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

◆ first_leaf_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::first_leaf_page_ = 0
private

Definition at line 241 of file tpl_file_bplus_tree.H.

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::init_empty_cache(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::insert(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::load_from_disk(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::merge_children(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::min_key(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::remove(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::verify(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::verify_leaf_chain(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::write_current_header_to_storage(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::write_full_image(), and Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::write_wal_to_path().

◆ 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_BPlus_Tree< Key, Compare, MinDegree, Codec >::FormatVersion = PortableFormatVersion
staticconstexprprivate

Definition at line 178 of file tpl_file_bplus_tree.H.

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::apply_current_cache_to_storage(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::init_empty_cache(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::read_image(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::read_storage_page_if_current(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::recover_from_wal(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::sync(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::write_full_image(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::write_header_to_storage(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::free_page_head_ = 0
private

Definition at line 242 of file tpl_file_bplus_tree.H.

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::allocate_page(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::init_empty_cache(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::load_from_disk(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::release_page(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::write_current_header_to_storage(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::write_full_image(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::header_dirty_ = false
mutableprivate

Definition at line 234 of file tpl_file_bplus_tree.H.

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::clear_dirty_state(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::has_pending_changes(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::init_empty_cache(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::load_from_disk(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::HeaderCheckpointFormatVersion = 3
staticconstexprprivate

Definition at line 175 of file tpl_file_bplus_tree.H.

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::read_image(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::read_page_from_stream(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::serialized_header_bytes(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::serialized_page_bytes(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::journal_path_
private

Definition at line 225 of file tpl_file_bplus_tree.H.

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::init_sidecar_paths(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::recover_if_needed(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::journal_tmp_path_
private

Definition at line 226 of file tpl_file_bplus_tree.H.

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::init_sidecar_paths(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::recover_if_needed(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::LegacyFormatVersion = 1
staticconstexprprivate

Definition at line 173 of file tpl_file_bplus_tree.H.

Referenced by Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::LegacyWalVersion = 1
staticconstexprprivate

Definition at line 283 of file tpl_file_bplus_tree.H.

Referenced by Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::lock_
mutableprivate

Definition at line 230 of file tpl_file_bplus_tree.H.

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::lock_path_
private

Definition at line 229 of file tpl_file_bplus_tree.H.

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::Gen_File_BPlus_Tree(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::MaxChildren = 2 * MinDegree
staticconstexprprivate

Definition at line 171 of file tpl_file_bplus_tree.H.

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::legacy_page_bytes(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::portable_page_bytes(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::read_page_from_stream(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::MaxKeys = 2 * MinDegree - 1
staticconstexprprivate

Definition at line 170 of file tpl_file_bplus_tree.H.

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::insert(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::insert_nonfull(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::legacy_page_bytes(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::page_checksum(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::page_checksum_v3(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::page_checksum_v4(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::portable_page_bytes(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::read_page_from_stream(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::verify_node(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::wal_record_checksum_add(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::wal_record_checksum_add_v2(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::wal_record_checksum_add_v3(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::MinKeys = MinDegree - 1
staticconstexprprivate

Definition at line 172 of file tpl_file_bplus_tree.H.

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::fix_underflow(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::split_child(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::NativeCheckpointFormatVersion = 4
staticconstexprprivate

Definition at line 176 of file tpl_file_bplus_tree.H.

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::read_image(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::read_page_from_stream(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::serialized_page_bytes(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::NativeWalVersion = 3
staticconstexprprivate

Definition at line 285 of file tpl_file_bplus_tree.H.

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::recover_from_wal(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::open_mode_ = Paged_File_Open_Mode::Read_Write
private

Definition at line 224 of file tpl_file_bplus_tree.H.

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::lock_mode(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::open_mode(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::pages_
private

Definition at line 232 of file tpl_file_bplus_tree.H.

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::allocate_page(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::init_empty_cache(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::load_from_disk(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::page(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::page(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::page_count(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::stamp_all_pages_for_checkpoint(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::verify(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::verify_leaf_chain(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::write_current_header_to_storage(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::write_full_image(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::PortableEncodingMarker = 3
staticconstexprprivate

Definition at line 181 of file tpl_file_bplus_tree.H.

Referenced by Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::PortableFormatVersion = 5
staticconstexprprivate

Definition at line 177 of file tpl_file_bplus_tree.H.

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::ensure_legacy_native_format_supported(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::read_image(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::read_page_from_stream(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::serialized_page_bytes(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::version_uses_portable_codec(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::PortableWalVersion = 4
staticconstexprprivate

Definition at line 286 of file tpl_file_bplus_tree.H.

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::recover_from_wal(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::Read_Only = Paged_File_Open_Mode::Read_Only
staticconstexpr

Definition at line 2152 of file tpl_file_bplus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::Read_Write = Paged_File_Open_Mode::Read_Write
staticconstexpr

Definition at line 2151 of file tpl_file_bplus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::root_page_ = 0
private

Definition at line 240 of file tpl_file_bplus_tree.H.

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::find_leaf_page(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::height(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::init_empty_cache(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::insert(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::load_from_disk(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::max_key(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::remove(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::verify(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::verify_node(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::write_current_header_to_storage(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::write_full_image(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::size_ = 0
private

Definition at line 239 of file tpl_file_bplus_tree.H.

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::empty(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::init_empty_cache(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::insert(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::keys(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::load_from_disk(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::remove(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::size(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::verify(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::verify_leaf_chain(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::write_current_header_to_storage(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::write_full_image(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::storage_format_version_ = FormatVersion
mutableprivate

Definition at line 236 of file tpl_file_bplus_tree.H.

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::apply_current_cache_to_storage(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::init_empty_cache(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::load_from_disk(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::recover_from_wal(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::wal_path_
private

Definition at line 227 of file tpl_file_bplus_tree.H.

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::init_sidecar_paths(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::recover_from_wal(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::wal_tmp_path_
private

Definition at line 228 of file tpl_file_bplus_tree.H.

Referenced by Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::init_sidecar_paths(), Aleph::Gen_File_BPlus_Tree< Key, Compare, MinDegree, Codec >::recover_from_wal(), and Aleph::Gen_File_BPlus_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_BPlus_Tree< Key, Compare, MinDegree, Codec >::WalVersion = PortableWalVersion
staticconstexprprivate

Definition at line 287 of file tpl_file_bplus_tree.H.

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

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