Fix Redb implementation and add CI checks (#6856)

This commit is contained in:
Eitan Seri-Levi
2025-01-29 12:22:21 +03:00
committed by GitHub
parent c6ebaba892
commit 6973184b06
4 changed files with 24 additions and 18 deletions

View File

@@ -222,7 +222,7 @@ lint-fix:
# Also run the lints on the optimized-only tests # Also run the lints on the optimized-only tests
lint-full: lint-full:
RUSTFLAGS="-C debug-assertions=no $(RUSTFLAGS)" $(MAKE) lint TEST_FEATURES="beacon-node-leveldb,beacon-node-redb,${TEST_FEATURES}" RUSTFLAGS="-C debug-assertions=no $(RUSTFLAGS)" $(MAKE) lint
# Runs the makefile in the `ef_tests` repo. # Runs the makefile in the `ef_tests` repo.
# #

View File

@@ -215,11 +215,12 @@ impl<E: EthSpec> Redb<E> {
let table_definition: TableDefinition<'_, &[u8], &[u8]> = let table_definition: TableDefinition<'_, &[u8], &[u8]> =
TableDefinition::new(column.into()); TableDefinition::new(column.into());
let iter = { let result = (|| {
let open_db = self.db.read(); let open_db = self.db.read();
let read_txn = open_db.begin_read()?; let read_txn = open_db.begin_read()?;
let table = read_txn.open_table(table_definition)?; let table = read_txn.open_table(table_definition)?;
table.range(from..)?.map(move |res| { let range = table.range(from..)?;
Ok(range.map(move |res| {
let (key, _) = res?; let (key, _) = res?;
metrics::inc_counter_vec(&metrics::DISK_DB_KEY_READ_COUNT, &[column.into()]); metrics::inc_counter_vec(&metrics::DISK_DB_KEY_READ_COUNT, &[column.into()]);
metrics::inc_counter_vec_by( metrics::inc_counter_vec_by(
@@ -228,10 +229,13 @@ impl<E: EthSpec> Redb<E> {
key.value().len() as u64, key.value().len() as u64,
); );
K::from_bytes(key.value()) K::from_bytes(key.value())
}) }))
}; })();
Box::new(iter) match result {
Ok(iter) => Box::new(iter),
Err(err) => Box::new(std::iter::once(Err(err))),
}
} }
/// Iterate through all keys and values in a particular column. /// Iterate through all keys and values in a particular column.
@@ -243,15 +247,13 @@ impl<E: EthSpec> Redb<E> {
let table_definition: TableDefinition<'_, &[u8], &[u8]> = let table_definition: TableDefinition<'_, &[u8], &[u8]> =
TableDefinition::new(column.into()); TableDefinition::new(column.into());
let prefix = from.to_vec(); let result = (|| {
let iter = {
let open_db = self.db.read(); let open_db = self.db.read();
let read_txn = open_db.begin_read()?; let read_txn = open_db.begin_read()?;
let table = read_txn.open_table(table_definition)?; let table = read_txn.open_table(table_definition)?;
let range = table.range(from..)?;
table Ok(range
.range(from..)?
.take_while(move |res| match res.as_ref() { .take_while(move |res| match res.as_ref() {
Ok((_, _)) => true, Ok((_, _)) => true,
Err(_) => false, Err(_) => false,
@@ -265,14 +267,17 @@ impl<E: EthSpec> Redb<E> {
value.value().len() as u64, value.value().len() as u64,
); );
Ok((K::from_bytes(key.value())?, value.value().to_vec())) Ok((K::from_bytes(key.value())?, value.value().to_vec()))
}) }))
}; })();
Ok(Box::new(iter)) match result {
Ok(iter) => Box::new(iter),
Err(err) => Box::new(std::iter::once(Err(err))),
}
} }
pub fn iter_column<K: Key>(&self, column: DBColumn) -> ColumnIter<K> { pub fn iter_column<K: Key>(&self, column: DBColumn) -> ColumnIter<K> {
self.iter_column_from(column, &vec![0; column.key_size()], |_, _| true) self.iter_column_from(column, &vec![0; column.key_size()])
} }
pub fn delete_batch(&self, col: DBColumn, ops: HashSet<&[u8]>) -> Result<(), Error> { pub fn delete_batch(&self, col: DBColumn, ops: HashSet<&[u8]>) -> Result<(), Error> {

View File

@@ -158,6 +158,7 @@ impl<E: EthSpec, Hot: ItemStore<E>, Cold: ItemStore<E>> Iterator
return None; return None;
} }
self.inner self.inner
.as_mut()
.next()? .next()?
.and_then(|(slot_bytes, root_bytes)| { .and_then(|(slot_bytes, root_bytes)| {
let slot = slot_bytes let slot = slot_bytes

View File

@@ -14,8 +14,8 @@ use crate::metadata::{
}; };
use crate::state_cache::{PutStateOutcome, StateCache}; use crate::state_cache::{PutStateOutcome, StateCache};
use crate::{ use crate::{
get_data_column_key, metrics, parse_data_column_key, BlobSidecarListFromRoot, DBColumn, get_data_column_key, metrics, parse_data_column_key, BlobSidecarListFromRoot, ColumnKeyIter,
DatabaseBlock, Error, ItemStore, KeyValueStore, KeyValueStoreOp, StoreItem, StoreOp, DBColumn, DatabaseBlock, Error, ItemStore, KeyValueStore, KeyValueStoreOp, StoreItem, StoreOp,
}; };
use itertools::{process_results, Itertools}; use itertools::{process_results, Itertools};
use lru::LruCache; use lru::LruCache;
@@ -405,7 +405,7 @@ impl<E: EthSpec> HotColdDB<E, BeaconNodeBackend<E>, BeaconNodeBackend<E>> {
} }
/// Return an iterator over the state roots of all temporary states. /// Return an iterator over the state roots of all temporary states.
pub fn iter_temporary_state_roots(&self) -> impl Iterator<Item = Result<Hash256, Error>> + '_ { pub fn iter_temporary_state_roots(&self) -> ColumnKeyIter<Hash256> {
self.hot_db self.hot_db
.iter_column_keys::<Hash256>(DBColumn::BeaconStateTemporary) .iter_column_keys::<Hash256>(DBColumn::BeaconStateTemporary)
} }