LAB 5 文件系统

本实验的主要内容:

  1. 实现文件系统。
  2. spawn process。
  3. 实现 shell。

1、文件系统服务器

JOS 中文件系统以独立进程的方式存在。当其他进程需要访问文件系统时,就与该进程进行 IPC。

与文件系统服务器进程的 IPC 过程。

      Regular env           FS env
   +---------------+   +---------------+
   |      read     |   |   file_read   |
   |   (lib/fd.c)  |   |   (fs/fs.c)   |
...|.......|.......|...|.......^.......|...............
   |       v       |   |       |       | RPC mechanism
   |  devfile_read |   |  serve_read   |
   |  (lib/file.c) |   |  (fs/serv.c)  |
   |       |       |   |       ^       |
   |       v       |   |       |       |
   |     fsipc     |   |     serve     |
   |  (lib/file.c) |   |  (fs/serv.c)  |
   |       |       |   |       ^       |
   |       v       |   |       |       |
   |   ipc_send    |   |   ipc_recv    |
   |       |       |   |       ^       |
   +-------|-------+   +-------|-------+
           |                   |
           +-------------------+

当系统启动时创建文件系统服务器进程 (serv.c),简述其启动以及服务流程。

/fs/serv.c
    
--> umain()
    // 为文件系统中的每个文件分配一个页,1024 * 4KB。
    --> serve_init()
    // Initialize the file system
    --> fs_init()
        // 找到 IOS 的磁盘,使用第二个 IDE 磁盘块。
        --> ide_probe_disk1()
        --> ide_set_disk()
        // 初始化块缓存。
        --> bc_init()
            --> set_pgfault_handler(bc_pgfault)
            // Test that the block cache works, by smashing the superblock and
            // reading it back.
            --> check_bc()
            // cache the super block by reading it once
            --> memmove(&super, diskaddr(1), sizeof super)
        // Set "super" to point to the super block.
        --> super = diskaddr(1)
        --> check_super()
        // Set "bitmap" to the beginning of the first bitmap block.
        --> bitmap = diskaddr(2)
        --> check_bitmap()
    --> serve()
        // while(1) 循环。
        // 文件服务器循环等待接收其他进程的 IPC 请求。
        --> ipc_recv()
        // 打开请求的文件并存储在 fd page 中。
        --> r = serve_open(whom, (struct Fsreq_open*)fsreq, &pg, &perm)
        // 发送目标内容。
        --> ipc_send()
        // 取消为发送数据而分配的页面
        --> sys_page_unmap()

2、Spawning Processes

/lib/spawn.c
// Spawn a child process from a program image loaded from the file system.
--> spawn(const char *prog, const char **argv)
    // 1. Open the program file.
    --> r = open(prog, O_RDONLY)
    // 2. Read the ELF header, as you have before, and sanity check its
    //   magic number.  (Check out your load_icode!)
    --> if (readn(fd, elf_buf, sizeof(elf_buf)) != sizeof(elf_buf)
        || elf->e_magic != ELF_MAGIC) 
    // 3. Create new child environment.
    --> r = sys_exofork()
    // 4. Set child_tf to an initial struct Trapframe for the child.
    --> child_tf
    // 5. Call the init_stack() function above to set up
    //   the initial stack page for the child environment.
    --> r = init_stack(child, argv, &child_tf.tf_esp)
    // 6. Set up program segments as defined in ELF header.
    --> for()
    // 7. Call sys_env_set_trapframe(child, &child_tf) to set up the
    //   correct initial eip and esp values in the child.
    --> r = sys_env_set_trapframe(child, &child_tf)
    // 8. Start the child process running with sys_env_set_status().
    --> r = sys_env_set_status(child, ENV_RUNNABLE)

spawnhello 为例:

/user/spawnhello
创建一个进程,任务是从文件系统中加载 hello.c 二进制映像并运行。
--> umain(int argc, char **argv)
    // 
    --> r = spawnl("hello", "hello", 0) 
    
        --> spawn(prog, argv)

3、The Shell

icode.c 为例。

/user/icode.c
--> umain(int argc, char **argv)
    --> fd = open("/motd", O_RDONLY)
    --> n = read(fd, buf, sizeof buf-1)
        --> sys_cputs(buf, n)
    --> close(fd)
    --> r = spawnl("/init", "init", "initarg1", "initarg2", (char*)0)

/lib/spawn.c
--> spawnl(const char *prog, const char *arg0, ...)
    --> spawn(const char *prog, const char **argv)

/user/init.c
--> umain(int argc, char **argv)
    --> r = opencons()
    --> r = dup(0, 1)
    --> r = spawnl("/sh", "sh", (char*)0)
    --> wait(r)
    
/user/sh.c
--> umain(int argc, char **argv)
    --> argstart(&argc, argv, &args)
    --> r = argnext(&args)
    --> 
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 217,657评论 6 505
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 92,889评论 3 394
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 164,057评论 0 354
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 58,509评论 1 293
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 67,562评论 6 392
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 51,443评论 1 302
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 40,251评论 3 418
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 39,129评论 0 276
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 45,561评论 1 314
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 37,779评论 3 335
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 39,902评论 1 348
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 35,621评论 5 345
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 41,220评论 3 328
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 31,838评论 0 22
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 32,971评论 1 269
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 48,025评论 2 370
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 44,843评论 2 354

推荐阅读更多精彩内容