《ORANGE’S:一个操作系统的实现》读书笔记(三十)文件系统(五)

news2025/2/27 10:24:43

上一篇文章记录了如何进行文件的创建,那么本篇文章要记录的事情就是如何在创建的文件中进行读写操作,毕竟文件是要操作才有意义的。

读写文件

由于我们使用“一次分配,终身使用”的扇区分配策略,所以文件读写变得非常容易,我们先来添加处理READ和WRITE消息的代码:

代码 fs/main.c,文件系统处理READ和WRITE消息。

/**
 * <Ring 1> The main loop of TASK FS.
 */
PUBLIC void task_fs()
{
...
        switch (fs_msg.type) {
            case OPEN:
                fs_msg.FD = do_open();
                break;
            case CLOSE:
                fs_msg.RETVAL = do_close();
                break;
            case READ:
            case WRITE:
                fs_msg.CNT = do_rdwt();
                break;
            default:
                dump_msg("FS::unknown message:", &fs_msg);
                assert(0);
                break;
...
}

读写两种消息由同一个函数do_rdwt()来处理,代码如下所示。

代码 fs/read_write.c,do_rdwt,这是新建的文件。

/**
 * Read/Write file and return byte count read/written.
 * 
 * Sector map is not needed to update, since the sectors for the file have been
 * allocated and the bits are set when the file was created.
 * 
 * @return How many bytes have been read/written.
 */
PUBLIC int do_rdwt()
{
    int fd = fs_msg.FD;         /*< file descriptor. */
    void * buf = fs_msg.BUF;    /*< r/w buffer */
    int len = fs_msg.CNT;       /*< r/w bytes */

    int src = fs_msg.source;    /* caller proc nr. */

    assert((pcaller->filp[fd] >= &f_desc_table[0]) &&
           (pcaller->filp[fd] < &f_desc_table[NR_FILE_DESC]));
    
    if (!(pcaller->filp[fd]->fd_mode & O_RDWR)) {
        return -1;
    }

    int pos = pcaller->filp[fd]->fd_pos;

    struct inode * pin = pcaller->filp[fd]->fd_inode;

    assert(pin >= &inode_table[0] && pin < &inode_table[NR_INODE]);

    int imode = pin->i_mode & I_TYPE_MASK;

    if (imode == I_CHAR_SPECIAL) {
        int t = fs_msg.type == READ ? DEV_READ : DEV_WRITE;
        fs_msg.type = t;

        int dev = pin->i_start_sect;
        assert(MAJOR(dev) == 4);

        fs_msg.DEVICE = MINOR(dev);
        fs_msg.BUF = buf;
        fs_msg.CNT = len;
        fs_msg.PROC_NR = src;
        assert(dd_map[MAJOR(dev)].driver_nr != INVALID_DRIVER);
        send_recv(BOTH, dd_map[MAJOR(dev)].driver_nr, &fs_msg);
        assert(fs_msg.CNT == len);

        return fs_msg.CNT;
    } else {
        assert(pin->i_mode == I_REGULAR || pin->i_mode == I_DIRECTORY);
        assert((fs_msg.type == READ) || (fs_msg.type == WRITE));

        int pos_end;
        if (fs_msg.type == READ) {
            pos_end = min(pos + len, pin->i_size);
        } else {
            pos_end = min(pos + len, pin->i_nr_sects * SECTOR_SIZE);
        }

        int off = pos % SECTOR_SIZE;
        int rw_sect_min = pin->i_start_sect + (pos >> SECTOR_SIZE_SHIFT);
        int rw_sect_max = pin->i_start_sect + (pos_end >> SECTOR_SIZE_SHIFT);

        int chunk = min(rw_sect_max - rw_sect_min + 1, FSBUF_SIZE >> SECTOR_SIZE_SHIFT);

        int bytes_rw = 0;
        int bytes_left = len;
        int i;
        for (i = rw_sect_min; i <= rw_sect_max; i += chunk) {
            /* read/write this amount of bytes every time */
            int bytes = min(bytes_left, chunk * SECTOR_SIZE - off);
            rw_sector(DEV_READ, pin->i_dev, i * SECTOR_SIZE, chunk * SECTOR_SIZE, TASK_FS, fsbuf);

            if (fs_msg.type == READ) {
                phys_copy((void*)va2la(src, buf + bytes_rw),
                          (void*)va2la(TASK_FS, fsbuf + off),
                          bytes);
            } else { /* WRITE */
                phys_copy((void*)va2la(TASK_FS, fsbuf + off),
                          (void*)va2la(src, buf + bytes_rw),
                          bytes);

                rw_sector(DEV_WRITE, pin->i_dev, i * SECTOR_SIZE, chunk * SECTOR_SIZE, TASK_FS, fsbuf);
            }

            off = 0;
            bytes_rw += bytes;
            pcaller->filp[fd]->fd_pos += bytes;
            bytes_left -= bytes;
        }

        if (pcaller->filp[fd]->fd_pos > pin->i_size) {
            /* update inode::size */
            pin->i_size = pcaller->filp[fd]->fd_pos;

            /* write the updated i-node back to disk*/
            sync_inode(pin);
        }

        return bytes_rw;
    }
}

在读写的过程中,我们仍然照顾到了字符设备特殊文件。跟前面一样,我们仍然是把它扔给相应的驱动程序——虽然驱动程序并未准备好处理,但发送一个消息只是举手之劳,我们不妨先把它添上。

读写普通文件时,file_desc结构体的成员悉数到场。首先是对fd_mode进行简单的判断,这其实是判断open()函数调用时是否传入了正确的flag参数,因为fd_mode是从那里得来的。我们对flags的可选值进行了简化,它的可选值只有两个:O_CREAT和O_RDWR,要想读写文件,调用open()时需要加上O_RDWR。

fd_pos的用途在于记录读写到文件的哪个位置,类似于一个书签,在文件刚打开时它被置为0。

fd_inode所指向的便是被操作文件的i-node了,我们通过它获得文件的开始扇区、文件类型,以及文件大小等信息。

真正的读写过程从第52行开始。变量pos表示开始读写的位置,pos_end表示结束读写的位置,读操作时pos_end不能越过文件已有的大小,写操作时pos_end不能越过为文件所分配的最大空间。通过pos和pos_end,我们可以计算出读/写操作所涉及的扇区边界,这里用rw_sect_min和rw_sect_max表示。计算时用右移操作代替除法运算,右移SECTOR_SIZE_SHIFT位相当于被SECTOR_SIZE除。

对扇区的读写以chunk为单位,最大不能超过为fsbuf分配的空间。

需要注意,不仅读操作,写操作也需要先将目标扇区读出,因为读写都是以扇区为单位的,而写操作可以在文件的任意位置进行,所以以扇区为单位的上下文需要先行读出。写操作的另一特殊之处在于它可能改变文件大小,所以返回之前要检查这一点,如果文件大小被改变,则需要更新i-node。

现在FS能处理READ和WRITE消息了,我们马上写两个函数:read()和write(),以便用户进程使用,具体如下代码所示。

代码 lib/read.c,read(),这是新建的文件。

/**
 * Read from a file descriptor.
 * 
 * @param fd    File descriptor.
 * @param buf   Buffer to accept the bytes read.
 * @param count How many bytes to read.
 * 
 * @return On success, the number of bytes read are returned.
 *         On error, -1 is returned.
 */
PUBLIC int read(int fd, void *buf, int count)
{
    MESSAGE msg;
    msg.type = READ;
    msg.FD = fd;
    msg.BUF = buf;
    msg.CNT = count;

    send_recv(BOTH, TASK_FS, &msg);

    return msg.CNT;
}

代码 lib/write.c,write(),这是新建的文件。

/**
 * Write to a file descriptor.
 * 
 * @param fd    File descriptor.
 * @param buf   Buffer including the bytes to write.
 * @param count How many bytes to write.
 * 
 * @return  On success, the number of bytes written are returned.
 *          On error, -1 is returned.
 */
PUBLIC int write(int fd, const void *buf, int count)
{
    MESSAGE msg;
    msg.type = WRITE;
    msg.FD = fd;
    msg.BUF = (void*)buf;
    msg.CNT = count;

    send_recv(BOTH, TASK_FS, &msg);

    return msg.CNT;
}

测试文件读写

好了,现在可以读写文件了,我们马上来测试一下,修改TestA,代码如下所示。

代码 kernel/main.c,读写文件。

void TestA()
{
    int fd;
    int n;
    const char filename[] = "blah";
    const char bufw[] = "abcde";

    const int rd_bytes = 3;
    char bufr[rd_bytes];

    assert(rd_bytes <= strlen(bufw));

    /* create */
    fd = open(filename, O_CREAT | O_RDWR);
    assert(fd != -1);
    printf("File created. fd: %d\n", fd);

    /* write */
    n = write(fd, bufw, strlen(bufw));
    assert(n == strlen(bufw));

    /* close */
    close(fd);

    /* open */
    fd = open(filename, O_RDWR);
    assert(fd != -1);
    printf("File opened. fd: %d\n", fd);

    /* read */
    n = read(fd, bufr, rd_bytes);
    assert(n == rd_bytes);
    bufr[n] = 0;
    printf("%d bytes read: %s\n", n, bufr);

    /* close */
    close(fd);

    spin("TestA");
}

好了,现在可以make并运行查看结果了,由于我们新添加了几个C文件,不要忘记更改Makefile。运行结果如下图所示。

从运行结果看,文件读操作成功了,“abc”三个字符被读出,为保险起见,我们还是深入磁盘映像,看一下如今的“/blah”文件变成什么样了:

理所应当地,inode-map、sector-map以及根目录区没有任何改变,只是“/blah”的i-node变了,i_size变成了5,这是正确的,因为我们写入了5个字节。

接下来还要看一看“/blah”实际占用的扇区中数据的情况。从i-node中可知,文件的开始扇区号是909h,将它与分区的开始扇区号6000h相加,得到“/blah”占用的首扇区的LBA:6909h,将它乘以200h,得到D21200h,这便是“/blah”数据扇区的字节偏移了,让我们来看看里面的内容:

看到了“abcde”,写入操作成功了。

虽然目前的测试还远远不够充分,但是我们有理由庆贺一番了,因为有了创建和读写功能,我们的文件系统就算是具备雏形了。
 

欢迎关注我的公众号

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/1382619.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

4_【Linux版】重装数据库问题处理记录

1、卸载已安装的oracle数据库。 2、知识点补充&#xff1a; 3、调整/dev/shm/的大小 【linux下修改/dev/shm tmpfs文件系统大小 - saratearing - 博客园 (cnblogs.com)】 mount -o remount,size100g /dev/shm 4、重装oracle后没有orainstRoot.sh 【重装oracle后没有orains…

外国入境的免签国家以及中外互免(普通护照*、普通公务护照)

2024.1.11起&#xff0c;外籍人员在北京首都、北京大兴、上海浦东、杭州萧山、厦门高崎、广州白云、深圳宝安、成都天府、西安咸阳9个国际机场&#xff0c;推行24小时直接过境旅客免办边检手续。对于持24小时内国际联程机票&#xff0c;经上述任一机场过境前往第三国或地区的出…

Leading Dimension是什么

在LAPACK中频繁出现Leading Dimension&#xff08;中文翻译为“主维度”&#xff09;&#xff0c;那么它是什么呢&#xff1f; 首先了解行主序&#xff08;Row-Major&#xff09;和列主序&#xff08;Column-Major&#xff09;的概念&#xff1a; Given a matrix A of shape …

低代码助力制造业数智转型,激发创新力迎接工业 4.0

随着科技的不断进步&#xff0c;我们迈入了一个崭新的工业时代——工业4.0。这场工业革命不仅颠覆了制造业的传统形象&#xff0c;还为全球生产方式带来了前所未有的变革。 在这一过程中&#xff0c;制造业数字化转型逐渐成为主旋律&#xff0c;而低代码技术在这其中发挥着重要…

Azure Machine Learning - 视频AI技术

Azure AI 视频索引器是构建在 Azure 媒体服务和 Azure AI 服务&#xff08;如人脸检测、翻译器、Azure AI 视觉和语音&#xff09;基础之上的一个云应用程序&#xff0c;是 Azure AI 服务的一部分。 有了 Azure 视频索引器&#xff0c;就可以使用 Azure AI 视频索引器视频和音频…

注册中心--zookeeper 安装并启动

zookeeper 安装/启动 注册中心--zookeeper安装步骤zookeeper常用命令 注册中心–zookeeper zookeeper官方下载地址 最早由雅虎开发&#xff0c;用来解决分布式系统中的一致性问题。功能&#xff1a;包括配置管理、集群的扩容和缩容、分布式锁等等。 安装步骤 1&#xff09;…

使用kibana来创建ElasticSearch的索引库与文档的命令

文章目录 &#x1f412;个人主页&#x1f3c5;JavaEE系列专栏&#x1f4d6;前言&#xff1a;&#x1f380;使用kibana来为ElasticSearch创建索引库&#x1f380;使用kibana来为ElasticSearch创建修改文档 &#x1f412;个人主页 &#x1f3c5;JavaEE系列专栏 &#x1f4d6;前言…

Jetpack Flow 、Room 初学者学习记录

学习使用响应式Flow操作数据&#xff0c;记录自己学习的过程。 ContactViewModel 是一个 ViewModel&#xff0c;它依赖于一个Room操作接口 ContactDao &#xff0c;访问对象来获取联系人数据。它使用了 StateFlow 来处理状态的变化和数据的更新。ViewModels 通常用于管理应用的…

【数据结构】树和二叉树堆(基本概念介绍)

&#x1f308;个人主页&#xff1a;秦jh__https://blog.csdn.net/qinjh_?spm1010.2135.3001.5343&#x1f525; 系列专栏&#xff1a;《数据结构》https://blog.csdn.net/qinjh_/category_12536791.html?spm1001.2014.3001.5482 ​​ 目录 前言 树的概念 树的常见名词 树与…

【OpenGauss源码学习 —— 执行器(execMain)】

执行器&#xff08;execMain&#xff09; 概述文件内容作用执行的操作主要函数概述 部分函数详细分析ExecutorStart 函数standard_ExecutorStart 函数 ExecutorRun 函数standard_ExecutorRun 函数 ExecutorFinish 函数standard_ExecutorFinish 函数 ExecutorEnd 函数standard_E…

[软件工具]通用OCR识别文字识别中文识别服务程序可局域网访问

【软件界面】 【算法介绍】 采用业界最先进算法之一paddlocr&#xff0c;PaddleOCR&#xff0c;全称PaddlePaddle OCR&#xff0c;是一种基于深度学习的光学字符识别&#xff08;OCR&#xff09;技术。相较于传统的OCR技术&#xff0c;PaddleOCR具有许多优点。 首先&#xff0…

windows下cmake Could NOT find Eigen3 (missing: Eigen3_DIR)解决办法-配置eigen3

在windows下用cmake构建项目&#xff0c;提示Could NOT find Eigen3 (missing: Eigen3_DIR) windows自行编译配置方法:参考这篇博客&#xff0c;我的windows没安装&#xff0c;使用的是VS2019&#xff0c;没有差别。 Windows安装配置eigen3 重新编译&#xff0c;这时候可能会…

NUS CS1101S:SICP JavaScript 描述:前言、序言和致谢

前言 原文&#xff1a;Foreword 译者&#xff1a;飞龙 协议&#xff1a;CC BY-NC-SA 4.0 我有幸在我还是学生的时候见到了了不起的 Alan Perlis&#xff0c;并和他交谈了几次。他和我共同深爱和尊重两种非常不同的编程语言&#xff1a;Lisp 和 APL。跟随他的脚步是一项艰巨的任…

插件化简单介绍

关于作者&#xff1a;CSDN内容合伙人、技术专家&#xff0c; 从零开始做日活千万级APP。 专注于分享各领域原创系列文章 &#xff0c;擅长java后端、移动开发、商业变现、人工智能等&#xff0c;希望大家多多支持。 未经允许不得转载 目录 一、导读二、概览三、常见的插件化方案…

深入理解 Spark(三)SparkTask 执行与 shuffle 详解

SparkTask 的分发部署与启动流程分析 Spark Action 算子触发 job 提交 Spark 当中 Stage 切分源码详解 Task 的提交与执行 SparkShuffle 机制详解 MapReduceShuffle 全流程深度剖析 MapReduce 全流程执行过程中参与工作的组件以及他们的执行先后顺序&#xff1a;InputFormat …

山西电力市场日前价格预测【2024-01-15】

日前价格预测 预测说明&#xff1a; 如上图所示&#xff0c;预测明日&#xff08;2024-01-15&#xff09;山西电力市场全天平均日前电价为399.10元/MWh。其中&#xff0c;最高日前电价为583.33元/MWh&#xff0c;预计出现在18:15。最低日前电价为275.09元/MWh&#xff0c;预计…

分享从零开始学习网络设备配置--任务4.4 使用动态路由OSPFv3实现网络连通

任务描述 由于RIPng不适用于复杂的网络&#xff0c;考虑到公司的未来发展&#xff0c;需要不断扩大网络规模。某公司在企业网络升级时&#xff0c;选择 OSPFv3路由协议实现网络连通&#xff0c;降低网络拓扑变化引发的人工维护工作量并加快网络收敛的速度。 公司内部的所有设…

leetcode 2114. 句子中的最多单词数

题目&#xff1a; 一个 句子 由一些 单词 以及它们之间的单个空格组成&#xff0c;句子的开头和结尾不会有多余空格。 给你一个字符串数组 sentences &#xff0c;其中 sentences[i] 表示单个 句子 。 请你返回单个句子里 单词的最多数目 。 解题方法&#xff1a; 1.遍历列表…

vivado IP使用

使用IP源 注意&#xff1a;有关IP的更多信息&#xff0c;包括添加、打包、模拟和升级IP&#xff0c;请参阅VivadoDesign Suite用户指南&#xff1a;使用IP&#xff08;UG896&#xff09;进行设计。在Vivado IDE中&#xff0c;您可以在RTL项目中添加和管理以下类型的IP核心&…

一分钟找到所有的中文核心期刊

1.进入中国知网找到出版物检索 2.在出版来源导航这里选择期刊导航 3.右边拉到底选择核心期刊导航 4.选择自己专业的期刊即可