Lab 5: File system, Spawn and Shell

1. File system preliminaries

在lab中我們要使用的檔案系統比大多數“真實”檔案系統更簡單,包括XV6 UNIX的檔案系統,但它足以提供基本功能:建立,讀取,寫入和刪除在分層目錄結構中組織的檔案。

我們僅開發一個單使用者作業系統, 因此,我們的檔案系統不支援檔案所有權或許可權。 我們的檔案系統目前也不支援硬連結,符號連結,時間戳或大多數UNIX檔案系統的特殊裝置檔案。

1. On-Disk File System Structure

大多數UNIX檔案系統將可用磁碟空間分為兩種主要型別的區域:inode區域和資料區域。 UNIX檔案系統為檔案系統中的每個檔案分配一個inode;檔案的inode儲存關於檔案的關鍵元資料,例如其stat屬性和指向其資料塊的指標。資料區域被劃分成更大(通常為8KB或更多)的資料塊,檔案系統在其中儲存檔案資料和目錄元資料。目錄條目包含檔名和指向inode的指標;如果檔案系統中的多個目錄條目引用該檔案的inode,則檔案被稱為硬連結。由於我們的檔案系統不支援硬連結,所以我們不需要這種級別的重定向,因此可以方便的簡化:我們的檔案系統根本不會使用inode,而只是在(唯一)的目錄條目中儲存所有的檔案(或子目錄)的元資料。

檔案和目錄邏輯上都是由一系列資料塊組成的,這些資料塊可能散佈在整個磁碟上,就像使用者環境的虛擬地址空間的頁面可以分散在整個實體記憶體中一樣。檔案系統環境隱藏資料塊佈局的細節,僅呈現在檔案任意偏移量處讀/寫位元組序列的介面。檔案系統環境將對目錄的所有修改作為檔案建立和刪除等操作內部處理的一部分。我們的檔案系統允許使用者環境直接讀取目錄元資料(例如,read),這意味著使用者環境可以自己執行目錄掃描操作(例如,實現ls程式),而不必依賴額外特殊的對檔案系統的呼叫。對目錄掃描方法的缺點,以及大多數現代UNIX變體阻止它的原因在於它使應用程式依賴於目錄元資料的格式,使得在不更改或至少重新編譯應用程式的情況下難以更改檔案系統的內部佈局。

簡單來講,我們檔案系統就只有一個數據結構儲存檔案,沒有索引。

1.1 Sectors and Blocks

大多數磁碟不能以位元組粒度執行讀取和寫入,而是以扇區為單位執行讀取和寫入操作。在JOS中,扇區為512位元組。檔案系統實際上以塊為單位分配和使用磁碟儲存。請注意兩個術語之間的區別:扇區大小是磁碟硬體的屬性,而塊大小是作業系統使用磁碟的一個方面。檔案系統的塊大小必須是底層磁碟扇區大小的倍數。

UNIX xv6檔案系統使用512位元組的塊大小,與底層磁碟的扇區大小相同。然而,大多數現代檔案系統使用更大的塊大小,因為儲存空間已經變得更便宜,並且以更大的粒度來管理儲存效率更高。我們的檔案系統將使用4096位元組的塊大小,方便地匹配處理器的頁面大小。

簡單來講,磁碟預設512位元組是一個扇區,我們系統4096位元組一個塊,也就是8個扇區一個塊。

1.2 Superblocks

檔案系統通常將某些磁碟塊保留在磁碟上的“易於查詢”位置(例如起始或最後),以儲存描述整個檔案系統屬性的元資料,例如塊大小,磁碟大小,找到根目錄所需的任何元資料,檔案系統上次掛載的時間,檔案系統上次檢查錯誤的時間等等。這些特殊塊稱為超級塊。

我們的檔案系統將只有一個超級塊,它將始終位於磁碟上的塊1。它的佈局由struct Super在inc/fs.h中定義。塊0通常保留用於儲存引導載入程式和分割槽表,因此檔案系統通常不使用第一個磁碟塊。許多“真正的”檔案系統具有多個超級塊,這幾個副本在磁碟的幾個廣泛間隔的區域,以便如果其中一個被損壞或磁碟在該區域中產生媒體錯誤,則仍然可以找到其他超級塊,並將其用於訪問檔案系統。

其中具體塊的資料結構如下

  1. struct Super {
  2. uint32_t s_magic; // Magic number: FS_MAGIC
  3. uint32_t s_nblocks; // Total number of blocks on disk
  4. struct File s_root; // Root directory node
  5. };

1.3 File Meta-data

描述檔案系統中的檔案的元資料的佈局由inc/fs.h中的struct File定義。該元資料包括檔案的名稱,大小,型別(常規檔案或目錄)以及指向包含該檔案的塊的指標。如上所述,我們沒有inode,所以元資料儲存在磁碟上的目錄條目中。與大多數“真實”檔案系統不同,為簡單起見,我們將使用這個struct File來表示在磁碟和記憶體中出現的檔案元資料。

struct File中的f_direct陣列包含儲存檔案前10個(NDIRECT)塊的塊號的空間,這前10個塊被稱之為檔案的直接塊。對於大小為10 * 4096 = 40KB的小檔案,這意味著所有檔案塊的塊號將直接適用於struct File本身。然而,對於較大的檔案,我們需要一個地方來儲存檔案的其他塊號。因此,對於大於40KB的任何檔案,我們分配一個額外的磁碟塊,稱為檔案的間接塊,最多容納4096/4 = 1024個附加塊號。因此,我們的檔案系統允許檔案的大小可達1034個塊,或者剛剛超過四兆位元組大小。為了支援更大的檔案,“真實”檔案系統通常也支援雙重和三重間接塊。

  1. struct File {
  2. char f_name[MAXNAMELEN]; // filename 檔名
  3. off_t f_size; // file size in bytes 檔案大小
  4. uint32_t f_type; // file type 檔案型別
  5. // Block pointers.
  6. // A block is allocated iff its value is != 0.
  7. uint32_t f_direct[NDIRECT]; // direct blocks 直接塊
  8. uint32_t f_indirect; // indirect block 間接塊
  9. // Pad out to 256 bytes; must do arithmetic in case we're compiling
  10. // fsformat on a 64-bit machine.
  11. uint8_t f_pad[256 - MAXNAMELEN - 8 - 4*NDIRECT - 4];
  12. } __attribute__((packed)); // required only on some 64-bit machines

1.4 Directories versus Regular Files

我們的檔案系統中的struct File可以表示常規檔案或目錄;這兩種型別的“檔案”通過struct File中的型別欄位進行區分。檔案系統以完全相同的方式管理常規檔案和目錄檔案,除了它不解釋與常規檔案相關聯的資料塊的內容,而檔案系統將目錄檔案的內容解釋為一系列描述目錄中的檔案和子目錄的struct File

  1. // File types
  2. #define FTYPE_REG 0 // Regular file 檔案
  3. #define FTYPE_DIR 1 // Directory 目錄

我們的檔案系統中的超級塊包含一個struct File(其實struct Super中的根欄位),它儲存檔案系統根目錄的元資料。根目錄檔案的內容是描述位於檔案系統根目錄下的檔案和目錄的struct File序列。根目錄中的任何子目錄可以依次包含表示子子目錄的更多的struct File,依此類推。

2. The File System

lab的目標不是實現整個檔案系統,而是僅實現某些關鍵元件。特別是,需要實現將塊讀入塊快取記憶體並將其重新整理回磁碟;分配磁碟塊;將檔案偏移對映到磁碟塊;並在IPC介面中中實現讀,寫和開啟。因為你不會自己實現所有的檔案系統,所以你需要熟悉提供的程式碼和各種檔案系統介面。

2.1 Disk Access

x86處理器使用EFLAGS暫存器中的IOPL位來確定是否允許保護模式程式碼執行特殊的裝置I/O指令,如IN和OUT指令。由於我們需要訪問的所有IDE磁碟暫存器位於x86的I/O空間中,而不是記憶體對映,因此為檔案系統環境提供“I/O特權”是我們唯一需要做的,以便允許檔案系統訪問這些暫存器。實際上,EFLAGS暫存器中的IOPL位為核心提供了一種簡單的“全或無”方法來控制使用者態程式碼能否訪問I/O空間。在我們的實現中,我們希望檔案系統環境能夠訪問I/O空間,但是我們不希望任何其他環境能夠訪問I/O空間。

所以對於第一個Exercise1是非常簡單的,只需要一行程式碼。

不過這裡我遇到了一個問題

這個問題我修了一個小時。。fuck

後面發現是make引數的問題。本來的makefile檔案設定了Werror引數。這表示會把warning當作error來處理。後面把它刪掉就沒問題了

  1. // If this is the file server (type == ENV_TYPE_FS) give it I/O privileges.
  2. // LAB 5: Your code here.
  3. if (type == ENV_TYPE_FS) {
  4. env->env_tf.tf_eflags |= FL_IOPL_MASK;
  5. }

3. The Block Cache

在我們的檔案系統中,我們將在處理器的虛擬記憶體系統的幫助下實現一個簡單的“緩衝區快取”(真正只是一個塊快取)。 塊快取的程式碼在fs/bc.c中。

我們的檔案系統將僅限於處理小於等於3GB的磁碟。 我們為檔案系統預留了固定的3GB區域。從0x10000000(diskmap)到0xd0000000(diskmap + diskmax),作為磁碟的“記憶體對映”版本。 例如,磁碟塊0對映在虛擬地址0x10000000,磁碟塊1對映在虛擬地址0x10001000等等。

Exercise 2

實現bc_pgfault()flush_block()

bc_pgfault()是檔案系統中的程序缺頁處理函式,負責將資料從磁碟讀取到對應的記憶體

參考註釋的提示也是不難實現

bc_pgfault()實現

  1. static void
  2. bc_pgfault(struct UTrapframe *utf)
  3. {
  4. void *addr = (void *) utf->utf_fault_va;
  5. uint32_t blockno = ((uint32_t)addr - DISKMAP) / BLKSIZE;
  6. int r;
  7. // Check that the fault was within the block cache region
  8. if (addr < (void*)DISKMAP || addr >= (void*)(DISKMAP + DISKSIZE))
  9. panic("page fault in FS: eip %08x, va %08x, err %04x",
  10. utf->utf_eip, addr, utf->utf_err);
  11. // Sanity check the block number.
  12. if (super && blockno >= super->s_nblocks)
  13. panic("reading non-existent block %08x\n", blockno);
  14. // Allocate a page in the disk map region, read the contents
  15. // of the block from the disk into that page.
  16. // Hint: first round addr to page boundary. fs/ide.c has code to read
  17. // the disk.
  18. //
  19. // LAB 5: you code here:
  20. addr = ROUNDDOWN(addr,PGSIZE);
  21. sys_page_alloc(0,addr,PTE_U | PTE_W | PTE_P);
  22. if ((r = ide_read(blockno * BLKSECTS,addr,BLKSECTS)) < 0) {
  23. panic("ide_read error : %e",r);
  24. }
  25. // Clear the dirty bit for the disk block page since we just read the
  26. // block from disk
  27. if ((r = sys_page_map(0,addr,0,addr,uvpt[PGNUM(addr)] & PTE_SYSCALL)) < 0) {
  28. panic("sys_page_map error : %e",r);
  29. }
  30. if (bitmap && block_is_free(blockno)) {
  31. panic("reading free block %08x\n",blockno);
  32. }
  33. }

flush_block()實現

  1. void
  2. flush_block(void *addr)
  3. {
  4. uint32_t blockno = ((uint32_t)addr - DISKMAP) / BLKSIZE;
  5. int r;
  6. if (addr < (void*)DISKMAP || addr >= (void*)(DISKMAP + DISKSIZE))
  7. panic("flush_block of bad va %08x", addr);
  8. // LAB 5: Your code here.
  9. // round addr down
  10. addr = ROUNDDOWN(addr,PGSIZE);
  11. if (!va_is_mapped(addr) || ! va_is_dirty(addr)) {
  12. return ;
  13. }
  14. if ((r = ide_write(blockno * BLKSECTS,addr,BLKSECTS)) < 0 ) {
  15. panic("in flush block ,ide_write() :%e",r);
  16. }
  17. if ((r = sys_page_map(0,addr,0,addr,uvpt[PGNUM(addr)] & PTE_SYSCALL) ) < 0 ) {
  18. panic("sys_page_map error : %e",r);
  19. }
  20. }

4. The Block Bitmap

fs_init()中已經初始化了bitmap,我們能通過bitmap訪問磁碟的block 1,也就是位陣列,每一位代表一個block,1表示該block未被使用,0表示已被使用。我們實現一系列管理函式來管理這個位陣列。

Exercise 3

實現fs/fs.c中的alloc_block(),該函式搜尋bitmap位陣列,返回一個未使用的block,並將其標記為已使用。

這裡主要仿照free_block.c函式來寫.

根據blockno來清楚bitmap陣列。因此當我們設定bitmap陣列的時候,只需要做取反操作即可

  1. // Mark a block free in the bitmap
  2. void
  3. free_block(uint32_t blockno)
  4. {
  5. // Blockno zero is the null pointer of block numbers.
  6. if (blockno == 0)
  7. panic("attempt to free zero block");
  8. bitmap[blockno/32] |= 1<<(blockno%32);
  9. }

因此alloc_block函式就非常好實現了

  1. int
  2. alloc_block(void)
  3. {
  4. // The bitmap consists of one or more blocks. A single bitmap block
  5. // contains the in-use bits for BLKBITSIZE blocks. There are
  6. // super->s_nblocks blocks in the disk altogether.
  7. // LAB 5: Your code here.
  8. for (int i = 3; i < super->s_nblocks; i++) {
  9. if (block_is_free(i)) {
  10. bitmap[i/32] &= ~(1<<(i%32));
  11. return i;
  12. }
  13. }
  14. return -E_NO_DISK;
  15. }

5. File Operations

fs/fs.c檔案提供了一系列函式用於管理File結構,掃描和管理目錄檔案,解析絕對路徑。

基本的檔案系統操作:

  1. 1. static int file_block_walk(struct File *f, uint32_t filebno, uint32_t **ppdiskbno, bool alloc){}
  1. 2. int file_get_block(struct File *f, uint32_t filebno, char **blk)

解析路徑path,填充pdir和pf地址處的File結構。比如/aa/bb/cc.c那麼pdir指向代表bb目錄的File結構,pf指向代表cc.c檔案的File結構。又比如/aa/bb/cc.c,但是cc.c此時還不存在,那麼pdir依舊指向代表bb目錄的File結構,但是pf地址處應該為0,lastelem指向的字串應該是cc.c。

  1. 3. static int walk_path(const char **path*, struct *File* ***pdir*, struct *File* ***pf*, char **lastelem*)

該函式尋找dir指向的檔案內容。並尋找制定name的file結構儲存到file指標處

  1. 4. static int dir_lookup(struct File *dir, const char *name, struct File **file)

在dir目錄檔案的內容中尋找一個未被使用的File結構,將其地址儲存到file的地址處

  1. 5. static int dir_alloc_file(struct File *dir, struct File **file)

基本的檔案操作

在給定path建立file,如果建立成功pf指向新建立的File指標

  1. 1. int file_create(const char *path, struct File **pf)

尋找path對應的File結構地址,儲存到pf地址處。

  1. 2. int file_open(const char *path, struct File **pf)

從檔案f的offset位元組處讀取count位元組到buf處

  1. 3. size_t* file_read(struct *File* **f*, void **buf*, *size_t* *count*, *off_t* *offset*)

將buf處的count位元組寫到檔案f的offset開始的位置。

  1. 4. int file_write(struct File *f, const void *buf, size_t count, off_t offset)

Exercise 4

實現file_block_walk()和file_get_block()。

file_block_walk():

該函式查詢f指標指向檔案結構的第filebnoblock的儲存地址,儲存到ppdiskbno中。

  1. 如果filebno > NDIRECT 則需要去checkf_indirect。如果還未建立indirect塊。但是alloc為真,那麼將分配要給新的block作為該檔案的f->f_indirect。類比頁表管理的pgdir_walk()。
  2. 最簡單的情況是可以在NDIRECT中獲取到對應的塊
  1. static int
  2. file_block_walk(struct File *f, uint32_t filebno, uint32_t **ppdiskbno, bool alloc)
  3. {
  4. // LAB 5: Your code here.
  5. // first do sanity check
  6. if (filebno >= NDIRECT + NINDIRECT) {
  7. return -E_INVAL;
  8. }
  9. uintptr_t *block_addr = NULL;
  10. if (filebno < NDIRECT) {
  11. block_addr = &f->f_direct[filebno];
  12. } else {
  13. int r;
  14. if (f->f_indirect == 0) {
  15. if (alloc) {
  16. r = alloc_block();
  17. if (r < 0) {
  18. return r;
  19. }
  20. memset(diskaddr(r),0,BLKSIZE);
  21. f->f_indirect = r;
  22. } else {
  23. return -E_NOT_FOUND;
  24. }
  25. }
  26. uint32_t *indir = (uint32_t *)diskaddr(f->f_indirect);
  27. block_addr = indir[filebno - NDIRECT];
  28. }
  29. *ppdiskbno = block_addr;
  30. return 0;
  31. }

file_get_block

  1. 這個就是獲取制定的block
  2. 首先呼叫我們之前實現的file_block_walk函式。如果沒問題則直接ok
  3. 否則的話會分配一個新的block,注意這裡要把它flush到磁盤裡
  1. int
  2. file_get_block(struct File *f, uint32_t filebno, char **blk)
  3. {
  4. // LAB 5: Your code here.
  5. int r;
  6. uint32_t *ppdiskbno;
  7. if ((r = file_block_walk(f, filebno, &ppdiskbno, 1)) < 0) {
  8. return r;
  9. }
  10. int blockno;
  11. if (*ppdiskbno == 0) {
  12. if ((blockno = alloc_block()) < 0) {
  13. return blockno;
  14. }
  15. *ppdiskbno = blockno;
  16. flush_block(diskaddr(blockno));
  17. }
  18. *blk = diskaddr(*ppdiskbno);
  19. return 0;
  20. }

6. The file system interface

當然其他env也有對於檔案系統環境的請求。這時候我們需要有類似下面的機制

Exercise 5

Implement serve_read in fs/serv.c.

serve_read 的繁重工作將由 fs/fs.c 中已經實現的 file_read 完成(反過來,它只是對 file_get_block 的一堆呼叫)。 serve_read 只需要提供用於檔案讀取的 RPC 介面。 檢視 serve_set_size 中的註釋和程式碼,以大致瞭解伺服器功能的結構。

那我們在寫這個程式碼之前首先就要剖析一下整個ipc的發生過程

  1. regular_env中呼叫read函式

    這個函式首先根據fd_lookup找到對應fdnum的fd結構

    隨後根據dev_lookup找到對應的dev資訊

    然後呼叫dev_read(fd,buf,n)

    1. ssize_t
    2. read(int fdnum, void *buf, size_t n)
    3. {
    4. int r;
    5. struct Dev *dev;
    6. struct Fd *fd;
    7. if ((r = fd_lookup(fdnum, &fd)) < 0
    8. || (r = dev_lookup(fd->fd_dev_id, &dev)) < 0)
    9. return r;
    10. if ((fd->fd_omode & O_ACCMODE) == O_WRONLY) {
    11. cprintf("[%08x] read %d -- bad mode\n", thisenv->env_id, fdnum);
    12. return -E_INVAL;
    13. }
    14. if (!dev->dev_read)
    15. return -E_NOT_SUPP;
    16. return (*dev->dev_read)(fd, buf, n);
    17. }
    18. // 涉及到的三個不同的dev;
    19. static struct Dev *devtab[] =
    20. {
    21. &devfile,
    22. &devpipe,
    23. &devcons,
    24. 0
    25. };
  2. 隨後是呼叫lib/file.c

    1. 這裡是把請求引數儲存在fsipcbuf.read中
    2. 然後呼叫fsipc去向伺服器端傳送read請求。請求成功後結果也是儲存在共享頁面fsipcbuf中,然後讀到指定的buf就行。
    1. static ssize_t
    2. devfile_read(struct Fd *fd, void *buf, size_t n)
    3. {
    4. // Make an FSREQ_READ request to the file system server after
    5. // filling fsipcbuf.read with the request arguments. The
    6. // bytes read will be written back to fsipcbuf by the file
    7. // system server.
    8. int r;
    9. fsipcbuf.read.req_fileid = fd->fd_file.id;
    10. fsipcbuf.read.req_n = n;
    11. if ((r = fsipc(FSREQ_READ, NULL)) < 0)
    12. return r;
    13. assert(r <= n);
    14. assert(r <= PGSIZE);
    15. memmove(buf, fsipcbuf.readRet.ret_buf, r);
    16. return r;
    17. }
  3. lib/file.c/fsipc()函式

    1. 找到第一個fs型別的env
    2. 然後呼叫ipc_send傳送ipc訊號
    3. 利用ipc_recv得到返回結果
    1. static int
    2. fsipc(unsigned type, void *dstva)
    3. {
    4. static envid_t fsenv;
    5. if (fsenv == 0)
    6. fsenv = ipc_find_env(ENV_TYPE_FS);
    7. static_assert(sizeof(fsipcbuf) == PGSIZE);
    8. if (debug)
    9. cprintf("[%08x] fsipc %d %08x\n", thisenv->env_id, type, *(uint32_t *)&fsipcbuf);
    10. ipc_send(fsenv, type, &fsipcbuf, PTE_P | PTE_W | PTE_U);
    11. return ipc_recv(NULL, dstva, NULL);
    12. }
  4. 接下來看fs/serv.c/server函式

    這裡有一個while迴圈等到請求的接受,對於上面傳送的ipc請求這裡會被接收到

    這裡的邏輯還是非常簡單的

    1. 當ipc_recv得到結果之後,就會往下執行
    2. 然後根據請求的型別做出不同的處理。對於read操作而言的話
    3. 就會執行server_read函式來處理這個ipc請求
    1. void
    2. serve(void)
    3. {
    4. uint32_t req, whom;
    5. int perm, r;
    6. void *pg;
    7. while (1) {
    8. perm = 0;
    9. req = ipc_recv((int32_t *) &whom, fsreq, &perm);
    10. if (debug)
    11. cprintf("fs req %d from %08x [page %08x: %s]\n",
    12. req, whom, uvpt[PGNUM(fsreq)], fsreq);
    13. // All requests must contain an argument page
    14. if (!(perm & PTE_P)) {
    15. cprintf("Invalid request from %08x: no argument page\n",
    16. whom);
    17. continue; // just leave it hanging...
    18. }
    19. pg = NULL;
    20. if (req == FSREQ_OPEN) {
    21. r = serve_open(whom, (struct Fsreq_open*)fsreq, &pg, &perm);
    22. } else if (req < ARRAY_SIZE(handlers) && handlers[req]) {
    23. r = handlers[req](whom, fsreq);
    24. } else {
    25. cprintf("Invalid request code %d from %08x\n", req, whom);
    26. r = -E_INVAL;
    27. }
    28. ipc_send(whom, r, pg, perm);
    29. sys_page_unmap(0, fsreq);
    30. }
    31. }
  5. server_read函式

    這個函式就是我們要實現的函式。根據提示我們來實現一下

    1. 首先找到ipc->read->req_fileid對應的OpenFile。
    2. 然後呼叫file_read去讀內容到ipc->readRet->ret_buf
    1. int
    2. serve_read(envid_t envid, union Fsipc *ipc)
    3. {
    4. struct Fsreq_read *req = &ipc->read;
    5. struct Fsret_read *ret = &ipc->readRet;
    6. if (debug)
    7. cprintf("serve_read %08x %08x %08x\n", envid, req->req_fileid, req->req_n);
    8. // Lab 5: Your code here:
    9. struct OpenFile *o;
    10. int r;
    11. if ((r = openfile_lookup(envid, req->req_fileid, &o)) < 0)
    12. return r;
    13. if ((r = file_read(o->o_file, ret->ret_buf, req->req_n, o->o_fd->fd_offset)) < 0)
    14. return r;
    15. o->o_fd->fd_offset += r;
    16. return r;
    17. }

Exercise6

Implement serve_write in fs/serv.c and devfile_write in lib/file.c.

這個的呼叫邏輯是和上面一樣的,所以就不分析了。那我們直接看寫操作是如何實現的

首先實現server_write這個和server_read基本上完全一致的

  1. int
  2. serve_write(envid_t envid, struct Fsreq_write *req)
  3. {
  4. if (debug)
  5. cprintf("serve_write %08x %08x %08x\n", envid, req->req_fileid, req->req_n);
  6. // LAB 5: Your code here.
  7. struct OpenFile *o;
  8. int req_n = req->req_n > PGSIZE ? PGSIZE : req->req_n;
  9. int r;
  10. if ((r = openfile_lookup(envid, req->req_fileid, &o)) < 0)
  11. return r;
  12. if ((r = file_write(o->o_file, req->req_buf, req_n, o->o_fd->fd_offset)) < 0)
  13. return r;
  14. o->o_fd->fd_offset += r;
  15. return r;
  16. }

然後實現devfile_write函式

  1. static ssize_t
  2. devfile_write(struct Fd *fd, const void *buf, size_t n)
  3. {
  4. // Make an FSREQ_WRITE request to the file system server. Be
  5. // careful: fsipcbuf.write.req_buf is only so large, but
  6. // remember that write is always allowed to write *fewer*
  7. // bytes than requested.
  8. // LAB 5: Your csode here
  9. if (n > sizeof(fsipcbuf.write.req_buf))
  10. n = sizeof(fsipcbuf.write.req_buf);
  11. fsipcbuf.write.req_fileid = fd->fd_file.id;
  12. fsipcbuf.write.req_n = n;
  13. memmove(fsipcbuf.write.req_buf, buf, n);
  14. return fsipc(FSREQ_WRITE, NULL);
  15. }

7. Spawning Processes

我們已經為您提供了 spawn 的程式碼(參見 lib/spawn.c),它建立一個新環境,將檔案系統中的程式映像載入到其中,然後啟動執行該程式的子環境。 然後父程序獨立於子程序繼續執行。 spawn 函式的作用類似於 UNIX 中的 fork,然後是子程序中的 exec。

我們實現了 spawn 而不是 UNIX 風格的 exec,因為 spawn 更容易以“外核心方式”從使用者空間實現,而無需核心的特殊幫助。 考慮一下為了在使用者空間中實現 exec 必須做什麼。

Exercise7

spawn 依賴於新的系統呼叫 sys_env_set_trapframe 來初始化新建立環境的狀態。 在 kern/syscall.c 中實現 sys_env_set_trapframe(不要忘記在 syscall() 中排程新的系統呼叫)。

這個系統呼叫其實也不難實現.可以參考env_alloc()

  1. static int
  2. sys_env_set_trapframe(envid_t envid, struct Trapframe *tf)
  3. {
  4. // LAB 5: Your code here.
  5. // Remember to check whether the user has supplied us with a good
  6. // address!
  7. struct Env *e;
  8. int32_t ret;
  9. if ((ret = envid2env(envid, &e, 1)) < 0) {
  10. return ret; // -E_BAD_ENV
  11. }
  12. if ((ret = user_mem_check(e, tf, sizeof(struct Trapframe), PTE_U)) < 0) {
  13. return ret;
  14. }
  15. memmove(&e->env_tf, tf, sizeof(struct Trapframe));
  16. e->env_tf.tf_ds = GD_UD | 3;
  17. e->env_tf.tf_es = GD_UD | 3;
  18. e->env_tf.tf_ss = GD_UD | 3;
  19. e->env_tf.tf_cs = GD_UT | 3;
  20. e->env_tf.tf_eflags |= FL_IF;
  21. e->env_tf.tf_eflags &= ~FL_IOPL_MASK; //普通程序不能有IO許可權
  22. return 0;
  23. }

8. Sharing library state across fork and spawn

我們希望在 fork 和 spawn 之間共享檔案描述符狀態,但檔案描述符狀態儲存在使用者空間記憶體中。在 fork 上,記憶體將被標記為 copy-on-write,因此狀態將被複制而不是共享。 (這意味著環境將無法在它們自己沒有開啟的檔案中查詢,並且管道無法跨分支工作。)在spawn中,記憶體將被共享,根本不會被複制。 (有效地,spawn的environment不會開啟任何檔案描述符.)

我們將更改fork以瞭解某些記憶體區域已由“作業系統庫”使用,並且應始終共享。 與其在某處硬編碼區域列表,不如在頁表條項設定一個otherwise-unused的位(就像我們對fork中的PTE_COW位所做的那樣)。

我們在inc / lib.h中定義了一個新的PTE_SHARE位。 該位是Intel和AMD手冊中標記為“可用於軟體使用”的三個PTE位之一。 我們將建立一個約定,如果頁表項設定了該位,則應該在fork和spawn中將PTE直接從父級複製到子級。 請注意,這不同於將其標記為“copy-on-write”:如第一段所述,我們要確保共享頁面更新。

Exercise8

更改 lib/fork.c 中的 duppage 以遵循新約定。 如果頁表條目設定了 PTE_SHARE 位,則直接複製對映。 (您應該使用 PTE_SYSCALL,而不是 0xfff,來遮蔽頁表條目中的相關位。0xfff 也拾取訪問的位和髒位。)

同樣,在lib/spawn.c 中實現 copy_shared_pages。 它應該遍歷當前程序中的所有頁表條目(就像 fork 所做的那樣),將任何設定了 PTE_SHARE 位的頁映射覆制到子程序中。

1. 修改 lib/fork.c

加入針對於PTE_SHARE的處理

  1. perm = pte & PTE_SYSCALL;
  2. if ((r = sys_page_map(srcid, (void*)addr, envid, (void*)addr, perm)) < 0) {
  3. panic("sys_page_map: %e\n", r);
  4. }

2. 實現copy_shared_pages

  1. static int
  2. copy_shared_pages(envid_t child)
  3. {
  4. // LAB 5: Your code here.
  5. int r,i;
  6. for (i = 0; i < PGNUM(USTACKTOP); i ++){
  7. // Attention! i跟pte一一對應,而i/1024就是該pte所在的頁表
  8. if((uvpd[i/1024] & PTE_P) && (uvpt[i] & PTE_P) && (uvpt[i] & PTE_SHARE)){
  9. if ((r = sys_page_map(0, PGADDR(i/1024, i%1024, 0), child,PGADDR(i/1024, i%1024, 0), uvpt[i] & PTE_SYSCALL)) < 0)
  10. return r;
  11. }
  12. }
  13. return 0;
  14. }

9. The keyboard interface

要讓shell工作,我們需要一種方法來鍵入它。QEMU一直在顯示我們寫入到CGA顯示器和串列埠的輸出,但到目前為止,我們只在核心監視器中接受輸入。在QEMU中,在圖形化視窗中鍵入的輸入顯示為從鍵盤到JOS的輸入,而在控制檯中鍵入的輸入顯示為串列埠上的字元。kern/console.c已經包含了自lab 1以來核心監視器一直使用的鍵盤和序列驅動程式,但是現在您需要將它們附加到系統的其他部分。

Exercise 9.

在你的kern/trap.c,呼叫kbd_intr處理trap`` IRQ_OFFSET+IRQ_KBD,呼叫serial_intr處理trap IRQ_OFFSET+IRQ_SERIAL。

我們在lib/console.c中為您實現了控制檯輸入/輸出檔案型別。kbd_intr和serial_intr用最近讀取的輸入填充緩衝區,而控制檯檔案型別耗盡緩衝區(控制檯檔案型別預設用於stdin/stdout,除非使用者重定向它們)。

其實這裡非常簡單就是新增兩個新的trap處理函式

  1. //kern/trap.c/trap_dispatch()
  2. if (tf->tf_trapno == IRQ_OFFSET + IRQ_KBD){
  3. kbd_intr();
  4. return;
  5. }
  6. else if (tf->tf_trapno == IRQ_OFFSET + IRQ_SERIAL){
  7. serial_intr();
  8. return;
  9. }

然後我們來看一下這兩個陷阱處理函式是怎麼做的

  1. kbd_intr()

    kbd_proc_data()是從鍵盤讀入a character就返回,如果沒輸入就返回-1*

    1. void kbd_intr(void)
    2. {
    3. cons_intr(kbd_proc_data);
    4. }
  2. cons_intr

    serial_proc_data()很明顯就是從串列埠讀一個

    1. void serial_intr(void){
    2. if (serial_exists)
    3. cons_intr(serial_proc_data);
    4. }

    這兩個函式都呼叫了cons_intr函式

  3. cons_intr函式

    將從鍵盤讀入的一行填充到cons.buf

    1. static void cons_intr(int (*proc)(void))
    2. {
    3. int c;
    4. while ((c = (*proc)()) != -1) {
    5. if (c == 0)
    6. continue;
    7. cons.buf[cons.wpos++] = c;
    8. if (cons.wpos == CONSBUFSIZE)
    9. cons.wpos = 0;
    10. }

10. The Shell

Run make run-icode or make run-icode-nox。這將執行核心並啟動user/icode。icode執行init,它將把控制檯設定為檔案描述符0和1(標準輸入和標準輸出)。然後它會spawn sh,也就是shell。你應該能夠執行以下命令:

echo hello world | cat

cat lorem |cat

cat lorem |num

cat lorem |num |num

|num |num |num lsfd

注意,使用者庫例程cprintf直接列印到控制檯,而不使用檔案描述符程式碼。這對於除錯非常有用,但是對於piping into other programs卻不是很有用。要將輸出列印到特定的檔案描述符(例如,1,標準輸出),請使用fprintf(1, “…”, …)。 printf("…", …)是列印到FD 1的捷徑。有關示例,請參見user/lsfd.c。

Exercise 10.

shell不支援I/O重定向。如果能執行sh <script就更好,而不是像上面那樣手工輸入script中的所有命令。將<的I/O重定向新增到user/sh.c

  1. case '<': // Input redirection
  2. // Grab the filename from the argument list
  3. if (gettoken(0, &t) != 'w') {
  4. cprintf("syntax error: < not followed by word\n");
  5. exit();
  6. }
  7. // LAB 5: Your code here.
  8. if ((fd = open(t, O_RDONLY)) < 0) {
  9. cprintf("open %s for read: %e", t, fd);
  10. exit();
  11. }
  12. if (fd != 0) {
  13. dup(fd, 0);
  14. close(fd);
  15. }
  16. break;

11. Summary

好了828暫時也告一段落了,lab6就不寫了。。我認識的好多人都沒寫,我也就暫時不寫了。(lab5寫的確實有點草率,主要是中間間隔了太久。。。。趕上暑假了)後面應該是會去看一下xv6的原始碼。然後看完leveldb原始碼。後面會寫一個DDIA的閱讀筆記,然後就是偶爾會更新刷題的總結部落格啦。