From: Ben Pfaff Date: Sat, 4 Dec 2004 01:45:43 +0000 (+0000) Subject: More tests. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=bd79c6dccf08a02b64fe252b23bcae0f27315bff;p=pintos-anon More tests. --- diff --git a/grading/filesys/tests.txt b/grading/filesys/tests.txt index a4ece30..9f5ad13 100644 --- a/grading/filesys/tests.txt +++ b/grading/filesys/tests.txt @@ -21,25 +21,37 @@ File growth grow-create: create empty file, verify grow-seq-sm: extend empty file sequentially to small size, verify grow-seq-lg: extend empty file sequentially to large size, verify + grow-file-size: filesize must return proper value as file grows + grow-tell: tell must return proper value as file grows grow-sparse: create empty file, seek to 128 kB, write byte, verify zeroing - grow-dir-sm: create 20 small files in a directory, - grow-dir-lg: create 200 small files in a directory + grow-root-sm: create 20 small files in root directory + grow-root-lg: create 50 small files in root directory + grow-dir-lg: create subdirectory, create 50 small files in it + grow-two-files: growing two files alternately must work Score: / Subdirectories and file management dir-mkdir: create directory and chdir into it dir-rmdir: create directory, remove directory, chdir into it must now fail - dir-hier: create deep hierarchy of directories + dir-mk-vine: create deep chain of directories + dir-rm-vine: create and remove deep chain of directories + dir-mk-tree: create wide, deep directory tree + dir-rm-tree: create and remove wide, deep directory tree dir-rel-mkdir: mkdir /a, chdir /a, mkdir b, chdir b, create /a/b/c, open c dir-rel-open: mkdir /a, mkdir /a/b, create /a/b/c, chdir /a, open b/c dir-rel-rmdir: mkdir a, mkdir /a/b, chdir a, rmdir b dir-rel-remove: mkdir a, create /a/b, chdir a, remove b dir-abs-mkdir: mkdir /a, chdir /a, mkdir /b, create /b/c, chdir /b, open c - dir-lsdir: lsdir must do something reasonable + dir-lsdir: lsdir must work + dir-rm-cwd: removing current directory must not crash + dir-rm-cwd-cd: if current directory removed then cd'ing to it must fail + dir-rm-parent: removing current directory and then its parent must not crash + dir-open: if directories can be opened as file, then writing them must fail Score: / Synchronization syn-remove: read and write deleted file - syn-mult-read: one process writes file, many read from it - syn-mult-write: many processes write different parts of file, then verify + syn-read: one process writes file then many read it + syn-write: many processes write different parts of file, then verify + syn-rw: one process extends file sequentially as many read it sequentially Score: /