ext4_dirty_inode与ext4_do_update_inode函数详解

2024-02-29 21:58

本文主要是介绍ext4_dirty_inode与ext4_do_update_inode函数详解,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

一、ext4_dirty_inode

定义在fs/ext4/inode.c中,其内容如下:

void ext4_dirty_inode(struct inode *inode, int flags)
{handle_t *handle;if (flags == I_DIRTY_TIME)return;handle = ext4_journal_start(inode, EXT4_HT_INODE, 2);if (IS_ERR(handle))goto out;ext4_mark_inode_dirty(handle, inode);ext4_journal_stop(handle);out:return;
}

在ext4_dirty_inode函数中,一共调用了三个函数,分别为:

①ext4_journal_start函数

②ext4_mark_inode_dirty函数

③ext4_journal_stop函数

在ext4_dirty_inode中定义了handle_t *handle,然后将ext4_journal_start函数的返回值赋值给了这个handle,这个handle再作为参数被传递进ext4_mark_inode_dirty函数中。

1、ext4_journal_start函数

上面讲述了ext4_journal_start返回了handle,ext4_journal_start函数涉及ext4文件系统使用的jbd2日志模块,它将启用一个新的日志handle(日志原子操作)并将应该同步的inode元数据block向日志jbd2模块transaction进行提交(注意不会立即写日志和回写)。其中ext4_journal_start函数会简单判断一下ext4文件系统的日志执行状态最后直接调用jbd2__journal_start来启用日志handle。

jdb2__journal_start函数定义在linux\jdb2\transaction.c文件中,这属于jdb2模块的相关内容

2ext4_mark_inode_dirty函数

在ext4_mark_inode_dirty函数中内容还是挺多的,其内容如下:

int ext4_mark_inode_dirty(handle_t *handle, struct inode *inode)
{struct ext4_iloc iloc;struct ext4_sb_info *sbi = EXT4_SB(inode->i_sb);static unsigned int mnt_count;int err, ret;might_sleep();trace_ext4_mark_inode_dirty(inode, _RET_IP_);err = ext4_reserve_inode_write(handle, inode, &iloc);if (ext4_handle_valid(handle) &&EXT4_I(inode)->i_extra_isize < sbi->s_want_extra_isize &&!ext4_test_inode_state(inode, EXT4_STATE_NO_EXPAND)) {/** We need extra buffer credits since we may write into EA block* with this same handle. If journal_extend fails, then it will* only result in a minor loss of functionality for that inode.* If this is felt to be critical, then e2fsck should be run to* force a large enough s_min_extra_isize.*/if ((jbd2_journal_extend(handle,EXT4_DATA_TRANS_BLOCKS(inode->i_sb))) == 0) {ret = ext4_expand_extra_isize(inode,sbi->s_want_extra_isize,iloc, handle);if (ret) {ext4_set_inode_state(inode,EXT4_STATE_NO_EXPAND);if (mnt_count !=le16_to_cpu(sbi->s_es->s_mnt_count)) {ext4_warning(inode->i_sb,"Unable to expand inode %lu. Delete"" some EAs or run e2fsck.",inode->i_ino);mnt_count =le16_to_cpu(sbi->s_es->s_mnt_count);}}}}if (!err)err = ext4_mark_iloc_dirty(handle, inode, &iloc);return err;
}

首先,在ext4_mark_inode_dirty函数中调用了ext4_reserve_inode_write,该函数内容如下:

int ext4_reserve_inode_write(handle_t *handle, struct inode *inode, struct ext4_iloc *iloc){int err;err = ext4_get_inode_loc(inode, iloc);if (!err) {BUFFER_TRACE(iloc->bh, "get_write_access");err = ext4_journal_get_write_access(handle, iloc->bh);if (err) {brelse(iloc->bh);iloc->bh = NULL;}}ext4_std_error(inode->i_sb, err);return err;}

在这个函数里面首先调用了ext4_get_inode_loc函数,返回值为err,如果返回为0,则调用ext4_journal_get_write_access函数,返回值赋给err。首先进入到ext4_get_inode_loc函数中看其具体实现:

int ext4_get_inode_loc(struct inode *inode, struct ext4_iloc *iloc)
{/* We have all inode data except xattrs in memory here. */return __ext4_get_inode_loc(inode, iloc,!ext4_test_inode_state(inode, EXT4_STATE_XATTR));}

ext4_get_inode_loc顾名思义,该函数可能要做的工作就是get inode location,进入到__ext4_get_inode_loc查看是否如此。__ext4_get_inode_loc同样定义在fs\ext4\inode.c中,其中有一个重要的数据结构struct ext4_iloc:

struct ext4_iloc
{struct buffer_head *bh;unsigned long offset;ext4_group_t block_group;
};

该结构用于描述一个inode在磁盘和内存中的精确位置。在__ext4_get_inode_loc中基本就是在为ext4_iloc结构赋值,得到buffer_head。__ext4_get_inode_loc执行成功,返回值为0,那么必定会执行ext4_journal_get_write_access函数。

该函数实现定义在fs\ext4\ext4_jdb2.c中:

int __ext4_journal_get_write_access(const char *where, unsigned int line,handle_t *handle, struct buffer_head *bh)
{int err = 0;might_sleep();if (ext4_handle_valid(handle)) {err = jbd2_journal_get_write_access(handle, bh);if (err)ext4_journal_abort_handle(where, line, __func__, bh,handle, err);}return err;
}

其中调用了jdb2_journal_get_write_access函数,现在进入到该函数中查看该函数的具体实现。该函数定义在fs\jdb2\transaction.c中,其内容如下:

int jbd2_journal_get_write_access(handle_t *handle, struct buffer_head *bh)
{struct journal_head *jh;int rc;if (jbd2_write_access_granted(handle, bh, false))return 0;jh = jbd2_journal_add_journal_head(bh);/* We do not want to get caught playing with fields which the* log thread also manipulates.  Make sure that the buffer* completes any outstanding IO before proceeding. */rc = do_get_write_access(handle, jh, 0);jbd2_journal_put_journal_head(jh);return rc;
}

该函数用于获取写权限。

获取写权限之后,简单做一些判断操作,最后再调用ext4_mark_inode_dirty函数,在该函数中又调用了ext4_do_update_inode,这两个函数在下一节进行讲解。

总结:

ext4_mark_inode_dirty函数会调用ext4_get_inode_loc获取inode元数据所在的buffer

 head映射block,按照标准的日志提交流程jbd2_journal_get_write_access(获取写权限)-> 对元数据raw_inode进行更新 -> jbd2_journal_dirty_metadata(设置元数据为脏并添加到日志transaction的对应链表中);

调用链如下所示:

ext4_mark_inode_dirty

——ext4_reserve_inode_write

————ext4_get_inode_loc获取ext4_iloc

————ext4_journal_get_write_access获取写权限

——————jbd2_journal_get_write_access

——ext4_mark_iloc_dirty

————ext4_do_update_inode

3、ext4_journal_stop函数

最后ext4_journal_stop->jbd2_journal_stop调用流程结束这个handle原子操作。这样后面日志commit进程会对日志的元数据块进行提交(注意,这里并不会立即唤醒日志commit进程启动日志提交动作,启用largefile特性除外)。

二、ext4_do_update_inode

ext4_do_update_inode定义在fs\ext4\inode.c中,作用是将内存中的inode信息赋值给表示磁盘inode信息的on-disk inode,即ext4_inode_info->ext4_inode,但是这个ext4_inode不是立即刷回的。

对于ext4_do_update_inode采用“溯源法”,查看其上层调用,使用Source Insight查看内核源码,通过搜索ext4_do_update_inode可得如下图片中的信息。

对于ext4_do_update_inode的调用只能来自,ext4_mark_iloc_dirty函数,所以下一个需要了解的函数就是ext4_mark_iloc_dirty。

在ext4_do_update_inode中,还调用了ext4_handle_dirty_metadata()函数,用于将handle添加到transaction中。

1、ext4_mark_iloc_dirty

该函数定义在fs\ext4\inode.c中,其内容如下:

int ext4_mark_iloc_dirty(handle_t *handle,struct inode *inode, struct ext4_iloc *iloc)
{int err = 0;if (IS_I_VERSION(inode))inode_inc_iversion(inode);/* the do_update_inode consumes one bh->b_count */get_bh(iloc->bh);/* ext4_do_update_inode() does jbd2_journal_dirty_metadata */err = ext4_do_update_inode(handle, inode, iloc);put_bh(iloc->bh);return err;
}

从该函数内容可以看出,函数并不复杂,通过get_bh获取到buffer_head,然后通过函数ext4_do_update_inode更新ext4_inode。从代码的注释可以得知如下信息:

(1)do_update_inode消耗一个bh-> b_count

(2)ext4_do_update_inode()does jbd2_journal_dirty_metadata

(3)该函数的调用者必须事先调用ext4_reserve_inode_write()函数,确保调用者已经获得了对iloc->bh的写权限。

2、总结

ext4_dirty_inode

——ext4_mark_inode_dirty

————ext4_reserve_inode_write

——————ext4_get_inode_loc获取ext4_iloc

——————ext4_journal_get_write_access获取写权限

————————jbd2_journal_get_write_access

————ext4_mark_iloc_dirty

——————ext4_do_update_inode

这篇关于ext4_dirty_inode与ext4_do_update_inode函数详解的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



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

相关文章

Spring Security基于数据库验证流程详解

Spring Security 校验流程图 相关解释说明(认真看哦) AbstractAuthenticationProcessingFilter 抽象类 /*** 调用 #requiresAuthentication(HttpServletRequest, HttpServletResponse) 决定是否需要进行验证操作。* 如果需要验证,则会调用 #attemptAuthentica

hdu1171(母函数或多重背包)

题意:把物品分成两份,使得价值最接近 可以用背包,或者是母函数来解,母函数(1 + x^v+x^2v+.....+x^num*v)(1 + x^v+x^2v+.....+x^num*v)(1 + x^v+x^2v+.....+x^num*v) 其中指数为价值,每一项的数目为(该物品数+1)个 代码如下: #include<iostream>#include<algorithm>

OpenHarmony鸿蒙开发( Beta5.0)无感配网详解

1、简介 无感配网是指在设备联网过程中无需输入热点相关账号信息,即可快速实现设备配网,是一种兼顾高效性、可靠性和安全性的配网方式。 2、配网原理 2.1 通信原理 手机和智能设备之间的信息传递,利用特有的NAN协议实现。利用手机和智能设备之间的WiFi 感知订阅、发布能力,实现了数字管家应用和设备之间的发现。在完成设备间的认证和响应后,即可发送相关配网数据。同时还支持与常规Sof

6.1.数据结构-c/c++堆详解下篇(堆排序,TopK问题)

上篇:6.1.数据结构-c/c++模拟实现堆上篇(向下,上调整算法,建堆,增删数据)-CSDN博客 本章重点 1.使用堆来完成堆排序 2.使用堆解决TopK问题 目录 一.堆排序 1.1 思路 1.2 代码 1.3 简单测试 二.TopK问题 2.1 思路(求最小): 2.2 C语言代码(手写堆) 2.3 C++代码(使用优先级队列 priority_queue)

K8S(Kubernetes)开源的容器编排平台安装步骤详解

K8S(Kubernetes)是一个开源的容器编排平台,用于自动化部署、扩展和管理容器化应用程序。以下是K8S容器编排平台的安装步骤、使用方式及特点的概述: 安装步骤: 安装Docker:K8S需要基于Docker来运行容器化应用程序。首先要在所有节点上安装Docker引擎。 安装Kubernetes Master:在集群中选择一台主机作为Master节点,安装K8S的控制平面组件,如AP

C++操作符重载实例(独立函数)

C++操作符重载实例,我们把坐标值CVector的加法进行重载,计算c3=c1+c2时,也就是计算x3=x1+x2,y3=y1+y2,今天我们以独立函数的方式重载操作符+(加号),以下是C++代码: c1802.cpp源代码: D:\YcjWork\CppTour>vim c1802.cpp #include <iostream>using namespace std;/*** 以独立函数

嵌入式Openharmony系统构建与启动详解

大家好,今天主要给大家分享一下,如何构建Openharmony子系统以及系统的启动过程分解。 第一:OpenHarmony系统构建      首先熟悉一下,构建系统是一种自动化处理工具的集合,通过将源代码文件进行一系列处理,最终生成和用户可以使用的目标文件。这里的目标文件包括静态链接库文件、动态链接库文件、可执行文件、脚本文件、配置文件等。      我们在编写hellowor

LabVIEW FIFO详解

在LabVIEW的FPGA开发中,FIFO(先入先出队列)是常用的数据传输机制。通过配置FIFO的属性,工程师可以在FPGA和主机之间,或不同FPGA VIs之间进行高效的数据传输。根据具体需求,FIFO有多种类型与实现方式,包括目标范围内FIFO(Target-Scoped)、DMA FIFO以及点对点流(Peer-to-Peer)。 FIFO类型 **目标范围FIFO(Target-Sc

019、JOptionPane类的常用静态方法详解

目录 JOptionPane类的常用静态方法详解 1. showInputDialog()方法 1.1基本用法 1.2带有默认值的输入框 1.3带有选项的输入对话框 1.4自定义图标的输入对话框 2. showConfirmDialog()方法 2.1基本用法 2.2自定义按钮和图标 2.3带有自定义组件的确认对话框 3. showMessageDialog()方法 3.1

函数式编程思想

我们经常会用到各种各样的编程思想,例如面向过程、面向对象。不过笔者在该博客简单介绍一下函数式编程思想. 如果对函数式编程思想进行概括,就是f(x) = na(x) , y=uf(x)…至于其他的编程思想,可能是y=a(x)+b(x)+c(x)…,也有可能是y=f(x)=f(x)/a + f(x)/b+f(x)/c… 面向过程的指令式编程 面向过程,简单理解就是y=a(x)+b(x)+c(x)