Make tests public. Rewrite most tests. Add tests.
authorBen Pfaff <blp@cs.stanford.edu>
Sun, 19 Jun 2005 03:20:25 +0000 (03:20 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Sun, 19 Jun 2005 03:20:25 +0000 (03:20 +0000)
commit4ebf33908a571a7cde93fe618902b044e3633cdf
treedadfa1504bc1570bcf269942e29e04f3d677d407
parenta6707cab2ede5adc59479d16000cb938b386db36
Make tests public.  Rewrite most tests.  Add tests.
Major revisions to documentation and assignments.
Implement good solutions to all assignments.
Rewrite pintos script, fsutils, and Pintos command line parsing to
support put, get of multiple files.
New pintos-mkdisk script for what pintos doesn't do anymore.
Make backtrace more friendly.
Major revisions to base file system.
Get rid of names passed to synch primitives.
Break intr_register() into intr_register_ext() and intr_register_int().
Revise bitmap code.
Add console_locked_by_current_thread() and use it.
munmap() has void return value (in lib/user/syscall.c).
Update expected tools versions.
Document use of qemu.
Add realloc() function to malloc implementation.
Add is_user_vaddr() and is_kernel_vaddr(), use in mmu.h.
Add sema_try_down(), lock_try_acquire().
Add memory barrier.
Extend default time slice to 4 ticks and calculate time slices
properly (don't just switch whenever timer_ticks() % 4 == 0).
Fix writing to palloc'd memory without checking against null
in pagedir_create().
Invalidate TLB when we mark pages not accessed or not dirty.
Revise other pagedir code.
Make load() less nasty-looking.
800 files changed:
AUTHORS
LICENSE
Makefile
TODO
doc/44bsd.texi [new file with mode: 0644]
doc/Makefile
doc/debug.texi
doc/devel.texi
doc/doc.texi
doc/filesys.texi
doc/filesys.tmpl [new file with mode: 0644]
doc/intro.texi
doc/mlfqs.texi [deleted file]
doc/pintos.css
doc/pintos.texi
doc/references.texi
doc/sample.tmpl [new file with mode: 0644]
doc/standards.texi
doc/texi2html
doc/threads.texi
doc/threads.tmpl [new file with mode: 0644]
doc/tour.texi
doc/userprog.texi
doc/userprog.tmpl [new file with mode: 0644]
doc/vm.texi
doc/vm.tmpl [new file with mode: 0644]
grading/Makefile [deleted file]
grading/filesys/.cvsignore [deleted file]
grading/filesys/Make.progs [deleted file]
grading/filesys/Makefile [deleted file]
grading/filesys/child-syn-read.c [deleted file]
grading/filesys/child-syn-rw.c [deleted file]
grading/filesys/child-syn-wrt.c [deleted file]
grading/filesys/create.inc [deleted file]
grading/filesys/dir-empty-name.c [deleted file]
grading/filesys/dir-empty-name.exp [deleted file]
grading/filesys/dir-lsdir.c [deleted file]
grading/filesys/dir-mk-tree.c [deleted file]
grading/filesys/dir-mk-tree.exp [deleted file]
grading/filesys/dir-mk-vine.c [deleted file]
grading/filesys/dir-mk-vine.exp [deleted file]
grading/filesys/dir-mkdir.c [deleted file]
grading/filesys/dir-mkdir.exp [deleted file]
grading/filesys/dir-open.c [deleted file]
grading/filesys/dir-open.exp [deleted file]
grading/filesys/dir-over-file.c [deleted file]
grading/filesys/dir-over-file.exp [deleted file]
grading/filesys/dir-rm-cwd-cd.c [deleted file]
grading/filesys/dir-rm-cwd-cd.exp [deleted file]
grading/filesys/dir-rm-cwd.c [deleted file]
grading/filesys/dir-rm-cwd.exp [deleted file]
grading/filesys/dir-rm-parent.c [deleted file]
grading/filesys/dir-rm-parent.exp [deleted file]
grading/filesys/dir-rm-root.c [deleted file]
grading/filesys/dir-rm-root.exp [deleted file]
grading/filesys/dir-rm-tree.c [deleted file]
grading/filesys/dir-rm-tree.exp [deleted file]
grading/filesys/dir-rm-vine.c [deleted file]
grading/filesys/dir-rm-vine.exp [deleted file]
grading/filesys/dir-rmdir.c [deleted file]
grading/filesys/dir-rmdir.exp [deleted file]
grading/filesys/dir-under-file.c [deleted file]
grading/filesys/dir-under-file.exp [deleted file]
grading/filesys/fslib.c [deleted file]
grading/filesys/fslib.h [deleted file]
grading/filesys/fsmain.c [deleted file]
grading/filesys/full.inc [deleted file]
grading/filesys/grow-create.c [deleted file]
grading/filesys/grow-create.exp [deleted file]
grading/filesys/grow-dir-lg.c [deleted file]
grading/filesys/grow-dir-lg.exp [deleted file]
grading/filesys/grow-dir.inc [deleted file]
grading/filesys/grow-file-size.c [deleted file]
grading/filesys/grow-file-size.exp [deleted file]
grading/filesys/grow-root-lg.c [deleted file]
grading/filesys/grow-root-lg.exp [deleted file]
grading/filesys/grow-root-sm.c [deleted file]
grading/filesys/grow-root-sm.exp [deleted file]
grading/filesys/grow-seq-lg.c [deleted file]
grading/filesys/grow-seq-lg.exp [deleted file]
grading/filesys/grow-seq-sm.c [deleted file]
grading/filesys/grow-seq-sm.exp [deleted file]
grading/filesys/grow-seq.inc [deleted file]
grading/filesys/grow-sparse.c [deleted file]
grading/filesys/grow-sparse.exp [deleted file]
grading/filesys/grow-tell.c [deleted file]
grading/filesys/grow-tell.exp [deleted file]
grading/filesys/grow-too-big.c [deleted file]
grading/filesys/grow-too-big.exp [deleted file]
grading/filesys/grow-two-files.c [deleted file]
grading/filesys/grow-two-files.exp [deleted file]
grading/filesys/lg-create.c [deleted file]
grading/filesys/lg-create.exp [deleted file]
grading/filesys/lg-full.c [deleted file]
grading/filesys/lg-full.exp [deleted file]
grading/filesys/lg-random.c [deleted file]
grading/filesys/lg-random.exp [deleted file]
grading/filesys/lg-seq-block.c [deleted file]
grading/filesys/lg-seq-block.exp [deleted file]
grading/filesys/lg-seq-random.c [deleted file]
grading/filesys/lg-seq-random.exp [deleted file]
grading/filesys/lib/.cvsignore [deleted file]
grading/filesys/lib/user/.cvsignore [deleted file]
grading/filesys/main.c [deleted file]
grading/filesys/mk-tree.c [deleted file]
grading/filesys/mk-tree.h [deleted file]
grading/filesys/random.inc [deleted file]
grading/filesys/review.txt [deleted file]
grading/filesys/run-tests [deleted file]
grading/filesys/seq-block.inc [deleted file]
grading/filesys/seq-random.inc [deleted file]
grading/filesys/sm-create.c [deleted file]
grading/filesys/sm-create.exp [deleted file]
grading/filesys/sm-full.c [deleted file]
grading/filesys/sm-full.exp [deleted file]
grading/filesys/sm-random.c [deleted file]
grading/filesys/sm-random.exp [deleted file]
grading/filesys/sm-seq-block.c [deleted file]
grading/filesys/sm-seq-block.exp [deleted file]
grading/filesys/sm-seq-random.c [deleted file]
grading/filesys/sm-seq-random.exp [deleted file]
grading/filesys/syn-read.c [deleted file]
grading/filesys/syn-read.exp [deleted file]
grading/filesys/syn-read.h [deleted file]
grading/filesys/syn-remove.c [deleted file]
grading/filesys/syn-remove.exp [deleted file]
grading/filesys/syn-rw.c [deleted file]
grading/filesys/syn-rw.h [deleted file]
grading/filesys/syn-write.c [deleted file]
grading/filesys/syn-write.exp [deleted file]
grading/filesys/syn-write.h [deleted file]
grading/filesys/tests.txt [deleted file]
grading/lib/.cvsignore [deleted file]
grading/lib/Algorithm/Diff.pm [deleted file]
grading/lib/Pintos/Grading.pm [deleted file]
grading/lib/arc4.c [deleted file]
grading/lib/arc4.h [deleted file]
grading/lib/cksum.c [deleted file]
grading/lib/cksum.h [deleted file]
grading/threads/alarm-multiple.c [deleted file]
grading/threads/alarm-negative.c [deleted file]
grading/threads/alarm-single.c [deleted file]
grading/threads/alarm-zero.c [deleted file]
grading/threads/mlfqs.c [deleted file]
grading/threads/priority-donate-multiple.c [deleted file]
grading/threads/priority-donate-multiple.exp [deleted file]
grading/threads/priority-donate-nest.c [deleted file]
grading/threads/priority-donate-nest.exp [deleted file]
grading/threads/priority-donate-one.c [deleted file]
grading/threads/priority-donate-one.exp [deleted file]
grading/threads/priority-fifo.c [deleted file]
grading/threads/priority-preempt.c [deleted file]
grading/threads/priority-preempt.exp [deleted file]
grading/threads/review.txt [deleted file]
grading/threads/run-tests [deleted file]
grading/threads/tests.txt [deleted file]
grading/userprog/.cvsignore [deleted file]
grading/userprog/Make.base [deleted file]
grading/userprog/Make.tests [deleted file]
grading/userprog/Makefile [deleted file]
grading/userprog/args-argc.c [deleted file]
grading/userprog/args-argc.exp [deleted file]
grading/userprog/args-argv0.c [deleted file]
grading/userprog/args-argv0.exp [deleted file]
grading/userprog/args-argvn.c [deleted file]
grading/userprog/args-argvn.exp [deleted file]
grading/userprog/args-dbl-space.c [deleted file]
grading/userprog/args-dbl-space.exp [deleted file]
grading/userprog/args-multiple.c [deleted file]
grading/userprog/args-multiple.exp [deleted file]
grading/userprog/args-single.c [deleted file]
grading/userprog/args-single.exp [deleted file]
grading/userprog/child-arg.c [deleted file]
grading/userprog/child-bad.c [deleted file]
grading/userprog/child-close.c [deleted file]
grading/userprog/child-simple.c [deleted file]
grading/userprog/close-bad-fd.c [deleted file]
grading/userprog/close-bad-fd.exp [deleted file]
grading/userprog/close-normal.c [deleted file]
grading/userprog/close-normal.exp [deleted file]
grading/userprog/close-stdin.c [deleted file]
grading/userprog/close-stdin.exp [deleted file]
grading/userprog/close-stdout.c [deleted file]
grading/userprog/close-stdout.exp [deleted file]
grading/userprog/close-twice.c [deleted file]
grading/userprog/close-twice.exp [deleted file]
grading/userprog/create-bad-ptr.c [deleted file]
grading/userprog/create-bad-ptr.exp [deleted file]
grading/userprog/create-bound.c [deleted file]
grading/userprog/create-bound.exp [deleted file]
grading/userprog/create-empty.c [deleted file]
grading/userprog/create-empty.exp [deleted file]
grading/userprog/create-exists.c [deleted file]
grading/userprog/create-exists.exp [deleted file]
grading/userprog/create-long.c [deleted file]
grading/userprog/create-long.exp [deleted file]
grading/userprog/create-normal.c [deleted file]
grading/userprog/create-normal.exp [deleted file]
grading/userprog/create-null.c [deleted file]
grading/userprog/create-null.exp [deleted file]
grading/userprog/exec-arg.c [deleted file]
grading/userprog/exec-arg.exp [deleted file]
grading/userprog/exec-bad-ptr.c [deleted file]
grading/userprog/exec-bad-ptr.exp [deleted file]
grading/userprog/exec-missing.c [deleted file]
grading/userprog/exec-missing.exp [deleted file]
grading/userprog/exec-multiple.c [deleted file]
grading/userprog/exec-multiple.exp [deleted file]
grading/userprog/exec-once.c [deleted file]
grading/userprog/exec-once.exp [deleted file]
grading/userprog/exit.c [deleted file]
grading/userprog/exit.exp [deleted file]
grading/userprog/halt.c [deleted file]
grading/userprog/halt.exp [deleted file]
grading/userprog/lib/.cvsignore [deleted file]
grading/userprog/lib/user/.cvsignore [deleted file]
grading/userprog/mkmf [deleted file]
grading/userprog/multi-child-fd.c [deleted file]
grading/userprog/multi-child-fd.exp [deleted file]
grading/userprog/multi-oom.c [deleted file]
grading/userprog/multi-parent-fd.c [deleted file]
grading/userprog/multi-recurse.c [deleted file]
grading/userprog/multi-recurse.exp [deleted file]
grading/userprog/null.S [deleted file]
grading/userprog/null.exp [deleted file]
grading/userprog/open-bad-ptr.c [deleted file]
grading/userprog/open-bad-ptr.exp [deleted file]
grading/userprog/open-boundary.c [deleted file]
grading/userprog/open-boundary.exp [deleted file]
grading/userprog/open-empty.c [deleted file]
grading/userprog/open-empty.exp [deleted file]
grading/userprog/open-missing.c [deleted file]
grading/userprog/open-missing.exp [deleted file]
grading/userprog/open-normal.c [deleted file]
grading/userprog/open-normal.exp [deleted file]
grading/userprog/open-null.c [deleted file]
grading/userprog/open-null.exp [deleted file]
grading/userprog/open-twice.c [deleted file]
grading/userprog/open-twice.exp [deleted file]
grading/userprog/patches/00random.patch [deleted file]
grading/userprog/prep-disk [deleted file]
grading/userprog/read-bad-fd.c [deleted file]
grading/userprog/read-bad-fd.exp [deleted file]
grading/userprog/read-bad-ptr.c [deleted file]
grading/userprog/read-bad-ptr.exp [deleted file]
grading/userprog/read-boundary.c [deleted file]
grading/userprog/read-boundary.exp [deleted file]
grading/userprog/read-normal.c [deleted file]
grading/userprog/read-normal.exp [deleted file]
grading/userprog/read-stdout.c [deleted file]
grading/userprog/read-stdout.exp [deleted file]
grading/userprog/read-zero.c [deleted file]
grading/userprog/read-zero.exp [deleted file]
grading/userprog/review.txt [deleted file]
grading/userprog/run-tests [deleted file]
grading/userprog/sample.inc [deleted file]
grading/userprog/sample.txt [deleted file]
grading/userprog/sc-bad-arg.c [deleted file]
grading/userprog/sc-bad-arg.exp [deleted file]
grading/userprog/sc-bad-sp.c [deleted file]
grading/userprog/sc-bad-sp.exp [deleted file]
grading/userprog/sc-boundary.c [deleted file]
grading/userprog/sc-boundary.exp [deleted file]
grading/userprog/tests.txt [deleted file]
grading/userprog/wait-bad-pid.c [deleted file]
grading/userprog/wait-bad-pid.exp [deleted file]
grading/userprog/wait-killed.c [deleted file]
grading/userprog/wait-killed.exp [deleted file]
grading/userprog/wait-simple.c [deleted file]
grading/userprog/wait-simple.exp [deleted file]
grading/userprog/wait-twice.c [deleted file]
grading/userprog/wait-twice.exp [deleted file]
grading/userprog/write-bad-fd.c [deleted file]
grading/userprog/write-bad-fd.exp [deleted file]
grading/userprog/write-bad-ptr.c [deleted file]
grading/userprog/write-bad-ptr.exp [deleted file]
grading/userprog/write-boundary.c [deleted file]
grading/userprog/write-boundary.exp [deleted file]
grading/userprog/write-normal.c [deleted file]
grading/userprog/write-normal.exp [deleted file]
grading/userprog/write-stdin.c [deleted file]
grading/userprog/write-stdin.exp [deleted file]
grading/userprog/write-zero.c [deleted file]
grading/userprog/write-zero.exp [deleted file]
grading/vm/.cvsignore [deleted file]
grading/vm/Make.progs [deleted file]
grading/vm/Makefile [deleted file]
grading/vm/Makefile.posix [deleted file]
grading/vm/child-linear.c [deleted file]
grading/vm/child-mm-wrt.c [deleted file]
grading/vm/child-sort.c [deleted file]
grading/vm/lib/.cvsignore [deleted file]
grading/vm/lib/user/.cvsignore [deleted file]
grading/vm/mmap-close.c [deleted file]
grading/vm/mmap-close.exp [deleted file]
grading/vm/mmap-exit.c [deleted file]
grading/vm/mmap-exit.exp [deleted file]
grading/vm/mmap-overlap.c [deleted file]
grading/vm/mmap-overlap.exp [deleted file]
grading/vm/mmap-read.c [deleted file]
grading/vm/mmap-read.exp [deleted file]
grading/vm/mmap-shuffle.c [deleted file]
grading/vm/mmap-shuffle.exp [deleted file]
grading/vm/mmap-twice.c [deleted file]
grading/vm/mmap-twice.exp [deleted file]
grading/vm/mmap-unmap.c [deleted file]
grading/vm/mmap-write.c [deleted file]
grading/vm/mmap-write.exp [deleted file]
grading/vm/page-linear.c [deleted file]
grading/vm/page-linear.exp [deleted file]
grading/vm/page-merge-par.c [deleted file]
grading/vm/page-merge-par.exp [deleted file]
grading/vm/page-merge-seq.c [deleted file]
grading/vm/page-merge-seq.exp [deleted file]
grading/vm/page-parallel.c [deleted file]
grading/vm/page-parallel.exp [deleted file]
grading/vm/page-shuffle.c [deleted file]
grading/vm/page-shuffle.exp [deleted file]
grading/vm/patches/00random.patch [deleted file]
grading/vm/posix-compat.c [deleted file]
grading/vm/posix-compat.h [deleted file]
grading/vm/prep-disk [deleted file]
grading/vm/pt-bad-addr.c [deleted file]
grading/vm/pt-big-stk-obj.c [deleted file]
grading/vm/pt-big-stk-obj.exp [deleted file]
grading/vm/pt-grow-stack.c [deleted file]
grading/vm/pt-grow-stack.exp [deleted file]
grading/vm/pt-write-code.c [deleted file]
grading/vm/review.txt [deleted file]
grading/vm/run-tests [deleted file]
grading/vm/sample.inc [deleted file]
grading/vm/sample.txt [deleted file]
grading/vm/tests.txt [deleted file]
solutions/README
solutions/p1-1.patch [deleted file]
solutions/p1-2.patch [deleted file]
solutions/p1.patch [new file with mode: 0644]
solutions/p2-null.patch [deleted file]
solutions/p2.patch
solutions/p3.patch
solutions/p4.patch [new file with mode: 0644]
src/LICENSE
src/Make.config
src/Makefile
src/Makefile.build
src/Makefile.kernel
src/Makefile.userprog
src/devices/disk.c
src/devices/intq.c
src/devices/intq.h
src/devices/kbd.c
src/devices/serial.c
src/devices/timer.c
src/examples/.cvsignore [new file with mode: 0644]
src/examples/Makefile [new file with mode: 0644]
src/examples/bubsort.c [new file with mode: 0644]
src/examples/echo.c [new file with mode: 0644]
src/examples/halt.c [new file with mode: 0644]
src/examples/insult.c [new file with mode: 0644]
src/examples/lib/.cvsignore [new file with mode: 0644]
src/examples/lib/user/.dummy [new file with mode: 0644]
src/examples/lineup.c [new file with mode: 0644]
src/examples/ls.c [new file with mode: 0644]
src/examples/matmult.c [new file with mode: 0644]
src/examples/mkdir.c [new file with mode: 0644]
src/examples/recursor.c [new file with mode: 0644]
src/examples/shell.c [new file with mode: 0644]
src/filesys/Make.vars
src/filesys/directory.c
src/filesys/directory.h
src/filesys/file.c
src/filesys/file.h
src/filesys/filesys.c
src/filesys/filesys.h
src/filesys/free-map.c [new file with mode: 0644]
src/filesys/free-map.h [new file with mode: 0644]
src/filesys/fsutil.c
src/filesys/fsutil.h
src/filesys/inode.c
src/filesys/inode.h
src/filesys/off_t.h
src/lib/debug.c
src/lib/debug.h
src/lib/kernel/bitmap.c
src/lib/kernel/bitmap.h
src/lib/kernel/console.c
src/lib/kernel/debug.c [new file with mode: 0644]
src/lib/kernel/list.c
src/lib/kernel/stdio.h [new file with mode: 0644]
src/lib/stdio.h
src/lib/string.c
src/lib/user/debug.c [new file with mode: 0644]
src/lib/user/normal.lds
src/lib/user/stdio.h [new file with mode: 0644]
src/lib/user/syscall.c
src/lib/user/syscall.h
src/misc/TODO [deleted file]
src/misc/bochs-2.1.1.patch
src/misc/gcc-3.3.5.patch [deleted file]
src/misc/gcc-3.3.6.patch [new file with mode: 0644]
src/tests/Make.tests [new file with mode: 0644]
src/tests/Makefile [deleted file]
src/tests/arc4.c [new file with mode: 0644]
src/tests/arc4.h [new file with mode: 0644]
src/tests/arc4.pm [new file with mode: 0644]
src/tests/cksum.c [new file with mode: 0644]
src/tests/cksum.h [new file with mode: 0644]
src/tests/cksum.pm [new file with mode: 0644]
src/tests/filesys/base/Make.tests [new file with mode: 0644]
src/tests/filesys/base/child-syn-read.c [new file with mode: 0644]
src/tests/filesys/base/child-syn-wrt.c [new file with mode: 0644]
src/tests/filesys/base/full.inc [new file with mode: 0644]
src/tests/filesys/base/lg-create.c [new file with mode: 0644]
src/tests/filesys/base/lg-create.ck [new file with mode: 0644]
src/tests/filesys/base/lg-full.c [new file with mode: 0644]
src/tests/filesys/base/lg-full.ck [new file with mode: 0644]
src/tests/filesys/base/lg-random.c [new file with mode: 0644]
src/tests/filesys/base/lg-random.ck [new file with mode: 0644]
src/tests/filesys/base/lg-seq-block.c [new file with mode: 0644]
src/tests/filesys/base/lg-seq-block.ck [new file with mode: 0644]
src/tests/filesys/base/lg-seq-random.c [new file with mode: 0644]
src/tests/filesys/base/lg-seq-random.ck [new file with mode: 0644]
src/tests/filesys/base/random.inc [new file with mode: 0644]
src/tests/filesys/base/seq-block.inc [new file with mode: 0644]
src/tests/filesys/base/seq-random.inc [new file with mode: 0644]
src/tests/filesys/base/sm-create.c [new file with mode: 0644]
src/tests/filesys/base/sm-create.ck [new file with mode: 0644]
src/tests/filesys/base/sm-full.c [new file with mode: 0644]
src/tests/filesys/base/sm-full.ck [new file with mode: 0644]
src/tests/filesys/base/sm-random.c [new file with mode: 0644]
src/tests/filesys/base/sm-random.ck [new file with mode: 0644]
src/tests/filesys/base/sm-seq-block.c [new file with mode: 0644]
src/tests/filesys/base/sm-seq-block.ck [new file with mode: 0644]
src/tests/filesys/base/sm-seq-random.c [new file with mode: 0644]
src/tests/filesys/base/sm-seq-random.ck [new file with mode: 0644]
src/tests/filesys/base/syn-read.c [new file with mode: 0644]
src/tests/filesys/base/syn-read.ck [new file with mode: 0644]
src/tests/filesys/base/syn-read.h [new file with mode: 0644]
src/tests/filesys/base/syn-remove.c [new file with mode: 0644]
src/tests/filesys/base/syn-remove.ck [new file with mode: 0644]
src/tests/filesys/base/syn-write.c [new file with mode: 0644]
src/tests/filesys/base/syn-write.ck [new file with mode: 0644]
src/tests/filesys/base/syn-write.h [new file with mode: 0644]
src/tests/filesys/create.inc [new file with mode: 0644]
src/tests/filesys/extended/Make.tests [new file with mode: 0644]
src/tests/filesys/extended/child-syn-rw.c [new file with mode: 0644]
src/tests/filesys/extended/dir-empty-name.c [new file with mode: 0644]
src/tests/filesys/extended/dir-empty-name.ck [new file with mode: 0644]
src/tests/filesys/extended/dir-lsdir.c [new file with mode: 0644]
src/tests/filesys/extended/dir-lsdir.ck [new file with mode: 0644]
src/tests/filesys/extended/dir-mk-tree.c [new file with mode: 0644]
src/tests/filesys/extended/dir-mk-tree.ck [new file with mode: 0644]
src/tests/filesys/extended/dir-mk-vine.c [new file with mode: 0644]
src/tests/filesys/extended/dir-mk-vine.ck [new file with mode: 0644]
src/tests/filesys/extended/dir-mkdir.c [new file with mode: 0644]
src/tests/filesys/extended/dir-mkdir.ck [new file with mode: 0644]
src/tests/filesys/extended/dir-open.c [new file with mode: 0644]
src/tests/filesys/extended/dir-open.ck [new file with mode: 0644]
src/tests/filesys/extended/dir-over-file.c [new file with mode: 0644]
src/tests/filesys/extended/dir-over-file.ck [new file with mode: 0644]
src/tests/filesys/extended/dir-rm-cwd-cd.c [new file with mode: 0644]
src/tests/filesys/extended/dir-rm-cwd-cd.ck [new file with mode: 0644]
src/tests/filesys/extended/dir-rm-cwd.c [new file with mode: 0644]
src/tests/filesys/extended/dir-rm-cwd.ck [new file with mode: 0644]
src/tests/filesys/extended/dir-rm-parent.c [new file with mode: 0644]
src/tests/filesys/extended/dir-rm-parent.ck [new file with mode: 0644]
src/tests/filesys/extended/dir-rm-root.c [new file with mode: 0644]
src/tests/filesys/extended/dir-rm-root.ck [new file with mode: 0644]
src/tests/filesys/extended/dir-rm-tree.c [new file with mode: 0644]
src/tests/filesys/extended/dir-rm-tree.ck [new file with mode: 0644]
src/tests/filesys/extended/dir-rm-vine.c [new file with mode: 0644]
src/tests/filesys/extended/dir-rm-vine.ck [new file with mode: 0644]
src/tests/filesys/extended/dir-rmdir.c [new file with mode: 0644]
src/tests/filesys/extended/dir-rmdir.ck [new file with mode: 0644]
src/tests/filesys/extended/dir-under-file.c [new file with mode: 0644]
src/tests/filesys/extended/dir-under-file.ck [new file with mode: 0644]
src/tests/filesys/extended/grow-create.c [new file with mode: 0644]
src/tests/filesys/extended/grow-create.ck [new file with mode: 0644]
src/tests/filesys/extended/grow-dir-lg.c [new file with mode: 0644]
src/tests/filesys/extended/grow-dir-lg.ck [new file with mode: 0644]
src/tests/filesys/extended/grow-dir.inc [new file with mode: 0644]
src/tests/filesys/extended/grow-file-size.c [new file with mode: 0644]
src/tests/filesys/extended/grow-file-size.ck [new file with mode: 0644]
src/tests/filesys/extended/grow-root-lg.c [new file with mode: 0644]
src/tests/filesys/extended/grow-root-lg.ck [new file with mode: 0644]
src/tests/filesys/extended/grow-root-sm.c [new file with mode: 0644]
src/tests/filesys/extended/grow-root-sm.ck [new file with mode: 0644]
src/tests/filesys/extended/grow-seq-lg.c [new file with mode: 0644]
src/tests/filesys/extended/grow-seq-lg.ck [new file with mode: 0644]
src/tests/filesys/extended/grow-seq-sm.c [new file with mode: 0644]
src/tests/filesys/extended/grow-seq-sm.ck [new file with mode: 0644]
src/tests/filesys/extended/grow-seq.inc [new file with mode: 0644]
src/tests/filesys/extended/grow-sparse.c [new file with mode: 0644]
src/tests/filesys/extended/grow-sparse.ck [new file with mode: 0644]
src/tests/filesys/extended/grow-tell.c [new file with mode: 0644]
src/tests/filesys/extended/grow-tell.ck [new file with mode: 0644]
src/tests/filesys/extended/grow-too-big.c [new file with mode: 0644]
src/tests/filesys/extended/grow-too-big.ck [new file with mode: 0644]
src/tests/filesys/extended/grow-two-files.c [new file with mode: 0644]
src/tests/filesys/extended/grow-two-files.ck [new file with mode: 0644]
src/tests/filesys/extended/mk-tree.c [new file with mode: 0644]
src/tests/filesys/extended/mk-tree.h [new file with mode: 0644]
src/tests/filesys/extended/syn-rw.c [new file with mode: 0644]
src/tests/filesys/extended/syn-rw.ck [new file with mode: 0644]
src/tests/filesys/extended/syn-rw.h [new file with mode: 0644]
src/tests/filesys/seq-test.c [new file with mode: 0644]
src/tests/filesys/seq-test.h [new file with mode: 0644]
src/tests/internal/list.c [new file with mode: 0644]
src/tests/internal/stdio.c [new file with mode: 0644]
src/tests/internal/stdlib.c [new file with mode: 0644]
src/tests/lib.c [new file with mode: 0644]
src/tests/lib.h [new file with mode: 0644]
src/tests/lib.pm [new file with mode: 0644]
src/tests/main.c [new file with mode: 0644]
src/tests/main.h [new file with mode: 0644]
src/tests/make-grade [new file with mode: 0755]
src/tests/random.pm [new file with mode: 0644]
src/tests/tests.pm [new file with mode: 0644]
src/tests/threads/Make.tests [new file with mode: 0644]
src/tests/threads/alarm-multiple.ck [new file with mode: 0644]
src/tests/threads/alarm-negative.c [new file with mode: 0644]
src/tests/threads/alarm-negative.ck [new file with mode: 0644]
src/tests/threads/alarm-priority.c [new file with mode: 0644]
src/tests/threads/alarm-priority.ck [new file with mode: 0644]
src/tests/threads/alarm-single.ck [new file with mode: 0644]
src/tests/threads/alarm-wait.c [new file with mode: 0644]
src/tests/threads/alarm-zero.c [new file with mode: 0644]
src/tests/threads/alarm-zero.ck [new file with mode: 0644]
src/tests/threads/alarm.pm [new file with mode: 0644]
src/tests/threads/list.c [deleted file]
src/tests/threads/mlfqs-fair-2.ck [new file with mode: 0644]
src/tests/threads/mlfqs-fair-20.ck [new file with mode: 0644]
src/tests/threads/mlfqs-fair.c [new file with mode: 0644]
src/tests/threads/mlfqs-load-1.c [new file with mode: 0644]
src/tests/threads/mlfqs-load-1.ck [new file with mode: 0644]
src/tests/threads/mlfqs-load-60.c [new file with mode: 0644]
src/tests/threads/mlfqs-load-60.ck [new file with mode: 0644]
src/tests/threads/mlfqs-load-avg.c [new file with mode: 0644]
src/tests/threads/mlfqs-load-avg.ck [new file with mode: 0644]
src/tests/threads/mlfqs-nice-10.ck [new file with mode: 0644]
src/tests/threads/mlfqs-nice-2.ck [new file with mode: 0644]
src/tests/threads/mlfqs-recent-1.c [new file with mode: 0644]
src/tests/threads/mlfqs-recent-1.ck [new file with mode: 0644]
src/tests/threads/mlfqs.pm [new file with mode: 0644]
src/tests/threads/p1-1.c [deleted file]
src/tests/threads/p1-2.c [deleted file]
src/tests/threads/p1-3.c [deleted file]
src/tests/threads/priority-change.c [new file with mode: 0644]
src/tests/threads/priority-change.ck [new file with mode: 0644]
src/tests/threads/priority-condvar.c [new file with mode: 0644]
src/tests/threads/priority-condvar.ck [new file with mode: 0644]
src/tests/threads/priority-donate-multiple.c [new file with mode: 0644]
src/tests/threads/priority-donate-multiple.ck [new file with mode: 0644]
src/tests/threads/priority-donate-nest.c [new file with mode: 0644]
src/tests/threads/priority-donate-nest.ck [new file with mode: 0644]
src/tests/threads/priority-donate-one.c [new file with mode: 0644]
src/tests/threads/priority-donate-one.ck [new file with mode: 0644]
src/tests/threads/priority-fifo.c [new file with mode: 0644]
src/tests/threads/priority-fifo.ck [new file with mode: 0644]
src/tests/threads/priority-lower.c [new file with mode: 0644]
src/tests/threads/priority-preempt.c [new file with mode: 0644]
src/tests/threads/priority-preempt.ck [new file with mode: 0644]
src/tests/threads/priority-sema.c [new file with mode: 0644]
src/tests/threads/priority-sema.ck [new file with mode: 0644]
src/tests/threads/stdio.c [deleted file]
src/tests/threads/stdlib.c [deleted file]
src/tests/threads/tests.c [new file with mode: 0644]
src/tests/threads/tests.h [new file with mode: 0644]
src/tests/userprog/.cvsignore [deleted file]
src/tests/userprog/Make.tests [new file with mode: 0644]
src/tests/userprog/Makefile [deleted file]
src/tests/userprog/args-dbl-space.ck [new file with mode: 0644]
src/tests/userprog/args-many.ck [new file with mode: 0644]
src/tests/userprog/args-multiple.ck [new file with mode: 0644]
src/tests/userprog/args-none.ck [new file with mode: 0644]
src/tests/userprog/args-single.ck [new file with mode: 0644]
src/tests/userprog/args.c [new file with mode: 0644]
src/tests/userprog/boundary.c [new file with mode: 0644]
src/tests/userprog/boundary.h [new file with mode: 0644]
src/tests/userprog/bubsort.c [deleted file]
src/tests/userprog/child-bad.c [new file with mode: 0644]
src/tests/userprog/child-close.c [new file with mode: 0644]
src/tests/userprog/child-rox.c [new file with mode: 0644]
src/tests/userprog/child-simple.c [new file with mode: 0644]
src/tests/userprog/close-bad-fd.c [new file with mode: 0644]
src/tests/userprog/close-bad-fd.ck [new file with mode: 0644]
src/tests/userprog/close-normal.c [new file with mode: 0644]
src/tests/userprog/close-normal.ck [new file with mode: 0644]
src/tests/userprog/close-stdin.c [new file with mode: 0644]
src/tests/userprog/close-stdin.ck [new file with mode: 0644]
src/tests/userprog/close-stdout.c [new file with mode: 0644]
src/tests/userprog/close-stdout.ck [new file with mode: 0644]
src/tests/userprog/close-twice.c [new file with mode: 0644]
src/tests/userprog/close-twice.ck [new file with mode: 0644]
src/tests/userprog/create-bad-ptr.c [new file with mode: 0644]
src/tests/userprog/create-bad-ptr.ck [new file with mode: 0644]
src/tests/userprog/create-bound.c [new file with mode: 0644]
src/tests/userprog/create-bound.ck [new file with mode: 0644]
src/tests/userprog/create-empty.c [new file with mode: 0644]
src/tests/userprog/create-empty.ck [new file with mode: 0644]
src/tests/userprog/create-exists.c [new file with mode: 0644]
src/tests/userprog/create-exists.ck [new file with mode: 0644]
src/tests/userprog/create-long.c [new file with mode: 0644]
src/tests/userprog/create-long.ck [new file with mode: 0644]
src/tests/userprog/create-normal.c [new file with mode: 0644]
src/tests/userprog/create-normal.ck [new file with mode: 0644]
src/tests/userprog/create-null.c [new file with mode: 0644]
src/tests/userprog/create-null.ck [new file with mode: 0644]
src/tests/userprog/echo.c [deleted file]
src/tests/userprog/exec-arg.c [new file with mode: 0644]
src/tests/userprog/exec-arg.ck [new file with mode: 0644]
src/tests/userprog/exec-bad-ptr.c [new file with mode: 0644]
src/tests/userprog/exec-bad-ptr.ck [new file with mode: 0644]
src/tests/userprog/exec-missing.c [new file with mode: 0644]
src/tests/userprog/exec-missing.ck [new file with mode: 0644]
src/tests/userprog/exec-multiple.c [new file with mode: 0644]
src/tests/userprog/exec-multiple.ck [new file with mode: 0644]
src/tests/userprog/exec-once.c [new file with mode: 0644]
src/tests/userprog/exec-once.ck [new file with mode: 0644]
src/tests/userprog/exit.c [new file with mode: 0644]
src/tests/userprog/exit.ck [new file with mode: 0644]
src/tests/userprog/halt.c
src/tests/userprog/halt.ck [new file with mode: 0644]
src/tests/userprog/insult.c [deleted file]
src/tests/userprog/lineup.c [deleted file]
src/tests/userprog/ls.c [deleted file]
src/tests/userprog/matmult.c [deleted file]
src/tests/userprog/mkdir.c [deleted file]
src/tests/userprog/multi-child-fd.c [new file with mode: 0644]
src/tests/userprog/multi-child-fd.ck [new file with mode: 0644]
src/tests/userprog/multi-parent-fd.c [new file with mode: 0644]
src/tests/userprog/multi-recurse.c [new file with mode: 0644]
src/tests/userprog/multi-recurse.ck [new file with mode: 0644]
src/tests/userprog/no-vm/Make.tests [new file with mode: 0644]
src/tests/userprog/no-vm/multi-oom.c [new file with mode: 0644]
src/tests/userprog/no-vm/multi-oom.ck [new file with mode: 0644]
src/tests/userprog/null.ck [new file with mode: 0644]
src/tests/userprog/open-bad-ptr.c [new file with mode: 0644]
src/tests/userprog/open-bad-ptr.ck [new file with mode: 0644]
src/tests/userprog/open-boundary.c [new file with mode: 0644]
src/tests/userprog/open-boundary.ck [new file with mode: 0644]
src/tests/userprog/open-empty.c [new file with mode: 0644]
src/tests/userprog/open-empty.ck [new file with mode: 0644]
src/tests/userprog/open-missing.c [new file with mode: 0644]
src/tests/userprog/open-missing.ck [new file with mode: 0644]
src/tests/userprog/open-normal.c [new file with mode: 0644]
src/tests/userprog/open-normal.ck [new file with mode: 0644]
src/tests/userprog/open-null.c [new file with mode: 0644]
src/tests/userprog/open-null.ck [new file with mode: 0644]
src/tests/userprog/open-twice.c [new file with mode: 0644]
src/tests/userprog/open-twice.ck [new file with mode: 0644]
src/tests/userprog/read-bad-fd.c [new file with mode: 0644]
src/tests/userprog/read-bad-fd.ck [new file with mode: 0644]
src/tests/userprog/read-bad-ptr.c [new file with mode: 0644]
src/tests/userprog/read-bad-ptr.ck [new file with mode: 0644]
src/tests/userprog/read-boundary.c [new file with mode: 0644]
src/tests/userprog/read-boundary.ck [new file with mode: 0644]
src/tests/userprog/read-normal.c [new file with mode: 0644]
src/tests/userprog/read-normal.ck [new file with mode: 0644]
src/tests/userprog/read-stdout.c [new file with mode: 0644]
src/tests/userprog/read-stdout.ck [new file with mode: 0644]
src/tests/userprog/read-zero.c [new file with mode: 0644]
src/tests/userprog/read-zero.ck [new file with mode: 0644]
src/tests/userprog/recursor.c [deleted file]
src/tests/userprog/rox-child.c [new file with mode: 0644]
src/tests/userprog/rox-child.ck [new file with mode: 0644]
src/tests/userprog/rox-child.inc [new file with mode: 0644]
src/tests/userprog/rox-multichild.c [new file with mode: 0644]
src/tests/userprog/rox-multichild.ck [new file with mode: 0644]
src/tests/userprog/rox-simple.c [new file with mode: 0644]
src/tests/userprog/rox-simple.ck [new file with mode: 0644]
src/tests/userprog/sample.inc [new file with mode: 0644]
src/tests/userprog/sample.txt [new file with mode: 0644]
src/tests/userprog/sc-bad-arg.c [new file with mode: 0644]
src/tests/userprog/sc-bad-arg.ck [new file with mode: 0644]
src/tests/userprog/sc-bad-sp.c [new file with mode: 0644]
src/tests/userprog/sc-bad-sp.ck [new file with mode: 0644]
src/tests/userprog/sc-boundary-2.c [new file with mode: 0644]
src/tests/userprog/sc-boundary-2.ck [new file with mode: 0644]
src/tests/userprog/sc-boundary.c [new file with mode: 0644]
src/tests/userprog/sc-boundary.ck [new file with mode: 0644]
src/tests/userprog/shell.c [deleted file]
src/tests/userprog/wait-bad-pid.c [new file with mode: 0644]
src/tests/userprog/wait-bad-pid.ck [new file with mode: 0644]
src/tests/userprog/wait-killed.c [new file with mode: 0644]
src/tests/userprog/wait-killed.ck [new file with mode: 0644]
src/tests/userprog/wait-simple.c [new file with mode: 0644]
src/tests/userprog/wait-simple.ck [new file with mode: 0644]
src/tests/userprog/wait-twice.c [new file with mode: 0644]
src/tests/userprog/wait-twice.ck [new file with mode: 0644]
src/tests/userprog/write-bad-fd.c [new file with mode: 0644]
src/tests/userprog/write-bad-fd.ck [new file with mode: 0644]
src/tests/userprog/write-bad-ptr.c [new file with mode: 0644]
src/tests/userprog/write-bad-ptr.ck [new file with mode: 0644]
src/tests/userprog/write-boundary.c [new file with mode: 0644]
src/tests/userprog/write-boundary.ck [new file with mode: 0644]
src/tests/userprog/write-normal.c [new file with mode: 0644]
src/tests/userprog/write-normal.ck [new file with mode: 0644]
src/tests/userprog/write-stdin.c [new file with mode: 0644]
src/tests/userprog/write-stdin.ck [new file with mode: 0644]
src/tests/userprog/write-zero.c [new file with mode: 0644]
src/tests/userprog/write-zero.ck [new file with mode: 0644]
src/tests/vm/Make.tests [new file with mode: 0644]
src/tests/vm/child-inherit.c [new file with mode: 0644]
src/tests/vm/child-linear.c [new file with mode: 0644]
src/tests/vm/child-mm-wrt.c [new file with mode: 0644]
src/tests/vm/child-sort.c [new file with mode: 0644]
src/tests/vm/mmap-bad-fd.c [new file with mode: 0644]
src/tests/vm/mmap-bad-fd.ck [new file with mode: 0644]
src/tests/vm/mmap-clean.c [new file with mode: 0644]
src/tests/vm/mmap-clean.ck [new file with mode: 0644]
src/tests/vm/mmap-close.c [new file with mode: 0644]
src/tests/vm/mmap-close.ck [new file with mode: 0644]
src/tests/vm/mmap-exit.c [new file with mode: 0644]
src/tests/vm/mmap-exit.ck [new file with mode: 0644]
src/tests/vm/mmap-inherit.c [new file with mode: 0644]
src/tests/vm/mmap-inherit.ck [new file with mode: 0644]
src/tests/vm/mmap-misalign.c [new file with mode: 0644]
src/tests/vm/mmap-misalign.ck [new file with mode: 0644]
src/tests/vm/mmap-null.c [new file with mode: 0644]
src/tests/vm/mmap-null.ck [new file with mode: 0644]
src/tests/vm/mmap-over-code.c [new file with mode: 0644]
src/tests/vm/mmap-over-code.ck [new file with mode: 0644]
src/tests/vm/mmap-over-data.c [new file with mode: 0644]
src/tests/vm/mmap-over-data.ck [new file with mode: 0644]
src/tests/vm/mmap-over-stk.c [new file with mode: 0644]
src/tests/vm/mmap-over-stk.ck [new file with mode: 0644]
src/tests/vm/mmap-overlap.c [new file with mode: 0644]
src/tests/vm/mmap-overlap.ck [new file with mode: 0644]
src/tests/vm/mmap-read.c [new file with mode: 0644]
src/tests/vm/mmap-read.ck [new file with mode: 0644]
src/tests/vm/mmap-remove.c [new file with mode: 0644]
src/tests/vm/mmap-remove.ck [new file with mode: 0644]
src/tests/vm/mmap-shuffle.c [new file with mode: 0644]
src/tests/vm/mmap-shuffle.ck [new file with mode: 0644]
src/tests/vm/mmap-twice.c [new file with mode: 0644]
src/tests/vm/mmap-twice.ck [new file with mode: 0644]
src/tests/vm/mmap-unmap.c [new file with mode: 0644]
src/tests/vm/mmap-unmap.ck [new file with mode: 0644]
src/tests/vm/mmap-write.c [new file with mode: 0644]
src/tests/vm/mmap-write.ck [new file with mode: 0644]
src/tests/vm/mmap-zero.c [new file with mode: 0644]
src/tests/vm/mmap-zero.ck [new file with mode: 0644]
src/tests/vm/page-linear.c [new file with mode: 0644]
src/tests/vm/page-linear.ck [new file with mode: 0644]
src/tests/vm/page-merge-par.c [new file with mode: 0644]
src/tests/vm/page-merge-par.ck [new file with mode: 0644]
src/tests/vm/page-merge-seq.c [new file with mode: 0644]
src/tests/vm/page-merge-seq.ck [new file with mode: 0644]
src/tests/vm/page-parallel.c [new file with mode: 0644]
src/tests/vm/page-parallel.ck [new file with mode: 0644]
src/tests/vm/page-shuffle.c [new file with mode: 0644]
src/tests/vm/page-shuffle.ck [new file with mode: 0644]
src/tests/vm/process_death.pm [new file with mode: 0644]
src/tests/vm/pt-bad-addr.c [new file with mode: 0644]
src/tests/vm/pt-bad-addr.ck [new file with mode: 0644]
src/tests/vm/pt-bad-read.c [new file with mode: 0644]
src/tests/vm/pt-bad-read.ck [new file with mode: 0644]
src/tests/vm/pt-big-stk-obj.c [new file with mode: 0644]
src/tests/vm/pt-big-stk-obj.ck [new file with mode: 0644]
src/tests/vm/pt-grow-bad.c [new file with mode: 0644]
src/tests/vm/pt-grow-bad.ck [new file with mode: 0644]
src/tests/vm/pt-grow-pusha.c [new file with mode: 0644]
src/tests/vm/pt-grow-pusha.ck [new file with mode: 0644]
src/tests/vm/pt-grow-stack.c [new file with mode: 0644]
src/tests/vm/pt-grow-stack.ck [new file with mode: 0644]
src/tests/vm/pt-write-code-2.c [new file with mode: 0644]
src/tests/vm/pt-write-code.c [new file with mode: 0644]
src/tests/vm/pt-write-code.ck [new file with mode: 0644]
src/tests/vm/pt-write-code2.ck [new file with mode: 0644]
src/tests/vm/sample.inc [new file with mode: 0644]
src/tests/vm/sample.txt [new file with mode: 0644]
src/threads/Make.vars
src/threads/flags.h
src/threads/init.c
src/threads/interrupt.c
src/threads/interrupt.h
src/threads/loader.S
src/threads/loader.h
src/threads/malloc.c
src/threads/malloc.h
src/threads/mmu.h
src/threads/palloc.c
src/threads/synch.c
src/threads/synch.h
src/threads/test.c [deleted file]
src/threads/test.h [deleted file]
src/threads/thread.c
src/threads/thread.h
src/userprog/Make.vars
src/userprog/exception.c
src/userprog/pagedir.c
src/userprog/pagedir.h
src/userprog/process.c
src/userprog/syscall.c
src/utils/backtrace
src/utils/pintos
src/utils/pintos-mkdisk [new file with mode: 0755]
src/vm/Make.vars
tests/Makefile