pintos-os.org Git - pintos-anon/blob - grading/filesys/tests.txt

   1 CORRECTNESS [[total]]
   2 ---------------------
   3
   4 Small files (< 63 kB)
   5   sm-create: create small file, verify initialization to zeros
   6   sm-full: write small file in single system call, reread to verify
   7   sm-seq-block: write small file one block at a time, reread to verify
   8   sm-seq-random: write small file a random amount at a time, reread to verify
   9   sm-random: write small file randomly, reread randomly to verify
  10 Score: /5
  11
  12 Large files (>= 63 kB)
  13   lg-create: create large file, verify initialization to zeros
  14   lg-full: write large file in single system call, reread to verify
  15   lg-seq-block: write large file one block at a time, reread to verify
  16   lg-seq-random: write large file a random amount at a time, reread to verify
  17   lg-random: write large file randomly, reread randomly to verify
  18 Score: /
  19
  20 File growth
  21   grow-create: create empty file, verify
  22   grow-seq-sm: extend empty file sequentially to small size, verify
  23   grow-seq-lg: extend empty file sequentially to large size, verify
  24   grow-file-size: filesize must return proper value as file grows
  25   grow-tell: tell must return proper value as file grows
  26   grow-sparse: create empty file, seek past 64 kB, write byte, verify zeroing
  27   grow-too-big: create empty file, seek past 2 GB, write byte, must not crash
  28   grow-root-sm: create 20 small files in root directory
  29   grow-root-lg: create 50 small files in root directory
  30   grow-dir-lg: create subdirectory, create 50 small files in it
  31   grow-two-files: growing two files alternately must work
  32 Score: /
  33
  34 Subdirectories and file management
  35   dir-mkdir: mkdir a, create a/b, chdir a, open b
  36   dir-rmdir: create directory, remove directory, chdir into it must now fail
  37   dir-mk-vine: create deep chain of directories, create & check files in them
  38   dir-rm-vine: create and remove deep chain of directories
  39   dir-mk-tree: create wide, deep directory tree, create & check files in it
  40   dir-rm-tree: create and remove wide, deep directory tree
  41   dir-lsdir: lsdir must work
  42   dir-rm-cwd: removing current directory must not crash
  43   dir-rm-cwd-cd: if current directory removable, then cd'ing to it must fail
  44   dir-rm-parent: removing current directory and then its parent must not crash
  45   dir-rm-root: must not be able to remove root directory
  46   dir-over-file: creating a directory named after an existing file must fail
  47   dir-under-file: creating a file named after an existing directory must fail
  48   dir-empty-name: creating a file named after the empty string must fail
  49   dir-open: if directories can be opened as files, then writing them must fail
  50 Score: /
  51
  52 Synchronization
  53   syn-remove: read and write deleted file
  54   syn-read: one process writes file then many read it
  55   syn-write: many processes write different parts of file, then verify
  56   syn-rw: one process extends file sequentially as many read it sequentially
  57 Score: /