risingwave_storage/
memory.rs

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