Skip to main content

fxfs/
fsck.rs

1// Copyright 2021 The Fuchsia Authors. All rights reserved.
2// Use of this source code is governed by a BSD-style license that can be
3// found in the LICENSE file.
4
5use crate::filesystem::FxFilesystem;
6use crate::fsck::errors::{FsckError, FsckFatal, FsckIssue, FsckWarning};
7use crate::log::*;
8use crate::lsm_tree::Query;
9use crate::lsm_tree::skip_list_layer::SkipListLayer;
10use crate::lsm_tree::types::{
11    BoxedLayerIterator, Item, Key, Layer, LayerIterator, LayerKey, Value,
12};
13use crate::object_handle::INVALID_OBJECT_ID;
14use crate::object_store::allocator::{AllocatorKey, AllocatorValue, CoalescingIterator};
15use crate::object_store::journal::super_block::SuperBlockInstance;
16use crate::object_store::load_store_info;
17use crate::object_store::transaction::{LockKey, lock_keys};
18use crate::object_store::volume::root_volume;
19use anyhow::{Context, Error, anyhow};
20use futures::try_join;
21use fxfs_crypto::Crypt;
22use rustc_hash::FxHashSet as HashSet;
23use std::collections::BTreeMap;
24use std::iter::zip;
25use std::ops::Bound;
26use std::sync::Arc;
27use std::sync::atomic::{AtomicU64, Ordering};
28
29pub mod errors;
30
31mod store_scanner;
32
33#[cfg(test)]
34mod tests;
35
36/// General stats about filesystem fragmentation
37pub const NUM_FRAGMENTATION_HISTOGRAM_SLOTS: usize = 12;
38#[derive(Default, Debug)]
39pub struct FragmentationStats {
40    /// Histogram of extent size in bytes. Buckets are fixed as <=4kB, <=8kB, ... <=2MiB, >2MiB.
41    pub extent_size: [u64; NUM_FRAGMENTATION_HISTOGRAM_SLOTS],
42    /// Histogram of extents per file. Buckets are fixed as <=1, <=2, ... <=512, >512.
43    pub extent_count: [u64; NUM_FRAGMENTATION_HISTOGRAM_SLOTS],
44    /// Histogram of free space in bytes. Buckets are fixed as <=4kB, <=8kB, ... <=2MiB, >2MiB.
45    pub free_space: [u64; NUM_FRAGMENTATION_HISTOGRAM_SLOTS],
46}
47
48impl FragmentationStats {
49    /// Returns the histogram bucket for extent_size and free_space given size in bytes.
50    pub fn get_histogram_bucket_for_size(size: u64) -> usize {
51        return Self::get_histogram_bucket_for_count(size / 4096);
52    }
53    /// Returns the histogram bucket for extent_count.
54    pub fn get_histogram_bucket_for_count(count: u64) -> usize {
55        let log_count = (64 - count.leading_zeros()) as usize;
56        return log_count.clamp(1, NUM_FRAGMENTATION_HISTOGRAM_SLOTS) - 1;
57    }
58}
59
60/// Filesystem statistics gathered on during an fsck run.
61#[derive(Default, Debug)]
62pub struct FsckResult {
63    pub fragmentation: FragmentationStats,
64}
65
66pub struct FsckOptions<'a> {
67    /// Whether to fail fsck if any warnings are encountered.
68    pub fail_on_warning: bool,
69    // Whether to halt after the first error encountered (fatal or not).
70    pub halt_on_error: bool,
71    /// Whether to perform slower, more complete checks.
72    pub do_slow_passes: bool,
73    /// A callback to be invoked for each detected error, e.g. to log the error.
74    pub on_error: Box<dyn Fn(&FsckIssue) + Send + Sync + 'a>,
75    /// If true, suppress informational messages.
76    pub quiet: bool,
77    /// Whether to be noisy as we do checks.
78    pub verbose: bool,
79    /// Don't take the write lock. The caller needs to guarantee the filesystem isn't changing.
80    pub no_lock: bool,
81}
82
83impl Default for FsckOptions<'_> {
84    fn default() -> Self {
85        Self {
86            fail_on_warning: false,
87            halt_on_error: false,
88            do_slow_passes: true,
89            on_error: Box::new(FsckIssue::log),
90            quiet: false,
91            verbose: false,
92            no_lock: false,
93        }
94    }
95}
96
97/// Verifies the integrity of Fxfs.  See errors.rs for a list of checks performed.
98// TODO(https://fxbug.dev/42168496): add checks for:
99//  + The root parent object store ID and root object store ID must not conflict with any other
100//    stores or the allocator.
101//
102// TODO(https://fxbug.dev/42178152): This currently takes a write lock on the filesystem.  It would be nice if
103// we could take a snapshot.
104pub async fn fsck(filesystem: Arc<FxFilesystem>) -> Result<FsckResult, Error> {
105    fsck_with_options(filesystem, &FsckOptions::default()).await
106}
107
108pub async fn fsck_with_options(
109    filesystem: Arc<FxFilesystem>,
110    options: &FsckOptions<'_>,
111) -> Result<FsckResult, Error> {
112    let mut result = FsckResult::default();
113
114    if !options.quiet {
115        info!("Starting fsck");
116    }
117
118    let _guard = if options.no_lock {
119        None
120    } else {
121        Some(filesystem.lock_manager().write_lock(lock_keys![LockKey::Filesystem]).await)
122    };
123
124    let mut fsck = Fsck::new(options);
125
126    let object_manager = filesystem.object_manager();
127    let super_block_header = filesystem.super_block_header();
128
129    // Keep track of all things that might exist in journal checkpoints so we can check for
130    // unexpected entries.
131    let mut journal_checkpoint_ids: HashSet<u64> = HashSet::default();
132    journal_checkpoint_ids.insert(super_block_header.allocator_object_id);
133    journal_checkpoint_ids.insert(super_block_header.root_store_object_id);
134
135    // Scan the root parent object store.
136    let mut root_objects =
137        vec![super_block_header.root_store_object_id, super_block_header.journal_object_id];
138    root_objects.append(&mut object_manager.root_store().parent_objects());
139    fsck.verbose("Scanning root parent store...");
140    store_scanner::scan_store(
141        &fsck,
142        object_manager.root_parent_store().as_ref(),
143        &root_objects,
144        &mut result,
145    )
146    .await?;
147    fsck.verbose("Scanning root parent store done");
148
149    let root_store = &object_manager.root_store();
150    let mut root_store_root_objects = Vec::new();
151    root_store_root_objects.append(&mut vec![
152        super_block_header.allocator_object_id,
153        SuperBlockInstance::A.object_id(),
154        SuperBlockInstance::B.object_id(),
155    ]);
156    root_store_root_objects.append(&mut root_store.root_objects());
157
158    let root_volume = root_volume(filesystem.clone()).await?;
159    let volume_directory = root_volume.volume_directory();
160    let layer_set = volume_directory.store().tree().layer_set();
161    let mut merger = layer_set.merger();
162    let mut iter = volume_directory.iter(&mut merger).await?;
163
164    // TODO(https://fxbug.dev/42178153): We could maybe iterate over stores concurrently.
165    while let Some((_, store_id, _)) = iter.get() {
166        journal_checkpoint_ids.insert(store_id);
167        fsck.check_child_store_metadata(
168            filesystem.as_ref(),
169            store_id,
170            &mut root_store_root_objects,
171        )
172        .await?;
173        iter.advance().await?;
174    }
175
176    let allocator = filesystem.allocator();
177    root_store_root_objects.append(&mut allocator.parent_objects());
178
179    if fsck.options.do_slow_passes {
180        // Scan each layer file for the root store.
181        let layer_set = root_store.tree().immutable_layer_set();
182        fsck.verbose(format!("Checking {} layers for root store...", layer_set.layers.len()));
183        for layer in layer_set.layers {
184            if let Some(handle) = layer.handle() {
185                fsck.verbose(format!(
186                    "Layer file {} for root_store is {} bytes",
187                    handle.object_id(),
188                    handle.get_size()
189                ));
190            }
191            fsck.check_layer_file_contents(
192                root_store.store_object_id(),
193                layer.handle().map(|h| h.object_id()).unwrap_or(INVALID_OBJECT_ID),
194                layer.clone(),
195            )
196            .await?;
197        }
198
199        // Scan each layer file for the allocator.
200        let layer_set = allocator.tree().immutable_layer_set();
201        fsck.verbose(format!("Checking {} layers for allocator...", layer_set.layers.len()));
202        for layer in layer_set.layers {
203            if let Some(handle) = layer.handle() {
204                fsck.verbose(format!(
205                    "Layer file {} for allocator is {} bytes",
206                    handle.object_id(),
207                    handle.get_size()
208                ));
209            }
210            fsck.check_layer_file_contents(
211                allocator.object_id(),
212                layer.handle().map(|h| h.object_id()).unwrap_or(INVALID_OBJECT_ID),
213                layer.clone(),
214            )
215            .await?;
216        }
217        fsck.verbose("Checking layers done");
218    }
219
220    // Finally scan the root object store.
221    fsck.verbose("Scanning root object store...");
222    store_scanner::scan_store(&fsck, root_store.as_ref(), &root_store_root_objects, &mut result)
223        .await?;
224    fsck.verbose("Scanning root object store done");
225
226    // Now compare our regenerated allocation map with what we actually have.
227    fsck.verbose("Verifying allocations...");
228    let mut store_ids = HashSet::default();
229    store_ids.insert(root_store.store_object_id());
230    store_ids.insert(object_manager.root_parent_store().store_object_id());
231    fsck.verify_allocations(filesystem.as_ref(), &store_ids, &mut result).await?;
232    fsck.verbose("Verifying allocations done");
233
234    // Every key in journal_file_offsets should map to an lsm tree (ObjectStore or Allocator).
235    // Excess entries mean we won't be able to reap the journal to free space.
236    // Missing entries are OK. Entries only exist if there is data for the store that hasn't been
237    // flushed yet.
238    for object_id in object_manager.journal_file_offsets().0.keys() {
239        if !journal_checkpoint_ids.contains(object_id) {
240            fsck.error(FsckError::UnexpectedJournalFileOffset(*object_id))?;
241        }
242    }
243
244    let errors = fsck.errors();
245    let warnings = fsck.warnings();
246    if errors > 0 || (fsck.options.fail_on_warning && warnings > 0) {
247        Err(anyhow!("Fsck encountered {} errors, {} warnings", errors, warnings))
248    } else {
249        if warnings > 0 {
250            warn!(count = warnings; "Fsck encountered warnings");
251        } else {
252            if !options.quiet {
253                info!("No issues detected");
254            }
255        }
256        Ok(result)
257    }
258}
259
260/// Verifies the integrity of a volume within Fxfs.  See errors.rs for a list of checks performed.
261// TODO(https://fxbug.dev/42178152): This currently takes a write lock on the filesystem.  It would be nice if
262// we could take a snapshot.
263pub async fn fsck_volume(
264    filesystem: &FxFilesystem,
265    store_id: u64,
266    crypt: Option<Arc<dyn Crypt>>,
267) -> Result<FsckResult, Error> {
268    fsck_volume_with_options(filesystem, &FsckOptions::default(), store_id, crypt).await
269}
270
271pub async fn fsck_volume_with_options(
272    filesystem: &FxFilesystem,
273    options: &FsckOptions<'_>,
274    store_id: u64,
275    crypt: Option<Arc<dyn Crypt>>,
276) -> Result<FsckResult, Error> {
277    let mut result = FsckResult::default();
278    if !options.quiet {
279        info!(store_id:?; "Starting volume fsck");
280    }
281
282    let _guard = if options.no_lock {
283        None
284    } else {
285        Some(filesystem.lock_manager().write_lock(lock_keys![LockKey::Filesystem]).await)
286    };
287
288    let mut fsck = Fsck::new(options);
289    fsck.check_child_store(filesystem, store_id, crypt, &mut result).await?;
290    let mut store_ids = HashSet::default();
291    store_ids.insert(store_id);
292    fsck.verify_allocations(filesystem, &store_ids, &mut result).await?;
293
294    let errors = fsck.errors();
295    let warnings = fsck.warnings();
296    if errors > 0 || (fsck.options.fail_on_warning && warnings > 0) {
297        Err(anyhow!("Volume fsck encountered {} errors, {} warnings", errors, warnings))
298    } else {
299        if warnings > 0 {
300            warn!(count = warnings; "Volume fsck encountered warnings");
301        } else {
302            if !options.quiet {
303                info!("No issues detected");
304            }
305        }
306        Ok(result)
307    }
308}
309
310struct Fsck<'a> {
311    options: &'a FsckOptions<'a>,
312    // A list of allocations generated based on all extents found across all scanned object stores.
313    allocations: Arc<SkipListLayer<AllocatorKey, AllocatorValue>>,
314    errors: AtomicU64,
315    warnings: AtomicU64,
316}
317
318impl<'a> Fsck<'a> {
319    fn new(options: &'a FsckOptions<'a>) -> Self {
320        Fsck {
321            options,
322            // TODO(https://fxbug.dev/42178047): fix magic number
323            allocations: SkipListLayer::new(2048),
324            errors: AtomicU64::new(0),
325            warnings: AtomicU64::new(0),
326        }
327    }
328
329    // Log if in verbose mode.
330    fn verbose(&self, message: impl AsRef<str>) {
331        if self.options.verbose {
332            info!(message = message.as_ref(); "fsck");
333        }
334    }
335
336    fn errors(&self) -> u64 {
337        self.errors.load(Ordering::Relaxed)
338    }
339
340    fn warnings(&self) -> u64 {
341        self.warnings.load(Ordering::Relaxed)
342    }
343
344    fn assert<V>(&self, res: Result<V, Error>, error: FsckFatal) -> Result<V, Error> {
345        if res.is_err() {
346            (self.options.on_error)(&FsckIssue::Fatal(error.clone()));
347            return Err(anyhow!("{:?}", error)).context(res.err().unwrap());
348        }
349        res
350    }
351
352    fn warning(&self, error: FsckWarning) -> Result<(), Error> {
353        (self.options.on_error)(&FsckIssue::Warning(error));
354        self.warnings.fetch_add(1, Ordering::Relaxed);
355        Ok(())
356    }
357
358    fn error(&self, error: FsckError) -> Result<(), Error> {
359        (self.options.on_error)(&FsckIssue::Error(error.clone()));
360        self.errors.fetch_add(1, Ordering::Relaxed);
361        if self.options.halt_on_error { Err(anyhow!("{:?}", error)) } else { Ok(()) }
362    }
363
364    fn fatal(&self, error: FsckFatal) -> Result<(), Error> {
365        (self.options.on_error)(&FsckIssue::Fatal(error.clone()));
366        Err(anyhow!("{:?}", error))
367    }
368
369    // Does not actually verify the inner contents of the store; for that, use check_child_store.
370    async fn check_child_store_metadata(
371        &mut self,
372        filesystem: &FxFilesystem,
373        store_id: u64,
374        root_store_root_objects: &mut Vec<u64>,
375    ) -> Result<(), Error> {
376        let root_store = filesystem.root_store();
377
378        // Manually open the StoreInfo so we can validate it without unlocking the store.
379        let info = self.assert(
380            load_store_info(&root_store, store_id).await,
381            FsckFatal::MalformedStore(store_id),
382        )?;
383        root_store_root_objects.append(&mut info.parent_objects());
384        Ok(())
385    }
386
387    async fn check_child_store(
388        &mut self,
389        filesystem: &FxFilesystem,
390        store_id: u64,
391        crypt: Option<Arc<dyn Crypt>>,
392        result: &mut FsckResult,
393    ) -> Result<(), Error> {
394        let store =
395            filesystem.object_manager().store(store_id).context("open_store failed").unwrap();
396
397        let _relock_guard;
398        if store.is_locked() {
399            if let Some(crypt) = &crypt {
400                store.unlock_read_only(crypt.clone()).await?;
401                _relock_guard = scopeguard::guard(store.clone(), |store| {
402                    store.lock_read_only();
403                });
404            } else {
405                return Err(anyhow!("Invalid key"));
406            }
407        }
408
409        if self.options.do_slow_passes {
410            let layer_set = store.tree().immutable_layer_set();
411            for layer in layer_set.layers {
412                let (layer_object_id, layer_size) = if let Some(h) = layer.handle() {
413                    (h.object_id(), h.get_size())
414                } else {
415                    (0, 0)
416                };
417                self.verbose(format!(
418                    "Layer file {} for store {} is {} bytes",
419                    layer_object_id, store_id, layer_size,
420                ));
421                self.check_layer_file_contents(store_id, layer_object_id, layer.clone()).await?
422            }
423        }
424
425        store_scanner::scan_store(self, store.as_ref(), &store.root_objects(), result)
426            .await
427            .context("scan_store failed")
428    }
429
430    async fn check_layer_file_contents<K: Key + LayerKey, V: Value>(
431        &self,
432        // This is the object ID of the store or allocator that the layer files belong to.
433        allocator_or_store_object_id: u64,
434        layer_file_object_id: u64,
435        layer: Arc<dyn Layer<K, V>>,
436    ) -> Result<(), Error> {
437        let mut iter: BoxedLayerIterator<'_, K, V> = self.assert(
438            layer.seek(Bound::Unbounded).await,
439            FsckFatal::MalformedLayerFile(allocator_or_store_object_id, layer_file_object_id),
440        )?;
441
442        let mut last_item: Option<Item<K, V>> = None;
443        while let Some(item) = iter.get() {
444            if let Some(last) = last_item {
445                if !last.key.cmp_upper_bound(&item.key).is_le() {
446                    self.fatal(FsckFatal::MisOrderedLayerFile(
447                        allocator_or_store_object_id,
448                        layer_file_object_id,
449                    ))?;
450                }
451                if last.key.overlaps(&item.key) {
452                    self.fatal(FsckFatal::OverlappingKeysInLayerFile(
453                        allocator_or_store_object_id,
454                        layer_file_object_id,
455                        item.into(),
456                        last.as_item_ref().into(),
457                    ))?;
458                }
459            }
460            if !layer.maybe_contains_key(item.key) {
461                // Key reported as not existing in filter
462                self.fatal(FsckFatal::InvalidBloomFilter(
463                    allocator_or_store_object_id,
464                    layer_file_object_id,
465                    item.into(),
466                ))?;
467            }
468            last_item = Some(item.cloned());
469            self.assert(
470                iter.advance().await,
471                FsckFatal::MalformedLayerFile(allocator_or_store_object_id, layer_file_object_id),
472            )?;
473        }
474        Ok(())
475    }
476
477    // Assumes that every store in `store_object_ids` has been previously scanned.
478    async fn verify_allocations(
479        &self,
480        filesystem: &FxFilesystem,
481        store_object_ids: &HashSet<u64>,
482        result: &mut FsckResult,
483    ) -> Result<(), Error> {
484        let allocator = filesystem.allocator();
485        let layer_set = allocator.tree().layer_set();
486        let mut merger = layer_set.merger();
487        let mut stored_allocations = CoalescingIterator::new(
488            allocator.filter(merger.query(Query::FullScan).await?, true).await?,
489        )
490        .await
491        .expect("filter failed");
492        let mut observed_allocations =
493            CoalescingIterator::new(self.allocations.seek(Bound::Unbounded).await?).await?;
494        let mut observed_owner_allocated_bytes = BTreeMap::new();
495        let mut extra_allocations: Vec<errors::Allocation> = vec![];
496        let bs = filesystem.block_size();
497        let mut previous_allocation_end = 0;
498        while let Some(allocation) = stored_allocations.get() {
499            if allocation.key.device_range.start % bs > 0
500                || allocation.key.device_range.end % bs > 0
501            {
502                self.error(FsckError::MisalignedAllocation(allocation.into()))?;
503            } else if allocation.key.device_range.start >= allocation.key.device_range.end {
504                self.error(FsckError::MalformedAllocation(allocation.into()))?;
505            }
506            let owner_object_id = match allocation.value {
507                AllocatorValue::None => INVALID_OBJECT_ID,
508                AllocatorValue::Abs { owner_object_id, .. } => *owner_object_id,
509            };
510            let r = &allocation.key.device_range;
511
512            // 'None' allocator values represent free space so should be ignored here.
513            if allocation.value != &AllocatorValue::None {
514                if r.start > previous_allocation_end {
515                    let size = r.start - previous_allocation_end;
516                    result.fragmentation.free_space
517                        [FragmentationStats::get_histogram_bucket_for_size(size)] += 1;
518                }
519                previous_allocation_end = r.end;
520            }
521
522            *observed_owner_allocated_bytes.entry(owner_object_id).or_insert(0) += r.end - r.start;
523            if !store_object_ids.contains(&owner_object_id) {
524                if filesystem.object_manager().store(owner_object_id).is_none() {
525                    self.error(FsckError::AllocationForNonexistentOwner(allocation.into()))?;
526                }
527                stored_allocations.advance().await?;
528                continue;
529            }
530            // Cross-reference allocations against the ones we observed.
531            match observed_allocations.get() {
532                None => extra_allocations.push(allocation.into()),
533                Some(observed_allocation) => {
534                    if allocation.key.device_range.end <= observed_allocation.key.device_range.start
535                    {
536                        extra_allocations.push(allocation.into());
537                        stored_allocations.advance().await?;
538                        continue;
539                    }
540                    if observed_allocation.key.device_range.end <= allocation.key.device_range.start
541                    {
542                        self.error(FsckError::MissingAllocation(observed_allocation.into()))?;
543                        observed_allocations.advance().await?;
544                        continue;
545                    }
546                    // We can only reconstruct the key/value fields of Item.
547                    if allocation.key != observed_allocation.key
548                        || allocation.value != observed_allocation.value
549                    {
550                        self.error(FsckError::AllocationMismatch(
551                            observed_allocation.into(),
552                            allocation.into(),
553                        ))?;
554                        stored_allocations.advance().await?;
555                        continue;
556                    }
557                }
558            }
559            try_join!(stored_allocations.advance(), observed_allocations.advance())?;
560        }
561        let device_size =
562            filesystem.device().block_count() * filesystem.device().block_size() as u64;
563        if previous_allocation_end < device_size {
564            let size = device_size - previous_allocation_end;
565            result.fragmentation.free_space
566                [FragmentationStats::get_histogram_bucket_for_size(size)] += 1;
567        }
568        while let Some(allocation) = observed_allocations.get() {
569            self.error(FsckError::MissingAllocation(allocation.into()))?;
570            observed_allocations.advance().await?;
571            continue;
572        }
573        let expected_allocated_bytes = observed_owner_allocated_bytes.values().sum::<u64>();
574        self.verbose(format!(
575            "Found {} bytes allocated (expected {} bytes). Total device size is {} bytes.",
576            allocator.get_allocated_bytes(),
577            expected_allocated_bytes,
578            device_size,
579        ));
580        if !extra_allocations.is_empty() {
581            self.error(FsckError::ExtraAllocations(extra_allocations))?;
582        }
583        // NB: If the allocator returns a value of 0 for a store, it just means the store has no
584        // data that it owns.  Fsck wouldn't have observed any allocations for these, so filter them
585        // out.
586        let owner_allocated_bytes = allocator
587            .get_owner_allocated_bytes()
588            .into_iter()
589            .filter(|(_, v)| *v > 0)
590            .collect::<BTreeMap<_, _>>();
591        if expected_allocated_bytes != allocator.get_allocated_bytes()
592            || observed_owner_allocated_bytes.len() != owner_allocated_bytes.len()
593            || zip(observed_owner_allocated_bytes.iter(), owner_allocated_bytes.iter())
594                .filter(|((k1, v1), (k2, v2))| (*k1, *v1) != (*k2, *v2))
595                .count()
596                != 0
597        {
598            self.error(FsckError::AllocatedBytesMismatch(
599                observed_owner_allocated_bytes.iter().map(|(k, v)| (*k, *v)).collect(),
600                owner_allocated_bytes.iter().map(|(k, v)| (*k, *v)).collect(),
601            ))?;
602        }
603        for (k, v) in allocator.owner_byte_limits() {
604            if !owner_allocated_bytes.contains_key(&k) {
605                self.warning(FsckWarning::LimitForNonExistentStore(k, v))?;
606            }
607        }
608        Ok(())
609    }
610}