littlefs需求分析

蓁蓁啊

于 2024-10-10 09:38:21 发布

阅读量439

点赞数 16

分类专栏： OneOS 文章标签：前端物联网嵌入式硬件算法鸿蒙系统

本文链接：https://blog.csdn.net/xuxuluo/article/details/142812986

版权

OneOS 专栏收录该内容

73 篇文章 6 订阅

订阅专栏

目标

目标: 确保文件系统在嵌入式设备中的高可靠性和长寿命，通过实现磨损均衡和掉电安全机制，并了解其机制是如何实现的。

需求概述

磨损均衡:
- 目的: 均衡闪存中每个块的擦写次数，以延长存储介质的使用寿命。
- 关键特性:
  - 跟踪每个块的擦写次数。
  - 动态分配新的块来替换频繁使用的块。
  - 保证数据迁移时的一致性。
掉电安全:
- 目的: 在突然断电的情况下，确保文件系统的数据一致性。
- 关键特性:
  - 日志结构设计，确保所有更改都是原子提交。
  - 写时复制（Copy-on-Write, CoW）技术，避免部分更新。
  - 元数据和用户数据分离，减少损坏范围。
  - 自动恢复机制，在启动时检查并回滚未完成的事务。

详细需求

1. 磨损均衡

功能需求:

擦写计数器:
- 实现一个机制来跟踪每个块的擦写次数。
- 存储这些计数器信息，以便在重启后仍然可用。
动态块分配:
- 当某个块的擦写次数达到阈值时，将其标记为不可用。
- 分配一个新的块来替换这个旧块，并将旧块的数据迁移到新块中。
- 更新相关的元数据，确保数据迁移的一致性。
磨损均衡策略:
- 实现一种算法来选择下一个要写入的块，优先选择擦写次数较少的块。
- 定期执行垃圾回收，整理碎片化的空间，并重新分配块。
磨损均衡监控:
- 提供工具或API来监控每个块的擦写次数。
- 生成磨损均衡报告，帮助用户了解存储介质的状态。

非功能需求:

性能:
- 确保磨损均衡机制不会显著影响文件系统的读写性能。
- 优化磨损均衡算法，减少不必要的块迁移。
可靠性:
- 确保磨损均衡过程中不会导致数据丢失或损坏。
- 在块迁移过程中使用事务机制，确保数据一致性。
可扩展性:
- 提供灵活的配置选项，适应不同的硬件平台。

相关代码片段:

// lfs.c 中的相关函数
static int lfs_bd_erase(lfs_t *lfs, lfs_block_t block) {
    // 擦除块并更新擦写次数
    int err = lfs->cfg->erase(lfs->cfg, block);
    if (err) {
        return err;
    }
    lfs->erased[block / lfs->cfg->block_cycles] += 1;
    return LFS_ERR_OK;
}

static int lfs_bd_alloc(lfs_t *lfs, lfs_block_t *block) {
    // 分配一个新的块
    for (lfs_block_t i = 0; i < lfs->cfg->block_count; i++) {
        lfs_block_t b = (lfs->alloc + i) % lfs->cfg->block_count;
        if (lfs->erased[b / lfs->cfg->block_cycles] < lfs->cfg->block_cycles) {
            *block = b;
            lfs->alloc = (b + 1) % lfs->cfg->block_count;
            return LFS_ERR_OK;
        }
    }
    return LFS_ERR_NOSPC;
}

2. 掉电安全

功能需求:

日志结构设计:
- 所有对文件系统的修改都记录在一个循环的日志中。
- 每次写操作都被追加到日志末尾，而不是直接覆盖现有数据。
写时复制 (CoW):
- 在进行更新操作时，创建一个新的副本并更新该副本。
- 只有当新的副本成功写入存储介质后，才会更新指针指向新的位置。
原子提交:
- 所有对文件系统的更改都是一次性提交的。
- 如果在提交过程中发生掉电，整个事务会被回滚，保持文件系统的一致性。
元数据和数据分离:
- 将元数据（如目录结构、文件信息等）与实际的数据内容分开存储。
- 减少因掉电导致的数据损坏范围。
自动恢复机制:
- 在启动时检查文件系统的状态。
- 如果检测到未完成的事务，自动回滚到上次已知的良好状态。
- 提供工具和API来检查和修复潜在的文件系统损坏。

非功能需求:

可靠性:
- 确保即使在突然断电的情况下，文件系统也能保持数据一致性。
- 在掉电恢复过程中，确保数据不会被破坏或丢失。
性能:
- 确保掉电安全机制不会显著影响文件系统的读写性能。
- 优化日志结构和写时复制算法，减少额外的开销。
易用性:
- 提供清晰的文档和示例代码，帮助用户理解和使用掉电安全机制。
- 提供工具来诊断和修复潜在的文件系统问题。

相关代码片段:

// lfs.c 中的相关函数
static int lfs_dir_commit(lfs_t *lfs, struct lfs_mdir *mdir, const lfs_tag_t *tags, lfs_size_t count) {
    // 提交目录项变更
    int err = LFS_ERR_OK;
    while (count > 0) {
        lfs_size_t chunk = lfs_min(count, (lfs_size_t)(lfs->cfg->block_size - mdir->off) / sizeof(lfs_tag_t));
        err = lfs_bd_prog(lfs, mdir->pair[mdir->split], mdir->off, tags, chunk * sizeof(lfs_tag_t));
        if (err) {
            break;
        }
        mdir->off += chunk * sizeof(lfs_tag_t);
        tags += chunk;
        count -= chunk;
    }
    return err;
}

static int lfs_file_truncate(lfs_t *lfs, lfs_file_t *file, lfs_size_t size) {
    // 截断文件
    int err = LFS_ERR_OK;
    if (size < file->size) {
        // 使用写时复制
        lfs_off_t off = lfs_file_size(lfs, file);
        while (off > size) {
            err = lfs_file_seek(lfs, file, off - 1, LFS_SEEK_SET);
            if (err) {
                return err;
            }
            err = lfs_file_write(lfs, file, "", 0);
            if (err) {
                return err;
            }
            off--;
        }
    }
    file->size = size;
    return err;
}

static int lfs_fs_forceconsistency(lfs_t *lfs) {
    // 强制一致性
    int err = LFS_ERR_OK;
    lfs_superblock_t superblock;
    err = lfs_bd_read(lfs, LFS_BLOCK_ID_SUPERBLOCK, 0, &superblock, sizeof(superblock));
    if (err) {
        return err;
    }
    if (superblock.version != LFS_DISK_VERSION) {
        // 版本不匹配，需要恢复
        // 这里可以添加具体的恢复逻辑
    }
    return err;
}