Skip to content

Name the iterator type returned from btree_scan #1749

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Sep 26, 2024
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
103 changes: 58 additions & 45 deletions crates/core/src/db/datastore/locking_tx_datastore/mut_tx.rs
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ use super::{
sequence::{Sequence, SequencesState},
state_view::{IndexSeekIterMutTxId, Iter, IterByColRange, ScanIterByColRange, StateView},
tx::TxId,
tx_state::{IndexIdMap, TxState},
tx_state::{DeleteTable, IndexIdMap, TxState},
SharedMutexGuard, SharedWriteGuard,
};
use crate::db::datastore::{
Expand Down Expand Up @@ -41,7 +41,7 @@ use spacetimedb_schema::{
use spacetimedb_table::{
blob_store::{BlobStore, HashMapBlobStore},
indexes::{RowPointer, SquashedOffset},
table::{InsertError, RowRef, Table},
table::{IndexScanIter, InsertError, RowRef, Table},
};
use std::{
sync::Arc,
Expand Down Expand Up @@ -519,7 +519,7 @@ impl MutTxId {
prefix_elems: ColId,
rstart: &[u8],
rend: &[u8],
) -> Result<(TableId, impl Iterator<Item = RowRef<'a>>)> {
) -> Result<(TableId, BTreeScan<'a>)> {
// Extract the table and index type for the tx state.
let (table_id, col_list, tx_idx_key_type) = self
.get_table_and_index_type(index_id)
Expand All @@ -538,51 +538,23 @@ impl MutTxId {

// Chain together the indexed rows in the tx and committed state,
// but don't yield rows deleted in the tx state.
use itertools::Either::{Left, Right};
// this is gross, but nested `Either`s don't optimize
enum Choice<A, B, C, D, E, F> {
A(A),
B(B),
C(C),
D(D),
E(E),
F(F),
}
impl<
T,
A: Iterator<Item = T>,
B: Iterator<Item = T>,
C: Iterator<Item = T>,
D: Iterator<Item = T>,
E: Iterator<Item = T>,
F: Iterator<Item = T>,
> Iterator for Choice<A, B, C, D, E, F>
{
type Item = T;
fn next(&mut self) -> Option<Self::Item> {
match self {
Self::A(i) => i.next(),
Self::B(i) => i.next(),
Self::C(i) => i.next(),
Self::D(i) => i.next(),
Self::E(i) => i.next(),
Self::F(i) => i.next(),
}
}
}
let commit_iter = commit_iter.map(|commit_iter| match self.tx_state.delete_tables.get(&table_id) {
None => Left(commit_iter),
Some(tx_dels) => Right(commit_iter.filter(move |row| !tx_dels.contains(&row.pointer()))),
use itertools::Either::*;
use BTreeScanInner::*;
let commit_iter = commit_iter.map(|iter| match self.tx_state.delete_tables.get(&table_id) {
None => Left(iter),
Some(deletes) => Right(IndexScanFilterDeleted { iter, deletes }),
});
// this is effectively just `tx_iter.into_iter().flatten().chain(commit_iter.into_iter().flatten())`,
// but with all the branching and `Option`s flattened to just one layer.
let iter = match (tx_iter, commit_iter) {
(None, None) => Choice::A(std::iter::empty()),
(Some(tx_iter), None) => Choice::B(tx_iter),
(None, Some(Left(commit_iter))) => Choice::C(commit_iter),
(None, Some(Right(commit_iter))) => Choice::D(commit_iter),
(Some(tx_iter), Some(Left(commit_iter))) => Choice::E(tx_iter.chain(commit_iter)),
(Some(tx_iter), Some(Right(commit_iter))) => Choice::F(tx_iter.chain(commit_iter)),
(None, None) => Empty(iter::empty()),
(Some(tx_iter), None) => TxOnly(tx_iter),
(None, Some(Left(commit_iter))) => CommitOnly(commit_iter),
(None, Some(Right(commit_iter))) => CommitOnlyWithDeletes(commit_iter),
(Some(tx_iter), Some(Left(commit_iter))) => Both(tx_iter.chain(commit_iter)),
(Some(tx_iter), Some(Right(commit_iter))) => BothWithDeletes(tx_iter.chain(commit_iter)),
};
Ok((table_id, iter))
Ok((table_id, BTreeScan { inner: iter }))
}

/// Translate `index_id` to the table id, the column list and index key type.
Expand Down Expand Up @@ -1101,6 +1073,47 @@ impl<'a> RowRefInsertion<'a> {
}
}

/// The iterator returned by [`MutTx::btree_scan`].
pub struct BTreeScan<'a> {
inner: BTreeScanInner<'a>,
}

enum BTreeScanInner<'a> {
Empty(iter::Empty<RowRef<'a>>),
TxOnly(IndexScanIter<'a>),
CommitOnly(IndexScanIter<'a>),
CommitOnlyWithDeletes(IndexScanFilterDeleted<'a>),
Both(iter::Chain<IndexScanIter<'a>, IndexScanIter<'a>>),
BothWithDeletes(iter::Chain<IndexScanIter<'a>, IndexScanFilterDeleted<'a>>),
}

struct IndexScanFilterDeleted<'a> {
iter: IndexScanIter<'a>,
deletes: &'a DeleteTable,
}

impl<'a> Iterator for BTreeScan<'a> {
type Item = RowRef<'a>;

fn next(&mut self) -> Option<Self::Item> {
match &mut self.inner {
BTreeScanInner::Empty(it) => it.next(),
BTreeScanInner::TxOnly(it) => it.next(),
BTreeScanInner::CommitOnly(it) => it.next(),
BTreeScanInner::CommitOnlyWithDeletes(it) => it.next(),
BTreeScanInner::Both(it) => it.next(),
BTreeScanInner::BothWithDeletes(it) => it.next(),
}
}
}

impl<'a> Iterator for IndexScanFilterDeleted<'a> {
type Item = RowRef<'a>;
fn next(&mut self) -> Option<Self::Item> {
self.iter.find(|row| !self.deletes.contains(&row.pointer()))
}
}

impl MutTxId {
/// Insert a row into a table.
///
Expand Down
Loading