X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=TODO;h=e037e2bf2decea596776dc218aecac4f071dee11;hb=1e9a0b0c518ad32851cfad720676ccc8fac552f5;hp=2d61506b6882bbfdb81b170fb1de9779110dc8d1;hpb=a8fc8d6b82dd68230c443157dea73879f0b95bd4;p=pintos-anon diff --git a/TODO b/TODO index 2d61506..e037e2b 100644 --- a/TODO +++ b/TODO @@ -1,16 +1,26 @@ -*- text -*- -* Grader: +* The tests in tests/ don't apply the grading patches. - - Fix bug where failures are being treated as warnings. +* We need better and more example programs. -* Userprog project: + - Need an mmap example program as a replacement for the crappy mmap FAQ + question. + + - How about `diff' and `cmp' programs? - - Move `join' implementation here, from `threads' project, to help - normalize the project difficulties. +* Threads: - - The semantics of the join system call should change so that it - only returns the exit code once. + - mlfqs tests suck. They aren't even correct, e.g. the amarv + submission from win0405 is graded incorrectly. + +* Userprog project: + + - Don't emphasize that stuff needs to be copied from user space to + kernel space. Instead, emphasize validation and suggest that + copying is a common solution and that it will be necessary in + project 3 and in real OSes. Also revise the grading criteria to + match. - Mark read-only pages as actually read-only in the page table. Or, since this was consistently rated as the easiest project by the @@ -22,6 +32,39 @@ Alternately we could just remove the synchronization on pid selection and check that students fix it. +* VM project: + + - Discuss the perils of mixing dirty bits between kernel and user virtual + memory. + + - Sample solution. + + - Update grading/vm to reflect new mmap, munmap forms. + +* Filesys project: + + - Increase maximum disk size from 8 MB to something that actually + requires doubly indirect nodes. There is a negative pressure here + from the bitmap object--perhaps we need a specialized bitmap that + doesn't have to be all in-memory at once. + + Alternatively, shrink the inode size. + + - Add mkdir and ls example user programs. + + - Add option to disable buffer cache. + + - Get rid of "dump" commands--they're not really useful. + + - Sample solution. + + - Need a better way to measure performance improvement of buffer + cache. Some students reported that their system was slower with + cache--likely, Bochs doesn't simulate a disk with a realistic + speed. + + - Clarify effect of remove(cwd). + * Documentation: - Finish writing tour. @@ -38,10 +81,13 @@ . Low-level x86 stuff, like paged page tables. + . Specifics on how to implement sbrk, malloc. + . Other good ideas. - - mmap/munmap should use segment IDs like Nachos. Too hard - otherwise. + . opendir/readdir/closedir + + . everything needed for getcwd() - Add src/testcases/vm, src/testcases/filesys and make it clear to use them? @@ -58,3 +104,21 @@ too long (especially when SHOW_PROGRESS is turned on) and doesn't show significant improvement. +* Code: + + - Make threads test use a program and arguments like the other + projects. + + - Revise command-line arguments for sensibility instead of for + Nachos compatibility. + + - Get rid of all compile-time flags, e.g. MLFQS should be a runtime + command-line option. + + - Need an optimization barrier and an explanation of it in the + documentation. + + - Need to check the wait system call more thoroughly. + + - Library is not precisely standard, e.g. ptrdiff_t should not be + defined by stdlib.h.