F2FS源码分析-1.5 [F2FS 元数据布局部分] Node Address Table-NAT结构

2024-06-14 10:08

本文主要是介绍F2FS源码分析-1.5 [F2FS 元数据布局部分] Node Address Table-NAT结构,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

F2FS源码分析系列文章
主目录
一、文件系统布局以及元数据结构
  1. 总体结构
  2. Superblock区域
  3. Checkpoint区域
  4. Segment Infomation Table区域(SIT)
  5. Node Address Table区域(NAT)
  6. Segment Summary Area区域(SSA)
二、文件数据的存储以及读写
三、文件与目录的创建以及删除(未完成)
四、垃圾回收机制
五、数据恢复机制
六、重要数据结构或者函数的分析

Node Address Table区域-NAT结构

Node Address Table,简称NAT,是F2FS用于集中管理node的结构。它的主要维护了一张表(如下图),记录了每一个node在flash设备的物理地址。F2FS给每一个node分配了一个node ID(nid),系统可以根据nid从NAT查找到该node在flash设备上的物理地址,然后从flash设备读取出来。

在这里插入图片描述

NAT在元数据区域的物理结构

在这里插入图片描述

如上图所示,NAT区域由N个struct f2fs_nat_block组成,每一个struct f2fs_nat_block包含了455个struct f2fs_nat_entry。每一个nid对应了一个entry,每一个entry记录了这个node的在flash设备上的物理地址block_addr。同时entry也记录了一个ino的值,这个值用于找到这个node的parent node,如果nid=ino则表示这个node是inode,如果nid != ino,则表示这是一个direct_node或者indrect_node(node的概念参考第二章的第一节)。version变量用于系统恢复。

NAT内存管理结构

NAT在内存中对应的管理结构是struct f2fs_nm_info,它在build_node_manager函数进行初始化(如下)。struct f2fs_nm_info不会将所有的NAT的数据都读取出来,而是读取NAT的一部分,然后构建free nid表,用于给新的node分配nid。

int build_node_manager(struct f2fs_sb_info *sbi)
{int err;/* 分配空间 */sbi->nm_info = kzalloc(sizeof(struct f2fs_nm_info), GFP_KERNEL);if (!sbi->nm_info)return -ENOMEM;/* 初始化sbi->nm_info的信息 */err = init_node_manager(sbi);if (err)return err;/* 构建free nids表,用于给新的node分配nid */build_free_nids(sbi);return 0;
}

init_node_manager函数主要用于初始化sbi->nm_info内的变量信息:

static int init_node_manager(struct f2fs_sb_info *sbi)
{struct f2fs_super_block *sb_raw = F2FS_RAW_SUPER(sbi);struct f2fs_nm_info *nm_i = NM_I(sbi);unsigned char *version_bitmap;unsigned int nat_segs, nat_blocks;/* NAT表在flash设备的起始物理地址 */nm_i->nat_blkaddr = le32_to_cpu(sb_raw->nat_blkaddr);/* segment_count_nat includes pair segment so divide to 2. */nat_segs = le32_to_cpu(sb_raw->segment_count_nat) >> 1;/* NAT区域包含了多少个block,从nm_i->nat_blkaddr开始的nat_blocks就是NAT表的存储空间 */nat_blocks = nat_segs << le32_to_cpu(sb_raw->log_blocks_per_seg);/* 最大的nid的值 */nm_i->max_nid = NAT_ENTRY_PER_BLOCK * nat_blocks;/* not used nids: 0, node, meta, (and root counted as valid node) */nm_i->available_nids = nm_i->max_nid - F2FS_RESERVED_NODE_NUM;nm_i->fcnt = 0;nm_i->nat_cnt = 0;nm_i->ram_thresh = DEF_RAM_THRESHOLD;nm_i->ra_nid_pages = DEF_RA_NID_PAGES;nm_i->dirty_nats_ratio = DEF_DIRTY_NAT_RATIO_THRESHOLD;/* list + radix tree就是构建了类似 HashMap的索引结构,用于缓存free nid的entry */INIT_RADIX_TREE(&nm_i->free_nid_root, GFP_ATOMIC);INIT_LIST_HEAD(&nm_i->free_nid_list);INIT_RADIX_TREE(&nm_i->nat_root, GFP_NOIO);INIT_RADIX_TREE(&nm_i->nat_set_root, GFP_NOIO);INIT_LIST_HEAD(&nm_i->nat_entries);mutex_init(&nm_i->build_lock);spin_lock_init(&nm_i->free_nid_list_lock);init_rwsem(&nm_i->nat_tree_lock);/* 每次一次分配nid的时候,就会更新这个next_scan_nid的值,下次就可以从这里开始搜索 */nm_i->next_scan_nid = le32_to_cpu(sbi->ckpt->next_free_nid);nm_i->bitmap_size = __bitmap_size(sbi, NAT_BITMAP);version_bitmap = __bitmap_ptr(sbi, NAT_BITMAP);if (!version_bitmap)return -EFAULT;nm_i->nat_bitmap = kmemdup(version_bitmap, nm_i->bitmap_size,GFP_KERNEL);if (!nm_i->nat_bitmap)return -ENOMEM;return 0;
}

build_free_nids主要用于构建free nid表,用于给新的node分配nid。 为了节省内存,F2FS不会将NAT中所有的free nid读取出来,只会读取一部分,因此使用nm_i->fcnt表示缓存了多少个free nid。然后会读取一定的数目的f2fs_nat_block出来,并遍历其中的每一个f2fs_nat_entry,加入到free nid的管理结构中。最后还会搜索一下log区域的free nid信息(参考Checkpoint区域一节),也加入到free nid管理结构中。

void build_free_nids(struct f2fs_sb_info *sbi)
{struct f2fs_nm_info *nm_i = NM_I(sbi);struct curseg_info *curseg = CURSEG_I(sbi, CURSEG_HOT_DATA);struct f2fs_journal *journal = curseg->journal;int i = 0;nid_t nid = nm_i->next_scan_nid; // next_scan_nid的含义上面有介绍,从这里开始搜索free nid/* ** 为了节省内存,F2FS不会将NAT中所有的free nid读取出来,只会读取一部分* fcnt表示目前缓存了多少个free nid,如果大于NAT_ENTRY_PER_BLOCK,则不再缓存了*/if (nm_i->fcnt >= NAT_ENTRY_PER_BLOCK)return;/* * 因为准备开始读取NAT的page(block),因此根据nid(next_scan_nid)的所在的block开始,* 读取FREE_NID_PAGES(=8)个page进入内存 */ra_meta_pages(sbi, NAT_BLOCK_OFFSET(nid), FREE_NID_PAGES,META_NAT, true);down_read(&nm_i->nat_tree_lock);while (1) {struct page *page = get_current_nat_page(sbi, nid);/* * 读取当前nid所在的f2fs_nat_block(page),* 然后将free nid加入到nm_i->free_nid_list/root中 */scan_nat_page(sbi, page, nid);/* 释放当前的f2fs_nat_block对应的page */f2fs_put_page(page, 1);/* 已经读取了一个f2fs_nat_block,自然要跳到下一个f2fs_nat_block的第一个nid */nid += (NAT_ENTRY_PER_BLOCK - (nid % NAT_ENTRY_PER_BLOCK));if (unlikely(nid >= nm_i->max_nid))nid = 0;/* 所有block读完之后就跳出循环 */if (++i >= FREE_NID_PAGES)break;}/* 更新next_scan_nid,前面的已经扫描过了,下一次从这个nid开始扫描 */nm_i->next_scan_nid = nid;/* 遍历log的nat_journal记录的nat_entry信息,从中寻找free nid */down_read(&curseg->journal_rwsem);for (i = 0; i < nats_in_cursum(journal); i++) {block_t addr;/* 从journal中获取nid信息 */nid = le32_to_cpu(nid_in_journal(journal, i));/* 从journal中获取该nid对应的物理地址 */addr = le32_to_cpu(nat_in_journal(journal, i).block_addr);/* addr==NULL_ADDR 表示这个nid没有被文件使用,因此加入free nid,否则去除free nid */if (addr == NULL_ADDR) add_free_nid(sbi, nid, true);elseremove_free_nid(nm_i, nid);}up_read(&curseg->journal_rwsem);up_read(&nm_i->nat_tree_lock);ra_meta_pages(sbi, NAT_BLOCK_OFFSET(nm_i->next_scan_nid),nm_i->ra_nid_pages, META_NAT, false);
}

scan_nat_page函数的作用是扫描当前的f2fs_nat_block的每一个entry,并找到其中的free nid,加入到nm_i的free nid管理结构中。

static void scan_nat_page(struct f2fs_sb_info *sbi,struct page *nat_page, nid_t start_nid)
{struct f2fs_nm_info *nm_i = NM_I(sbi);struct f2fs_nat_block *nat_blk = page_address(nat_page);block_t blk_addr;int i;/* 找到start_nid的值是属于f2fs_nat_block的第几个entry */i = start_nid % NAT_ENTRY_PER_BLOCK;/* * 从这个entry开始遍历,* 如果blk_addr == NULL_ADDR则通过add_free_nid函数加入free nid的管理结构中,* 同时增加nm_i->fcnt的值 */for (; i < NAT_ENTRY_PER_BLOCK; i++, start_nid++) {if (unlikely(start_nid >= nm_i->max_nid))break;blk_addr = le32_to_cpu(nat_blk->entries[i].block_addr);f2fs_bug_on(sbi, blk_addr == NEW_ADDR);if (blk_addr == NULL_ADDR) {if (add_free_nid(sbi, start_nid, true) < 0)break;}}
}

这篇关于F2FS源码分析-1.5 [F2FS 元数据布局部分] Node Address Table-NAT结构的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1060102

相关文章

Vite 打包目录结构自定义配置小结

《Vite打包目录结构自定义配置小结》在Vite工程开发中,默认打包后的dist目录资源常集中在asset目录下,不利于资源管理,本文基于Rollup配置原理,本文就来介绍一下通过Vite配置自定义... 目录一、实现原理二、具体配置步骤1. 基础配置文件2. 配置说明(1)js 资源分离(2)非 JS 资

MyBatis-plus处理存储json数据过程

《MyBatis-plus处理存储json数据过程》文章介绍MyBatis-Plus3.4.21处理对象与集合的差异:对象可用内置Handler配合autoResultMap,集合需自定义处理器继承F... 目录1、如果是对象2、如果需要转换的是List集合总结对象和集合分两种情况处理,目前我用的MP的版本

GSON框架下将百度天气JSON数据转JavaBean

《GSON框架下将百度天气JSON数据转JavaBean》这篇文章主要为大家详细介绍了如何在GSON框架下实现将百度天气JSON数据转JavaBean,文中的示例代码讲解详细,感兴趣的小伙伴可以了解下... 目录前言一、百度天气jsON1、请求参数2、返回参数3、属性映射二、GSON属性映射实战1、类对象映

C# LiteDB处理时间序列数据的高性能解决方案

《C#LiteDB处理时间序列数据的高性能解决方案》LiteDB作为.NET生态下的轻量级嵌入式NoSQL数据库,一直是时间序列处理的优选方案,本文将为大家大家简单介绍一下LiteDB处理时间序列数... 目录为什么选择LiteDB处理时间序列数据第一章:LiteDB时间序列数据模型设计1.1 核心设计原则

Java+AI驱动实现PDF文件数据提取与解析

《Java+AI驱动实现PDF文件数据提取与解析》本文将和大家分享一套基于AI的体检报告智能评估方案,详细介绍从PDF上传、内容提取到AI分析、数据存储的全流程自动化实现方法,感兴趣的可以了解下... 目录一、核心流程:从上传到评估的完整链路二、第一步:解析 PDF,提取体检报告内容1. 引入依赖2. 封装

MySQL中查询和展示LONGBLOB类型数据的技巧总结

《MySQL中查询和展示LONGBLOB类型数据的技巧总结》在MySQL中LONGBLOB是一种二进制大对象(BLOB)数据类型,用于存储大量的二进制数据,:本文主要介绍MySQL中查询和展示LO... 目录前言1. 查询 LONGBLOB 数据的大小2. 查询并展示 LONGBLOB 数据2.1 转换为十

使用SpringBoot+InfluxDB实现高效数据存储与查询

《使用SpringBoot+InfluxDB实现高效数据存储与查询》InfluxDB是一个开源的时间序列数据库,特别适合处理带有时间戳的监控数据、指标数据等,下面详细介绍如何在SpringBoot项目... 目录1、项目介绍2、 InfluxDB 介绍3、Spring Boot 配置 InfluxDB4、I

Java整合Protocol Buffers实现高效数据序列化实践

《Java整合ProtocolBuffers实现高效数据序列化实践》ProtocolBuffers是Google开发的一种语言中立、平台中立、可扩展的结构化数据序列化机制,类似于XML但更小、更快... 目录一、Protocol Buffers简介1.1 什么是Protocol Buffers1.2 Pro

Java集合中的链表与结构详解

《Java集合中的链表与结构详解》链表是一种物理存储结构上非连续的存储结构,数据元素的逻辑顺序的通过链表中的引用链接次序实现,文章对比ArrayList与LinkedList的结构差异,详细讲解了链表... 目录一、链表概念与结构二、当向单链表的实现2.1 准备工作2.2 初始化链表2.3 打印数据、链表长

Python实现数据可视化图表生成(适合新手入门)

《Python实现数据可视化图表生成(适合新手入门)》在数据科学和数据分析的新时代,高效、直观的数据可视化工具显得尤为重要,下面:本文主要介绍Python实现数据可视化图表生成的相关资料,文中通过... 目录前言为什么需要数据可视化准备工作基本图表绘制折线图柱状图散点图使用Seaborn创建高级图表箱线图热