1use 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 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 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 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 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#[derive(Clone, Default)]
578pub struct RangeKvStateStore<R: RangeKv> {
579 inner: R,
581 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 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 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 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 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))), (make_key(2), StorageValue::new_delete()), (make_key(3), StorageValue::new_put(make_value(3))),
1756 ],
1757 vec![],
1758 epoch2,
1759 table_id,
1760 )
1761 .unwrap();
1762
1763 {
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 {
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 {
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}