file system

#include “filesys/free-map.h” #include #include #include “filesys/file.h” #include “filesys/filesys.h” #include “filesys/inode.h” static struct file *free_map_file; /* Free map file. */ static struct bitmap *free_map; /* Free map, one bit per sector. */ /* Initializes the free map. */ void free_map_init (void) { free_map = bitmap_create (block_size (fs_device)); if (free_map == NULL) PANIC (“bitmap creation failed–file system […]

#include “devices/partition.h” #include #include #include #include #include “devices/block.h” #include “threads/malloc.h” /* A partition of a block device. */ struct partition { struct block *block; /* Underlying block device. */ block_sector_t start; /* First sector within device. */ }; static struct block_operations partition_operations; static void read_partition_table (struct block *, block_sector_t sector, block_sector_t primary_extended_sector, int *part_nr); static

/* Generates about 1 MB of random data that is then divided into 16 chunks. A separate subprocess sorts each chunk in sequence. Then we merge the chunks and verify that the result is what it should be. */ #include #include “tests/arc4.h” #include “tests/lib.h” #include “tests/main.h” /* This is the max file size for an

#include “threads/init.h” #include #include #include #include #include #include #include #include #include #include “devices/kbd.h” #include “devices/input.h” #include “devices/serial.h” #include “devices/shutdown.h” #include “devices/timer.h” #include “devices/vga.h” #include “devices/rtc.h” #include “threads/interrupt.h” #include “threads/io.h” #include “threads/loader.h” #include “threads/malloc.h” #include “threads/palloc.h” #include “threads/pte.h” #include “threads/thread.h” #ifdef USERPROG #include “userprog/process.h” #include “userprog/exception.h” #include “userprog/gdt.h” #include “userprog/syscall.h” #include “userprog/tss.h” #else #include “tests/threads/tests.h” #endif

#include “filesys/inode.h” #include #include #include #include #include “filesys/filesys.h” #include “filesys/free-map.h” #include “threads/malloc.h” /* Identifies an inode. */ #define INODE_MAGIC 0x494e4f44 /* On-disk inode. Must be exactly BLOCK_SECTOR_SIZE bytes long. */ struct inode_disk { block_sector_t start; /* First data sector. */ off_t length; /* File size in bytes. */ unsigned magic; /* Magic number. */ uint32_t

/* Deletes and closes file that is mapped into memory and verifies that it can still be read through the mapping. */ #include #include #include “tests/vm/sample.inc” #include “tests/lib.h” #include “tests/main.h” void test_main (void) { char *actual = (char *) 0x10000000; int handle; mapid_t map; size_t i; /* Map file. */ CHECK ((handle = open (“sample.txt”))

#include “filesys/fsutil.h” #include #include #include #include #include #include “filesys/directory.h” #include “filesys/file.h” #include “filesys/filesys.h” #include “threads/malloc.h” #include “threads/palloc.h” #include “threads/vaddr.h” /* List files in the root directory. */ void fsutil_ls (char **argv UNUSED) { struct dir *dir; char name[NAME_MAX + 1]; printf (“Files in the root directory:\n”); dir = dir_open_root (); if (dir == NULL) PANIC