关于虚拟文件系统机制

    虚拟文件系统引入的原因是在linux操作系统上支持多种文件系统,而这多种文件系统提供的接口都是不同的,所以linux操作系统为了能够给用户提供统一的接口,就引入了虚拟文件系统。虚拟文件系统是通过提供多种创建的文件系统对象模型来实现的,如struct file、file_operations,inode、inode_operations,super_block、dentry等结构体来实现的.
   我自己也实现过一个无持久化功能的内存文件系统,它会通过内核的那个makefile文件被编译成.ko文件.然后在使用的时候需要先通过insmod 命令来对它进行加载.insmod命令里面就会调用我那个文件系统中通过module_init注册的加载函数.那个函数里面主要就是通过调用一个register_filesystem函数,对我们这个文件系统进行注册,参数是file_system_type 结构体.里面包含的成员有文件系统的名称,然后还有一个mount函数.这个mount就是该文件系统在挂载的时候会被调用的.linux操作系统中所有注册的文件系统的file_system_type都会被挂到一个链表上去.所以这里register_filesystem要做的工作就是根据要注册的文件系统的名称到那条链表上去查找是否存在相同名称的文件系统,如果已经存在就直接return.如果不存在的话,才会以尾插的方式将传入的file_system_type放入到该链表上去.放上去之后注册工作就是完成了.这个时候我们通过lsmod就可以看到注册的文件系统.然后由于一个文件系统只有挂载之后才能被其他进程访问,所以接下来我们需要通过mount命令来对该文件系统进行挂载.mount底层调用的是sys_mount系统调用.然后调用链就是sys_mount->do_mount->do_new_mount->vfs_kern_mount.vfs_kern_mount里面会给该当前系统创建一个mount结构体.mount结构体就是用来对挂载的文件系统进行描述的(可以说一下里面的成员).然后会调用mount_fs,mount_fs里面就会根据mount的文件系统的名称找到对应的file_system_type,然后调用里面的mount函数来进行挂载.我那个文件系统的mount实现其实就是调用操作系统提供的mount_nodev来完成挂载的.
    文件系统在被挂载之后,就可以在挂载的目录下创建文件,读写文件.比如当我们open该目录下一个文件的时候,它里面的执行流程open->sys_open->do_sys_open.do_sys_open里面首先会根据传入的路径找到目标文件所在目录下目录文件的inode结构体.然后再根据目标文件的名称在dentry cache中查找目标文件的dentry结构体.如果dentry cache中不存在的话,就会调用所在目录的inode结构体中inode_operations中的lookup函数.如果是ext4文件系统的话,它就会给根据目标文件的系统创建一个信息的inode结构体,将它绑定到新的dentry结构体上面去.再将新的dentry绑定到struct path上去,最后这个sturct path会被绑定到我们给这个文件创建的struct file上面去,并且会根据inode中的信息对这个struct file中的信息进行填充.里面最重要的就是将inode中的file_operations设置到struct file的file_operations上面去.然后调用file_operations中的open真正打开文件.执行完成之后,会将struct file放入到files_struct里面去,然后将它的下标返回.所以我们在文件系统进行实现的时候,主要实现的其实就是inode_operations里看的函数和file_operations里面的函数,然后再创建inode节点的时候将file_operaions和inode_operations设置到里面去就行了.
    open完成之后,我就可以通过read、write来对文件进行读写操作.read、write底层调用的sys_read、sys_write,然后再下面就是虚拟文件系统层,调用的是vfs_read、vfs_write.这个vfs__read和vfs_write要做的事情其实就是根据传入的文件描述符找到对应的struct file结构体,然后根据struct fiile结构体调用他里面的file_operations里面的read、write.如果是ext4文件系统的话,那么它里面的read、write首先会判断是否需要用到page cache(这里可以拓展一下).如果不需要用到的话,那么read、write会被直接变成读写磁盘的操作.我们一般从效率来讲,是需要用来page cache的 ,所以如果使用到了page cache的话,那么它这里先会进行一些准备工作,比如由于ext4属于日志文件系统,所以这里会进行一下日志的准备工作,还有对于write操作,这里会需要根据write的偏移量,到该文件的struct file的address_space里面的基数中的查找对应的要写入的物理页(如果没有分配新的物理页).准备工作做完之后就会讲要写入的数据拷贝到物理页上去. 然后第三步是写完成之后,会结束日志,并且还会将对应的物理页标记为脏页.最后会判断当前脏页的数目是否过多了,如果过多了话就将选择部分脏页将他们中的数据同步到磁盘上面去.(其他刷脏页的场景有fsync、分配内存失败,定时器).read操作也类似的,会先根据read的偏移量到基数树中找是否存在要读取的数据,如果page cache中有就直接返回,如果没有的话,会从磁盘中对数据进行读取,并且还会预读.预读完成之后才将对应的数据进行返回.
全部评论

相关推荐

26届双非不知道咋找得到实习了
kong_kong:1.广投,boss每天200次机会用完, 2.简历上技能和项目经历突出你在这个岗位上的突出优势。 3.还是广投,不要挑地点,公司规模(我当时是线下一个都不去,如果你离得近可以考虑一下去现场) 4.简历写的自己成绩好什么的,奖项也写一写(懂的都懂)
点赞 评论 收藏
分享
咦哟,从去年八月份开始长跑,两处实习转正都失败了,风雨飘摇,终于拿到offer了更新一下面试记录:秋招:多部门反复面试然后挂掉然后复活,具体问了啥已经忘了,只是被反复煎炸,直至焦香😋春招:base北京抖音hr打来电话说再次复活,准备面试,gogogo北京抖音一面:六道笔试题:1.promise顺序2.定义域问题3.flat展开4.并发请求5.岛屿数量算法(力扣)深度,广度都写6.忘记了,好像也是算法,难度中等其他问题多是框架底层设计,实习项目重难点~~~秒过😇北京抖音二面:三道笔试题:(为什么只有三道是因为第三道没做出来,卡住了)1.中等难度算法(忘记啥题了,应该是个数组的)2.认识js的继承本质(手写继承模式,深入js的面相对象开发)3.手写vue的响应式(卡在了watch,导致挂掉)---后知后觉是我的注册副作用函数写得有问题,有点紧张了其他题目多是项目拷打,项目亮点,对实习项目的贡献~~~第二天,挂,but立马复活转战深圳客服当天约面深圳客服一面:六道笔试题,由于面过太多次字节,面试官叫我直接写,不用讲,快些写完😋,具体都是些继承,深拷贝(注意对数组对象分开处理,深层次对象,循环引用),加中等难度算法题~~~秒过深圳客服二面:口诉八股大战:大概囊括网络,浏览器渲染原理,动画优化,时间循环,任务队列等等(你能想到的简单八股通通拉出来鞭尸😋)算法题:笔试题6道:1:找出数组内重复的数,arr[0]-arr[n]内的数大小为[1-n],例如[1,2,2,3,3]返回[2,3],要求o(n),且不使用任何额外空间(做到了o(n),空间方面欠佳,给面试官说进入下一题,做不来了)2:原滋原味的继承(所以继承真滴很重要)3:力扣股票购买时机难度中等其他滴也忘记了,因为拿到offer后鼠鼠一下子就落地了,脑子自动过滤掉可能会攻击鼠鼠的记忆😷~~~秒过深圳客服三面:项目大战参与战斗的人员有:成员1:表单封装及其底层原理,使用成本的优化,声明式表单成员2:公司内部库生命周期管理成员3:第三方库和内部库冲突如何源码断点调试并打补丁解决成员4:埋点的艺术成员5:线上项目捷报频传如何查出内鬼成员6:大文件分片的风流趣事成员7:设计模式对对碰成员8:我构建hooks应对经理的新增的小需求的故事可能项目回答的比较流利,笔试题3道,都很简单,相信大家应该都可以手拿把掐😇~~~过过过无hr面后续煎熬等待几天直接hr打电话发offer了,希望大家也可以拿到自己心仪的offer
法力无边年:牛哇,你真是准备得充分,我对你没有嫉妒,都是实打实付出
查看19道真题和解析
点赞 评论 收藏
分享
评论
1
收藏
分享

创作者周榜

更多
牛客网
牛客企业服务