lsm_tree/blob_tree/
mod.rs

1// Copyright (c) 2024-present, fjall-rs
2// This source code is licensed under both the Apache 2.0 and MIT License
3// (found in the LICENSE-* files in the repository)
4
5mod compression;
6mod gc;
7pub mod index;
8pub mod value;
9
10use crate::{
11    coding::{Decode, Encode},
12    compaction::stream::CompactionStream,
13    file::BLOBS_FOLDER,
14    r#abstract::{AbstractTree, RangeItem},
15    tree::inner::MemtableId,
16    value::InternalValue,
17    Config, KvPair, Memtable, Segment, SegmentId, SeqNo, Snapshot, UserKey, UserValue,
18};
19use compression::MyCompressor;
20use gc::{reader::GcReader, writer::GcWriter};
21use index::IndexTree;
22use std::{
23    io::Cursor,
24    ops::{RangeBounds, RangeFull},
25    sync::{atomic::AtomicUsize, Arc},
26};
27use value::MaybeInlineValue;
28use value_log::ValueLog;
29
30fn resolve_value_handle(vlog: &ValueLog<MyCompressor>, item: RangeItem) -> RangeItem {
31    use MaybeInlineValue::{Indirect, Inline};
32
33    match item {
34        Ok((key, value)) => {
35            let mut cursor = Cursor::new(value);
36
37            match MaybeInlineValue::decode_from(&mut cursor)? {
38                Inline(bytes) => Ok((key, bytes)),
39                Indirect { vhandle, .. } => {
40                    // Resolve indirection using value log
41                    match vlog.get(&vhandle) {
42                        Ok(Some(bytes)) => Ok((key, bytes)),
43                        Err(e) => Err(e.into()),
44                        _ => {
45                            panic!("value handle ({:?} => {vhandle:?}) did not match any blob - this is a bug", String::from_utf8_lossy(&key))
46                        }
47                    }
48                }
49            }
50        }
51        Err(e) => Err(e),
52    }
53}
54
55/// A key-value-separated log-structured merge tree
56///
57/// This tree is a composite structure, consisting of an
58/// index tree (LSM-tree) and a log-structured value log
59/// to reduce write amplification.
60///
61/// See <https://docs.rs/value-log> for more information.
62#[derive(Clone)]
63pub struct BlobTree {
64    /// Index tree that holds value handles or small inline values
65    #[doc(hidden)]
66    pub index: IndexTree,
67
68    /// Log-structured value-log that stores large values
69    #[doc(hidden)]
70    pub blobs: ValueLog<MyCompressor>,
71
72    // TODO: maybe replace this with a nonce system
73    #[doc(hidden)]
74    pub pending_segments: Arc<AtomicUsize>,
75}
76
77impl BlobTree {
78    pub(crate) fn open(config: Config) -> crate::Result<Self> {
79        let path = &config.path;
80
81        let vlog_path = path.join(BLOBS_FOLDER);
82        let vlog_cfg = value_log::Config::<MyCompressor>::default()
83            .blob_cache(config.blob_cache.clone())
84            .segment_size_bytes(config.blob_file_target_size)
85            .compression(MyCompressor(config.blob_compression));
86
87        let index: IndexTree = config.open()?.into();
88
89        Ok(Self {
90            index,
91            blobs: ValueLog::open(vlog_path, vlog_cfg)?,
92            pending_segments: Arc::new(AtomicUsize::new(0)),
93        })
94    }
95
96    /// Scans the index tree, collecting statistics about
97    /// value log fragmentation
98    #[doc(hidden)]
99    pub fn gc_scan_stats(
100        &self,
101        seqno: SeqNo,
102        gc_watermark: SeqNo,
103    ) -> crate::Result<crate::gc::Report> {
104        use std::io::{Error as IoError, ErrorKind as IoErrorKind};
105        use MaybeInlineValue::{Indirect, Inline};
106
107        while self
108            .pending_segments
109            .load(std::sync::atomic::Ordering::Acquire)
110            > 0
111        {
112            // IMPORTANT: Busy wait until all segments in-flight are committed
113            // to the tree
114        }
115
116        // IMPORTANT: Lock + snapshot memtable to avoid read skew + preventing tampering with memtable
117        let _memtable_lock = self.index.read_lock_active_memtable();
118
119        while self
120            .pending_segments
121            .load(std::sync::atomic::Ordering::Acquire)
122            > 0
123        {
124            // IMPORTANT: Busy wait again until all segments in-flight are committed
125            // to the tree
126        }
127
128        let iter = self
129            .index
130            .create_internal_range::<&[u8], RangeFull>(&.., Some(seqno), None);
131
132        // Stores the max seqno of every blob file
133        let mut seqno_map = crate::HashMap::<SegmentId, SeqNo>::default();
134
135        let result = self
136            .blobs
137            .scan_for_stats(iter.filter_map(|kv| {
138                let Ok(kv) = kv else {
139                    return Some(Err(IoError::new(
140                        IoErrorKind::Other,
141                        "Failed to load KV pair from index tree",
142                    )));
143                };
144
145                let mut cursor = Cursor::new(kv.value);
146                let value = match MaybeInlineValue::decode_from(&mut cursor) {
147                    Ok(v) => v,
148                    Err(e) => return Some(Err(IoError::new(IoErrorKind::Other, e.to_string()))),
149                };
150
151                match value {
152                    Indirect { vhandle, size } => {
153                        seqno_map
154                            .entry(vhandle.segment_id)
155                            .and_modify(|x| *x = (*x).max(kv.key.seqno))
156                            .or_insert(kv.key.seqno);
157
158                        Some(Ok((vhandle, size)))
159                    }
160                    Inline(_) => None,
161                }
162            }))
163            .map_err(Into::into);
164
165        let mut lock = self
166            .blobs
167            .manifest
168            .segments
169            .write()
170            .expect("lock is poisoned");
171
172        // IMPORTANT: We are overwiting the staleness of blob files
173        // that contain an item that is still contained in the GC watermark
174        // so snapshots cannot accidentally lose data
175        //
176        // TODO: 3.0.0 this should be dealt with in value-log 2.0 (make it MVCC aware)
177        for (blob_file_id, max_seqno) in seqno_map {
178            if gc_watermark <= max_seqno {
179                if let Some(blob_file) = lock.get_mut(&blob_file_id) {
180                    blob_file.gc_stats.set_stale_items(0);
181                    blob_file.gc_stats.set_stale_bytes(0);
182                }
183            }
184        }
185
186        result
187    }
188
189    pub fn apply_gc_strategy(
190        &self,
191        strategy: &impl value_log::GcStrategy<MyCompressor>,
192        seqno: SeqNo,
193    ) -> crate::Result<u64> {
194        // IMPORTANT: Write lock memtable to avoid read skew
195        let memtable_lock = self.index.lock_active_memtable();
196
197        self.blobs.apply_gc_strategy(
198            strategy,
199            &GcReader::new(&self.index, &memtable_lock),
200            GcWriter::new(seqno, &memtable_lock),
201        )?;
202
203        // NOTE: We still have the memtable lock, can't use gc_drop_stale because recursive locking
204        self.blobs.drop_stale_segments().map_err(Into::into)
205    }
206
207    /// Drops all stale blob segment files
208    #[doc(hidden)]
209    pub fn gc_drop_stale(&self) -> crate::Result<u64> {
210        // IMPORTANT: Write lock memtable to avoid read skew
211        let _lock = self.index.lock_active_memtable();
212
213        self.blobs.drop_stale_segments().map_err(Into::into)
214    }
215
216    #[doc(hidden)]
217    pub fn flush_active_memtable(&self, eviction_seqno: SeqNo) -> crate::Result<Option<Segment>> {
218        let Some((segment_id, yanked_memtable)) = self.index.rotate_memtable() else {
219            return Ok(None);
220        };
221
222        let Some(segment) = self.flush_memtable(segment_id, &yanked_memtable, eviction_seqno)?
223        else {
224            return Ok(None);
225        };
226        self.register_segments(&[segment.clone()])?;
227
228        Ok(Some(segment))
229    }
230}
231
232impl AbstractTree for BlobTree {
233    fn blob_file_count(&self) -> usize {
234        self.blobs.segment_count()
235    }
236
237    // NOTE: We skip reading from the value log
238    // because the vHandles already store the value size
239    fn size_of<K: AsRef<[u8]>>(&self, key: K, seqno: Option<SeqNo>) -> crate::Result<Option<u32>> {
240        let vhandle = self.index.get_vhandle(key.as_ref(), seqno)?;
241
242        Ok(vhandle.map(|x| match x {
243            MaybeInlineValue::Inline(v) => v.len() as u32,
244
245            // NOTE: We skip reading from the value log
246            // because the indirections already store the value size
247            MaybeInlineValue::Indirect { size, .. } => size,
248        }))
249    }
250
251    fn bloom_filter_size(&self) -> usize {
252        self.index.bloom_filter_size()
253    }
254
255    fn sealed_memtable_count(&self) -> usize {
256        self.index.sealed_memtable_count()
257    }
258
259    fn is_first_level_disjoint(&self) -> bool {
260        self.index.is_first_level_disjoint()
261    }
262
263    #[doc(hidden)]
264    fn verify(&self) -> crate::Result<usize> {
265        let index_tree_sum = self.index.verify()?;
266        let vlog_sum = self.blobs.verify()?;
267        Ok(index_tree_sum + vlog_sum)
268    }
269
270    fn keys(
271        &self,
272        seqno: Option<SeqNo>,
273        index: Option<Arc<Memtable>>,
274    ) -> Box<dyn DoubleEndedIterator<Item = crate::Result<UserKey>> + 'static> {
275        self.index.keys(seqno, index)
276    }
277
278    fn values(
279        &self,
280        seqno: Option<SeqNo>,
281        index: Option<Arc<Memtable>>,
282    ) -> Box<dyn DoubleEndedIterator<Item = crate::Result<UserValue>> + 'static> {
283        Box::new(self.iter(seqno, index).map(|x| x.map(|(_, v)| v)))
284    }
285
286    fn flush_memtable(
287        &self,
288        segment_id: SegmentId,
289        memtable: &Arc<Memtable>,
290        eviction_seqno: SeqNo,
291    ) -> crate::Result<Option<Segment>> {
292        use crate::{
293            file::SEGMENTS_FOLDER,
294            segment::writer::{Options, Writer as SegmentWriter},
295        };
296        use value::MaybeInlineValue;
297
298        let lsm_segment_folder = self.index.config.path.join(SEGMENTS_FOLDER);
299
300        log::debug!("flushing memtable & performing key-value separation");
301        log::debug!("=> to LSM segments in {:?}", lsm_segment_folder);
302        log::debug!("=> to blob segment at {:?}", self.blobs.path);
303
304        let mut segment_writer = SegmentWriter::new(Options {
305            segment_id,
306            data_block_size: self.index.config.data_block_size,
307            index_block_size: self.index.config.index_block_size,
308            folder: lsm_segment_folder,
309        })?
310        .use_compression(self.index.config.compression);
311
312        segment_writer = segment_writer.use_bloom_policy(
313            crate::segment::writer::BloomConstructionPolicy::FpRate(0.0001),
314        );
315
316        let mut blob_writer = self.blobs.get_writer()?;
317
318        let iter = memtable.iter().map(Ok);
319        let compaction_filter = CompactionStream::new(iter, eviction_seqno);
320
321        for item in compaction_filter {
322            let item = item?;
323
324            if item.is_tombstone() {
325                // NOTE: Still need to add tombstone to index tree
326                // But no blob to blob writer
327
328                // TODO: Slice::empty
329                segment_writer.write(InternalValue::new(item.key, vec![]))?;
330                continue;
331            }
332
333            let mut cursor = Cursor::new(item.value);
334
335            let value = MaybeInlineValue::decode_from(&mut cursor)?;
336            let value = match value {
337                MaybeInlineValue::Inline(value) => value,
338                indirection @ MaybeInlineValue::Indirect { .. } => {
339                    // NOTE: This is a previous indirection, just write it to index tree
340                    // without writing the blob again
341
342                    let mut serialized_indirection = vec![];
343                    indirection.encode_into(&mut serialized_indirection)?;
344
345                    segment_writer
346                        .write(InternalValue::new(item.key.clone(), serialized_indirection))?;
347
348                    continue;
349                }
350            };
351
352            // NOTE: Values are 32-bit max
353            #[allow(clippy::cast_possible_truncation)]
354            let value_size = value.len() as u32;
355
356            if value_size >= self.index.config.blob_file_separation_threshold {
357                let vhandle = blob_writer.get_next_value_handle();
358
359                let indirection = MaybeInlineValue::Indirect {
360                    vhandle,
361                    size: value_size,
362                };
363                let mut serialized_indirection = vec![];
364                indirection.encode_into(&mut serialized_indirection)?;
365
366                segment_writer
367                    .write(InternalValue::new(item.key.clone(), serialized_indirection))?;
368
369                blob_writer.write(&item.key.user_key, value)?;
370            } else {
371                let direct = MaybeInlineValue::Inline(value);
372                let serialized_direct = direct.encode_into_vec();
373                segment_writer.write(InternalValue::new(item.key, serialized_direct))?;
374            }
375        }
376
377        let _memtable_lock = self.lock_active_memtable();
378
379        log::trace!("Register blob writer into value log");
380        self.blobs.register_writer(blob_writer)?;
381
382        log::trace!("Creating LSM-tree segment {segment_id}");
383        let segment = self.index.consume_writer(segment_id, segment_writer)?;
384
385        // TODO: this can probably solved in a nicer way
386        if segment.is_some() {
387            // IMPORTANT: Increment the pending count
388            // so there cannot be a GC scan now, until the segment is registered
389            self.pending_segments
390                .fetch_add(1, std::sync::atomic::Ordering::Release);
391        }
392
393        Ok(segment)
394    }
395
396    fn register_segments(&self, segments: &[Segment]) -> crate::Result<()> {
397        self.index.register_segments(segments)?;
398
399        let count = self
400            .pending_segments
401            .load(std::sync::atomic::Ordering::Acquire);
402
403        assert!(
404            count >= segments.len(),
405            "pending_segments is less than segments to register - this is a bug"
406        );
407
408        self.pending_segments
409            .fetch_sub(segments.len(), std::sync::atomic::Ordering::Release);
410
411        Ok(())
412    }
413
414    fn lock_active_memtable(&self) -> std::sync::RwLockWriteGuard<'_, Memtable> {
415        self.index.lock_active_memtable()
416    }
417
418    fn set_active_memtable(&self, memtable: Memtable) {
419        self.index.set_active_memtable(memtable);
420    }
421
422    fn add_sealed_memtable(&self, id: MemtableId, memtable: Arc<Memtable>) {
423        self.index.add_sealed_memtable(id, memtable);
424    }
425
426    fn compact(
427        &self,
428        strategy: Arc<dyn crate::compaction::CompactionStrategy>,
429        seqno_threshold: SeqNo,
430    ) -> crate::Result<()> {
431        self.index.compact(strategy, seqno_threshold)
432    }
433
434    fn get_next_segment_id(&self) -> SegmentId {
435        self.index.get_next_segment_id()
436    }
437
438    fn tree_config(&self) -> &Config {
439        &self.index.config
440    }
441
442    fn get_highest_seqno(&self) -> Option<SeqNo> {
443        self.index.get_highest_seqno()
444    }
445
446    fn active_memtable_size(&self) -> u32 {
447        self.index.active_memtable_size()
448    }
449
450    fn tree_type(&self) -> crate::TreeType {
451        crate::TreeType::Blob
452    }
453
454    fn rotate_memtable(&self) -> Option<(crate::tree::inner::MemtableId, Arc<crate::Memtable>)> {
455        self.index.rotate_memtable()
456    }
457
458    fn segment_count(&self) -> usize {
459        self.index.segment_count()
460    }
461
462    fn first_level_segment_count(&self) -> usize {
463        self.index.first_level_segment_count()
464    }
465
466    fn approximate_len(&self) -> usize {
467        self.index.approximate_len()
468    }
469
470    // NOTE: Override the default implementation to not fetch
471    // data from the value log, so we get much faster key reads
472    fn contains_key<K: AsRef<[u8]>>(&self, key: K, seqno: Option<SeqNo>) -> crate::Result<bool> {
473        self.index.contains_key(key, seqno)
474    }
475
476    // NOTE: Override the default implementation to not fetch
477    // data from the value log, so we get much faster scans
478    fn len(&self, seqno: Option<SeqNo>, index: Option<Arc<Memtable>>) -> crate::Result<usize> {
479        self.index.len(seqno, index)
480    }
481
482    #[must_use]
483    fn disk_space(&self) -> u64 {
484        self.index.disk_space() + self.blobs.manifest.disk_space_used()
485    }
486
487    fn get_highest_memtable_seqno(&self) -> Option<SeqNo> {
488        self.index.get_highest_memtable_seqno()
489    }
490
491    fn get_highest_persisted_seqno(&self) -> Option<SeqNo> {
492        self.index.get_highest_persisted_seqno()
493    }
494
495    fn snapshot(&self, seqno: SeqNo) -> Snapshot {
496        use crate::AnyTree::Blob;
497
498        Snapshot::new(Blob(self.clone()), seqno)
499    }
500
501    fn range<K: AsRef<[u8]>, R: RangeBounds<K>>(
502        &self,
503        range: R,
504        seqno: Option<SeqNo>,
505        index: Option<Arc<Memtable>>,
506    ) -> Box<dyn DoubleEndedIterator<Item = crate::Result<KvPair>> + 'static> {
507        let vlog = self.blobs.clone();
508        Box::new(
509            self.index
510                .0
511                .create_range(&range, seqno, index)
512                .map(move |item| resolve_value_handle(&vlog, item)),
513        )
514    }
515
516    fn prefix<K: AsRef<[u8]>>(
517        &self,
518        prefix: K,
519        seqno: Option<SeqNo>,
520        index: Option<Arc<Memtable>>,
521    ) -> Box<dyn DoubleEndedIterator<Item = crate::Result<KvPair>> + 'static> {
522        let vlog = self.blobs.clone();
523        Box::new(
524            self.index
525                .0
526                .create_prefix(prefix, seqno, index)
527                .map(move |item| resolve_value_handle(&vlog, item)),
528        )
529    }
530
531    fn insert<K: Into<UserKey>, V: Into<UserValue>>(
532        &self,
533        key: K,
534        value: V,
535        seqno: SeqNo,
536    ) -> (u32, u32) {
537        use value::MaybeInlineValue;
538
539        // NOTE: Initially, we always write an inline value
540        // On memtable flush, depending on the values' sizes, they will be separated
541        // into inline or indirect values
542        let item = MaybeInlineValue::Inline(value.into());
543
544        let value = item.encode_into_vec();
545
546        self.index.insert(key, value, seqno)
547    }
548
549    fn get<K: AsRef<[u8]>>(
550        &self,
551        key: K,
552        seqno: Option<SeqNo>,
553    ) -> crate::Result<Option<crate::UserValue>> {
554        use value::MaybeInlineValue::{Indirect, Inline};
555
556        let key = key.as_ref();
557
558        let Some(value) = self.index.get_vhandle(key, seqno)? else {
559            return Ok(None);
560        };
561
562        match value {
563            Inline(bytes) => Ok(Some(bytes)),
564            Indirect { vhandle, .. } => {
565                // Resolve indirection using value log
566                match self.blobs.get(&vhandle)? {
567                    Some(bytes) => Ok(Some(bytes)),
568                    None => {
569                        panic!("value handle ({key:?} => {vhandle:?}) did not match any blob - this is a bug")
570                    }
571                }
572            }
573        }
574    }
575
576    fn remove<K: Into<UserKey>>(&self, key: K, seqno: SeqNo) -> (u32, u32) {
577        self.index.remove(key, seqno)
578    }
579
580    fn remove_weak<K: Into<UserKey>>(&self, key: K, seqno: SeqNo) -> (u32, u32) {
581        self.index.remove_weak(key, seqno)
582    }
583}