risingwave_storage/
memory.rs

1// Copyright 2025 RisingWave Labs
2//
3// Licensed under the Apache License, Version 2.0 (the "License");
4// you may not use this file except in compliance with the License.
5// You may obtain a copy of the License at
6//
7//     http://www.apache.org/licenses/LICENSE-2.0
8//
9// Unless required by applicable law or agreed to in writing, software
10// distributed under the License is distributed on an "AS IS" BASIS,
11// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12// See the License for the specific language governing permissions and
13// limitations under the License.
14
15use std::cmp::Ordering;
16use std::collections::{BTreeMap, BTreeSet, HashMap, VecDeque};
17use std::mem::take;
18use std::ops::Bound::{Excluded, Included, Unbounded};
19use std::ops::{Bound, RangeBounds};
20use std::sync::{Arc, LazyLock};
21
22use bytes::Bytes;
23use itertools::Itertools;
24use parking_lot::RwLock;
25use risingwave_common::bitmap::{Bitmap, BitmapBuilder};
26use risingwave_common::catalog::{TableId, TableOption};
27use risingwave_common::hash::{VirtualNode, VnodeBitmapExt};
28use risingwave_common::util::epoch::{EpochPair, MAX_EPOCH};
29use risingwave_hummock_sdk::key::{
30    FullKey, TableKey, TableKeyRange, UserKey, prefixed_range_with_vnode,
31};
32use risingwave_hummock_sdk::table_watermark::WatermarkDirection;
33use risingwave_hummock_sdk::{HummockEpoch, HummockReadEpoch};
34use thiserror_ext::AsReport;
35use tokio::task::yield_now;
36use tracing::error;
37
38use crate::dispatch_measurement;
39use crate::error::StorageResult;
40use crate::hummock::HummockError;
41use crate::hummock::utils::{
42    do_delete_sanity_check, do_insert_sanity_check, do_update_sanity_check, merge_stream,
43    sanity_check_enabled,
44};
45use crate::mem_table::{KeyOp, MemTable};
46use crate::storage_value::StorageValue;
47use crate::store::*;
48use crate::vector::{MeasureDistanceBuilder, NearestBuilder};
49
50pub type BytesFullKey = FullKey<Bytes>;
51pub type BytesFullKeyRange = (Bound<BytesFullKey>, Bound<BytesFullKey>);
52
53#[allow(clippy::type_complexity)]
54pub trait RangeKv: Clone + Send + Sync + 'static {
55    fn range(
56        &self,
57        range: BytesFullKeyRange,
58        limit: Option<usize>,
59    ) -> StorageResult<Vec<(BytesFullKey, Option<Bytes>)>>;
60
61    fn rev_range(
62        &self,
63        range: BytesFullKeyRange,
64        limit: Option<usize>,
65    ) -> StorageResult<Vec<(BytesFullKey, Option<Bytes>)>>;
66
67    fn ingest_batch(
68        &self,
69        kv_pairs: impl Iterator<Item = (BytesFullKey, Option<Bytes>)>,
70    ) -> StorageResult<()>;
71
72    fn flush(&self) -> StorageResult<()>;
73}
74
75pub type BTreeMapRangeKv = Arc<RwLock<BTreeMap<BytesFullKey, Option<Bytes>>>>;
76
77impl RangeKv for BTreeMapRangeKv {
78    fn range(
79        &self,
80        range: BytesFullKeyRange,
81        limit: Option<usize>,
82    ) -> StorageResult<Vec<(BytesFullKey, Option<Bytes>)>> {
83        let limit = limit.unwrap_or(usize::MAX);
84        Ok(self
85            .read()
86            .range(range)
87            .take(limit)
88            .map(|(key, value)| (key.clone(), value.clone()))
89            .collect())
90    }
91
92    fn rev_range(
93        &self,
94        range: BytesFullKeyRange,
95        limit: Option<usize>,
96    ) -> StorageResult<Vec<(BytesFullKey, Option<Bytes>)>> {
97        let limit = limit.unwrap_or(usize::MAX);
98        Ok(self
99            .read()
100            .range(range)
101            .rev()
102            .take(limit)
103            .map(|(key, value)| (key.clone(), value.clone()))
104            .collect())
105    }
106
107    fn ingest_batch(
108        &self,
109        kv_pairs: impl Iterator<Item = (BytesFullKey, Option<Bytes>)>,
110    ) -> StorageResult<()> {
111        let mut inner = self.write();
112        for (key, value) in kv_pairs {
113            inner.insert(key, value);
114        }
115        Ok(())
116    }
117
118    fn flush(&self) -> StorageResult<()> {
119        Ok(())
120    }
121}
122
123pub mod sled {
124    use std::fs::create_dir_all;
125    use std::ops::RangeBounds;
126
127    use bytes::Bytes;
128    use risingwave_hummock_sdk::key::FullKey;
129
130    use crate::error::StorageResult;
131    use crate::memory::{BytesFullKey, BytesFullKeyRange, RangeKv, RangeKvStateStore};
132
133    #[derive(Clone)]
134    pub struct SledRangeKv {
135        inner: sled::Db,
136    }
137
138    impl SledRangeKv {
139        pub fn new(path: impl AsRef<std::path::Path>) -> Self {
140            SledRangeKv {
141                inner: sled::open(path).expect("open"),
142            }
143        }
144
145        pub fn new_temp() -> Self {
146            create_dir_all("./.risingwave/sled").expect("should create");
147            let path = tempfile::TempDir::new_in("./.risingwave/sled")
148                .expect("find temp dir")
149                .into_path();
150            Self::new(path)
151        }
152    }
153
154    const EMPTY: u8 = 1;
155    const NON_EMPTY: u8 = 0;
156
157    impl RangeKv for SledRangeKv {
158        fn range(
159            &self,
160            range: BytesFullKeyRange,
161            limit: Option<usize>,
162        ) -> StorageResult<Vec<(BytesFullKey, Option<Bytes>)>> {
163            let (left, right) = range;
164            let full_key_ref_bound = (
165                left.as_ref().map(FullKey::to_ref),
166                right.as_ref().map(FullKey::to_ref),
167            );
168            let left_encoded = left.as_ref().map(|key| key.to_ref().encode_reverse_epoch());
169            let right_encoded = right
170                .as_ref()
171                .map(|key| key.to_ref().encode_reverse_epoch());
172            let limit = limit.unwrap_or(usize::MAX);
173            let mut ret = vec![];
174            for result in self.inner.range((left_encoded, right_encoded)).take(limit) {
175                let (key, value) = result?;
176                let full_key = FullKey::decode_reverse_epoch(key.as_ref()).copy_into();
177                if !full_key_ref_bound.contains(&full_key.to_ref()) {
178                    continue;
179                }
180                let value = match value.as_ref() {
181                    [EMPTY] => None,
182                    [NON_EMPTY, rest @ ..] => Some(Bytes::from(Vec::from(rest))),
183                    _ => unreachable!("malformed value: {:?}", value),
184                };
185                ret.push((full_key, value))
186            }
187            Ok(ret)
188        }
189
190        fn rev_range(
191            &self,
192            range: BytesFullKeyRange,
193            limit: Option<usize>,
194        ) -> StorageResult<Vec<(BytesFullKey, Option<Bytes>)>> {
195            let (left, right) = range;
196            let full_key_ref_bound = (
197                left.as_ref().map(FullKey::to_ref),
198                right.as_ref().map(FullKey::to_ref),
199            );
200            let left_encoded = left.as_ref().map(|key| key.to_ref().encode_reverse_epoch());
201            let right_encoded = right
202                .as_ref()
203                .map(|key| key.to_ref().encode_reverse_epoch());
204            let limit = limit.unwrap_or(usize::MAX);
205            let mut ret = vec![];
206            for result in self
207                .inner
208                .range((left_encoded, right_encoded))
209                .rev()
210                .take(limit)
211            {
212                let (key, value) = result?;
213                let full_key = FullKey::decode_reverse_epoch(key.as_ref()).copy_into();
214                if !full_key_ref_bound.contains(&full_key.to_ref()) {
215                    continue;
216                }
217                let value = match value.as_ref() {
218                    [EMPTY] => None,
219                    [NON_EMPTY, rest @ ..] => Some(Bytes::from(Vec::from(rest))),
220                    _ => unreachable!("malformed value: {:?}", value),
221                };
222                ret.push((full_key, value))
223            }
224            Ok(ret)
225        }
226
227        fn ingest_batch(
228            &self,
229            kv_pairs: impl Iterator<Item = (BytesFullKey, Option<Bytes>)>,
230        ) -> StorageResult<()> {
231            let mut batch = sled::Batch::default();
232            for (key, value) in kv_pairs {
233                let encoded_key = key.encode_reverse_epoch();
234                let key = sled::IVec::from(encoded_key);
235                let mut buffer =
236                    Vec::with_capacity(value.as_ref().map(|v| v.len()).unwrap_or_default() + 1);
237                if let Some(value) = value {
238                    buffer.push(NON_EMPTY);
239                    buffer.extend_from_slice(value.as_ref());
240                } else {
241                    buffer.push(EMPTY);
242                }
243                let value = sled::IVec::from(buffer);
244                batch.insert(key, value);
245            }
246            self.inner.apply_batch(batch)?;
247            Ok(())
248        }
249
250        fn flush(&self) -> StorageResult<()> {
251            Ok(self.inner.flush().map(|_| {})?)
252        }
253    }
254
255    pub type SledStateStore = RangeKvStateStore<SledRangeKv>;
256
257    impl SledStateStore {
258        pub fn new(path: impl AsRef<std::path::Path>) -> Self {
259            RangeKvStateStore {
260                inner: SledRangeKv::new(path),
261                tables: Default::default(),
262                vectors: Default::default(),
263            }
264        }
265
266        pub fn new_temp() -> Self {
267            RangeKvStateStore {
268                inner: SledRangeKv::new_temp(),
269                tables: Default::default(),
270                vectors: Default::default(),
271            }
272        }
273    }
274
275    #[cfg(test)]
276    mod test {
277        use std::ops::{Bound, RangeBounds};
278
279        use bytes::Bytes;
280        use risingwave_common::catalog::TableId;
281        use risingwave_common::util::epoch::EPOCH_SPILL_TIME_MASK;
282        use risingwave_hummock_sdk::EpochWithGap;
283        use risingwave_hummock_sdk::key::{FullKey, TableKey, UserKey};
284
285        use crate::memory::RangeKv;
286        use crate::memory::sled::SledRangeKv;
287
288        #[test]
289        fn test_filter_variable_key_length_false_positive() {
290            let table_id = TableId { table_id: 233 };
291            let epoch = u64::MAX - u64::from_be_bytes([1, 2, 3, 4, 5, 6, 7, 8]);
292            let excluded_short_table_key = [0, 1, 0, 0];
293            let included_long_table_key = [0, 1, 0, 0, 1, 2];
294            let left_table_key = [0, 1, 0, 0, 1];
295            let right_table_key = [0, 1, 1, 1];
296
297            let to_full_key = |table_key: &[u8]| FullKey {
298                user_key: UserKey {
299                    table_id,
300                    table_key: TableKey(Bytes::from(table_key.to_vec())),
301                },
302                epoch_with_gap: EpochWithGap::new_from_epoch(epoch & !EPOCH_SPILL_TIME_MASK),
303            };
304
305            let left_full_key = to_full_key(&left_table_key[..]);
306            let right_full_key = to_full_key(&right_table_key[..]);
307            let included_long_full_key = to_full_key(&included_long_table_key[..]);
308            let excluded_short_full_key = to_full_key(&excluded_short_table_key[..]);
309
310            assert!(
311                (
312                    Bound::Included(left_full_key.to_ref()),
313                    Bound::Included(right_full_key.to_ref())
314                )
315                    .contains(&included_long_full_key.to_ref())
316            );
317            assert!(
318                !(
319                    Bound::Included(left_full_key.to_ref()),
320                    Bound::Included(right_full_key.to_ref())
321                )
322                    .contains(&excluded_short_full_key.to_ref())
323            );
324
325            let left_encoded = left_full_key.encode_reverse_epoch();
326            let right_encoded = right_full_key.encode_reverse_epoch();
327
328            assert!(
329                (
330                    Bound::Included(left_encoded.clone()),
331                    Bound::Included(right_encoded.clone())
332                )
333                    .contains(&included_long_full_key.encode_reverse_epoch())
334            );
335            assert!(
336                (
337                    Bound::Included(left_encoded),
338                    Bound::Included(right_encoded)
339                )
340                    .contains(&excluded_short_full_key.encode_reverse_epoch())
341            );
342
343            let sled_range_kv = SledRangeKv::new_temp();
344            sled_range_kv
345                .ingest_batch(
346                    vec![
347                        (included_long_full_key.clone(), None),
348                        (excluded_short_full_key, None),
349                    ]
350                    .into_iter(),
351                )
352                .unwrap();
353            let kvs = sled_range_kv
354                .range(
355                    (
356                        Bound::Included(left_full_key),
357                        Bound::Included(right_full_key),
358                    ),
359                    None,
360                )
361                .unwrap();
362            assert_eq!(1, kvs.len());
363            assert_eq!(included_long_full_key.to_ref(), kvs[0].0.to_ref());
364            assert!(kvs[0].1.is_none());
365        }
366    }
367}
368
369mod batched_iter {
370
371    use super::*;
372
373    /// A utility struct for iterating over a range of keys in a locked `BTreeMap`, which will batch
374    /// some records to make a trade-off between the copying overhead and the times of acquiring
375    /// the lock.
376    ///
377    /// Therefore, it's not guaranteed that we're iterating over a consistent snapshot of the map.
378    /// Users should handle MVCC by themselves.
379    pub struct Iter<R: RangeKv> {
380        inner: R,
381        range: BytesFullKeyRange,
382        current: std::vec::IntoIter<(FullKey<Bytes>, Option<Bytes>)>,
383        rev: bool,
384    }
385
386    impl<R: RangeKv> Iter<R> {
387        pub fn new(inner: R, range: BytesFullKeyRange, rev: bool) -> Self {
388            Self {
389                inner,
390                range,
391                rev,
392                current: Vec::new().into_iter(),
393            }
394        }
395    }
396
397    impl<R: RangeKv> Iter<R> {
398        const BATCH_SIZE: usize = 256;
399
400        /// Get the next batch of records and fill the `current` buffer.
401        fn refill(&mut self) -> StorageResult<()> {
402            assert!(self.current.is_empty());
403
404            let batch = if self.rev {
405                self.inner.rev_range(
406                    (self.range.0.clone(), self.range.1.clone()),
407                    Some(Self::BATCH_SIZE),
408                )?
409            } else {
410                self.inner.range(
411                    (self.range.0.clone(), self.range.1.clone()),
412                    Some(Self::BATCH_SIZE),
413                )?
414            };
415
416            if let Some((last_key, _)) = batch.last() {
417                let full_key = FullKey::new_with_gap_epoch(
418                    last_key.user_key.table_id,
419                    TableKey(last_key.user_key.table_key.0.clone()),
420                    last_key.epoch_with_gap,
421                );
422                if self.rev {
423                    self.range.1 = Bound::Excluded(full_key);
424                } else {
425                    self.range.0 = Bound::Excluded(full_key);
426                }
427            }
428            self.current = batch.into_iter();
429            Ok(())
430        }
431    }
432
433    impl<R: RangeKv> Iter<R> {
434        #[allow(clippy::type_complexity)]
435        pub fn next(&mut self) -> StorageResult<Option<(BytesFullKey, Option<Bytes>)>> {
436            match self.current.next() {
437                Some((key, value)) => Ok(Some((key, value))),
438                None => {
439                    self.refill()?;
440                    Ok(self.current.next())
441                }
442            }
443        }
444    }
445
446    #[cfg(test)]
447    mod tests {
448        use rand::Rng;
449
450        use super::*;
451        use crate::memory::sled::SledRangeKv;
452
453        #[test]
454        fn test_btreemap_iter_chaos() {
455            let map = Arc::new(RwLock::new(BTreeMap::new()));
456            test_iter_chaos_inner(map, 1000);
457        }
458
459        #[cfg(not(madsim))]
460        #[test]
461        fn test_sled_iter_chaos() {
462            let map = SledRangeKv::new_temp();
463            test_iter_chaos_inner(map, 100);
464        }
465
466        fn test_iter_chaos_inner(map: impl RangeKv, count: usize) {
467            let key_range = 1..=10000;
468            let num_to_bytes = |k: i32| Bytes::from(format!("{:06}", k).as_bytes().to_vec());
469            let num_to_full_key =
470                |k: i32| FullKey::new(TableId::default(), TableKey(num_to_bytes(k)), 0);
471            #[allow(clippy::mutable_key_type)]
472            map.ingest_batch(key_range.clone().map(|k| {
473                let key = num_to_full_key(k);
474                let b = key.user_key.table_key.0.clone();
475
476                (key, Some(b))
477            }))
478            .unwrap();
479
480            let rand_bound = || {
481                let key = rand::rng().random_range(key_range.clone());
482                let key = num_to_full_key(key);
483                match rand::rng().random_range(1..=5) {
484                    1 | 2 => Bound::Included(key),
485                    3 | 4 => Bound::Excluded(key),
486                    _ => Bound::Unbounded,
487                }
488            };
489
490            for _ in 0..count {
491                let range = loop {
492                    let range = (rand_bound(), rand_bound());
493                    let (start, end) = (range.start_bound(), range.end_bound());
494
495                    // Filter out invalid ranges. Code migrated from `BTreeMap::range`.
496                    match (start, end) {
497                        (Bound::Excluded(s), Bound::Excluded(e)) if s == e => {
498                            continue;
499                        }
500                        (
501                            Bound::Included(s) | Bound::Excluded(s),
502                            Bound::Included(e) | Bound::Excluded(e),
503                        ) if s > e => {
504                            continue;
505                        }
506                        _ => break range,
507                    }
508                };
509
510                let v1 = {
511                    let mut v = vec![];
512                    let mut iter = Iter::new(map.clone(), range.clone(), false);
513                    while let Some((key, value)) = iter.next().unwrap() {
514                        v.push((key, value));
515                    }
516                    v
517                };
518                let v2 = map.range(range, None).unwrap();
519
520                // Items iterated from the batched iterator should be the same as normaliterator.
521                assert_eq!(v1, v2);
522            }
523        }
524    }
525}
526
527pub type MemoryStateStore = RangeKvStateStore<BTreeMapRangeKv>;
528
529struct TableState {
530    init_epoch: u64,
531    next_epochs: BTreeMap<u64, u64>,
532    latest_sealed_epoch: Option<u64>,
533    sealing_epochs: BTreeMap<u64, BitmapBuilder>,
534}
535
536impl TableState {
537    fn new(init_epoch: u64) -> Self {
538        Self {
539            init_epoch,
540            next_epochs: Default::default(),
541            latest_sealed_epoch: None,
542            sealing_epochs: Default::default(),
543        }
544    }
545
546    async fn wait_epoch(
547        tables: &parking_lot::Mutex<HashMap<TableId, Self>>,
548        table_id: TableId,
549        epoch: u64,
550    ) {
551        loop {
552            {
553                let tables = tables.lock();
554                let table_state = tables.get(&table_id).expect("should exist");
555                assert!(epoch >= table_state.init_epoch);
556                if epoch == table_state.init_epoch {
557                    return;
558                }
559                if let Some(latest_sealed_epoch) = table_state.latest_sealed_epoch
560                    && latest_sealed_epoch >= epoch
561                {
562                    return;
563                }
564            }
565            yield_now().await;
566        }
567    }
568}
569
570type InMemVectorStore = Arc<RwLock<HashMap<TableId, Vec<(Vector, Bytes, u64)>>>>;
571
572/// An in-memory state store
573///
574/// The in-memory state store is a [`BTreeMap`], which maps [`FullKey`] to value. It
575/// never does GC, so the memory usage will be high. Therefore, in-memory state store should never
576/// be used in production.
577#[derive(Clone, Default)]
578pub struct RangeKvStateStore<R: RangeKv> {
579    /// Stores (key, epoch) -> user value.
580    inner: R,
581    /// `table_id` -> `prev_epoch` -> `curr_epoch`
582    tables: Arc<parking_lot::Mutex<HashMap<TableId, TableState>>>,
583
584    vectors: InMemVectorStore,
585}
586
587fn to_full_key_range<R, B>(table_id: TableId, table_key_range: R) -> BytesFullKeyRange
588where
589    R: RangeBounds<B> + Send,
590    B: AsRef<[u8]>,
591{
592    let start = match table_key_range.start_bound() {
593        Included(k) => Included(FullKey::new(
594            table_id,
595            TableKey(Bytes::from(k.as_ref().to_vec())),
596            HummockEpoch::MAX,
597        )),
598        Excluded(k) => Excluded(FullKey::new(
599            table_id,
600            TableKey(Bytes::from(k.as_ref().to_vec())),
601            0,
602        )),
603        Unbounded => Included(FullKey::new(
604            table_id,
605            TableKey(Bytes::from(b"".to_vec())),
606            HummockEpoch::MAX,
607        )),
608    };
609    let end = match table_key_range.end_bound() {
610        Included(k) => Included(FullKey::new(
611            table_id,
612            TableKey(Bytes::from(k.as_ref().to_vec())),
613            0,
614        )),
615        Excluded(k) => Excluded(FullKey::new(
616            table_id,
617            TableKey(Bytes::from(k.as_ref().to_vec())),
618            HummockEpoch::MAX,
619        )),
620        Unbounded => {
621            if let Some(next_table_id) = table_id.table_id().checked_add(1) {
622                Excluded(FullKey::new(
623                    next_table_id.into(),
624                    TableKey(Bytes::from(b"".to_vec())),
625                    HummockEpoch::MAX,
626                ))
627            } else {
628                Unbounded
629            }
630        }
631    };
632    (start, end)
633}
634
635impl MemoryStateStore {
636    pub fn new() -> Self {
637        Self::default()
638    }
639
640    pub fn shared() -> Self {
641        static STORE: LazyLock<MemoryStateStore> = LazyLock::new(MemoryStateStore::new);
642        STORE.clone()
643    }
644}
645
646impl<R: RangeKv> RangeKvStateStore<R> {
647    fn scan(
648        &self,
649        key_range: TableKeyRange,
650        epoch: u64,
651        table_id: TableId,
652        limit: Option<usize>,
653    ) -> StorageResult<Vec<(Bytes, Bytes)>> {
654        let mut data = vec![];
655        if limit == Some(0) {
656            return Ok(vec![]);
657        }
658        let mut last_user_key = None;
659        for (key, value) in self
660            .inner
661            .range(to_full_key_range(table_id, key_range), None)?
662        {
663            if key.epoch_with_gap.pure_epoch() > epoch {
664                continue;
665            }
666            if Some(&key.user_key) != last_user_key.as_ref() {
667                if let Some(value) = value {
668                    data.push((Bytes::from(key.encode()), value.clone()));
669                }
670                last_user_key = Some(key.user_key.clone());
671            }
672            if let Some(limit) = limit
673                && data.len() >= limit
674            {
675                break;
676            }
677        }
678        Ok(data)
679    }
680}
681
682#[derive(Clone)]
683pub struct RangeKvStateStoreReadSnapshot<R: RangeKv> {
684    inner: RangeKvStateStore<R>,
685    epoch: u64,
686    table_id: TableId,
687}
688
689impl<R: RangeKv> StateStoreGet for RangeKvStateStoreReadSnapshot<R> {
690    async fn on_key_value<O: Send + 'static>(
691        &self,
692        key: TableKey<Bytes>,
693        _read_options: ReadOptions,
694        on_key_value_fn: impl KeyValueFn<O>,
695    ) -> StorageResult<Option<O>> {
696        self.inner
697            .get_keyed_row_impl(key, self.epoch, self.table_id)
698            .and_then(|option| {
699                if let Some((key, value)) = option {
700                    on_key_value_fn(key.to_ref(), value.as_ref()).map(Some)
701                } else {
702                    Ok(None)
703                }
704            })
705    }
706}
707
708impl<R: RangeKv> StateStoreRead for RangeKvStateStoreReadSnapshot<R> {
709    type Iter = RangeKvStateStoreIter<R>;
710    type RevIter = RangeKvStateStoreRevIter<R>;
711
712    async fn iter(
713        &self,
714        key_range: TableKeyRange,
715        _read_options: ReadOptions,
716    ) -> StorageResult<Self::Iter> {
717        self.inner.iter_impl(key_range, self.epoch, self.table_id)
718    }
719
720    async fn rev_iter(
721        &self,
722        key_range: TableKeyRange,
723        _read_options: ReadOptions,
724    ) -> StorageResult<Self::RevIter> {
725        self.inner
726            .rev_iter_impl(key_range, self.epoch, self.table_id)
727    }
728}
729
730impl<R: RangeKv> StateStoreReadVector for RangeKvStateStoreReadSnapshot<R> {
731    async fn nearest<O: Send + 'static>(
732        &self,
733        vec: Vector,
734        options: VectorNearestOptions,
735        on_nearest_item_fn: impl OnNearestItemFn<O>,
736    ) -> StorageResult<Vec<O>> {
737        fn nearest_impl<M: MeasureDistanceBuilder, O>(
738            store: &InMemVectorStore,
739            epoch: u64,
740            table_id: TableId,
741            vec: Vector,
742            options: VectorNearestOptions,
743            on_nearest_item_fn: impl OnNearestItemFn<O>,
744        ) -> Vec<O> {
745            let mut builder = NearestBuilder::<'_, O, M>::new(vec.to_ref(), options.top_n);
746            builder.add(
747                store
748                    .read()
749                    .get(&table_id)
750                    .map(|vec| vec.iter())
751                    .into_iter()
752                    .flatten()
753                    .filter(|(_, _, vector_epoch)| epoch >= *vector_epoch)
754                    .map(|(vec, info, _)| (vec.to_ref(), info.as_ref())),
755                on_nearest_item_fn,
756            );
757            builder.finish()
758        }
759        dispatch_measurement!(options.measure, MeasurementType, {
760            Ok(nearest_impl::<MeasurementType, O>(
761                &self.inner.vectors,
762                self.epoch,
763                self.table_id,
764                vec,
765                options,
766                on_nearest_item_fn,
767            ))
768        })
769    }
770}
771
772impl<R: RangeKv> RangeKvStateStore<R> {
773    fn get_keyed_row_impl(
774        &self,
775        key: TableKey<Bytes>,
776        epoch: u64,
777        table_id: TableId,
778    ) -> StorageResult<Option<StateStoreKeyedRow>> {
779        let range_bounds = (Bound::Included(key.clone()), Bound::Included(key));
780        // We do not really care about vnodes here, so we just use the default value.
781        let res = self.scan(range_bounds, epoch, table_id, Some(1))?;
782
783        Ok(match res.as_slice() {
784            [] => None,
785            [(key, value)] => Some((
786                FullKey::decode(key.as_ref()).to_vec().into_bytes(),
787                value.clone(),
788            )),
789            _ => unreachable!(),
790        })
791    }
792
793    fn iter_impl(
794        &self,
795        key_range: TableKeyRange,
796        epoch: u64,
797        table_id: TableId,
798    ) -> StorageResult<RangeKvStateStoreIter<R>> {
799        Ok(RangeKvStateStoreIter::new(
800            batched_iter::Iter::new(
801                self.inner.clone(),
802                to_full_key_range(table_id, key_range),
803                false,
804            ),
805            epoch,
806            true,
807        ))
808    }
809
810    fn rev_iter_impl(
811        &self,
812        key_range: TableKeyRange,
813        epoch: u64,
814        table_id: TableId,
815    ) -> StorageResult<RangeKvStateStoreRevIter<R>> {
816        Ok(RangeKvStateStoreRevIter::new(
817            batched_iter::Iter::new(
818                self.inner.clone(),
819                to_full_key_range(table_id, key_range),
820                true,
821            ),
822            epoch,
823            true,
824        ))
825    }
826}
827
828impl<R: RangeKv> StateStoreReadLog for RangeKvStateStore<R> {
829    type ChangeLogIter = RangeKvStateStoreChangeLogIter<R>;
830
831    async fn next_epoch(&self, epoch: u64, options: NextEpochOptions) -> StorageResult<u64> {
832        loop {
833            {
834                let tables = self.tables.lock();
835                let Some(tables) = tables.get(&options.table_id) else {
836                    return Err(HummockError::next_epoch(format!(
837                        "table {} not exist",
838                        options.table_id
839                    ))
840                    .into());
841                };
842                if let Some(next_epoch) = tables.next_epochs.get(&epoch) {
843                    break Ok(*next_epoch);
844                }
845            }
846            yield_now().await;
847        }
848    }
849
850    async fn iter_log(
851        &self,
852        (min_epoch, max_epoch): (u64, u64),
853        key_range: TableKeyRange,
854        options: ReadLogOptions,
855    ) -> StorageResult<Self::ChangeLogIter> {
856        let new_value_iter = RangeKvStateStoreIter::new(
857            batched_iter::Iter::new(
858                self.inner.clone(),
859                to_full_key_range(options.table_id, key_range.clone()),
860                false,
861            ),
862            max_epoch,
863            true,
864        );
865        let old_value_iter = RangeKvStateStoreIter::new(
866            batched_iter::Iter::new(
867                self.inner.clone(),
868                to_full_key_range(options.table_id, key_range),
869                false,
870            ),
871            min_epoch,
872            false,
873        );
874        RangeKvStateStoreChangeLogIter::new(new_value_iter, old_value_iter)
875    }
876}
877
878impl<R: RangeKv> RangeKvStateStore<R> {
879    fn new_read_snapshot_impl(
880        &self,
881        epoch: u64,
882        table_id: TableId,
883    ) -> RangeKvStateStoreReadSnapshot<R> {
884        RangeKvStateStoreReadSnapshot {
885            inner: self.clone(),
886            epoch,
887            table_id,
888        }
889    }
890
891    pub(crate) fn ingest_batch(
892        &self,
893        mut kv_pairs: Vec<(TableKey<Bytes>, StorageValue)>,
894        delete_ranges: Vec<(Bound<Bytes>, Bound<Bytes>)>,
895        epoch: u64,
896        table_id: TableId,
897    ) -> StorageResult<usize> {
898        let mut delete_keys = BTreeSet::new();
899        for del_range in delete_ranges {
900            for (key, _) in self.inner.range(
901                (
902                    del_range
903                        .0
904                        .map(|table_key| FullKey::new(table_id, TableKey(table_key), epoch)),
905                    del_range
906                        .1
907                        .map(|table_key| FullKey::new(table_id, TableKey(table_key), epoch)),
908                ),
909                None,
910            )? {
911                delete_keys.insert(key.user_key.table_key);
912            }
913        }
914        for key in delete_keys {
915            kv_pairs.push((key, StorageValue::new_delete()));
916        }
917
918        let mut size = 0;
919        self.inner
920            .ingest_batch(kv_pairs.into_iter().map(|(key, value)| {
921                size += key.len() + value.size();
922                (FullKey::new(table_id, key, epoch), value.user_value)
923            }))?;
924        Ok(size)
925    }
926
927    fn ingest_vectors(&self, table_id: TableId, epoch: u64, vecs: Vec<(Vector, Bytes)>) {
928        self.vectors
929            .write()
930            .entry(table_id)
931            .or_default()
932            .extend(vecs.into_iter().map(|(vec, info)| (vec, info, epoch)));
933    }
934}
935
936impl<R: RangeKv> StateStore for RangeKvStateStore<R> {
937    type Local = RangeKvLocalStateStore<R>;
938    type ReadSnapshot = RangeKvStateStoreReadSnapshot<R>;
939    type VectorWriter = RangeKvLocalStateStore<R>;
940
941    async fn try_wait_epoch(
942        &self,
943        _epoch: HummockReadEpoch,
944        _options: TryWaitEpochOptions,
945    ) -> StorageResult<()> {
946        // memory backend doesn't need to wait for epoch, so this is a no-op.
947        Ok(())
948    }
949
950    async fn new_local(&self, option: NewLocalOptions) -> Self::Local {
951        RangeKvLocalStateStore::new(self.clone(), option)
952    }
953
954    async fn new_read_snapshot(
955        &self,
956        epoch: HummockReadEpoch,
957        options: NewReadSnapshotOptions,
958    ) -> StorageResult<Self::ReadSnapshot> {
959        Ok(self.new_read_snapshot_impl(epoch.get_epoch(), options.table_id))
960    }
961
962    async fn new_vector_writer(&self, options: NewVectorWriterOptions) -> Self::VectorWriter {
963        RangeKvLocalStateStore::new(
964            self.clone(),
965            NewLocalOptions {
966                table_id: options.table_id,
967                op_consistency_level: Default::default(),
968                table_option: Default::default(),
969                is_replicated: false,
970                vnodes: Arc::new(Bitmap::from_bool_slice(&[true])),
971            },
972        )
973    }
974}
975
976pub struct RangeKvLocalStateStore<R: RangeKv> {
977    mem_table: MemTable,
978    vectors: Vec<(Vector, Bytes)>,
979    inner: RangeKvStateStore<R>,
980
981    epoch: Option<EpochPair>,
982
983    table_id: TableId,
984    op_consistency_level: OpConsistencyLevel,
985    table_option: TableOption,
986    vnodes: Arc<Bitmap>,
987}
988
989impl<R: RangeKv> RangeKvLocalStateStore<R> {
990    pub fn new(inner: RangeKvStateStore<R>, option: NewLocalOptions) -> Self {
991        Self {
992            inner,
993            mem_table: MemTable::new(option.op_consistency_level.clone()),
994            epoch: None,
995            table_id: option.table_id,
996            op_consistency_level: option.op_consistency_level,
997            table_option: option.table_option,
998            vnodes: option.vnodes,
999            vectors: vec![],
1000        }
1001    }
1002
1003    fn epoch(&self) -> u64 {
1004        self.epoch.expect("should have set the epoch").curr
1005    }
1006}
1007
1008impl<R: RangeKv> StateStoreGet for RangeKvLocalStateStore<R> {
1009    async fn on_key_value<O: Send + 'static>(
1010        &self,
1011        key: TableKey<Bytes>,
1012        _read_options: ReadOptions,
1013        on_key_value_fn: impl KeyValueFn<O>,
1014    ) -> StorageResult<Option<O>> {
1015        if let Some((key, value)) = match self.mem_table.buffer.get(&key) {
1016            None => self
1017                .inner
1018                .get_keyed_row_impl(key, self.epoch(), self.table_id)?,
1019            Some(op) => match op {
1020                KeyOp::Insert(value) | KeyOp::Update((_, value)) => Some((
1021                    FullKey::new(self.table_id, key, self.epoch()),
1022                    value.clone(),
1023                )),
1024                KeyOp::Delete(_) => None,
1025            },
1026        } {
1027            Ok(Some(on_key_value_fn(key.to_ref(), value.as_ref())?))
1028        } else {
1029            Ok(None)
1030        }
1031    }
1032}
1033
1034impl<R: RangeKv> LocalStateStore for RangeKvLocalStateStore<R> {
1035    type FlushedSnapshotReader = RangeKvStateStoreReadSnapshot<R>;
1036
1037    type Iter<'a> = impl StateStoreIter + 'a;
1038    type RevIter<'a> = impl StateStoreIter + 'a;
1039
1040    async fn iter(
1041        &self,
1042        key_range: TableKeyRange,
1043        _read_options: ReadOptions,
1044    ) -> StorageResult<Self::Iter<'_>> {
1045        let iter = self
1046            .inner
1047            .iter_impl(key_range.clone(), self.epoch(), self.table_id)?;
1048        Ok(FromStreamStateStoreIter::new(Box::pin(merge_stream(
1049            self.mem_table.iter(key_range),
1050            iter.into_stream(to_owned_item),
1051            self.table_id,
1052            self.epoch(),
1053            false,
1054        ))))
1055    }
1056
1057    async fn rev_iter(
1058        &self,
1059        key_range: TableKeyRange,
1060        _read_options: ReadOptions,
1061    ) -> StorageResult<Self::RevIter<'_>> {
1062        let iter = self
1063            .inner
1064            .rev_iter_impl(key_range.clone(), self.epoch(), self.table_id)?;
1065        Ok(FromStreamStateStoreIter::new(Box::pin(merge_stream(
1066            self.mem_table.rev_iter(key_range),
1067            iter.into_stream(to_owned_item),
1068            self.table_id,
1069            self.epoch(),
1070            true,
1071        ))))
1072    }
1073
1074    fn insert(
1075        &mut self,
1076        key: TableKey<Bytes>,
1077        new_val: Bytes,
1078        old_val: Option<Bytes>,
1079    ) -> StorageResult<()> {
1080        match old_val {
1081            None => self.mem_table.insert(key, new_val)?,
1082            Some(old_val) => self.mem_table.update(key, old_val, new_val)?,
1083        };
1084        Ok(())
1085    }
1086
1087    fn delete(&mut self, key: TableKey<Bytes>, old_val: Bytes) -> StorageResult<()> {
1088        Ok(self.mem_table.delete(key, old_val)?)
1089    }
1090
1091    async fn update_vnode_bitmap(&mut self, vnodes: Arc<Bitmap>) -> StorageResult<Arc<Bitmap>> {
1092        if self.vnodes.len() > 1 {
1093            TableState::wait_epoch(
1094                &self.inner.tables,
1095                self.table_id,
1096                self.epoch.expect("should have init").prev,
1097            )
1098            .await;
1099        }
1100        Ok(std::mem::replace(&mut self.vnodes, vnodes))
1101    }
1102
1103    fn get_table_watermark(&self, _vnode: VirtualNode) -> Option<Bytes> {
1104        // TODO: may store the written table watermark and have a correct implementation
1105        None
1106    }
1107
1108    fn new_flushed_snapshot_reader(&self) -> Self::FlushedSnapshotReader {
1109        self.inner.new_read_snapshot_impl(MAX_EPOCH, self.table_id)
1110    }
1111}
1112
1113impl<R: RangeKv> StateStoreWriteEpochControl for RangeKvLocalStateStore<R> {
1114    async fn flush(&mut self) -> StorageResult<usize> {
1115        let buffer = self.mem_table.drain().into_parts();
1116        let mut kv_pairs = Vec::with_capacity(buffer.len());
1117        let sanity_check_read_snapshot = if sanity_check_enabled() {
1118            Some(self.inner.new_read_snapshot_impl(MAX_EPOCH, self.table_id))
1119        } else {
1120            None
1121        };
1122        for (key, key_op) in buffer {
1123            match key_op {
1124                // Currently, some executors do not strictly comply with these semantics. As
1125                // a workaround you may call disable the check by initializing the
1126                // state store with `op_consistency_level=Inconsistent`.
1127                KeyOp::Insert(value) => {
1128                    if let Some(sanity_check_read_snapshot) = &sanity_check_read_snapshot {
1129                        do_insert_sanity_check(
1130                            &key,
1131                            &value,
1132                            sanity_check_read_snapshot,
1133                            self.table_option,
1134                            &self.op_consistency_level,
1135                        )
1136                        .await?;
1137                    }
1138                    kv_pairs.push((key, StorageValue::new_put(value)));
1139                }
1140                KeyOp::Delete(old_value) => {
1141                    if let Some(sanity_check_read_snapshot) = &sanity_check_read_snapshot {
1142                        do_delete_sanity_check(
1143                            &key,
1144                            &old_value,
1145                            sanity_check_read_snapshot,
1146                            self.table_option,
1147                            &self.op_consistency_level,
1148                        )
1149                        .await?;
1150                    }
1151                    kv_pairs.push((key, StorageValue::new_delete()));
1152                }
1153                KeyOp::Update((old_value, new_value)) => {
1154                    if let Some(sanity_check_read_snapshot) = &sanity_check_read_snapshot {
1155                        do_update_sanity_check(
1156                            &key,
1157                            &old_value,
1158                            &new_value,
1159                            sanity_check_read_snapshot,
1160                            self.table_option,
1161                            &self.op_consistency_level,
1162                        )
1163                        .await?;
1164                    }
1165                    kv_pairs.push((key, StorageValue::new_put(new_value)));
1166                }
1167            }
1168        }
1169        let epoch = self.epoch();
1170        self.inner
1171            .ingest_vectors(self.table_id, epoch, take(&mut self.vectors));
1172        self.inner
1173            .ingest_batch(kv_pairs, vec![], epoch, self.table_id)
1174    }
1175
1176    async fn init(&mut self, options: InitOptions) -> StorageResult<()> {
1177        assert_eq!(
1178            self.epoch.replace(options.epoch),
1179            None,
1180            "epoch in local state store of table id {:?} is init for more than once",
1181            self.table_id
1182        );
1183        self.inner
1184            .tables
1185            .lock()
1186            .entry(self.table_id)
1187            .or_insert_with(|| TableState::new(options.epoch.prev))
1188            .next_epochs
1189            .insert(options.epoch.prev, options.epoch.curr);
1190        if self.vnodes.len() > 1 {
1191            TableState::wait_epoch(&self.inner.tables, self.table_id, options.epoch.prev).await;
1192        }
1193
1194        Ok(())
1195    }
1196
1197    fn seal_current_epoch(&mut self, next_epoch: u64, opts: SealCurrentEpochOptions) {
1198        assert!(!self.mem_table.is_dirty());
1199        if let Some(value_checker) = opts.switch_op_consistency_level {
1200            self.mem_table.op_consistency_level.update(&value_checker);
1201        }
1202        let epoch = self
1203            .epoch
1204            .as_mut()
1205            .expect("should have init epoch before seal the first epoch");
1206        let prev_epoch = epoch.curr;
1207        epoch.prev = prev_epoch;
1208        epoch.curr = next_epoch;
1209        assert!(
1210            next_epoch > prev_epoch,
1211            "new epoch {} should be greater than current epoch: {}",
1212            next_epoch,
1213            prev_epoch
1214        );
1215
1216        let mut tables = self.inner.tables.lock();
1217        let table_state = tables
1218            .get_mut(&self.table_id)
1219            .expect("should be set when init");
1220
1221        table_state.next_epochs.insert(prev_epoch, next_epoch);
1222        if self.vnodes.len() > 1 {
1223            let sealing_epoch_vnodes = table_state
1224                .sealing_epochs
1225                .entry(prev_epoch)
1226                .or_insert_with(|| BitmapBuilder::zeroed(self.vnodes.len()));
1227            assert_eq!(self.vnodes.len(), sealing_epoch_vnodes.len());
1228            for vnode in self.vnodes.iter_ones() {
1229                assert!(!sealing_epoch_vnodes.is_set(vnode));
1230                sealing_epoch_vnodes.set(vnode, true);
1231            }
1232            if (0..self.vnodes.len()).all(|vnode| sealing_epoch_vnodes.is_set(vnode)) {
1233                let (all_sealed_epoch, _) =
1234                    table_state.sealing_epochs.pop_first().expect("non-empty");
1235                assert_eq!(
1236                    all_sealed_epoch, prev_epoch,
1237                    "new all_sealed_epoch must be the current prev epoch"
1238                );
1239                if let Some(prev_latest_sealed_epoch) =
1240                    table_state.latest_sealed_epoch.replace(prev_epoch)
1241                {
1242                    assert!(prev_epoch > prev_latest_sealed_epoch);
1243                }
1244            }
1245        }
1246
1247        if let Some((direction, watermarks, _watermark_type)) = opts.table_watermarks {
1248            let delete_ranges = watermarks
1249                .iter()
1250                .flat_map(|vnode_watermark| {
1251                    let inner_range = match direction {
1252                        WatermarkDirection::Ascending => {
1253                            (Unbounded, Excluded(vnode_watermark.watermark().clone()))
1254                        }
1255                        WatermarkDirection::Descending => {
1256                            (Excluded(vnode_watermark.watermark().clone()), Unbounded)
1257                        }
1258                    };
1259                    vnode_watermark
1260                        .vnode_bitmap()
1261                        .iter_vnodes()
1262                        .map(move |vnode| {
1263                            let (start, end) =
1264                                prefixed_range_with_vnode(inner_range.clone(), vnode);
1265                            (start.map(|key| key.0.clone()), end.map(|key| key.0.clone()))
1266                        })
1267                })
1268                .collect_vec();
1269            if let Err(e) =
1270                self.inner
1271                    .ingest_batch(Vec::new(), delete_ranges, self.epoch(), self.table_id)
1272            {
1273                error!(error = %e.as_report(), "failed to write delete ranges of table watermark");
1274            }
1275        }
1276    }
1277
1278    async fn try_flush(&mut self) -> StorageResult<()> {
1279        Ok(())
1280    }
1281}
1282
1283impl<R: RangeKv> StateStoreWriteVector for RangeKvLocalStateStore<R> {
1284    fn insert(&mut self, vec: Vector, info: Bytes) -> StorageResult<()> {
1285        self.vectors.push((vec, info));
1286        Ok(())
1287    }
1288}
1289
1290pub struct RangeKvStateStoreIter<R: RangeKv> {
1291    inner: batched_iter::Iter<R>,
1292
1293    epoch: HummockEpoch,
1294    is_inclusive_epoch: bool,
1295
1296    last_key: Option<UserKey<Bytes>>,
1297
1298    item_buffer: Option<StateStoreKeyedRow>,
1299}
1300
1301impl<R: RangeKv> RangeKvStateStoreIter<R> {
1302    pub fn new(
1303        inner: batched_iter::Iter<R>,
1304        epoch: HummockEpoch,
1305        is_inclusive_epoch: bool,
1306    ) -> Self {
1307        Self {
1308            inner,
1309            epoch,
1310            is_inclusive_epoch,
1311            last_key: None,
1312            item_buffer: None,
1313        }
1314    }
1315}
1316
1317impl<R: RangeKv> StateStoreIter for RangeKvStateStoreIter<R> {
1318    async fn try_next(&mut self) -> StorageResult<Option<StateStoreKeyedRowRef<'_>>> {
1319        self.next_inner()?;
1320        Ok(self
1321            .item_buffer
1322            .as_ref()
1323            .map(|(key, value)| (key.to_ref(), value.as_ref())))
1324    }
1325}
1326
1327impl<R: RangeKv> RangeKvStateStoreIter<R> {
1328    fn next_inner(&mut self) -> StorageResult<()> {
1329        self.item_buffer = None;
1330        while let Some((key, value)) = self.inner.next()? {
1331            let epoch = key.epoch_with_gap.pure_epoch();
1332            if epoch > self.epoch {
1333                continue;
1334            }
1335            if epoch == self.epoch && !self.is_inclusive_epoch {
1336                continue;
1337            }
1338            if Some(key.user_key.as_ref()) != self.last_key.as_ref().map(|key| key.as_ref()) {
1339                self.last_key = Some(key.user_key.clone());
1340                if let Some(value) = value {
1341                    self.item_buffer = Some((key, value));
1342                    break;
1343                }
1344            }
1345        }
1346        Ok(())
1347    }
1348}
1349
1350pub struct RangeKvStateStoreRevIter<R: RangeKv> {
1351    inner: batched_iter::Iter<R>,
1352
1353    epoch: HummockEpoch,
1354    is_inclusive_epoch: bool,
1355
1356    item_buffer: VecDeque<StateStoreKeyedRow>,
1357}
1358
1359impl<R: RangeKv> RangeKvStateStoreRevIter<R> {
1360    pub fn new(
1361        inner: batched_iter::Iter<R>,
1362        epoch: HummockEpoch,
1363        is_inclusive_epoch: bool,
1364    ) -> Self {
1365        Self {
1366            inner,
1367            epoch,
1368            is_inclusive_epoch,
1369            item_buffer: VecDeque::default(),
1370        }
1371    }
1372}
1373
1374impl<R: RangeKv> StateStoreIter for RangeKvStateStoreRevIter<R> {
1375    async fn try_next(&mut self) -> StorageResult<Option<StateStoreKeyedRowRef<'_>>> {
1376        self.next_inner()?;
1377        Ok(self
1378            .item_buffer
1379            .back()
1380            .map(|(key, value)| (key.to_ref(), value.as_ref())))
1381    }
1382}
1383
1384impl<R: RangeKv> RangeKvStateStoreRevIter<R> {
1385    fn next_inner(&mut self) -> StorageResult<()> {
1386        self.item_buffer.pop_back();
1387        while let Some((key, value)) = self.inner.next()? {
1388            let epoch = key.epoch_with_gap.pure_epoch();
1389            if epoch > self.epoch {
1390                continue;
1391            }
1392            if epoch == self.epoch && !self.is_inclusive_epoch {
1393                continue;
1394            }
1395
1396            let v = match value {
1397                Some(v) => v,
1398                None => {
1399                    if let Some(last_key) = self.item_buffer.front()
1400                        && key.user_key.as_ref() == last_key.0.user_key.as_ref()
1401                    {
1402                        self.item_buffer.clear();
1403                    }
1404                    continue;
1405                }
1406            };
1407
1408            if let Some(last_key) = self.item_buffer.front() {
1409                if key.user_key.as_ref() != last_key.0.user_key.as_ref() {
1410                    self.item_buffer.push_front((key, v));
1411                    break;
1412                } else {
1413                    self.item_buffer.pop_front();
1414                    self.item_buffer.push_front((key, v));
1415                }
1416            } else {
1417                self.item_buffer.push_front((key, v));
1418            }
1419        }
1420        Ok(())
1421    }
1422}
1423
1424pub struct RangeKvStateStoreChangeLogIter<R: RangeKv> {
1425    new_value_iter: RangeKvStateStoreIter<R>,
1426    old_value_iter: RangeKvStateStoreIter<R>,
1427    item_buffer: Option<(TableKey<Bytes>, ChangeLogValue<Bytes>)>,
1428}
1429
1430impl<R: RangeKv> RangeKvStateStoreChangeLogIter<R> {
1431    fn new(
1432        mut new_value_iter: RangeKvStateStoreIter<R>,
1433        mut old_value_iter: RangeKvStateStoreIter<R>,
1434    ) -> StorageResult<Self> {
1435        new_value_iter.next_inner()?;
1436        old_value_iter.next_inner()?;
1437        Ok(Self {
1438            new_value_iter,
1439            old_value_iter,
1440            item_buffer: None,
1441        })
1442    }
1443}
1444
1445impl<R: RangeKv> StateStoreIter<StateStoreReadLogItem> for RangeKvStateStoreChangeLogIter<R> {
1446    async fn try_next(&mut self) -> StorageResult<Option<StateStoreReadLogItemRef<'_>>> {
1447        loop {
1448            match (
1449                &self.new_value_iter.item_buffer,
1450                &self.old_value_iter.item_buffer,
1451            ) {
1452                (None, None) => {
1453                    self.item_buffer = None;
1454                    break;
1455                }
1456                (Some((key, new_value)), None) => {
1457                    self.item_buffer = Some((
1458                        key.user_key.table_key.clone(),
1459                        ChangeLogValue::Insert(new_value.clone()),
1460                    ));
1461                    self.new_value_iter.next_inner()?;
1462                }
1463                (None, Some((key, old_value))) => {
1464                    self.item_buffer = Some((
1465                        key.user_key.table_key.clone(),
1466                        ChangeLogValue::Delete(old_value.clone()),
1467                    ));
1468                    self.old_value_iter.next_inner()?;
1469                }
1470                (Some((new_value_key, new_value)), Some((old_value_key, old_value))) => {
1471                    match new_value_key.user_key.cmp(&old_value_key.user_key) {
1472                        Ordering::Less => {
1473                            self.item_buffer = Some((
1474                                new_value_key.user_key.table_key.clone(),
1475                                ChangeLogValue::Insert(new_value.clone()),
1476                            ));
1477                            self.new_value_iter.next_inner()?;
1478                        }
1479                        Ordering::Greater => {
1480                            self.item_buffer = Some((
1481                                old_value_key.user_key.table_key.clone(),
1482                                ChangeLogValue::Delete(old_value.clone()),
1483                            ));
1484                            self.old_value_iter.next_inner()?;
1485                        }
1486                        Ordering::Equal => {
1487                            if new_value == old_value {
1488                                self.new_value_iter.next_inner()?;
1489                                self.old_value_iter.next_inner()?;
1490                                continue;
1491                            }
1492                            self.item_buffer = Some((
1493                                new_value_key.user_key.table_key.clone(),
1494                                ChangeLogValue::Update {
1495                                    new_value: new_value.clone(),
1496                                    old_value: old_value.clone(),
1497                                },
1498                            ));
1499                            self.new_value_iter.next_inner()?;
1500                            self.old_value_iter.next_inner()?;
1501                        }
1502                    }
1503                }
1504            };
1505            break;
1506        }
1507        Ok(self
1508            .item_buffer
1509            .as_ref()
1510            .map(|(key, value)| (key.to_ref(), value.to_ref())))
1511    }
1512}
1513
1514#[cfg(test)]
1515mod tests {
1516    use risingwave_common::util::epoch::test_epoch;
1517
1518    use super::*;
1519    use crate::hummock::iterator::test_utils::{
1520        iterator_test_table_key_of, iterator_test_value_of,
1521    };
1522    use crate::hummock::test_utils::{ReadOptions, *};
1523    use crate::memory::sled::SledStateStore;
1524
1525    #[tokio::test]
1526    async fn test_snapshot_isolation_memory() {
1527        let state_store = MemoryStateStore::new();
1528        test_snapshot_isolation_inner(state_store).await;
1529    }
1530
1531    #[cfg(not(madsim))]
1532    #[tokio::test]
1533    async fn test_snapshot_isolation_sled() {
1534        let state_store = SledStateStore::new_temp();
1535        test_snapshot_isolation_inner(state_store).await;
1536    }
1537
1538    async fn test_snapshot_isolation_inner(state_store: RangeKvStateStore<impl RangeKv>) {
1539        state_store
1540            .ingest_batch(
1541                vec![
1542                    (
1543                        TableKey(Bytes::from(b"a".to_vec())),
1544                        StorageValue::new_put(b"v1".to_vec()),
1545                    ),
1546                    (
1547                        TableKey(Bytes::from(b"b".to_vec())),
1548                        StorageValue::new_put(b"v1".to_vec()),
1549                    ),
1550                ],
1551                vec![],
1552                0,
1553                Default::default(),
1554            )
1555            .unwrap();
1556        state_store
1557            .ingest_batch(
1558                vec![
1559                    (
1560                        TableKey(Bytes::from(b"a".to_vec())),
1561                        StorageValue::new_put(b"v2".to_vec()),
1562                    ),
1563                    (
1564                        TableKey(Bytes::from(b"b".to_vec())),
1565                        StorageValue::new_delete(),
1566                    ),
1567                ],
1568                vec![],
1569                test_epoch(1),
1570                Default::default(),
1571            )
1572            .unwrap();
1573        assert_eq!(
1574            state_store
1575                .scan(
1576                    (
1577                        Bound::Included(TableKey(Bytes::from("a"))),
1578                        Bound::Included(TableKey(Bytes::from("b"))),
1579                    ),
1580                    0,
1581                    TableId::default(),
1582                    None,
1583                )
1584                .unwrap(),
1585            vec![
1586                (
1587                    FullKey::for_test(Default::default(), Bytes::from("a"), 0)
1588                        .encode()
1589                        .into(),
1590                    b"v1".to_vec().into()
1591                ),
1592                (
1593                    FullKey::for_test(Default::default(), Bytes::from("b"), 0)
1594                        .encode()
1595                        .into(),
1596                    b"v1".to_vec().into()
1597                )
1598            ]
1599        );
1600        assert_eq!(
1601            state_store
1602                .scan(
1603                    (
1604                        Bound::Included(TableKey(Bytes::from("a"))),
1605                        Bound::Included(TableKey(Bytes::from("b"))),
1606                    ),
1607                    0,
1608                    TableId::default(),
1609                    Some(1),
1610                )
1611                .unwrap(),
1612            vec![(
1613                FullKey::for_test(Default::default(), b"a".to_vec(), 0)
1614                    .encode()
1615                    .into(),
1616                b"v1".to_vec().into()
1617            )]
1618        );
1619        assert_eq!(
1620            state_store
1621                .scan(
1622                    (
1623                        Bound::Included(TableKey(Bytes::from("a"))),
1624                        Bound::Included(TableKey(Bytes::from("b"))),
1625                    ),
1626                    test_epoch(1),
1627                    TableId::default(),
1628                    None,
1629                )
1630                .unwrap(),
1631            vec![(
1632                FullKey::for_test(Default::default(), b"a".to_vec(), test_epoch(1))
1633                    .encode()
1634                    .into(),
1635                b"v2".to_vec().into()
1636            )]
1637        );
1638        assert_eq!(
1639            state_store
1640                .get(TableKey(Bytes::from("a")), 0, ReadOptions::default())
1641                .await
1642                .unwrap(),
1643            Some(Bytes::from("v1"))
1644        );
1645        assert_eq!(
1646            state_store
1647                .get(
1648                    TableKey(Bytes::copy_from_slice(b"b")),
1649                    0,
1650                    ReadOptions::default(),
1651                )
1652                .await
1653                .unwrap(),
1654            Some(b"v1".to_vec().into())
1655        );
1656        assert_eq!(
1657            state_store
1658                .get(
1659                    TableKey(Bytes::copy_from_slice(b"c")),
1660                    0,
1661                    ReadOptions::default(),
1662                )
1663                .await
1664                .unwrap(),
1665            None
1666        );
1667        assert_eq!(
1668            state_store
1669                .get(
1670                    TableKey(Bytes::copy_from_slice(b"a")),
1671                    test_epoch(1),
1672                    ReadOptions::default(),
1673                )
1674                .await
1675                .unwrap(),
1676            Some(b"v2".to_vec().into())
1677        );
1678        assert_eq!(
1679            state_store
1680                .get(
1681                    TableKey(Bytes::from("b")),
1682                    test_epoch(1),
1683                    ReadOptions::default(),
1684                )
1685                .await
1686                .unwrap(),
1687            None
1688        );
1689        assert_eq!(
1690            state_store
1691                .get(
1692                    TableKey(Bytes::from("c")),
1693                    test_epoch(1),
1694                    ReadOptions::default()
1695                )
1696                .await
1697                .unwrap(),
1698            None
1699        );
1700    }
1701
1702    #[tokio::test]
1703    async fn test_iter_log_memory() {
1704        let state_store = MemoryStateStore::new();
1705        test_iter_log_inner(state_store).await;
1706    }
1707
1708    #[cfg(not(madsim))]
1709    #[tokio::test]
1710    async fn test_iter_log_sled() {
1711        let state_store = SledStateStore::new_temp();
1712        test_iter_log_inner(state_store).await;
1713    }
1714
1715    async fn test_iter_log_inner(state_store: RangeKvStateStore<impl RangeKv>) {
1716        let table_id = TableId::new(233);
1717        let epoch1 = test_epoch(1);
1718        let key_idx = [1, 2, 4];
1719        let make_key = |i| TableKey(Bytes::from(iterator_test_table_key_of(i)));
1720        let make_value = |i| Bytes::from(iterator_test_value_of(i));
1721        state_store
1722            .ingest_batch(
1723                key_idx
1724                    .iter()
1725                    .map(|i| (make_key(*i), StorageValue::new_put(make_value(*i))))
1726                    .collect(),
1727                vec![],
1728                epoch1,
1729                table_id,
1730            )
1731            .unwrap();
1732        {
1733            let mut iter = state_store
1734                .iter_log(
1735                    (epoch1, epoch1),
1736                    (Unbounded, Unbounded),
1737                    ReadLogOptions { table_id },
1738                )
1739                .await
1740                .unwrap();
1741            for i in key_idx {
1742                let (iter_key, change_value) = iter.try_next().await.unwrap().unwrap();
1743                assert_eq!(make_key(i).to_ref(), iter_key);
1744                assert_eq!(change_value, ChangeLogValue::Insert(make_value(i).as_ref()));
1745            }
1746            assert!(iter.try_next().await.unwrap().is_none());
1747        }
1748
1749        let epoch2 = test_epoch(2);
1750        state_store
1751            .ingest_batch(
1752                vec![
1753                    (make_key(1), StorageValue::new_put(make_value(12))), // update
1754                    (make_key(2), StorageValue::new_delete()),            // delete
1755                    (make_key(3), StorageValue::new_put(make_value(3))),
1756                ],
1757                vec![],
1758                epoch2,
1759                table_id,
1760            )
1761            .unwrap();
1762
1763        // check iter log between two epoch
1764        {
1765            let expected = vec![
1766                (
1767                    make_key(1),
1768                    ChangeLogValue::Update {
1769                        new_value: make_value(12),
1770                        old_value: make_value(1),
1771                    },
1772                ),
1773                (make_key(2), ChangeLogValue::Delete(make_value(2))),
1774                (make_key(3), ChangeLogValue::Insert(make_value(3))),
1775            ];
1776            let mut iter = state_store
1777                .iter_log(
1778                    (epoch2, epoch2),
1779                    (Unbounded, Unbounded),
1780                    ReadLogOptions { table_id },
1781                )
1782                .await
1783                .unwrap();
1784            for (key, change_log_value) in expected {
1785                let (iter_key, iter_value) = iter.try_next().await.unwrap().unwrap();
1786                assert_eq!(
1787                    key.to_ref(),
1788                    iter_key,
1789                    "{:?} {:?}",
1790                    change_log_value.to_ref(),
1791                    iter_value
1792                );
1793                assert_eq!(change_log_value.to_ref(), iter_value);
1794            }
1795            assert!(iter.try_next().await.unwrap().is_none());
1796        }
1797        // check iter log on the original old epoch
1798        {
1799            let mut iter = state_store
1800                .iter_log(
1801                    (epoch1, epoch1),
1802                    (Unbounded, Unbounded),
1803                    ReadLogOptions { table_id },
1804                )
1805                .await
1806                .unwrap();
1807            for i in key_idx {
1808                let (iter_key, change_value) = iter.try_next().await.unwrap().unwrap();
1809                assert_eq!(make_key(i).to_ref(), iter_key);
1810                assert_eq!(change_value, ChangeLogValue::Insert(make_value(i).as_ref()));
1811            }
1812            assert!(iter.try_next().await.unwrap().is_none());
1813        }
1814        // check iter on merging the two epochs
1815        {
1816            let mut iter = state_store
1817                .iter_log(
1818                    (epoch1, epoch2),
1819                    (Unbounded, Unbounded),
1820                    ReadLogOptions { table_id },
1821                )
1822                .await
1823                .unwrap();
1824            let (iter_key, change_value) = iter.try_next().await.unwrap().unwrap();
1825            assert_eq!(make_key(1).to_ref(), iter_key);
1826            assert_eq!(
1827                change_value,
1828                ChangeLogValue::Insert(make_value(12).as_ref())
1829            );
1830            for i in [3, 4] {
1831                let (iter_key, change_value) = iter.try_next().await.unwrap().unwrap();
1832                assert_eq!(make_key(i).to_ref(), iter_key);
1833                assert_eq!(change_value, ChangeLogValue::Insert(make_value(i).as_ref()));
1834            }
1835            assert!(iter.try_next().await.unwrap().is_none());
1836        }
1837    }
1838}