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)
commit615bf3b3d2a8573ed6fb9ddc0055745e163ac999
tree744f60521f3241ac2ded023d200509b06799fcc5
parent5780c9f434cca090f88463b7f0199d49b4ded288
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.
791 files changed:
AUTHORS
LICENSE
Makefile
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]
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