JOS实验六实验记录作者卓达城指导老师邵志远单位华中科技大学.PDFVIP

JOS 实验六实验记录 作者：卓达城 指导老师：邵志远 单位：华中科技大学集群网络与服务计算实验室 在开始实验之前先把相关lab5 的代码和lab6 合并 lab6 代码量和逻辑没有 lab5 多，编程技巧的运用也没有lab4 多，也没有lab2 和 lab3 涉及底层的东西多，如果前面的实验做得足够完美，应该是很简单。 但是世界上是没有完美的东西的。。 lab6 的调试工作可以用痛苦来形容，因为lab6 的涉及前面五个实验，只要前面有一点 点错，往往要花一两天才能查出来。 我的天啊~~~~~~~ 做实验之前先来改正一下前面的错误(这些错误找起来真的是呕心沥血啊~~) ： syscall.c serv.c pmap.c 这个bug 我足足用了两天的时间来修正，两天，两天，两天。。。。。。 功能增强：serv.c 增加新建文件的功能。 做 lab6 之前要先明白 lab6 到底要做什么？lab6 要做的就是父子进程共享文件、管道还有 shell 。 第一步共享文件： 具体点描述就是父进程开了一个文件，然后 fork 一个子进程，然后子进程改文件的东 西，父进程读文件的时候，文件的内容跟子进程改变之后的是一样的。 回顾lab4 中的copy on write 机制： 当父进程或者子进程要写它们共有的东西的时候，系统会新开一页，然后把原来那页的 内容复制过去，这样做能使父子进程完全相互独立，就是说子进程开始之后，父进程不能影 响子进程（如果子进程不愿意的话）。 现在我们要做的事情就是如果父进程有打开文件的话，父子进程共享这个文件，无论父 进程还是子进程修改这个文件，父子进程读这个文件的时候都会是改变之后的文件（仅限于 文件所在内存页是这样，其它还是相互独立的）。 第二步管道： 说白了就是通过文件的共享特性实现进程之间的通信。 第三部shell ： 就是利用管道来实现一些类似echo hello | cat 这样的命令。 第一部分：共享文件 EX1 修改fork.c 如果是PTE_SHARE 类型的话，映射到共同的物理页。 EX2 把父进程打开的文件映射到子进程里面。这里主要作用是用来作为输入和输出文件的。 EX3 修改文件服务器进程，使所有打开的文件都具有PTE_SHARE 属性 函数void serve_map(envid_t envid, struct Fsreq_map *rq) 函数：void serve_open(envid_t envid, struct Fsreq_open *rq) 这里好像jos 的作者已经给出了。 EX4 请见下文 第二部分 管道 由于我是把实验做完了再开始写文档的，所以解决冲突的代码也在里面了。 先说下大概原理，这里很难讲清楚，所以最好是看实验要求文档，哪里写得很清楚（锻炼锻 炼英文吧）。 流程大概如下： 父进程通过pipe 建立两个文件，这两个文件跟其它的不一样，我们用a，b 表示文件句柄（fd ）， ay，by 表示句柄映射的数据页。如果按照之前的文件系统他们会独立映射，但是现在不是， 现在的情况是ay = by，就是数据页是相同的。 子进程建立，复制共享父进程的文件，所以a，b 句柄相同，然后他们映射的页也相同。 现在是pageref(a) = 2, pageref(b) = 2, pageref(ay) = 4 如果pageref(a) = 2,pageref(ay) = 2，那就表明b 已经关闭了。我们为了让进程不会老是在等 待，所以如果b 关闭了，就会返回0，用a 来读的进程就会知道，不再一直等待。 但是用这样的方法来判断会由于进程切换而导致错误，具体为什么可以自己想一想，同时强 烈建议看实验要求（就是mit 那份英文的文档），写的非常详细透彻。 在pipe.c 里面我们要完成3 个函数，修改2 个函数 static int _pipeisclosed(struct Fd *fd, struct Pipe *p) 这里通过统计进程的运行次数来达到原子操作的效果。 为了达到这个效果，我们会在每一次运行进程的时候把env_runs++，这样，如果在进程切换 的时候执行上述函数，上述函数就会进入循环继续执行。 我们还需要改代码: （env.c env_run 函数） static ssize_t piperead(struct Fd *fd, void *vbuf, size_t n, off_t o