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